Finally it's out, my experiment in all-monospace web! https://t.co/nfk8BAbDxJ I've tried to include a bunch of different elements to showcase the idea. Many more things could be added and supported. I've had a lot of fun with this so far!

His excitement dropped somewhat when we had to dig through the escape code tables but otherwise a fun project!

Come join us for a bedtime story. Lay back, relax and let your mind go on and adventure 😴

Programming a game with my 5yo using an eink tablet, termux, python, and a render loop with ANSI escape codes and emojis as characters. Quite wholesome indeed.

"My primary and secondary love languages? Rust and Lean, darling."

>my review of the remarkable 2 >is >here https://t.co/hA9qGGklDw

With head coach firings across college football, Caleb and Josh Downs discuss the huge payouts and how this affects the team in the latest episode of Downs 2 Business. Watch or listen to the latest episode, out now! Sponsored by @google

I'm starting to seriously doubt my ability to assess what writing will get read. Don't know what to make of it. Write for my own sake, ignoring the engagement numbers, I guess?

"Sonos is fine. Yeah. Totally fine. I can move it around the house. Very handy. It's FINE ok?"

Browsing passive aggressive ads from first time dads selling their HiFi gear is a viscerally painful activity.

I never realized "you build it, you run it" in DevOps is addressing two different teams. It all makes sense now.

check out this beautifully engineered and formulated and illustrated use of temporal logic on web app interaction traces to verify safety & liveness properties and get contradiction messages that are possible to understand!

Fresh of the press! "Computer Says No: Error Reporting for LTL" https://t.co/HWhnmKuOV8

"off" goddammit

Fresh of the press! "Computer Says No: Error Reporting for LTL" https://t.co/HWhnmKuOV8

Self-reviewing a blog post under candlelight. I wish code review could be this wholesome.

This is going on a poster in my office

I must not vibe. Vibe is the mind-killer. Vibe is the little-death that brings total obliteration. I will face my code. I will permit it to pass out of me and through code review. And when it has gone past CI I will turn the inner eye to see its path to prod. Where the code has

I'm not used to work with steel. It feels weird and dangerous. I prefer wood, but in this case requirements were had.

Second project: fireplace floor protector. Cut out the steel plate with a grinder, lots of sanding, and now finishing with black linseed oil paint. Somewhat unique I'm guessing.

Took some breaks from logic to build a custom threshold board this week. A million weird angles and height differences hidden after hours of carving and grinding. Not extremely happy with the seal along the walls but overall it turned out nice.

However, temporal conjunctions (e.g. always P /\ eventually Q) that happen to fail at the same state will result in composite errors.

Turns out this was partly a bad idea. You want both sides of a conjunction within a single state, but for conjunctions over time, you want short circuiting, because tests should fail as soon as possible.