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

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

Henderson & Morris coined "lazy evaluation" in 1976. Almost 50 years later we're still figuring out how to do it without a garbage collector. #golang #rust #python #csharp #dotnet #fsharp speakez.tech/blog/seqing-...

#fsharp #rust #cpp #scala #haskell speakez.tech/blog/why-laz...

#fsharp #ocaml #systemsprogramming #rust #golang speakez.tech/blog/gaining...

We're introducing a new approach to memory management in Fidelity: the compiler tracks data flow, determines where values escape their scope, and infers lifetimes automatically. Explicit arenas when you need them, inference when you don't. #fsharp speakez.tech/blog/inferri...

What happens when you compile F# without a garbage collector? Every partial application needs somewhere to live. We adapted #OCaml's approach: track arity explicitly, optimize saturated calls, and stack-allocate closures when needed. #FSharp speakez.tech/blog/arity-o...

Not everything at @speakeztech.bsky.social is digital! #quantum

We've written about #fsharp CEs, Active Patterns and Quotations getting first-class treatment in 'fsnative' - our fork of the fsharp compiler. But units of measure gets its own entry as it's critical to so many of our broader ambitions for the platform. speakez.tech/blog/dimensi...

#fsharp #webdevelopment #systemsprogramming speakez.tech/blog/wren-st...

The Fidelity framework has really grown, and in our case that also means in certain cases it's gotten considerably smaller... and that's a *good* thing. 🙂 #fsharp #ocaml #rust speakez.tech/blog/absorbi...

It's that time of year! 🎊 Out with the old - in with the new! #fsharp #quantum

Another #fsharp checkpoint, more broadly articulated than the posit deep-dive in the previous link: speakez.tech/blog/fsharp-...

Here's an end-of-year checkpoint on the whys and wherefores of forking #fsharp to create fsnative. This does a deeper dive into posit math support and touches on the multiple optimization/acceleration paths available in our Fidelity framework. speakez.tech/blog/bringin...

Chasing robust entropy through software is solving the problem backwards. Algorithmic debiasing discards most of the samples. Whitening functions add attack surface. The real answer: design hardware and software together using established mathematical principles. #fsharp speakez.tech/blog/xor-a-q...

I have to admit at first I didn't recognize quotations and active patterns for their value in Fidelity. CEs surfaced first as delimited continuations "covered the horizon" for concurrent semantics. As "self-hosting" comes closer, more #fsharp features prove their worth. speakez.tech/blog/standin...

We have decided to put the Fidelity Framework elements in their own GitHub org. Everything is still in fairly early days. We don't expect many community contributions at this point but we wanted to be sure that folks will see the work progressing in the open. github.com/FidelityFram... #fsharp

#fsharp #mlir speakez.tech/blog/baker-a...

#fsharp #dotnet #excel #typescript #erlang Here are my notes with links to references, including the live site and Github Repo of the online spreadsheet demo used in my presentation titled "The World's Most Successful FP Platform" speakez.tech/blog/func-pr...

With a hat tip to @jordanmarr.bsky.social and again @mangelmaxime.bsky.social (Glutinum) and Zaid Ajaj (Hawaii) there is now a preliminary (0.1.0) release of CloudflareFS available on nuget. #fsharp #fablecompiler www.nuget.org/packages?q=C...

#fsharp My presentation on #Excel as the functional programmer's bridge to communicating with business is up! #softwareengineering #webdevelopment #SolidJS www.youtube.com/live/BKTkmiR...

When you ask Fortune 500 CEOs if they will share metrics on the benefits of RTO or AI adoption.

Had to get this off my chest. #Tech #ai #eacc #doomedgeneration #SoftwareEngineering #webdev #machinelearning #datascience speakez.tech/blog/lexicon...

Amazing.

🎯 Answer: The original Rust compiler from 2010 was written in OCaml! 🐫 OCaml was chosen for its strong type system and pattern matching features. This "bootstrap" compiler was used to create the first self-hosting Rust compiler. #Programming #PLT

Our #fsharp Advent entry for this year. speakez.tech/blog/buildin...

Tristan Harris frames #AI as a race toward concentrated power. He's right about the trajectory, but wrong that it's inevitable. Privacy-first architecture changes everything. #Privacy #FutureOfWork #DataPrivacy #DiaryOfaCEO speakez.tech/blog/intelli...

Oracle’s stock price is now lower than before its $300B deal with OpenAI was announced. There isn’t just doubt that OpenAI can come up with the money but concern that Oracle is taking on a lot of debt to build out capacity to handle the usage spike.

#AI died twice. It re-emerged by rebranding to #MachineLearning and #DataScience. With today's rampant circular financing echoing Enron and trillions in exposure, what will we call it when we can't ignore the blast radius the hype cycle leaves behind? speakez.tech/blog/prepari...

✅ Testing... Testing... 1... 2.. 3... ❌ ❔ #mlir #fsharp speakez.tech/blog/mlir-te...

Thanks to Jeremy Kun for his #mlir tutorial! 💙We forked and retooled for WinOS w/his blog as docs in the repo. Will go through and update for 2025 using his tutes as a guide and make adjustments. Plans are for MacOS & Linux with CMake - then Bazel afterward. 🎄#fsharp github.com/speakeztech/...

Taking an #fsharp /Fable sidebar to talk about a commercial service we're building "by accident". It started with creating in-house "Fargo" repo management - but @cloudflare.social is doing work. 👀👍 Now it's our first stop when recommending cloud services to clients. speakez.tech/blog/conclav...

@cloudflare.social is doing good work. 👍🌐 #security #webdevelopment #quantum blog.cloudflare.com/bootstrap-mtc/