Writing an Asciidoc Parser in Rust: Asciidocr
🔨Compilers
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·1d
🧩SAT Solvers
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
👁️System Observability
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
⚡Process Calculi
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·1h
💻CS
Flag this post
I Want to Break Free! Persuasion and Anti-Social Behavior of LLMs in Multi-Agent Settings with Social Hierarchy
arxiv.org·1h
🔲Cellular Automata
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
🧠Automated Reasoning
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
🤖Program Synthesis
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1h
📡Network Protocol Design
Flag this post
Being "Usefully Concrete"
lesswrong.com·8h
➡️Category Theory
Flag this post
Quantifying Developer Impact & ROI via Dynamic Valuation Graph Analysis
🧱Immutable Infrastructure
Flag this post
Loading...Loading more...