The Lisp in the Cellar: Dependent types that live upstairs [pdf]

Downloadable: https://zenodo.org/records/15424968/files/deputy-els.pdf

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

Points: 40

# Comments: 6

https://zenodo.org/records/15424968

Creată 26d | 20 mai 2025, 16:30:15

Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

Breaking My Security Assignments

Breaking My Security Assignments

Article URL: https://www.akpain.net/blog/breaking-secnet-assignments/

Comments URL:

15 iun. 2025, 06:40:07 | Hacker news

Dance Captcha

Article URL: https://dance-captcha.vercel.app/

Comments URL: https://news.ycombinator

15 iun. 2025, 06:40:06 | Hacker news

Flies grow their gyroscopes: Study reveals how flight stabilizers take shape

Flies grow their gyroscopes: Study reveals how flight stabilizers take shape

Article URL: https://phys.org/news/2025-06-flies-gyroscopes-reveals-flight-stabilizers.html

Comm

15 iun. 2025, 04:30:03 | Hacker news

Large language models often know when they are being evaluated

Large language models often know when they are being evaluated

Article URL: https://arxiv.org/abs/2505.23836

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

15 iun. 2025, 04:30:03 | Hacker news

Wrong ways to use the databases, when the pendulum swung too far

Wrong ways to use the databases, when the pendulum swung too far

Article URL: https://www.luu.io/posts/2025-database-pendulum

Comments URL:

15 iun. 2025, 02:10:13 | Hacker news

Infineon security microcontroller flaw enabled extraction of TPM secret keys

Infineon security microcontroller flaw enabled extraction of TPM secret keys

Article URL: https://it4sec.substack.com/p/a-flaw-in-infineons-security-microcontrollers

Comments U

15 iun. 2025, 02:10:12 | Hacker news

AMD's AI Future Is Rack Scale 'Helios'

AMD's AI Future Is Rack Scale 'Helios'

Article URL: https://morethanmoore.substack.com/p/amds-ai-future-is-rack-scale-helios

Comments URL:

15 iun. 2025, 02:10:12 | Hacker news

Techie