I Curate an Anthology
≤Order Theory
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
🔲Cellular Automata
Flag this post
I want you to understand Chicago
🌐Network Protocols
Flag this post
A Short Survey of Compiler Backends
⚙️Compiler Design
Flag this post
Measuring Productivity Smarter: Inside the DeckerGUI KPI Tracking and DSYNC Assessment System
👁️System Observability
Flag this post
Fisher Meets Lindahl: A Unified Duality Framework for Market Equilibrium
arxiv.org·1d
🎯Fixed Point Theory
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·5d
📚Automata Learning
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·4d
🧩Separation Logic
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·4d
🧩Parser Combinators
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·4d
📚Automata Learning
Flag this post
A memo on Takeoff
lesswrong.com·2d
🐫Embedded OCaml
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·4d
🐫Embedded OCaml
Flag this post
Loading...Loading more...