niftycent.com
NiftyCent
DE
Login
Marktplatz
Rabatte

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

Erstellt 1mo | 24.01.2025, 20:30:11


Melden Sie sich an, um einen Kommentar hinzuzufügen

Andere Beiträge in dieser Gruppe

Meta apologises over flood of gore, violence and dead bodies on Instagram
Meta apologises over flood of gore, violence and dead bodies on Instagram

Article URL: https://www.theguardian.com/technology/2025/feb/2

28.02.2025, 12:40:10 | Hacker news
Netboot Windows 11 with iSCSI and iPXE
Netboot Windows 11 with iSCSI and iPXE

Article URL: https://terinstock.com/post/2025/02/Netboot-Windows-11-with-iSCSI-and-iPXE/

Comments U

28.02.2025, 12:40:10 | Hacker news
Openlayer (YC S21) is hiring a senior back end engineer
Openlayer (YC S21) is hiring a senior back end engineer

Article URL: https://www.ycombinator.com/companies/openlayer/jobs/yIE9WI3-senior-backend-engineer

28.02.2025, 12:40:08 | Hacker news
WASM Wayland Web (WWW)
WASM Wayland Web (WWW)

Article URL: https://joeyh.name/blog/entry/WASM_Wayland_Web_WWW/

Comments URL:

28.02.2025, 10:30:07 | Hacker news
Boris Spassky: 1937–2025
Boris Spassky: 1937–2025

Article URL: https://en.chessbase.com/post/boris-spassky-1937-2025

Comments URL:

28.02.2025, 10:30:06 | Hacker news
Mozilla deletes promise to never sell Firefox data
Mozilla deletes promise to never sell Firefox data

Article URL: https://twitter.com/LundukeJournal/status/1895249805338886591

Comments URL:

28.02.2025, 10:30:05 | Hacker news
I found 1000 GitHub repos with malware. Can we get them deleted?
I found 1000 GitHub repos with malware. Can we get them deleted?

Article URL: https://timsh.org/github-scam-investigation-thousands-of-mods-and-cracks-stealin

28.02.2025, 10:30:04 | Hacker news
Techie
Techie