The Collapse of Centralized AI Discovery
👁️Observability
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Automated Reasoning
Flag this post
Every Sunday, I Refactor Old Code and It’s the Smartest Habit I’ve Ever Built
🔄Reproducible Builds
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙️Compiler Design
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·2h
⏱️Computational Complexity
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
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·15h
🎮Verification Games
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·2h
✓Automated Theorem Proving
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·2h
🔲Cellular Automata
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·2h
🎮Verification Games
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·2h
🎮Verification Games
Flag this post
Progressive Translation of H&E to IHC with Enhanced Structural Fidelity
arxiv.org·2h
🎨GADTs
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·2h
📐Hoare Logic
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·2h
🧩Parser Combinators
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·2h
🧩Parser Combinators
Flag this post
Loading...Loading more...