iiinova — where your digital self keeps evolving

Braidpoint @braidpoint.bsky.social · 07/09/2026

Working on #cleflang tooling that might look a bit familiar to #fsharp UoM fans and Ada and VHDL devs too. Getting dimensional type inference to work in the Native Type Universe was a fun challenge.

VSCode screen grab - Showing the beginning of editor tooling for the Clef language - dimensional type inference

051

Braidpoint @braidpoint.bsky.social · 01/07/2026

Lots of fun with visualizing the connections between the spec, docs, blog entries and our pre-prints for #cleflang

Clef language web site pointer to the Atlas control in the top nav

Atlas instructions for creating and clearing sub-graphs

010

Braidpoint @braidpoint.bsky.social · 17/04/2026

Why yes, this *is* @opennebula.bsky.social 7.2 running Firecracker instances, why do you ask? ☺️ (PRs coming soon)

Sunstone admin panel for OpenNebula 7.2 showing Firecracker VMs

000

Braidpoint @braidpoint.bsky.social · 20/02/2026

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

2101

Braidpoint @braidpoint.bsky.social · 07/01/2026

And... a 'hello world' demonstration.

030

Braidpoint @braidpoint.bsky.social · 30/12/2025

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

071

Braidpoint @braidpoint.bsky.social · 09/12/2025

I got this going already. Not sure what's needed to make it smoother but glad to see it!

010

Braidpoint @braidpoint.bsky.social · 03/11/2025

There's a great deal of design interaction between #fsharp and #Scala fsharp.org/history/hopl...

031

Braidpoint @braidpoint.bsky.social · 06/10/2025

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

default page for R2 WebDAV server sample project

Default page for HelloWorker sample project

081

Braidpoint @braidpoint.bsky.social · 11/07/2025

🤔 "Why are you so focused on low-level memory operations in a functional language?" Here's the thing: We're not abandoning high-level abstractions. We're making them work everywhere 🎯 The path is more direct than you might think 👇 speakez.tech/blog/beyond-... #FunctionalProgramming #FSharp

041

Braidpoint @braidpoint.bsky.social · 03/07/2025

Having some #fsharp fun building Alloy's shadow API! 🎭 These look like System/Core calls but they're statically resolved to our dependency-free implementations. Same familiar F# idioms, zero BCL dependencies. It's like BCL cosplay for native compilation! 🚀 #dotnet

173

Braidpoint @braidpoint.bsky.social · 25/06/2025

💯And the seeds to the solution were planted back in the 1970s. 💡 #fsharp with a hat tip to @dsyme.bsky.social fsharp.org/history/hopl...

Excerpt from "The Early History of F#" HOPL article by Don Syme introducing the origins of typed programming from the 1970s with Robin Milner

020

Braidpoint @braidpoint.bsky.social · 25/04/2025

🍰 #fsharp don't sleep on FSharp.UMX. It's a one-pager library that changes everything. Having non-numeric units of measure is one of those things that once you see it, you can't un-see it. And zero-cost abstractions are the icing on the cake.

Screen grab of an example of type-safe representations for cryptographic processing

3275

Braidpoint @braidpoint.bsky.social · 17/04/2025

Fun news! Houston's proposal to present on the workings of the Firefly compiler was accepted for this summer's @codescarolina.bsky.social conference! #dotnet #fsharp #llvm #mlir

080

Braidpoint @braidpoint.bsky.social · 05/04/2025

This is a bit of #fsharp fun that leans a bit into #javascript - trying to get SPA style behavior out of a lightweight MPA using FlightDeck. The key is marking up areas of the page with IDs to use the morphdom JS library to manage the page transitions.

030

Braidpoint @braidpoint.bsky.social · 02/04/2025

"F# is not better for systems or embedded or game programming" To that statement, we would assiduously disagree... 😉

Firefly is a new F# compiler that lowers via MLIR and LLVM to operate natively on CPU, accelerator, Iot and other edge devices.

010

Braidpoint @braidpoint.bsky.social · 28/03/2025

We've already made a modification 🙄😊 [This is the last one - promise!] 😉

110

Braidpoint @braidpoint.bsky.social · 28/03/2025

With a hat-tip to @sirhamy.bsky.social for the hedgehog inspiration we've come up with a logo and name for our MLIR-to-LLVM compilation process. Meet #fsharp "Firefly" 💡 [hint: the dragon wings borrow from the LLVM logo]

180

Braidpoint @braidpoint.bsky.social · 28/03/2025

We're still not seeing it (yet) maybe CDN propagation to the US? One of the reasons we've made the choices over a hard fork of Fornax is to make it as sympathetic to SAFE(r) stack as we could while preserving the Hugo/Jekyll CMS-lite conventions that make them so handy. bsky.app/profile/spea...

110

Braidpoint @braidpoint.bsky.social · 14/03/2025

Here's a pass using self-contained settings. It seems like something is wrong in the approach. That number doesn't look right.

000

Braidpoint @braidpoint.bsky.social · 14/03/2025

Here's the "standard" #fsahrp console app using the #dotnet 9 SDK

F# Hello World with standard .NET 9 compilation

100

Braidpoint @braidpoint.bsky.social · 06/03/2025

The number of times it has snowed on my birthday 🎂 in western North Carolina, I can count on one finger ☝️ 😄

000

Braidpoint @braidpoint.bsky.social · 27/02/2025

