Andy Wingo

@wingo
2.5K Followers
576 Following
6.4K Posts
https://wingolog.org | a work in progress | niche content | truthiness is couthiness
bloghttps://wingolog.org/
githubhttps://github.com/wingo
bskyhttps://bsky.app/profile/wingolog.org
socialism or barbarismsocialism
"I claim that (essentially) none of
us, individually, does astrophysics because we want to learn the specific answer to the
astrophysics question we are asking. [...] If all we really wanted was to know how the Universe worked, we would start a hedge fund, and use
the proceeds to pay an astrophysics institute, filled with people who wanted to do astrophysics rather than find out the answers."
via an excellent essay making the rounds on bluesky https://ergosphere.blog/posts/the-machines-are-fine/
The machines are fine. I'm worried about us.

On AI agents, grunt work, and the part of science that isn't replaceable.

blogging to arxiv is a massive flex https://arxiv.org/pdf/2602.10181

This, from @minaskar, is particularly lucid and insightful:

https://ergosphere.blog/posts/the-machines-are-fine/

The machines are fine. I'm worried about us.

On AI agents, grunt work, and the part of science that isn't replaceable.

honestly everyone over 35 needs someone in their life to let them know if they post cringe
tired: man cave
inspired: hommelab
Can someone please tell Leo that these obviously LLM-generated blog posts are cringe? https://leodemoura.github.io/blog/2026-4-2-why-lean/
Why Lean? — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

new blog post! after a long hiatus  
https://mlyoung.cool/blog/design_conductor_paper/
The "Design Conductor" paper is bunk

A paper about an 'agent' 'autonomously' building a 1.5 GHz 'Linux-capable' CPU turns out to be full of misinformation and unfair comparisons. I.e., it's bunk. I break down why.

~/mlyoung
well. after implementing weak maps and refs, wastrel compilation of the hoot repl seems to work. some trimming needed to make backtraces not show frames that are part of the implementation, and polish as always, but i gasped audibly when it first gave me a prompt!
-Wconversion, ptrdiff_t, and uintptr_t: pick two