AI and Maths Professor. Not spending time on Elon’s hellsite any more. @chrisj@mastodon.scot @heathercafe.bsky.social
Earth
Joined April 2008
- Tweets3.1K
- Following484
- Followers587
- Likes10.7K
Chris Jefferson retweeted
Back in the day we would translate “she is a surgeon” to Turkish and back and would get “he is a surgeon”. Or “he is a nurse” to “she is a nurse”. We would then say, see AI is sexist. We were so naive…
And now, several significant advances later…
I'm talking at a conference later this year (on UX+AI).
I just saw an ad for the conference with my photo and was like, wait, that doesn't look right.
Is my bra showing in my profile pic and I've never noticed...? That's weird.
I open my original photo.
No bra showing.
I put the two photos side by side and I'm like WTF...
Someone edited my photo to unbutton my blouse and reveal a made-up hint of a bra or something else underneath. 🤨
Immediately, I email the conference host.
(FYI he is a great, respectable guy with 5 kids at home.)
He is super apologetic and immediately looks into the issue.
He quickly reports back that the woman running their social media used a cropped square image from their website.
She needed it to be more vertical, so she used an AI expand image tool to make the photo taller.
AI invented the bottom part of the image (in which it believed that women's shirts should be unbuttoned further, with some tension around the buttons, and revealing a little hint of something underneath). 🤯
—
FYI the conference organizers were super apologetic and took down all of the content with that photo.
I just tried notebooklm.google.com , which lets you ask questions about a series of papers. I tried it with 3 different 'themes' of research I've worked on, and asked for a basic overview.
It produced convincing looking, well-written, complete horse-shit in every case.
Chris Jefferson retweeted
I've tried ChatGPT o1-preview, the one that's supposed to be good at reasoning, on a simple reasoning task. The SEND+MORE=MONEY problem and a few other cryptarithmetic puzzles.
youtu.be/thZhphkKqJ4
Should I spend time in my 'intro to Python' class explaining why chr(sum(range(ord(min(str(not())))))) is 'ඞ' ? Probably not, but it's tempting.
I'm really enjoying #GodotEngine , but there are some really basic long-running bugs. Wasted a couple of hours finding out that FileDialog, and getting a list of all files in a directory, don't work correctly in 'res://' (where your game files are stored), and haven't for years.
Why can't 'x < y', or 'x==y' in #rust just work when x is a (for example) usize, and y is an i32?
It's obvious what I mean, but annoying to figure out the correct casts to get the right answer.
So it seems @github, like everything on the internet, has become a spam filled crap-hole.
The last 3 times I've tried using github search, the top result has been a project which, on investigation, are just malware.
here's an example, I wanted a program to mouse auto-click, this was the top in github search. Reported as malware to github over 2 months ago.
(I'm sticking spaces in the URL to hopefully avoid giving it even more search boost)
github.com /saiyasone /piggyb_vue
Whenever I see people saying it's vital universities teach X or Y software, I remember when a bunch of students came demanding we add a "Ruby on Rails" course, because "everyone knew" that Ruby on Rails was going to become the standard for all future web development.
Chris Jefferson retweeted
Fixed a bug in Rust clippy `doc_markdown` lint: backtick suggestions were not always correct. It should work as expected now.
PR: github.com/rust-lang/rust-cl…
Chris Jefferson retweeted
This seems like a pretty good sin approximation.
-x * abs(x) + x
where x in [-1,1]
abs is likely free (instruction modifier). So we get one multiply-add?
Is this actually usable? Anything better?
bmtechjournal.wordpress.com/…
The fastest way to build a house is out of straw. Bricks are slow, heavy and constraining. Only straw gives you the flexability to build truly great houses.
I know people talk about straw houses being blown down, but those houses were built by stupid pigs.
I always like the idea of using a proper debugger, then after 20 minutes trying to get my rust test into the debugger, and breaking when the test fails, I spend 30 seconds throwing println!() around, find the bug, and move on with my life.
Chris Jefferson retweeted
Formalization of mathematical proofs has been talked about a lot recently. Today a new journal is launched, the Annals of Formalized Mathematics, aimed principally at mathematicians rather than computer scientists. 🧵
afm.episciences.org/
Chris Jefferson retweeted
Birleşik Krallık'ın saygın üniversitelerinden St. Andrews Üniversitesi ile indirim anlaşması imzalanmıştır.
One of the prestigious universities of the United Kingdom, discount agreement was signed with St. Andrews Un.
@tcmeb @mebabdigm @mebyyegm @TC_EdinburgBK @univofstandrews
