niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

Natural Number Game: build the basic theory of the natural numbers from scratch

Article URL: https://adam.math.hhu.de/#/g/leanprover-community/NNG4

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

Points: 30

# Comments: 1

https://adam.math.hhu.de/#/g/leanprover-community/NNG4

Creato 6mo | 17 dic 2024, 14:20:10


Accedi per aggiungere un commento

Altri post in questo gruppo

Axolotls May Hold the Key to Regrowing Limbs
Axolotls May Hold the Key to Regrowing Limbs

Article URL: http

22 giu 2025, 01:10:08 | Hacker news
Requiem for a Solar Plant
Requiem for a Solar Plant

Article URL: https://7goldfish.com/articles/Requiem_for_a_solar_plant.php

Comments URL:

22 giu 2025, 01:10:07 | Hacker news
Publishing a Docker Container for MS Edit to the GitHub Container Registry
Publishing a Docker Container for MS Edit to the GitHub Container Registry

Article URL: https://til.simonwillison.net/github/container-registry

Comments URL:

22 giu 2025, 01:10:06 | Hacker news
See Jane 128 by Arktronics run (ft. Magic Desk, 3-Plus-1 and the Thomson MO5)
See Jane 128 by Arktronics run (ft. Magic Desk, 3-Plus-1 and the Thomson MO5)

Article URL: http://oldvcr.blogspot.com/2025/06/see-jane-128-by-arktronics-run.html

Comments URL:

22 giu 2025, 01:10:05 | Hacker news
Don't Read This If You Have a Security Clearance (2023)
Don't Read This If You Have a Security Clearance (2023)

Article URL: https://www.theatlantic.com/ideas/archive/2023/05/leaked-documents-secu

22 giu 2025, 01:10:04 | Hacker news
Show HN: To-Userscript: Chrome Extension to Userscript Converter
Show HN: To-Userscript: Chrome Extension to Userscript Converter

Article URL: https://github.com/Explosion-Scratch/to-userscript

Comments URL:

21 giu 2025, 22:40:09 | Hacker news
Researchers using the same data and hypothesis arrive at different conclusions
Researchers using the same data and hypothesis arrive at different conclusions

Article URL: https://www.pnas.org/doi/10.1073/pnas.2203150119

Comments URL:

21 giu 2025, 22:40:09 | Hacker news
Techie
Techie