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

🚨 BREAKING: 🙄🧐🤨☺️ (isn't everyone doing this now?) We just pushed the latest version of Cloudflare bindings for #fsharp. We've generated bindings for a fairly significant cross-section of the supported SDK and API surface for management. #dotnet www.nuget.org/packages?q=F...

trying this linkedinfluencer thing to say OCaml and Domain Specific Languages www.linkedin.com/pulse/domain...

Just created our first #MLIR plugin for #cleflang and while it's within a narrow focus it has wide implications: MLKit style flat closures that can be lowered to standard LLVM. #fsharp #fstar #ocaml #dotnet github.com/FidelityFram...

Watching devs suddenly discover that the ability to write was important all along...

I know my geeks will love this. This is an arithmometer. It's your Texas Instruments digital calculator's great grandpappy. They started making these in the 1850s. en.wikipedia.org/wiki/Arithmo...

We should have never legitimized gambling or outsourced our thinking.

🎯

Well, it's in the can! 🤖 #FPGA end-to-end compilation with bit width inference confirmed with #cleflang, including AMD/Xilinx bootstrapping the flash process in the back end #fsharp #ocaml #haskell #rust #dotnet

i read that stupid blog about the left "missing out" on AI and got big mad aftermath.site/anthropic-cl...

Given how much we've been sharing our work with the #fsharp community, we thought it worth summarizing this pivotal decision to establish a new language. speakez.tech/blog/reintro...

Things are happening... #ml #fsharp

So far it's only impacted senior management bonuses. 🙄

Aside work on the Firefly compiler, we're also building a cloud edge platform. That process, starting as back plane machinery for package management, emerged with "shared edges" until we found that re-imagining it as part of the Fidelity Framework itself was warranted. speakez.tech/blog/intelli...

#fsharp speakez.tech/blog/nanopas...

#fsharp #rust #golang speakez.tech/blog/spatial...

📍📍 Collect yourself!! 📍📍😃 #fsharp #golang #rust #dotnet speakez.tech/blog/collect...

#fsharp #stadardml #ocaml #rust #golang #SystemsThinking #SoftwareEngineering #WebDevelopment speakez.tech/blog/learnin...