How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
❄️Nix Flakes
Flag this post
"Flow" in software development is overrated
🔧DevOps
Flag this post
Reverse Vibe Coding
🌐ActivityPub
Flag this post
You Should Write An Agent
🛡️seL4
Flag this post
Application architecture design template
🔤Language Design
Flag this post
I am torn about using Lo
🔤Language Design
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
✓Automated Theorem Proving
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
⏱️Computational Complexity
Flag this post
From Five Dimensions to Many: Large Language Models as Precise and Interpretable Psychological Profilers
arxiv.org·21h
📚Automata Learning
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·2d
🧩Parser Combinators
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·21h
⏱️Computational Complexity
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Loading...Loading more...