niftycent.com
NiftyCent
CZ
Přihlášení
Tržiště
Slevy

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

Vytvořeno 1mo | 24. 1. 2025 20:30:11


Chcete-li přidat komentář, přihlaste se

Ostatní příspěvky v této skupině

Type++: Prohibiting Type Confusion with Inline Type Information [pdf]
Type++: Prohibiting Type Confusion with Inline Type Information [pdf]

Article URL: https://www.ndss-symposium.org/wp-content/uploads/2025-53-paper.pdf

Comments URL:

1. 3. 2025 16:30:10 | Hacker news
OpenGL to WASM, learning from my mistakes
OpenGL to WASM, learning from my mistakes

Article URL: https://uds5501.github.io/mindpalace/2025/03/01/opengl-webgl-porting.html

Comments URL:

1. 3. 2025 16:30:09 | Hacker news
Yes, Claude Code can decompile itself. Here's the source code
Yes, Claude Code can decompile itself. Here's the source code

Article URL: https://ghuntley.com/tradecraft/

Comments URL: https://news.ycombinator.c

1. 3. 2025 14:20:08 | Hacker news
Intel delays $28B Ohio chip fabs to 2030
Intel delays $28B Ohio chip fabs to 2030

Article URL: https://www.reuters.com/technology/intel-delays-28-billion-

1. 3. 2025 14:20:05 | Hacker news
Zapier says someone broke into its code repositories and may have customer data
Zapier says someone broke into its code repositories and may have customer data

Article URL: https://www.theverge.com/news/622026/zapier-data-breach-code-repositories

Comments URL:

1. 3. 2025 14:20:04 | Hacker news
How long can you balance a pencil?
How long can you balance a pencil?

Article URL: http://thevirtuosi.blogspot.com/2010/06/how-long-can-you-balance-quantum-pencil.html

1. 3. 2025 11:50:08 | Hacker news
A DOGE staffer appears to be posting DOGE work on his public GitHub
A DOGE staffer appears to be posting DOGE work on his public GitHub

Article URL: https://twitter.com/SollenbergerRC/status/1895609294810464390

Comments URL:

1. 3. 2025 11:50:06 | Hacker news
Techie
Techie