SpeakEZ.tech

Beauty is in the eye of the dispatcher

Leaning Into LARP Agency The LARP Protocol: A Security Model Built for Agentic Speed

Check out our "LARP" protocol, which is to in-effect to all the things an organization needs that MCP was never built to contemplate. (hint: Think HATEOAS with context) speakez.tech/blog/larp-pr...

...and *completely* expected.

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

😏 It's amazing how much you can accomplish when you have the effective equivalent of unlimited budget.

Fidelity framework and the Firefly compiler will move #fsharp to S-tier (by those measures)

Intelligent Systems At Cloud's Edge How Fidelity.CloudEdge extends the Fidelity Framework to embrace intelligent edge computing on Cloudflare

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

🙏 Thanks for putting our latest blog on "the cover"! It's such an honor. This came from a ❄️ 'snow day' pause to set up tooling to go with our Firefly compiler advance.

Nanopass Navigation How Single-Purpose Transformations Enable Multi-Stack Compilation

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

⚡️❄️This is such a great showcase for #fsharp! 🔌

Spatial Mechanics How F# Native's Tiered Approach to Memory Manages Streaming for Today and Supports Architectures of Tomorrow

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

Similar feeling to writing a compiler. 😅

Collect Yourself! How F# Native Collections Reveal Pure Lambda Calculus Underneath - And Why That Matters for Performance

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

Learning to Walk How Fidelity Traverses the Semantic Graph for MLIR Generation

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

I don't mind letting it run around on a proper fork. But my days of letting it do much more than test and document generation are over (for now). It's still worth it in limited context as the time compression for perfunctory tasks is measurable and valuable. ⏳️ == 💰

Seq'ing Simplicity How Fidelity Compiles F# Sequence Expressions to Native Code

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

Why Lazy Is Hard How The Fidelity Framework Thunks Its Way Through Dynamic Computation

#fsharp #rust #cpp #scala #haskell

speakez.tech/blog/why-laz...

If you're parsing CSV with Python you run run all day. Try showing it a Scheme nanopass model to build coeffect/codata witness patterns with a function zipper and it just starts building recursive imperative code.

Through longer context windows - with substantial context setting (Serena 'memories' etc) there are very limited things it's capable of generating and it "falls off the beam" very very easily and reverts to very slop-code-ish patterns in a way that renders its output useless.

💯 We've adjusted our expectations for how much we get out of a given context window simply for all of the guards that have to be put in place with Serena memories and other documentation references.

My reflex is to consider Dynamic languages as "not qualifying" because of the churn that they can create. It can overwhelm a context window (unless there's a mountain of feature extracted training data to compensate) #python

Gaining Closure How MLKit-style flat closures bring F# native memory safety to native compilation

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

About to do the same. Opus 4.5 has lost the plot

Inferring Memory Lifetimes A design evolution from explicit to inferred memory lifetimes

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

Arity On The Side of Caution Why Fidelity Tracking Function Arity Puts the Machine Back In ML

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

0 trust for copilot here. We used Opus 4.5 with significant use of Serena to marshal memories, and it's *still* a struggle to prevent architectural "pollution"

Show Notes: The World's Most Successful FP Platform Reference Notes from Func Prog Sweden Presentation

speakez.tech/blog/func-pr...

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

Dimensional Type Safety Across Execution Models From Ada to Dataflow: How Intrinsic Units of Measure Puts F# in a New Orbit

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

Thanks! It's a powerful and capable language with deep roots and a great ecosystem! I've forked FSAC, Ionide and of course my "native type universe" flourish 🪄🤭 is my signal to the .NET world "this is new." But in truth, it's really sliding back toward ML with all of Don's innovations. I'm excited!