Stirring Bars are Superstition?
science.org·2d·
Discuss: Hacker News
💎Refinement Types
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·1d·
Discuss: Hacker News
📚Automata Learning
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·1d·
Discuss: Hacker News
💎Refinement Types
You might not need Python-dotenv
blog.natfu.be·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
Understanding Transformers Using a Minimal Example
rti.github.io·3d·
Discuss: Hacker News, r/programming
🧩Parser Combinators
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·1d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
When Simulated Worlds Meet Real Concerns
lesswrong.com·3h
🩹Self-Healing Systems
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·1d
🛡️seL4
Morse sequences on stacks and flooding sequences
arxiv.org·3d
➡️Category Theory
The Babysitter Problem
chrisbeckman.dev·22h·
Discuss: Hacker News
🛡️seL4
The Ping Pong Ball Paradox
en.wikipedia.org·5h·
Discuss: Hacker News
🧠Automated Reasoning
CausalARC: Abstract Reasoning with Causal World Models
arxiv.org·1d
📚Automata Learning
Semantically Reflected Programs
arxiv.org·2d
💎Refinement Types
Follow up experiments on preventative steering
lesswrong.com·16h
🧩Separation Logic
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🧩Parser Combinators
AnomalyLMM: Bridging Generative Knowledge and Discriminative Retrieval for Text-Based Person Anomaly Search
arxiv.org·1d
📚Automata Learning
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·2d
🛡️seL4
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·1d
✓Automated Theorem Proving
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·2d
🧠Automated Reasoning
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·1d·
Discuss: Hacker News
🛡️seL4