iiinova — where your digital self keeps evolving

Oskar Wickström @wickstrom.tech · 15/09/2026

8 parallel workers (and Chromium processes) with a simple interactive CLI dashboard, exploring TodoMVC. It's getting really interesting...

011

Oskar Wickström @wickstrom.tech · 21/08/2026

Here's Bombadil finding a 1/6^10 probability bug (rolling a die 10 times and finding a particular sequence of numbers) inside Antithesis within minutes.

171

Oskar Wickström @wickstrom.tech · 10/08/2026

We have Bombadil 0.7.0! Lots of bug fixes and improvements, along with a new action template system. github.com/antithesishq...

040

Oskar Wickström @wickstrom.tech · 07/08/2026

How Antithesis Found and Explained a Bombadil Race Condition wickstrom.tech/2026-08-07-b...

021

Reposted by Oskar Wickström

Hillel @hillelwayne.com · 29/07/2026

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

logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

1020448

Oskar Wickström @wickstrom.tech · 10/07/2026

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...

041

Oskar Wickström @wickstrom.tech · 09/07/2026

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

110

Oskar Wickström @wickstrom.tech · 02/07/2026

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

180

Oskar Wickström @wickstrom.tech · 15/06/2026

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

040

Reposted by Oskar Wickström

skyking @jkachmar.com · 12/06/2026

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.com

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

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

4517

Oskar Wickström @wickstrom.tech · 13/06/2026

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!

130

Oskar Wickström @wickstrom.tech · 13/06/2026

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.

060

Reposted by Oskar Wickström

Wenting @wenting.bsky.social · 27/05/2026

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....

19564137

Oskar Wickström @wickstrom.tech · 22/05/2026

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.

252

Reposted by Oskar Wickström

Joe Sondow @joesondow.bsky.social · 20/05/2026

The AI bubble as an interpretive dance

1032988

Oskar Wickström @wickstrom.tech · 16/05/2026

"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...

0121

Oskar Wickström @wickstrom.tech · 15/05/2026

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

120

Oskar Wickström @wickstrom.tech · 14/05/2026

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...

150

Oskar Wickström @wickstrom.tech · 13/05/2026

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

wickstrom.tech

Catching Typos on My Website with Browser Testing

000

Oskar Wickström @wickstrom.tech · 13/05/2026

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

110

Oskar Wickström @wickstrom.tech · 12/05/2026

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

antithesis.com

When did the bug start?

Causality analysis for Antithesis.

020

Oskar Wickström @wickstrom.tech · 12/05/2026

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

060

Oskar Wickström @wickstrom.tech · 11/05/2026

This has now increased 7.8x and 4.6x speedups!

030

Oskar Wickström @wickstrom.tech · 08/05/2026

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.

030

Oskar Wickström @wickstrom.tech · 08/05/2026

Falling in love with jj today.

3251

Oskar Wickström @wickstrom.tech · 08/05/2026

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...

130

Oskar Wickström @wickstrom.tech · 07/05/2026

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.

041

Reposted by Oskar Wickström

Hillel @hillelwayne.com · 06/05/2026

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

buttondown.com

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

I'm joining Antithesis!

5232

Oskar Wickström @wickstrom.tech · 30/04/2026

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

wickstrom.tech

The Bombadil Terminal Experiment

093

Oskar Wickström @wickstrom.tech · 30/04/2026

bombadil-terminal is now merged to main. Very experimental and up for big changes, but it runs and finds bugs! You can get the binary from GitHub Actions builds with some trickery, or wait for the next release.

111

Oskar Wickström @wickstrom.tech · 29/04/2026

My new office for the coming months. Pray it doesn't rain!

4360

Oskar Wickström @wickstrom.tech · 27/04/2026

Hacking on a TUI backend for Bombadil. It's really cool.

120

Reposted by Oskar Wickström

Shriram Krishnamurthi @shriram.bsky.social · 15/04/2026

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

12017

Oskar Wickström @wickstrom.tech · 15/04/2026

npx @antithesishq/bombadil ... now does what you want! And installing the package of course also gives you the types for writing specs in TypeScript.

010

Oskar Wickström @wickstrom.tech · 13/04/2026

Is there any modern car that's not a giant wreck of badly integrated software? Today our Kia bricked itself: couldn't start the engine, couldn't lock it, couldn't open the trunk, and most annoyingly couldn't change gears, so the tow truck couldn't load it (without extra gear).

110

Oskar Wickström @wickstrom.tech · 08/04/2026

Bombadil found a new TodoMVC bug (not in the Quickstrom case study)! Not only a new instance of a bug, but a new type.

170

Oskar Wickström @wickstrom.tech · 08/04/2026

I've developed somewhat of an obsession with LTL error messages, and Bombadil is the outlet. Here's a bug in one of the TodoMVC apps, where changing filters while having a pending item clears the input, throwing away the pending text. The error message isn't perfect but it's a huge improvement.

221

Oskar Wickström @wickstrom.tech · 02/04/2026

Bombadil 0.4.0 is out! Most notably including the Bombadil Inspect interface for debugging, but also a bunch of other improvements and bug fixes.

110

Reposted by Oskar Wickström

Antithesis @antithesis.com · 25/03/2026

UI fuzzing isn't a new idea. Bombadil is just the latest attempt -- though we're working to make it the best. On the latest episode of the BugBash podcast, Bombadil creator @wickstrom.tech interviews Jonathan Chan to talk about the untold history of Fuzzmap.

151

Oskar Wickström @wickstrom.tech · 18/03/2026

We're hiring for Bombadil! Come work with me on the future of browser testing — specification languages and temporal logic, JS runtimes, bundlers, and WASM frontends in Rust, and lots and lots of property-based testing. This is onsite in London. Apply here: antithesis.com/company/care...

antithesis.com

Careers at Antithesis

Join us and help build our autonomous testing platform

1125

Oskar Wickström @wickstrom.tech · 10/03/2026

Bombadil 0.3.2 is out, with support for importing local modules and external packages, and importing JSON, text, and binary files!

"Importing modules and files" from the Bombadil manual

110

Oskar Wickström @wickstrom.tech · 13/02/2026

The first release of Bombadil is out! github.com/antithesishq... It's still very experimental and bare bones, but we now have a specification language in TS/JS, and statically linked executables in the release package.

github.com

Release v0.2.0 · antithesishq/bombadil

Introduced a new specification language built on TypeScript/JavaScript, with linear temporal logic formulas and a standard library of reusable default properties. (#11, #14, #18, #20) Fix race cond...

141

Oskar Wickström @wickstrom.tech · 10/02/2026

today is Bach day new Goldberg Variations just dropped: open.spotify.com/album/29g6SU... 11/10

open.spotify.com

J.S. Bach: Goldberg Variations (Live at Carnegie Hall, New York, 2025)

021