Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧩Constraint Solvers
Flag this post
Bold Devlog - October Summary
📚Forth Compilers
Flag this post
Valuable News – 2025/11/03
vermaden.wordpress.com·10h
🌱Forth Kernels
Flag this post
To improve Rationality, create Situations
lesswrong.com·5h
🚂Error Propagation
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
🎯Finite Automata
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
🌪️V8 TurboFan
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🗃️Query Compilation
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
💬Interactive REPLs
Flag this post
I repurposed my old GPU for self-hosted AI and it changed my life
xda-developers.com·5h
🖥️Minimal VMs
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·16h
🪜Recursive Descent
Flag this post
Loading...Loading more...