This video reeks of 1980s little boy energy.
If I had known we’d be ruled by children who were still obsessed with Superman and Transformers, I would have suggested mandating gender studies in preschool.
Jesus Christ that video is embarrassing.
Agree.
Have you tried implementing something in Dafny?
I’m not claiming it changes the expert requirement when specifying, but I find working with languages capable of verification to be an interesting experience.
You make a great point.
I regret characterizing this success in a way that diminishes what can happen when one empowers a policy expert with legislative power.
It’s a well-earned win!
I’m happy but less astounded.
I suspect the opposition parties who actually benefit from less affordable housing are getting older and becoming less motivated in opposing it.
Pushing for building code, temp housing is win-win-win for buyers, builders and politicians.
You should play with the Fable compiler, if you haven’t already.
I would imagine a smart guy like yourself could find some interesting ideas to borrow.
There are two unique F# features that become very interesting when compiled/inlined: Active Patterns and Computation Expressions.
fable.io
The people making these obtuse quantified claims (in either direction) aren’t interested in engaging in thoughtful discussion.
They have an agenda and they’re willing to contort everything to fit their agenda.
Keep being thoughtful and candid. It’s refreshing to see it on my feed.
An image of product managers launching Acrobat 2026 — Now with More! Hopped up PMs donning Patagonia are covered in confetti and signs indicating features such as: AI summarized, PDF NFT Export, Collaboration Hub, G-Signature Suite and a giant glowing 800MB sign
Career incentives poorly aligning with everyone else’s incentives?
Perhaps not too impressive for now but this shows Giraffe (F#) running on the BEAM (Erlang Runtime) using Fable (WIP) #fablecompiler #fsharp
I’m giddy at the prospect of you having fun with your new alt-text skill.
It’s amazing he could get all that for $200. My lawyer charges $400/hr.
I almost never post about agentic AI stuff because I feel like most of it is overhyped ungrounded trash.
Having personally played with F* and LLMs together, I’m both encouraged and not surprised by Nikhil’s early progress using LLMs to build verified software.
risemsr.github.io/blog/2026-02...
Placing a layer of algorithmic recommendation on speech does not make speech less free, but it does pervert it.
Algorithmic mediation turns speech into a resource extracted from human behavior.
Platforms do not value speech because it is protected, they value the service it provides them.
You can shave off 35-40 minutes (if you don’t care about crispy skin) by microwaving them 5-10 minutes (depending on the size). Poke holes first. 😬
If you care about crispy skin, microwave first, then brush oil and broil the skins 3-5 minutes per side.
Also, light miso + sour cream = 🧑🍳😘
I know it’s nothing out of the ordinary to refer to a deal as being consummated, but in this case…
I think you hyphenate like Jean-Guy
Advocating for people to not comply by giving them the impression that what they’re doing is “unconstitutional” is grossly negligent.
Noncompliance is complicated.
Before you prescribe/infer tactics, imagine the person reading your post is your impressionable but misguided college aged kid.
If you want a legal opinion, here’s one from the ACLU.
www.aclu.org/know-your-ri...
There is nothing unconstitutional about a border guard asking for identification at a port of entry/egress and telling people that will get them arrested unnecessarily.
You’re a crap lawyer. Stop pretending to be one.
uscode.house.gov/view.xhtml?r...
Nice to see it in real life
We’ll update our budget accordingly!
As much as I appreciate a good index, my employer is very persuaded by magic quadrants.
Stupid LLMs…
We can solve this if we all agree to exchange New Year’s resolutions with birthday resolutions.
Nobody wants to be Russia these days.
To have the SMTP service reply with:
550 5.1.1 Message rejected: unsatisfied proof obligation
That’s the dream… 🥲
Here's a tragedy of DOGE that most people will never know about, even though it has big consequences: no one is left to coordinate the transition to memory safe systems code. 🧵
My FS Advent post for Dec 22, 2025. 🎄✨☕
Thanks to @sergeytihon.com for keeping the F# community buzzing along year after year!
jordanmarr.github.io/fsharp/cloud... #FsAdvent #fsharp
My F# Advent Calendar post about Fable.Python (and ended up with Fable.Literate 🙈). Learn how you can use Pydantic, FastAPI with Fable 🐍🦔 cardamomcode.dev/fable-python #FsAdvent #fsharp #fablecompiler #python
What about yourself?
I use LLMs as limited assistive tools. Sometimes they save time, sometimes they don’t. I don’t care enough to bother measuring it. I mostly stop using them when they’re not helping.
I care a lot about the ethical aspects, especially around risk, harm, misuse, dependency and misplaced trust.
