Turnstile+: Dependent Type Systems as Macros

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

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

Article URL: https://sandstorm.org/

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

Article URL: http://www.tribblix.org/

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

Article URL: https://nibblestew.blogspot.com/2025/08/lets-properly-analyze-ai-article-for.html

<

Article URL: https://ethanding.substack.com/p/windsurf-gets-margin-called

Comments URL:

Article URL: https://electrek.co/2025/08/08/tesla-used-car-prices-keep-

Article URL: https://shkspr.mobi/blog/2025/08/i-bought-a-16-smartwatch-just-because-it-used-usb-c/