Mastodawn

Andy Wingo 5h ago

Josh Simmons 10h ago

I think what this generation of middle aged dudes need is a sport that's combination trail running and bird watching.

Andy Wingo 5h ago

Lu Maltsis 14h ago

I know it is probably well-known in my circles but for anyone who is interested in compiler design, proof assistants and types https://counterexamples.org/ is an absolutely delightful read. I was so full with glee reading it for the first time.

Counterexamples in Type Systems - Counterexamples in Type Systems

Andy Wingo 5h ago

mattpd 13h ago

A simplified model of Fil-C
https://www.corsix.org/content/simplified-model-of-fil-c
by @corsix

A simplified model of Fil-C

Andy Wingo 16h ago

Mia 18h ago

confession: up until today I thought that Butlerian Jihad referred to Judith Butler and everyone wanted to do some cool gender thing

Andy Wingo 16h ago

CF Bolz-Tereick 17h ago

We've released a demo of the project @CanLehmann and I have been working on: @verijit is a meta-tracing Verilog emulator that specializes the simulated core to the machine code that is being executed on top of it. Was lots of fun to work on! I'm quite happy with the results too, we reach two orders of magnitude improvement over Verilator for a simple RISC-V core
https://www.youtube.com/watch?v=PXgUsEjvAOY

Verijit – Up to 100x faster Verilog simulation

YouTube

Andy Wingo 1d ago

très content pour big balls qui a pu se réintégrer dans la societé par le biais de l’animation festive. bravo monsieur balls

Andy Wingo 1d ago

John Regehr 1d ago

well I don't know what to make of this, but someone tried to vibe code a proved-correct JS to WASM compiler

https://www.basis.ai/blog/verified-compiler/

Building an Unverified Compiler with Agents

We tasked four agents to build a verified compiler. They produced a compiler, but failed to prove it correct.

Basis

Andy Wingo 2d ago

Ben Fry 2d ago

Spoke at a panel at Northeastern last week about careers in information design & data visualization.

With 10 minutes allotted, it’s not a comprehensive guide to finding your path in life, but I wanted to pose a few questions that might help students focus their search:

https://www.fathom.info/notebook/260406/

“Careers in Data and Design” panel at Northeastern | Fathom Information Design

Last week, I spoke on a panel about careers in information design and visualization hosted by Data Visualization Society for Northeastern University's Information Design and Data Visualization (IDDV) master’s program. We each had 10–12 minutes to say our piece, so in the interest of sharing something coherent within the allotted time, I wrote down my thoughts in advance, which you can find below. With ten minutes, it’s not a comprehensive guide to finding a career, but I wanted to at least pose a few questions that might help the students focus their search.

Fathom Information Design

Andy Wingo 2d ago

mhoye 3d ago

Age verification is a deliberate attack on system sovereignty, both for individuals and countries. There’s no “age verifcation”, there is only “identity verification that includes age”, and the system doing that verification is not just a privacy-invasive user tracking system but a remotely controlled off switch for anyone of any age.

Andy Wingo 2d ago

Stefan Marr 2d ago

We are going to put some of the MoreVMs'26 talks online.

First up:
How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices

By Leszek Swirski from Google's V8 team

https://youtu.be/LpJ79MxplUk

How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices

YouTube

blog	https://wingolog.org/
github	https://github.com/wingo
bsky	https://bsky.app/profile/wingolog.org
socialism or barbarism	socialism