The Dumpster Dive Principle
📵Digital Minimalism
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
Humans and neural networks show similar patterns of transfer and interference
📚Automata Learning
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
When Assurance Undermines Intelligence: The Efficiency Costs of Data Governance in AI-Enabled Labor Markets
arxiv.org·9h
🔲Cellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·9h
📚Automata Learning
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·9h
📚Automata Learning
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·9h
🐫OCaml
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·9h
❓Existential Types
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·1d
🔲Cellular Automata
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·9h
🎮Verification Games
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·1d
🎮Verification Games
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·1d
⏱️Computational Complexity
Flag this post
build system tradeoffs
🏗️Dune
Flag this post
Loading...Loading more...