I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

logicforprogrammers.com

The Proportional Web Inspired by the "The Elements of Typographic Style" by Robert Bringhurst, this is an exploration of beautiful typography on the web, and a reusable stylesheet. owickstrom.github.io/the-proporti...

So, now GitHub Pages deploy is broken and I can't release my thing as planned. It really is time to move...

The levels of (and idolization of) learned helplessness and self-deception in agentic coding are staggering. How does one stay sane?

The Bombadil lightning talk recording from Bug Bash 2026 is published! youtu.be/bs2xT1aq5Yo?...

Bombadil 0.6.0 is out, with full specification language support for terminal UI testing! github.com/antithesishq...

Release v0.6.0 · antithesishq/bombadil

Major updates: Terminal testing with the full specification language (#190, #210, #206) Add default properties and actions for terminal (#205) Add timeout for terminal programs that output forever...

github.com

Printscreen is so 2010s. Photos of e-ink monitor is where it's at.

work let me open source my meme library. big thank you to Antithesis for building a property testing engine called Hegel, without which i would not have put in nearly this much effort to produce something halfway decent.

GitHub - MercuryTechnologies/zizek: Property-based testing for Haskell, built on Hypothesis.

Property-based testing for Haskell, built on Hypothesis. - MercuryTechnologies/zizek

github.com

Reading "The Elements of Typographic Style", I got way too inspired and went down a CSS rabbit hole trying to reproduce some of it. Everything doesn't transfer to web. (First image is my version, second is from the book.) Now I want to write something real with this stylesheet!

Bombadil playing terminal Tetris at 900+ actions per second. Can't really see what's going on (replays, menus, etc just flashing by). This is running the full spec language verifier on every frame.

Sorry for not posting for so long... I have been extremely busy working on my new project: The Enchanter (also called Modos Flow): a 300-ppi Eink portable monitor with 60Hz refresh rate and touch screen. It's fully open-source: gitlab.com/zephray/ench....

Maybe I'm dating and deprecating myself in a single stroke, but I genuinely struggle seeing a productivity increase from agentic coding. I try, I retry, like every 2-3 weeks. I always end up tired and slow, either from hand-holding in real time or spending hours undoing the slop.

The AI bubble as an interpretive dance

worm@rfksbrainworm.bsky.social · 3mo ago

"About three months ago, I bought [...] an e-ink monitor for desktop use. I’ve used it as my primary monitor since, and I’ve had a lot of questions about it. This is my experience report, from the perspective of a working, still mostly typing, programmer." wickstrom.tech/2026-05-16-c...

Now easier than ever to run Bombadil in GitHub Actions! github.com/antithesishq...

Good morning, eink lovers!

Blue sky indeed.

Bombadil 0.5.0 is out! This one I'm really excited about, including: - 5-8x test speed-ups! - Experimental terminal UI fuzzing - Test reproduction ... and much more. Get it while it's hot at: github.com/antithesishq...

How I turned Bombadil into a spell checker for my website and fixed 13 old typos: wickstrom.tech/2026-05-13-c...

Rewrote my zsh prompt to support jj, so I guess it's final now.

"When did the bug start?" Really cool feature for causality analysis from my colleagues. antithesis.com/blog/2026/ca...

When did the bug start?

Causality analysis for Antithesis.

antithesis.com

There are many Rust crates in this world, Bilbo Baggins, and none of them should be used lightly.

This has now increased 7.8x and 4.6x speedups!

Oskar Wickström@wickstrom.tech · 3mo ago

Good stuff landing soon! Bombadil fixed timeouts are going away, in favor of a dynamic strategy that monitors DOM and network activity, in order to react as quickly as possible and not waste time just sitting around. Quick measurements show 2-4x speedups in terms of actions per second.

Good stuff landing soon! Bombadil fixed timeouts are going away, in favor of a dynamic strategy that monitors DOM and network activity, in order to react as quickly as possible and not waste time just sitting around. Quick measurements show 2-4x speedups in terms of actions per second.

Falling in love with jj today.

I declare myself beaten. Fuzzing btop again and was perplexed why the fuzzer sometimes terminated in the middle of a run. Turns out it used btop to kill itself...

bombadil-ltl is now dependency free (only `std`), and might be published to crates.io eventually: github.com/antithesishq... This enables other runtime monitoring use cases, like one contributor who used it in a game! I also want to build a new ltl-visualizer with it.

Finally the time is here. @steveklabnik.com 🙌

New newsletter, with two announcements buttondown.com/hillelwayne/...

New Logic for Programmers (and the future of this newsletter)

I'm joining Antithesis!

buttondown.com

New blog post: "The Bombadil Terminal Experiment" wickstrom.tech/2026-04-30-b...