#fstar

@speakeztech.bsky.social

1 week ago

GitHub - FidelityFramework/mlir-plugins: Custom transforms for MLIR to support Fidelity Framework Custom transforms for MLIR to support Fidelity Framework - FidelityFramework/mlir-plugins

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

4 0 0 0

SpeakEZ.tech

@speakeztech.bsky.social

4 months ago

Achieving Safety In a Universally Contested Future How the emergent realities of a post-quantum internet must be met with new tools and better solutions

This is our take on how that domain aligns with our ongoing work. #fsharp #fstar speakez.tech/blog/safety-...

1 0 0 0

Carolina Code Conference

@codescarolina.bsky.social

4 months ago

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 #programming #ocaml

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…

6 1 0 0

SpeakEZ.tech

@speakeztech.bsky.social

6 months ago

Great fun and a great crowd at @codescarolina.bsky.social
#Java #ruby #dotnet #csharp #fsharp #COBOL #erlang #elm #cpp #mlir #llvm #cpp #clang #rustlang #golang #fstar #ai #machinelearning #verification #fstar #elm #haskell

5 3 0 0

Posts tagged #fstar