A story I love about Anthony Stewart Head. Thank you to this person for sharing it on Tumblr. What a mensch.

Productivity doesn't matter if you're working on the wrong thing.

Now that all of these #AI companies are finally revealing there's no path to their profitability it's time for me to trot this out again... speakez.tech/blog/uncomfo...

This is the companion to our Fixed-Point Scaffolding paper. It goes further into negative and fractional types, both in theory and application. arxiv.org/abs/2606.04352

Hat tip to @lauriewired.bsky.social for her cogent video on the MIT School vesus the New Jersey/Bell Labs approach to software design. Of course we have our own opinions, as we span both schools of thought. There's a shout-out to #fsharp 's inspiration as well. t.co/L4VxA82xEk

My team uncovered that foreign enemies are targeting U.S. servicemembers in war zones by buying their location data. The threat to national security posed by data brokers has never been more clear. We need to dismantle the surveillance advertising industry.

I find the acceptance and defense of mediocrity to be deeply depressing. This is true not just in the context of large language models, but particularly in the case of certain scholars and politicians.

Today, we are releasing DuckDB v1.5.3. This is not an ordinary patch release – it packs many new features for the Quack client-server protocol, Quack support for DuckLake, and big updates for AWS, HTTPS and Iceberg. Check out our blog post about all these changes and improvements – link in the 🧵.

Milestone achieved! Spectra at Sandia National Laboratories has reached full system acceptance under the Vanguard program - powered by NextSilicon’s #Maverick2. Real workloads. Proven performance. Production-ready HPC. Read more: www.nextsilicon.com/insights/spe...

Aram Hăvărneanu @xw.is is doing really interesting work. We take some lessons from it to scaffold explicit transitions between our verification tiers, turning what was a layered architecture into an interlocking one. clef-lang.com/docs/interna...

Goodbye #GitHub - hello Forgejo #selfhosting

This generation of AI tooling will not change the CI/CD process. People will continue setting up dominos of shell scripts and using triggers to knock them over.

GitHub is to VCS software as Skype was to video conferencing

Still feel like "Musk and his crew of incels destroyed a bunch of stuff they didn't understand and thereby hastened the deaths of millions of children" did not get the public attention it warranted.

Automating busy work is busy work.

No one outside of a dozen shops are building models. Everyone building "AI this" or "agentic that" are simply rediscovering 40+year-old patterns, and in many cases very poorly. speakez.tech/blog/actors-...

Yes, Swiss scientist Fritz Zwicky coined the term “dark matter” which is impressive, but he also coined the term “spherical bastard” to describe people who are bastards no matter which way you look at them, and I think that should be celebrated more.

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

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...

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

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

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

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.

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...

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...

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

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...

“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...

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-...

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

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...

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 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...

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

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

Managed ADD hyper-focus 💯

Would you really like to live in a society where you have no responsibility and no freedom, no choice, only the false option of obedience to the law, or disobedience followed by punishment? Would you really want to go live in a prison?

📚 This paper is the third of three. What began as an arithmetic substrate problem resolved into a composed architecture: depth-independent training memory bounded to inference, grade-preserving weight updates, and a mechanism for domain-specific models from existing LLMs. arxiv.org/abs/2603.18104

📚 This paper is the second of three. What began as distinct gaps has resolved to a unified pattern: the Program Hypergraph transforms 'binary' graph edges to hyperedges of arbitrary arity. The kicker: grade inference falls out as a natural consequence. #AI #neuromorphic arxiv.org/abs/2603.17627

We have so much gratitude for all of the deep learning that didn't learn anything and made a virtue out of information loss. It really feels difficult to remember how wasteful standard floating point was to machine learning. 🙄

📚 This paper is the first of three. What began as a specific technical question about annotation lifetime in type systems became a discovery of principle: that information preservation enables a class of design-time verification that current systems cannot provide. arxiv.org/abs/2603.16437

In the latest article by Oil & Gas Journal, @eladraz.bsky.social explains why many seismic workloads are memory-bound and how dataflow computing can unlock higher efficiency and utilization. Read the article: www.ogj.com/sponsored/ar...

WebView and then Native GPU Control from Clef language - mind you it's loading one framebuffer but it's a start! This is actually a #cleflang and #fsharp story for now, but I'll be moving web generation to the Composer compiler soon. youtu.be/8egiPpVi4pg

For those in the #fsharp and #dotnet arena, we're also starting to work on a distinct pathway for actors in Cloudflare using their Durable Object model along with other management and backplane tooling for supporting extended scenarios for distributed compute. github.com/FidelityFram...