Every once in a while you gotta take a minute to #touchgrass and appreciate where and when you are... #startuplife

010

Braidpoint @braidpoint.bsky.social · 25/02/2025

As a hybrid software/hardware company, we sometimes have to fabricate before we can innovate. 🪚🤭 Here, we're improving our #iot workbench area for increased visibility to wrap up device prototypes that connect to #AI in our lab.

Before picture: cold light fixtures is a bit too strong on the eyes. An awning is needed.

Cutting particle board with black veneer on one side and white on the other.

Aluminum angle brackets tested and fitted to the bench top.

A 30 degree angle provides a shield for the eyes while the work surface gets more reflected light

110

Braidpoint @braidpoint.bsky.social · 22/02/2025

May the wonders never cease - #fsharp markup is finally supported in Teams 😏⏳🤔

Teams code excerpt finally has an F# option for the language selection

0234

Braidpoint @braidpoint.bsky.social · 13/02/2025

Blast from the past 🫠 #dotnet #fsharp #ocaml #csharp #visualbasic www.youtube.com/watch?v=MBd2...

Presentation slide from Bill Gates' announcement of Visual Basic and Visual Studio that includes a plethora of other languages mentioned with "Supporting 99% of the World" as the title of the slide

272

Braidpoint @braidpoint.bsky.social · 17/01/2025

Having more #fsharp fun with our "Systm2" platform. We're using Akka.NET actors to spawn visualization agents using data out of free-running @duckdb.org agents (for each regional data set). Some rough edges to smooth out, like adding some nuance/labeling to tooltips, but it's really coming together.

2101

Braidpoint @braidpoint.bsky.social · 12/01/2025

My fave bit is the use of nerd fonts, Terminal-Icons and inline highlighting using 'bat' (or 'batcat' by alias)

PowerShell directory listing using Terminal-Icons and oh-my-posh

batcat call into tailwind.config.js showing markup

100

Braidpoint @braidpoint.bsky.social · 12/01/2025

Not to be picky, but it looks like C# written by a former Java developer

120

Braidpoint @braidpoint.bsky.social · 12/01/2025

Update - finally put these indices on mt_events and yeah it's just *silly* fast. 😊

110

Braidpoint @braidpoint.bsky.social · 09/01/2025

Putting together an #eventsourcing and #dotnet walkthrough of an app we built using Marten and #postgresql. All of the benefits of #fsharp 's DUs both for API and Event structure - with Events built from the API primitives. Then at query time "it's just Postgres" when traversing data in the store.

Example of discriminated unions informing message and event structure in F# with Marten

Postgres query traversing objects in the store to retrieve and aggregate data.

Example of the mt_events "type" column as a handy reference for first-level of event inspection across streams without having to parse data objects.

Example of Marten used to build an IReadOnlyList from events to return the last data policy choice in a given stream

251

Braidpoint @braidpoint.bsky.social · 02/01/2025

Got this #fsharp based #AI feature mostly ironed out. There are several methods to select an Industry/Subindustry: 1) scroll the full list in the selection drop-down, 2) Sector selection using the avatars, 3) sub-string filtering (upper input field) and 4) semantic search - which is the focus here.

000

Braidpoint @braidpoint.bsky.social · 31/12/2024

Working on the #fsharp and #react implementation for the semantic search feature and it's turning out well. I'm bringing back the "top 3" and then rebuilding the hierarchy on that subset for full breadcrumb paths in case the user wants to select one of the upper levels in the hierarchy. #Elmish

Result of cosine similarity query in Postgres returning the "shortest" distance (limit 3) - input was "Medication and Prescription Dispensaries"

Result of re-bread-crumb-ing the three return results from the "ProcessSemanticSearch" call. Breadcrumbs are rebuilt in the UI/Elmish model.

Another example using "Police Benevolent Association" as sample text

110

Braidpoint @braidpoint.bsky.social · 28/12/2024

Having some #fsharp fun with a semantic search feature using "just #postgres". This is a quick sanity check to verify that cosine similarity will get the job done. Using the pgvector extension and a special index on the vector column returns results in a blink (although the table only has 206 rows).

VSCode making HTTP call to Ollama for an embed of text. JetBrains Rider showing SQL query returning results ranked by cosine similarity

131

Braidpoint @braidpoint.bsky.social · 25/12/2024

Being a grownup at Christmas 🎄 means having bourbon in your breakfast instead of candy.

010

Braidpoint @braidpoint.bsky.social · 16/12/2024

And of course you can play with it here: rower-stg.speakez.tech/signup

010

Braidpoint @braidpoint.bsky.social · 16/12/2024

The filteredOptions is what creates the update to the available element listed in the selection menu based on the partial match in that field. We also use that with the avatars along the top of the entry field, such that clicking on those sub-selects for a given sector.

100

Braidpoint @braidpoint.bsky.social · 16/12/2024

Once the data is in the store we pull it up into a structure that allows us to display the Sector, then Sector > IndustryGroup, etc so the full hierarchy is exposed "from the top down" in the selection menu.

100

Braidpoint @braidpoint.bsky.social · 16/12/2024

Then we inserted this CSV data into our Postgres database to use as a baseline for creating the "breadcrumb" visual representation of each code.

100

Braidpoint @braidpoint.bsky.social · 16/12/2024

We then added some categorical elements that are not in the standard taxonomy to cover non-profit, NGO and public sector categories. We didn't put descriptions of go to the Sub-Industry level.

100