Hacker News
Lobsters
- Research Debt http://distill.pub/2017/research-debt 6 comments philosophy , science
Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- The Promise of Hierarchical Reinforcement Learning https://thegradient.pub/the-promise-of-hierarchical-reinforcement-learning/ 25 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114?r=3cbez&s=w 10 comments
- HYTRADBOI 2025 https://www.scattered-thoughts.net/writing/hytradboi-2025/ 3 comments
- Moving to a new job? You want a personal knowledge base https://offbyone.us/posts/new-job-knowledge-base/ 1 comment
- Beyond the Board: Exploring AI Robustness Through Go | FAR AI https://far.ai/post/2024-06-go-defense/ 1 comment
- How Text Summarization Could Change the Way We Educate | by Timothy Blumberg | Towards Data Science https://medium.com/@Tim_Blumberg/how-text-summarization-could-change-the-way-we-educate-e1a6b2a21cea 0 comments
- Introducing Retrospectives: 'Real Talk' for your Past Papers https://thegradient.pub/introducing-retrospectives/ 0 comments
- Boosting Scientific Productivity Again – Joshua Mitchell https://lelon.io/blog/boosting-scientific-productivity-again 0 comments
- The invisible mountains. What research and learning is and how… | by Nikita | Medium https://medium.com/@NikitaVoloboev/the-invisible-mountains-bd50a31bc64e 0 comments
- Console #114 -- Interview with Martin about MoonZoon - a Rust Full Stack Framework https://console.substack.com/p/console-114 0 comments
- Data Visualization “Versus” UI and Data Science | by Lynn Cherny | Medium https://medium.com/@lynn_72328/data-visualization-versus-ui-and-data-science-d59182d58af4 0 comments
- Even Superhuman Go AIs Have Surprising Failures Modes | FAR AI https://far.ai/post/2023-07-superhuman-go-ais/ 0 comments
Related searches:
Search whole site: site:distill.pub
Search title: Research Debt
See how to search.