Beets: The music geek's media organizer
❄️Nix
Flag this post
How to CAD Almost Anything (2024)
🔤Typography
Flag this post
Modern perspectives in proof theory (2023)
🔗Curry-Howard
Flag this post
The Monetization Trap: When Profits Come at the Expense of Productivity
📵Digital Minimalism
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
⚙️Compiler Design
Flag this post
VC Money Kills Great Products
💻Apple Virtualization
Flag this post
Building an epaper laptop: the monitor
💾Retro Computing
Flag this post
A.I. Is on Its Way to Something More Remarkable Than Intelligence
⏱️Computational Complexity
Flag this post
Experimental Results on Goldbach's Conjecture
🧮Z3 Solver
Flag this post
Decoding City Storms: How Sparse Sensing Can Prevent Urban Floods by Arvind Sundararajan
🔲Cellular Automata
Flag this post
The Hawley-Blumenthal AI Risk Evaluation Act
lesswrong.com·2d
🧠Automated Reasoning
Flag this post
Launch-Day Diffusion: Tracking Hacker News Impact on GitHub Stars for AI Tools
arxiv.org·3d
🌐ActivityPub
Flag this post
built a desktop app for managing ci/cd pipelines across multiple providers (including argocd and tekton)
🔧Unikernel Development
Flag this post
The Evergreen AI & Tech Roundup: Navigating Trends for Credibility and Career Growth (2025-11-08)
🤖Program Synthesis
Flag this post
Structural Properties, Cycloid Trajectories and Non-Asymptotic Guarantees of EM Algorithm for Mixed Linear Regression
arxiv.org·10h
📐Linear Algebra
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
📚Automata Learning
Flag this post
The Workflow of the Future Is Already Here (And It's Nothing Like You Think)
👁️System Observability
Flag this post
Loading...Loading more...