Freek Wiedijk

Situatie

What the fuck thenextweb.com/news/openai-...

if you don't hate C++ you haven't seen the iceberg and clicked every link victorpoughon.github.io/cppiceberg/

“Levensgroot” 🤔

Anthropic, supposedly: leanprover.zulipchat.com#narrow/chann...

Is someone autoformalizing the classification of finite simple groups already?

My thoughts on the current state of AI driven software development, why I'm no longer concerned about a runaway intelligence explosion, and what I think is a far worse outcome we could be walking into maevyn.codes/decoherence

A glistening little illuminated initial from a Latin Bible written in the early 14thC, possibly in Germany. It illustrates the beginning of chapter 11 of Isaiah, where the Holy Spirit (doves) rests upon the branch (the messiah). Bought by @theulspeccoll.bsky.social in 1891 & now MS Add. 3030.

I thought for a moment that this was about how LLMs "experience" reality ☺️

Your daily dose of Dutch art by Rembrandt van Rijn. Self-portrait bare-headed: bust, #art #dutchart #rembrandt #rijksmuseum #17thCentury

do you ever just accidentally two-shot an idea you've been dreaming of for years

go to your camera roll and search "boat" and post one that you like.

~10^12 FLOPs/token? 😳

Referencing “advanced intelligence technologies”. Not artificial (although the artificiality is implied by technologies) but definitely not “super.” Wondering what drafting battles lie behind that phrase. Chair's Statement of the Meeting of the International Monetary and Financial Committee

Toen al werd AI uitgelegd en NU nog staan we met onze vingers in onze oren. Ik snap niets van de mensheid. Alsof je in de fik moet staan om te weten dat vuur gevaarlijk is. www.youtube.com/watch?v=RXJK...

Dr. Mae Jemison was born #OTD in 1956. In 1992, she launched into orbit aboard the Space Shuttle Endeavour making her the first Black woman to travel into space. 🚀 An incredible life: + Physician (M.D., Cornell 1981) + Peace Corps Area Medical Officer in Sierra Leone & Liberia #WomenInSTEM

There's a guy on the subway fanning himself with a cell phone, and I though you should know.

We may finally know that for any n, there exist n² unit vectors in ℂⁿ that all lie at the same angle from each other! More precisely, |⟨v,w⟩| is the same for any two different vectors. The proof is crazy hard, and it required a new result in category theory.

👀

that the mathematical literature as a whole is so reliable comes down to the fact that, over time, we have made an even number of sign errors

*Look, science fiction was invented in the 1920s, while libraries have been burning-down ever since Sumeria *However, Artificial Intelligences getting burned down by remotely-targeted robot missiles, that's an exciting new trend *Is this situation some fantasist's "anxiety," no it isn't

ATLAS !

Things I learn by talking to people: Inventiones has a very good AI policy. We should have the same policy everywhere, including arXiv. First and foremost "AI cannot be an author". (No, I don't like the word seminal either.) link.springer.com/journal/222/...

"If a human did this, it would be an instant Fields Medal, no questions asked"? 🤷 thezvi.substack.com/p/new-math-f...

And that answer is... it depends! 😁

LGTM (Looks Good to Me) - Claude Opus 5.5 music video youtu.be/3TNpOD6bov8 Song: made with Suno v6 Animation: Claude Opus 5.5, in TypeScript and three.js Direction: Degenerative Pixels Reviewed by: BOT-001 (1,363 reviewers, 0 humans) Actually reviewed by: 1 human

In my latest Expert Voices column for Science Magazine, I weigh in on this summer's - and this week's - AI for math news: AI has solved many math problems, but it has not solved math | Science www.science.org/doi/10.1126/...

En je vindt de raarste dingen.

No code is too old for Claude. julsimon.medium.com/reverse-engi...

Om welke bedreiging moeten we samendrommen op het Museumplein? ☺️

"I spent a lot of time going over the design decisions involved here, trying my best to complain about async Rust, only to end up going “Oh. Yeah. That’s reasonable. That makes sense. I can see why they did it that way.” every step of the way." herecomesthemoon.net/2026/10/asyn...

Please stop calling two computers establishing a connection a "handshake." A computer cannot shake hands because it does not have a body.

I've started my new job! As of today, I'm a postdoc in the Software Science group of the Institute of Computing and Information Sciences at Radboud University in the Netherlands. This position is (largely) funded by a personal 3-year Veni fellowship from the Dutch research organization NWO. I'm […]

#sauna

Later we will refer to this era as "when the LLMs were young" ☺️

J'ai aussi fait ce ptit corbeau sur un crâne ! 🐦‍⬛💀