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

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

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

Juvio brings inline, PEP 723-style dependency management and automatic, ephemeral env setup to Jupyter notebooks.

Comments URL:

Hi HN!

A while back, I started exploring ways to make aerodynamic simulation more interactive and visual for the web. I wanted something that felt immediate—intuitive enough for students, fast e

Article URL: https://blog.dshr.org/2025/05/the-dawn-of-nvidias-technology.html

Comments URL:

Article URL: https://aeon.co/essays/how-the-last-letters-of-the-condemned-can-teach-us-how-to-live

Article URL: https://blog.google/technology/ai/generative-media-models-io-2025/

Comments URL:

Article URL: https://seiya.me/blog/hypervisor-as-a-library

Comments URL: