You might like
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 @SonsOfKemet #myqueeniskamalaharris
🚨 Thrilled to announce our recently accepted paper at @ICSEconf, 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
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 :)
This is happening today in a bit less than an hour! ...
Excited to have Anish Athalye anish.io present at the next F* PoP Up seminar on June 27, presenting about a verified hardware security module using a variety of tools, including F*, Low*, Hacl*. Come check it out! fstar-lang.org/popup/seminar.… #fstarlang
WSL2 + OCaml + F* + VSCode + Copilot + fstar-vscode-assistant + ... Proof flow! #fstarlang
This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at @FSEconf . Work done as part of microsoft.com/en-us/research… Project. @cellocorgi @fakhourysm @saikatch107 @RiSE_MSR
microsoft.com
Trusted AI-assisted Programming - Microsoft Research
Machine learning, in particular Large Language Models, has shown great promise at automating several aspects of programming and software development such as coding, testing, integration, static...
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news. msft.it/6013YuMLU
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 :)
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
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/…
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
The new @icfp_conference 2023 mix tape just dropped: youtube.com/playlist?list=…
It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/global/en/job/…
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.…
United States Trends
- 1. Kyle Pitts N/A
- 2. Max B 7,583 posts
- 3. Good Sunday 69.4K posts
- 4. Cam Bynum N/A
- 5. #AskFFT N/A
- 6. #Talus_Labs N/A
- 7. #DirtyBirds N/A
- 8. #sundayvibes 5,365 posts
- 9. $APDN $0.20 Applied DNA N/A
- 10. $SENS $0.70 Senseonics CGM N/A
- 11. Dee Alford N/A
- 12. $LMT $450.50 Lockheed F-35 N/A
- 13. Doran 90.6K posts
- 14. #Worlds2025 131K posts
- 15. Jessie Bates N/A
- 16. Faker 106K posts
- 17. Full PPR N/A
- 18. Sunday Funday 3,212 posts
- 19. The Wave 66.3K posts
- 20. Blessed Sunday 19K posts
You might like
Something went wrong.
Something went wrong.