Mastodawn

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

https://github.com/FidelityFramework/mlir-plugins

amen zwa, esq.Jan 14

I can't fathom why the dependently typed programming language and interactive proof assistant F* isn't as prominent (hyped) as Lean, Idris, Agda, Coq, etc., among the programmers.

F* (#Fstar) is tatics-based proof assistant that additionally employs de Moura's Z3 #SMT solver—yes, the same bloke who created #Lean. Z3, F*, and Lean all came out of Microsoft Research. More importantly to #programmers, F* was created with the express purpose of doing #proof-oriented #verified #programming.

https://fstar-lang.org

F*: A Proof-Oriented Programming Language

Carolina Code Conference Nov 26

FYI: 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 https://www.youtube.com/shorts/b40WvzmHmN8

Carolina Code Conference Oct 28

ICYMI: 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 https://www.youtube.com/shorts/b40WvzmHmN8

Carolina Code Conference Oct 16

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 https://www.youtube.com/shorts/b40WvzmHmN8