Chris Jefferson
@Azumanga
Followers
599
Following
11K
Media
35
Statuses
3K
AI and Maths Professor. Not spending time on Elon’s hellsite any more. @[email protected] @heathercafe.bsky.social
Earth
Joined April 2008
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
0
2
8
I just tried https://t.co/R01H3h3nVG , 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.
notebooklm.google.com
Use the power of AI for quick summarization and note taking, NotebookLM is your powerful virtual research assistant rooted in information you can trust.
1
0
5
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. https://t.co/uDGUex80DZ
3
4
8
I got this from someone, who doesn't know where it came from -- googling doesn't seem to show anything useful!
0
0
0
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.
3
0
3
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.
0
0
0
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) https://t.co/2PIySwTNZ6 /saiyasone /piggyb_vue
0
0
0
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.
2
0
2
Fixed a bug in Rust clippy `doc_markdown` lint: backtick suggestions were not always correct. It should work as expected now. PR:
github.com
Fixes #12795. changelog: Correctly handle closing parens in doc_markdown lint
1
1
10
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? https://t.co/lbmpsyeiDN
56
133
1K
I've seen enough: most people can count to seven.
@lastpositivist @colin_fraser I bet if you surveyed 100 people you'd have more "Octagon" answers than "Heptagon" answers and it would essentially be for the same reason as what's happening here.
13
26
761
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.
0
0
1
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.
1
0
1
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. 🧵 https://t.co/N4zc3OYHO4
7
109
550
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
0
2
12