Asimov, Programming and the Meta Ladder
eli.thegreenplace.net·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Gem.coop Update #1
gem.coop·5h·
Discuss: Lobsters, Hacker News
🌐ActivityPub
Flag this post
On Async Mutexes
matklad.github.io·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·13h·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·6d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·1d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Application architecture design template
reddit.com·2d·
Discuss: r/programming
🔤Language Design
Flag this post
Intentionality
lesswrong.com·1d
📵Digital Minimalism
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·2d
🧩Parser Combinators
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
vibe.forem.com·2d·
Discuss: DEV
🔧DevOps
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·4d·
Discuss: DEV
λFunctional Programming
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·11h
⏱️Computational Complexity
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·2d
🩹Self-Healing Systems
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·2d
🧩Parser Combinators
Flag this post
Collins' Word of the Year for 2025 revealed
rte.ie·6h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
5 Pillars of Successful Web App Development
devops.com·7h
🔧DevOps
Flag this post