Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
📚Automata Learning
Flag this post
CHERIoT 1.0 Released
🐫Embedded OCaml
Flag this post
C++ move semantics from scratch (2022)
🎯GADT
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Why AI Can't Write Good Software
🔤Language Design
Flag this post
How to Merge Word Documents in Python: A Step-by-Step Automation Guide
✓Automated Theorem Proving
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·6h
📚Automata Learning
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·2d
🖥Self-Hosting
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔍Formal Verification
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·6h
📚Automata Learning
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·6h
🧮Lambda Calculus
Flag this post
Loading...Loading more...