#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/

💡Absolutely DO NOT SLEEP on NextSilicon. 👀 What they're doing with CGRA architecture shares natural sympathies with our designs for the Fidelity framework. This makes us very hopeful for the future of sustainable compute. #machinelearning #AI #systemsengineering #fsharp

What a difference four months makes. Imagine selling your house, moving for work and then being laid off anyway.

"I DON'T NEED YOU TO FUCKING REWRITE WHAT I'VE JUST WRITTEN!"

Tech CEOs stopped Trump from sending troops to San Francisco which would have been disastrous for their immigrant worker base given the troops come along with massive indiscriminate ICE raids. Who needs Congress when you have an oligarchy?

Narrator: "It won't end better..." 😑

We're pretty excited about the idea of a @cloudflare.social "native" edge compute story for #fsharp. We've put together a few proposals for some of the work we have in the lab, and hope to be rolling out segments of it through the end of the year. speakez.tech/blog/spec-st...

F# and C#: Deep Integration for Modern Development #shorts: F# and C# have shared edges and deep integration for 20 years. Users benefit from doing things within a strongly typed API. Policy choices are defined as an enumeration inside of the React app as well as in the backend. #FSharp #CSharp…

F# vs F*: Decoding the Differences and Influences #shorts: F# and F*—cousins in code. Their influences, overlaps, and effects on language and tech get dissected. See how they've shaped async, reactive models, and even security protocols. A fast-paced look at the deal between them. #FSharp #FStar…

You’ll notice that new developments in generative AI are always accompanied by new ways of depicting women without their consent—undermining their autonomy and harassing them—almost like it’s a pillar of the technology and its evolution

💡It's not porn if you're a non-profit. It's just sparkling sluttiness. (not that there's anything wrong with that) 🤭

This week in 1988: 1,000+ ACT UP demonstrators shut down the FDA headquarters, demanding (and eventually winning) action on developing HIV/AIDS treatments. ACT UP's militant and creative actions always included powerful visual artwork, and paved the way for movements in the decades to come.

it's kinda weird that all the software i am expected to use for work are all written by distributed teams, go, python, postgres, linux, chrome, k8s etc and despite being told "the best teams work in an office together" i don't know of any software i use that's actually written that way

This is a #fsharp project for building and deploying a @cloudflare.social based file sharing applet. It builds a React SPA using teh Fable Compiler and Elmish with a WebDAV Worker and R2 bucket behind it. Users are managed via Cloudflare Secrets. github.com/speakeztech/...

Forward progress with #fsharp for #javascript with CloudflareFS. Three sample projects: "HelloWorker", "R2WebDAV" which is a port of the TypeScript project I updated, and a "Simple-CLI" that manages them both via management API (No TOML, no wrangler). @cloudflare.social github.com/speakeztech/...