The Shadows Lurking in the Equations
gods.art·42m·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·11h·
Discuss: r/rust
🔬Static Analysis
Flag this post
Superhuman AI for Multiplayer Poker
science.org·3d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Don't Trust Smart People
mtmason.com·5h·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·19h·
Discuss: r/programming
🎯GADT
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·6h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·3d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
The Case That A.I. Is Thinking
newyorker.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
🏗️Dune
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·2d
🔍CBMC
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·1d
📚Automata Learning
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·1d
📚Automata Learning
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·20h·
Discuss: DEV
LTL
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·4d·
Discuss: DEV
🧠Automated Reasoning
Flag this post