#prover — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #prover, aggregated by home.social.
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
https://github.com/deepseek-ai/DeepSeek-Prover-V2 #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated -
In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
-
In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
-
In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
-
In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
-
In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
-
GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
https://github.com/deepseek-ai/DeepSeek-Prover-V2 #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated -
GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
https://github.com/deepseek-ai/DeepSeek-Prover-V2 #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated -
GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
https://github.com/deepseek-ai/DeepSeek-Prover-V2 #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated