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
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...