Propositions as Types (2014) [pdf]

Article URL: https://foundation.tlapl.us/challenge/index.html

Comments URL:

Article URL: https://github.com/reubeno/brush

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

Article URL: https://spectrum.ieee.org/supercapacitor-2671883490

Comments URL:

Article URL: https://idiallo.com/blog/when-the-machine-stops

Comments URL:

Article URL: https://micahflee.com/despite-misleadi

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

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

Hey HN! We’re Will and Jeff from Exa (https://exa.ai). We recently launched Exa Websets, an embeddings-powered search engine designed to return exactly what you’re ask