99.99% of YouTube maker videos: "Make this $20 thing for scrap parts!!*"

*(and $12,000 in shop equipment in a commercial space they pay $50/square foot to use)

now seeing takes from haters that it's still vibe coding's fault, if for no other reason than that they like the vibe of blaming vibe coding

one of the biggest tells of trustworthiness or untrustworthiness, to me, is willingness to retract an interpretation that turns out to be unsupported by facts

GitHub - FidelityFramework/Fidelity.CloudEdge: Toolkit for building modern Cloudflare Solutions with F# and Fable Compiler Toolkit for building modern Cloudflare Solutions with F# and Fable Compiler - FidelityFramework/Fidelity.CloudEdge

For #fsharp folks we've just released v0.2.0 of Fidelity.CloudEdge. There are new bindings for Media-over-QUIC and a few of the new services released during @cloudflare-dev.bsky.social AI week. github.com/FidelityFram...

Sunstone admin panel for OpenNebula 7.2 showing Firecracker VMs

Why yes, this *is* @opennebula.bsky.social 7.2 running Firecracker instances, why do you ask? ☺️ (PRs coming soon)

the internet is out of tokens

Programování není jen kód, je to kultura! 💻📜

Rektor UK Jiří Zima udělil prestižní Cenu Bedřicha Hrozného za tvůrčí počin a my máme obrovskou radost, že ji získal docent Tomáš Petříček z naší @mff.unikarlova.cuni.cz! 🏆

Is R worth learning in 2026? Yes, the BBC, NHS, and FT all use it in production.

Swipe for the full case. 📊

Read the blog post by Theo Roe to learn more: jumpingrivers.com/blog/why-learning-r-is-a-good-career-move-in-2026

#RStats #DataScience

US states can't account for datacenter tax breaks. Literally : Report says authorities are flouting rules by failing to disclose revenue lost to server farm subsidies

www.theregister.com/2026/04/15/u...

“There will never be a bell loud enough, a helmet strong enough, or clothing bright enough, to make up for poor infrastructure.” Billboard ad saying “join us in fighting for safe streets, by Vision Zero Vancouver, ad by Tom Flood.

There will never be enough victim-blaming to make up for poor infrastructure and missing leadership. But it sure makes a nice distraction for decision-makers hiding from responsibility, right?

Classic ad by our own @tomflood.bsky.social for @visionzerovancouver.ca. #UrbanTruth

Both sides feed off each other. The hype vs dismissals and organizations that *some day* need to make migration decisions are left without a reliable baseline. We're building a site that tries to detect actual signal: tracking the convergence toward CRQC with confidence intervals & classifications.

Genuine question: how to interpret large acquisitions of software companies and talent by AI labs while they say coding is “largely solved”? Is it only hype? Do they mean that it’s solved by them aggregating talent and tools?

As a trans engineer who left the space industry in order to feel safe enough to transition: oof.

Case Studies in Consequence Confirmations of security & verification theater

Three days after our post on extract-based verification, a security team dropped five working exploits showing that exact failure mode in the FIPS post-quantum algos deployed in Signal and Google's infrastructure. And it's not our first time calling it...
speakez.tech/blog/case-st...

😆 for title candor

Do you think HNDL is a non-issue? Or do you have some insider information showing that enterprises are going to be magically better at migrating protection for their encrypted data than they were for other "digital transformations"?

A Runtime Revolution, sort of... Google's JSIR Dialect Brings Cloud Edge Targeting and More to Fidelity Framework

A late Easter Egg! 🐣 Google just published an RFC to bring JavaScript into MLIR. 👀 We think this will eventually mean web front ends and Cloudflare edge workloads can use the same pipeline as our native targets. No more split deploys with Fable!

clef-lang.com/blog/runtime...

PERL of wisdom 🐪

Photo of applied category theory on my lap with a cat next to me

Can't do CATegory theory without a cat, nya~

The Dangers of Unearned Press How overclaims about proof assistants threaten a 'formal methods' winter at the worst possible time

Lean has been having a moment in the Sun, and we're glad to see it. But there's a long shadow to this, and the claims made on its behalf around AI have overstepped what it actually delivers. We wrote about why that should matter, and what could be at stake for the field. speakez.tech/blog/dangers...

How Microsoft Vaporized a Trillion Dollars Inside the complacency and decisions that eroded trust in Azure—from a former Azure Core engineer.

“I was lost away from home in a bizarre territory where people made plans that didn’t make sense with the aplomb of a drunk LLM.”

isolveproblems.substack.com/p/how-micros...

"Lemma see if I can fix this"
🤨😊

Building Proofs for the Real World How Range Propagation Extends Design-Time Verification from Dimensional Consistency to Physical, Financial, and Clinical Safety Constraints

We're glad to see interest in verification, both for traditional compute and #AI workloads. We've been on that path since the beginning, and this latest blog entry details how users get compiled certs "for free" without additional annotation burden. clef-lang.com/blog/proofs-...

'Free' Proofs from Dimensional Types How Wadler's Free Theorems Provide the Formal Foundation for Design-Time Dimensional Verification

#cleflang clef-lang.com/blog/proofs-...

A Path Less Traveled: SpeakEZ's Innovations in Quantum-Resistant WireGuard The Air-Gapped Advantage: How SpeakEZ Achieves Quantum Security Without Sacrificing WireGuard's Elegance

A year ago we wrote about post-quantum secured WireGuard with hybrid PSKs. It didn't name TailScale directly. Their own documentation explicitly states that their WireGuard implementation does not use PSKs. That just became the exfiltration vector in the Mercor breach. speakez.tech/blog/quantum...

Zero Knowledge Proofs: Verification as Product How the Fidelity framework's dual-pass verification architecture produces independently auditable proof certificates

Five years ago we sketched threshold signatures and partition secrets on a whiteboard, designing compilation for a post-quantum world. Today Shor's algorithm has been shown to 10,000 qubits. 😬

We wrote up how ZK proofs connect to what we've been building in Fidelity: speakez.tech/research/zk-...

"CEO Said A Thing!" Journalism "CEO said a thing!" journalism involves parroting the claims of a business leader or executive with absolutely no context, correction, or challenge whatsoever, no matter how elaborate the delusion.

"CEO said a thing!" journalism involves parroting the claims of a business leader or executive with absolutely no context, correction, or challenge whatsoever, no matter how elaborate the delusion. karlbode.com/ceo-said-a-t...

Your data is everywhere. The government is buying it without a warrant Data brokers buy up huge amounts of information from cell phones and browsers to sell for targeted advertising. But the government, including ICE, also buys the data.

No really, I am not kidding when I say that the data broker industry must be destroyed: www.npr.org/2026/03/25/n...

Researchers are going to research. The only difference now is visibility, but they are always there. Longevity is secondary to the pursuit itself, at least from the few we've encountered directly.

Decidable By Construction: Design-Time Verification for Trustworthy AI A prevailing assumption in machine learning is that model correctness must be enforced after the fact. We observe that the properties determining whether an AI model is numerically stable, computation...

Published today on arXiv: arxiv.org/abs/2603.25414

🔬 Numerical stability, computational correctness, physical consistency; this is what we're building at SpeakEZ Technologies. Verified AI infrastructure that's just the beginning of our journey.

#AI #Sustainability #systemsprogramming #quantum