Let’s just pull the lever one more time.

I gotta good feeling the AGI jackpot will come up this time.

✨Fable v5 ✨ Such great news today ❤️

In addition to JS/TS, Rust, and Dart, the Python target has been significantly improved, and there is also the exciting new BEAM target added to the list. Write once run everywhere 🥰 #fsharp #fablecompiler

I would argue allowing money to proliferate in politics is *the* single most important political issue and its impact on every other issue is severely understated.

It alone is worthy being a single issue for voters because monied interests increasingly renders all representation meaningless.

Why was Hulk Hogan ever surprised that Rowdy Roddy Piper fought dirty?

Megyn is a performer. She is doing a character and a bit she’s done many times before.

There is nothing genuine about her and her indignant performances never deserve our attention.

While the establishment dems are feckless wimps, the real problem lays with the voters.

They consistently fail to turn out to vote in primaries. Then those same people complain about establishment politicians.

They _consistently_ underestimate the zealotry they’re up against.

Stupid indeed.

It generally meant trust as the natural consequence of fidelity or faithfulness of someone who was reliable. The core ethic wasn’t trusting. The core ethic was being trustworthy as a result of your fidelity and faithfulness.

Look up the Greek word “pistis” and the Hebrew “emunah”

Semantic shift…

It’s alway fascinating going back to the original Hebrew/Greek to try to get a sense of the semantic space in which those words used at the time of writing.

A good example is the word “faith”, which in the 1st century never meant believing without evidence in Greek, Aramaic or Hebrew.

BTW, I was genuinely curious.

Having recently gotten into the history and evolution of various religions, I’m consistently fascinated by the degree to which ideologies change and how later groups will reinterpret, rewrite, amend, or even edit out texts that challenge their personal dogmas.

Are you saying the text has literally been edited and published in a way that represses ideas from the original?

Or are you saying that people have cherry-picked and prioritized the ideas most aligned with their ideology while minimizing/ignoring the ideas that might keep their ideology in check?

There’s a part of me that has this vague curiosity to want to see what happens when one lifts Barry Jay’s tree calculus into a relational space. That could entail a few directions and I’m not even sure I know which direction makes sense.

It’s all vibes at this point.

In the paper, he actually defines Nat list to be his *root* or “hub” carrier / data structure, but your post has me wondering how one might define a different carrier whose structure/operations make quine-like expression (or reflection?) essential qualities.

Tarau’s “Everything is Everything” paper where encodes sets, lists, trees, graphs, (etc) as Nats and then “borrows” and “lends” operations back and forth has shifted my thinking about being Nat centric.

Now I wonder, what is the min structure(algebra?) that is essential for efficient unification?

That doesn’t even get you 3 months of a Jelly of the Month Club:

www.monthclubstore.com/product/jell...

He should be promoted to permanent _________ upon his request

That’s the Demiurge, who goes by YHWH (The god of Israel) who’s lady friend was Asherah (Godess of Canaan) was actually part of the divine council.

The real supreme god is the Monad, it wants you to realize you have a little bit of divinity in you and to ignore the Demiurge.

Nvm, it’s all made up

From mid-April I'll be back on the market looking for work.
- 25+ years professional experience.
- .NET since the start, Node 3+ years.
- See mikehadlow.com/top/about/ for details.
- Contract or perm. Slight preference for contract.
- Must be remote. (I'm UK based).

It is the emptiness of understanding that is felt between each clap

You mean 2026.0314?

Newspeak is a language engineered to make it difficult to think certain thoughts.

“Unalive” is just another (albeit awkward and Orwellian *sounding*) user created euphemism to avoid censorship.

I suspect it was selected because it sounded Orwellian, so as to signal to what’s being censored.

I’m wondering if you would excel at that type of position.

TBH, I suspect you would do a better at recruiting and retaining a good team to support and complement you than most.

If we consider whether LLMs are conscious, should we consider the phenomenologies of training vs inference?

My guess: the training phase is more likely to experience than inference, that is if we presume it requires the ability to learn.

What’s essential to consciousness? Experienced continuity?

Underrated post

The greatest bamboozle that the English language ever pulled is using the same word for legal rights and actual rights. The second-greatest is using the same word for proof-objects and actual proofs

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?