SpeakEZ.tech
@speakeztech.bsky.social
Deep tech (4 patents) fusing #HPC, #AI & #PQC. Proven substrate for CPU, #GPU, #TPU, #FPGA, #CGRA & neuromorphic in our open core Fidelity framework. #fsharp
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-...
Seq'ing Simplicity
How Fidelity Compiles F# Sequence Expressions to Native Code
speakez.tech
January 18, 2026 at 5:21 PM
Gaining Closure
How MLKit-style flat closures bring F# native memory safety to native compilation
speakez.tech
January 17, 2026 at 4:04 AM
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...
Inferring Memory Lifetimes
A design evolution from explicit to inferred memory lifetimes
speakez.tech
January 14, 2026 at 10:24 PM
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...
Arity On The Side of Caution
Why Fidelity Tracking Function Arity Puts the Machine Back In ML
speakez.tech
January 14, 2026 at 10:21 PM
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
January 11, 2026 at 7:54 PM
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...
Dimensional Type Safety Across Execution Models
From Ada to Dataflow: How Intrinsic Units of Measure Puts F# in a New Orbit
speakez.tech
January 10, 2026 at 10:35 PM
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...
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...
Absorbing Alloy
The Journey from Shadow BCL to Native-First Thinking
speakez.tech
January 5, 2026 at 1:29 AM
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...
December 30, 2025 at 1:11 AM
Another #fsharp checkpoint, more broadly articulated than the posit deep-dive in the previous link: speakez.tech/blog/fsharp-...
F# on Metal Revisited
From Stack-Only to Graduated Memory: A Year Of Fidelity Framework Evolution
speakez.tech
December 29, 2025 at 3:28 PM
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...
Bringing Posit Arithmetic to F#
How John Gustafson's Universal Numbers take shape in Fidelity framework
speakez.tech
December 29, 2025 at 3:15 PM
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...
XOR: A Quantum Case Study
How Mathematics Can Show A Clear Path in Hardware/Software Co-Design
speakez.tech
December 28, 2025 at 8:20 PM
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...
Standing Art: F# Metaprogramming Features in the Firefly Compiler
How Firefly's unique value pivots on Don Syme's principled designs
speakez.tech
December 21, 2025 at 9:18 PM
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
Fidelity Framework
F# native application platform. Fidelity Framework has 12 repositories available. Follow their code on GitHub.
github.com
December 19, 2025 at 11:50 PM
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 #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...
Show Notes: The World's Most Successful FP Platform
Reference Notes from Func Prog Sweden Presentation
speakez.tech
December 12, 2025 at 3:27 PM
#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...
NuGet Gallery
| Packages matching CloudflareFS
www.nuget.org
December 10, 2025 at 10:22 PM
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...
www.youtube.com/live/BKTkmiR...
www.youtube.com
December 10, 2025 at 3:26 AM
#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...
www.youtube.com/live/BKTkmiR...
Reposted by SpeakEZ.tech
When you ask Fortune 500 CEOs if they will share metrics on the benefits of RTO or AI adoption.
December 5, 2025 at 11:41 AM
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...
A Lexicon of Technological Invective
Catalog of Recurring Rhetorical Tropes, c. 370 BCE – Present
speakez.tech
December 5, 2025 at 4:38 AM
Had to get this off my chest. #Tech #ai #eacc #doomedgeneration #SoftwareEngineering #webdev #machinelearning #datascience speakez.tech/blog/lexicon...
Reposted by SpeakEZ.tech
Reposted by SpeakEZ.tech
🎯 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
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
December 3, 2025 at 4:01 AM
🎯 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
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