lauriepenny.substack.com/p/how-to-wri...
27.02.2026 13:08
👍 0
🔁 0
💬 1
📌 0
Kyle Mclaughlin in a car speaking into a tape recorder. Subtitles read "Diane, 11:30am, February 24th. Entering the town of Twin Peaks"
Happy Twink Peaks day!!!
A photo of an ice cream machine with a sign reading, "Anything is possible with ice cream." Beneath that is a hand lettered sign reading, "No ice cream".
2026 basically
Wrote a bit about the changes to and timeline for finishing Logic for Programmers in the newsletter buttondown.com/hillelwayne/...
Seconded
To counter my tendency to factor my code in a million different functions, I have configured my editor to gradually reduce the font of each function I create, until they become so hard to read I have to give up. I call that:
Diminishing returns
Someone in a colourful shirt looking at a red film poster 'IL GRANDE RACKET'
Happy Birthday Racket
28 Jan 1995
racket-lang.org
youtu.be/JnczIyPXGfc
I realized that runtime verification is sort of trace testing but in prod. I am blown away by you have have LTL runtime verification.
www.youtube.com/watch?v=FTxT... is great talk about using runtime monitoring (verification) in context of autonomous flights is great
Runtime verification..
Wow
Happy Pongal "more indian than australian" prof.
Fake news. I listened to it 12 hours before. I want new new one :)
Happy Birthday
I was pointing to personal.cis.strath.ac.uk/conor.mcbrid... but you might be alluding to something else entirely
Is it related to the polynomial testing principle ?
If you are open for outside contribution, I am willing. Maybe for proof read, write alternate verification or otherwise.
@sriku.org I saw your comment on hn (title: Dafny: Verification-Aware..), Is course content available online or anyway I can peek into it.
Merriam-Webster’s human editors have chosen ‘slop’ as the 2025 Word of the Year.
A couple weeks ago I had the great pleasure of inviting Rustan Leino (of Dafny fame) on my podcast, to talk about all sorts of logic stuff!
Part II to come soon!
open.spotify.com/episode/4d9J...
Wow! I requested it last year. Thanks
We cross our bridges when we come to them and burn them behind us, with nothing to show for our progress except a memory of the smell of smoke, and a presumption that once our eyes watered.
Congratulations @wickstrom.tech
New blog post published, on generating error messages and visualization for LTL-based testing.
wickstrom.tech/2025-11-01-e...
I remember reading something good under `https://shachaf.net/w` many years ago but I don't remember what it was about.
New CoL! I actually explain the proof of the tree theorem in painstaking detail. It can't be formalized in PA (and more)!
I love it because it forces me to understand. Will you love it? Let's find out.
open.spotify.com/episode/05Xo...
rss: t.co/7jcP39omIc
"fstar.exe" on mac and linux :P
Hot take: real numbers are countable
Uncountable reals are a lie by big maths to oppress computer scientists
Don't agree? Construct an uncountable real for me. Oh wait. You can't.