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 1mo | Jan 24, 2025, 8:30:11 PM

Login to add comment

Other posts in this group

Deconstructing the "Whimsical Animations" landing page

Deconstructing the "Whimsical Animations" landing page

Article URL: https://www.joshwcomeau.com/blog/whimsical-animations/

Comments URL:

Feb 28, 2025, 5:30:08 PM | Hacker news

AMD RDNA 4 – AMD Radeon RX 9000 Series Graphics Cards

AMD RDNA 4 – AMD Radeon RX 9000 Series Graphics Cards

Article URL: https://www.amd.com/en/newsroom/press-releases/2025-2-28-amd-

Feb 28, 2025, 5:30:08 PM | Hacker news

Write to Escape Your Default Setting

Write to Escape Your Default Setting

Article URL: https://kupajo.com/write-to-escape-your-default-setting/

Comments URL:

Feb 28, 2025, 5:30:06 PM | Hacker news

Violence alters human genes for generations, researchers discover

Violence alters human genes for generations, researchers discover

Article URL: https://news.ufl.edu/2025/02/syrian-violence-epigenetics/

Comments URL:

Feb 28, 2025, 5:30:05 PM | Hacker news

Medical treatments devised for war can quickly be implemented in US hospitals

Medical treatments devised for war can quickly be implemented in US hospitals

Article URL: https://theconversation.com/how-medical-tr

Feb 28, 2025, 5:30:04 PM | Hacker news

3,200% CPU Utilization

3,200% CPU Utilization

Article URL: https://josephmate.github.io/2025-02-26-3200p-cpu-util/

Comments URL:

Feb 28, 2025, 5:30:04 PM | Hacker news

Show HN: Globstar – Open-source static analysis toolkit

Show HN: Globstar – Open-source static analysis toolkit

Hey HN! We’re Jai and Sanket, co-founders of DeepSource (YC W20). We're open-sourcing Globstar (https://github.com/DeepSourceCorp/globstar)

Feb 28, 2025, 5:30:02 PM | Hacker news

Techie