niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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

Created 4d | Jan 24, 2025, 8:30:11 PM


Login to add comment

Other posts in this group

A new ability to pinpoint sources of fast radio bursts
A new ability to pinpoint sources of fast radio bursts

Article URL: https://news.berkeley.edu/2025/01/21/astron

Jan 28, 2025, 9:50:12 PM | Hacker news
Old Games Magazines
Old Games Magazines

Article URL: https://www.theguardian.com/games/2025/jan/28/video-game-histor

Jan 28, 2025, 9:50:12 PM | Hacker news
Machine learning and nano-3D printing produce nano-architected materials
Machine learning and nano-3D printing produce nano-architected materials

Article URL: ht

Jan 28, 2025, 9:50:12 PM | Hacker news
Svelte 5 and the Future of Frameworks: A Chat with Rich Harris
Svelte 5 and the Future of Frameworks: A Chat with Rich Harris

Article URL: https://www.smashingmagazine.com/2025/01/svelte-5-future-frameworks-chat-rich-harris/

Jan 28, 2025, 9:50:11 PM | Hacker news
Parkinsons patient "feels cured" with new adaptive deep brain stimulation device
Parkinsons patient "feels cured" with new adaptive deep brain stimulation device

Article URL: https://www.bbc.com/news/articles/ckgn49r069wo

Comments URL:

Jan 28, 2025, 9:50:11 PM | Hacker news
Can we get the benefits of transitive dependencies without undermining security?
Can we get the benefits of transitive dependencies without undermining security?

Article URL: https://tratt.net/laurie/blog/2024/can_we_retain_t

Jan 28, 2025, 9:50:10 PM | Hacker news
SciPhi (YC W24) Is Hiring
SciPhi (YC W24) Is Hiring

Article URL: https://www.ycombinator.com/companies/sciphi/jobs/CVYWWpl-founding-ai-research-engine

Jan 28, 2025, 9:50:07 PM | Hacker news
Techie
Techie