Asimov, Programming and the Meta Ladder
eli.thegreenplace.net·3h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Gem.coop Update #1
gem.coop·7h·
Discuss: Lobsters, Hacker News
🌐ActivityPub
Flag this post
Reverse Vibe Coding
blog.za3k.com·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·15h·
Discuss: Hacker News
🎯Hindley-Milner
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
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
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
🧠Automated Reasoning
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·3d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
⏱️Computational Complexity
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·4d·
Discuss: DEV
λFunctional Programming
Flag this post
From Five Dimensions to Many: Large Language Models as Precise and Interpretable Psychological Profilers
arxiv.org·14h
📚Automata Learning
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·2d
🧩Parser Combinators
Flag this post
5 Pillars of Successful Web App Development
devops.com·9h
🔧DevOps
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·14h
⏱️Computational Complexity
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·3d·
Discuss: DEV
🔍Formal Verification
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