New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Get your physical copies of our new album Cabin In The Sky available now! Choose the Yellow Vinyl edition featuring artwork by Hebru Brantley, or pick up the Light Blue Vinyl, CD, or Cassette featuring our alternate Cabin In The Sky album cover.
☁️🏠⛅️ shop.massappeal.com/collections/...
Hey everyone — I don’t usually post things like this, but my heart is breaking for a family close to ours. My wife’s nephew Liam is fighting for his life. Every little bit helps — whether it’s a small donation or simply sharing the link to help spread the word: www.backabuddy.co.za/campaign/hel...
An icon
R.I.P. ICON D’Angelo 🙏🏾🕊️
Na een lange en chaotische avond, stemde de Tweede Kamer voor de asielwetten van minister Faber.
Het wordt zélfs strafbaar om ongedocumenteerde mensen te helpen met onderdak, een maaltijd of kleding.
Help ons dit beleid tegen te houden, teken én deel de petitie:
groenlinkspvda.nl/petitie/stop...
Opening talk from @evacchi.dev and Andrea Peruffo "Are We Enterprise-Ready Yet?" at #wasmio25
This post is SO, SO good. Very much in line with my thinking about AI and the future of software. I hope we can get @PhillipCarter.dev to speak at one of our upcoming #AICodeCon events.
🧵 Possibly unpopular take: Semantic Versioning is still the best versioning scheme.
Hear me out: when I first learned about SemVer years ago, I had the usual reaction of "oh cool that's useful, allows maintainers, adopters, and package managers to work easily together".
Then, as a maintainer, ...
#Chicory 1.0.0 landed today, here's @andreatp.bsky.social celebrative blog post featured on #JavaAdvent. Want to run #Wasm on the JVM? You might want to check this out www.javaadvent.com/2024/12/wasm...
an image with the discount codes and the titles of all the zines and the cool character from the "How DNS Works" in the background
it's zine sale time!
from now until the end of the day on Friday, all my PDF zines are 50% off with the discount code WIZARDPDF
print zines are 30% off with code WIZARDPRINT
wizardzines.com
I guess I should have waited a little longer for stuff to sync, thanks for checking!
Maybe I was impatient, could have been accidental that once I did add index.html it worked (since this is needed for github pages)..
you missed me 😄
