🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Next F* PoP Up Seminar is on Nov 7. Sheera Shamsu will talk about her OCaml-style garbage collector proven correct in F* and extracted to C. Learn about both F* and OCaml GC internals in the same talk! Should be awesome : ) #fstarlang #ocaml fstar-lang.org/popup/seminar.…

It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/global/en/job/…

The new ICFP Conference 2023 mix tape just dropped: youtube.com/playlist?list=…

It takes all kinds ...

Excited to post ~15 new chapters in the F* book on Pulse and proof-oriented programming in concurrent separation logic, coupled with initial releases of the Pulse extension to F*. Just in time for our tutorial at POPL tomorrow! fstar-lang.org/tutorial/book/… #fstarlang

We're hiring! Please apply to join RiSE @ MSR Both fresh PhDs: jobs.careers.microsoft.com/global/en/job/… And Principal Researchers: jobs.careers.microsoft.com/global/en/job/…

From the White House ONCD report: whitehouse.gov/wp-content/upl… > ... use formally verified core components in their software supply chain. [Citing: Microsoft Research, Project Everest] See: project-everest.github.io #fstarlang

Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)

This edition of Microsoft Research Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at FSE 2025 . Work done as part of microsoft.com/en-us/research… Project. Madeline Endres Sarah Fakhoury @ ICSE25 Saikat Chakraborty RiSE Team @ MSR

WSL2 + OCaml + F* + VSCode + Copilot + fstar-vscode-assistant + ... Proof flow! #fstarlang

This is happening today in a bit less than an hour! ...

I'm writing my POPL submission in VSCode for the first time. I have copilot on ... Just because it usually is. Amused by it completing \cite{ with dreyer12.. pierce18... and interestingly petricek16. Not sure what papers those are, but I guess I'm definitely writing a PL paper :)

🚨 Thrilled to announce our recently accepted paper at ICSE, publishing benchmarks to push the boundaries of AI-driven Proof Oriented Programming. 🔗 huggingface.co/datasets/micro… 🔗 huggingface.co/datasets/micro… For more details: fstar-lang.org/popai #PoPAI #ICSE2025

Don't wanna hear that racist claptrap You chat that chat, get clapped back Don't wanna take my country back, mate I wanna take my country forward Sons Of Kemet #myqueeniskamalaharris