Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1d
🎮Language Ergonomics
Flag this post
Issue 496
haskellweekly.news·5d
👑Dependent Haskell
Flag this post
Don't let these 3 CPU specs trick you into paying more
xda-developers.com·21h
⚡Instruction Fusion
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
🐪MinCaml
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·12h
🔮Metacircular Evaluators
Flag this post
I Built a "Jumpstart" System for Claude Code - 3-Minute Setup, Production Agents, Honest Cost Analysis
🚂Cranelift Backend
Flag this post
Perl 🐪 Weekly #745 - Perl IDE Survey
🔗Language Toolchains
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·12h
📋Tablegen
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·12h
🪜Recursive Descent
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.org·12h
🔄Incremental Parsers
Flag this post
v2.0.11: ## Major changes in 2.0
github.com·8h
💬Error Messages
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·12h
🔮Type Inference Visualization
Flag this post
Loading...Loading more...