niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

Long division verified via Hoare logic

Article URL: https://www.cofault.com/2025/02/long-story-of-division.html

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

Points: 5

# Comments: 0

https://www.cofault.com/2025/02/long-story-of-division.html

Établi 1mo | 26 févr. 2025, 16:40:13


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Stop syncing everything
Stop syncing everything

Article URL: https://sqlsync.dev/posts/stop-syncing-everything/

Comments URL:

2 avr. 2025, 09:20:08 | Hacker news
Travel Guide for Stateless People
Travel Guide for Stateless People

Article URL: https://taejun.substack.com/p/travel-guide-for-stateless-people

Comments URL:

2 avr. 2025, 09:20:08 | Hacker news
Where does air pollution come from?
Where does air pollution come from?

Article URL: https://ourworldindata.org/air-pollution-sources

Comments URL:

2 avr. 2025, 07:10:03 | Hacker news
Silicon Valley, Halt and Catch Fire, and How Microserfdom Ate the World (2015)
Silicon Valley, Halt and Catch Fire, and How Microserfdom Ate the World (2015)

Article URL: https://grantland.com/hollywood-prospectus/silicon-valley-halt-catch-f

2 avr. 2025, 04:40:08 | Hacker news
Forking Work Simplification – Let's Bring Back Eisenhower's Process Improvement
Forking Work Simplification – Let's Bring Back Eisenhower's Process Improvement

Article URL: https://www.governance.fyi/p/forking-work-simplification-and-more

Comments URL:

2 avr. 2025, 04:40:07 | Hacker news
Val Kilmer has passed away
Val Kilmer has passed away

Article URL: https://www.nytimes.com/2025/04/01/movies/val-kilmer-dead.html

Comments URL:

2 avr. 2025, 04:40:07 | Hacker news
Testing DVD-R and CD-R 25 years later: optical disks from Japan
Testing DVD-R and CD-R 25 years later: optical disks from Japan

Article URL: https://goughlui.com/2025/03/23/optical-discs-from-japan-part-6-tdk-uv-

2 avr. 2025, 02:20:19 | Hacker news
Techie
Techie