niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

Anatomy of a Formal Proof

Article URL: https://www.ams.org/journals/notices/202502/noti3114/noti3114.html

Comments URL: https://news.ycombinator.com/item?id=42815755

Points: 27

# Comments: 0

https://www.ams.org/journals/notices/202502/noti3114/noti3114.html

Établi 6mo | 24 janv. 2025, 20:30:11


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Rust on Every GPU
Rust on Every GPU

Article URL: https://rust-gpu.github.io/blog/2025/07/25/rust-on-every-gpu/

Comments URL:

26 juil. 2025, 12:30:06 | Hacker news
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software

Article URL: https://raymii.org/s/blog/Bringing_a_Decade_Old_Bicycl

26 juil. 2025, 12:30:05 | Hacker news
Ambigrammia: Between Creation and Discovery (Hofstadter, 2025)
Ambigrammia: Between Creation and Discovery (Hofstadter, 2025)

Article URL: https://yalebooks.yale.edu/book/9780300275438/ambigrammia/

Comments URL:

26 juil. 2025, 10:10:09 | Hacker news
Users claim Discord's age verification can be tricked with video game characters
Users claim Discord's age verification can be tricked with video game characters

Article URL: https://www.thepinknews.com/2025/07/25/discord-video-game-

26 juil. 2025, 07:50:08 | Hacker news
Why I Do Programming
Why I Do Programming

Article URL: https://esafev.com/notes/why-i-do-programming/

Comments URL:

26 juil. 2025, 07:50:07 | Hacker news
Turn any diagram image into an editable Draw.io file. No more redrawing
Turn any diagram image into an editable Draw.io file. No more redrawing

Article URL: https://imagetodrawio.com/

Comments URL: https://news.ycombinator.com/item?id=4

26 juil. 2025, 07:50:06 | Hacker news
Auto Favicon MCP Server
Auto Favicon MCP Server

Article URL: https://github.com/dh1011/auto-favicon-mcp

Comments URL: https:

26 juil. 2025, 07:50:04 | Hacker news
Techie
Techie