DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.orgยท2h
๐ŸŽ™๏ธWhisper
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.netยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Four years, Five failures, One compiler
daymare.netยท21hยท
๐Ÿ—๏ธCompiler Archaeology
Functional Threading โ€œMacrosโ€
aartaka.meยท1d
๐Ÿง Lisp Dialects
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท12hยท
Discuss: r/programming
โšกCache Coherence
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1hยท
Discuss: DEV
๐Ÿ“Code Metrics
Three important things to get right for successful AI Coding
kau.shยท13h
โšกProof Automation
A PhD in Snapshots
rbharath.github.ioยท5hยท
Discuss: Hacker News
๐Ÿง Machine Learning
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.orgยท2h
๐ŸงฎKolmogorov Complexity
Upgrading Our Way Through the Rest of OpenGL
bumbershootsoft.wordpress.comยท1d
๐ŸŽจLUT Compression
Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท3dยท
๐Ÿ”—Functional Compilers
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท1dยท
๐Ÿ“ŠHyperLogLog
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.orgยท2h
๐Ÿ”งHardware Verification
Embracing the parallel coding agent lifestyle
simonw.substack.comยท5hยท
Discuss: Substack
๐ŸŒณIncremental Parsing
Delimited Continuations in Lone Lisp
matheusmoreira.comยท3dยท
๐Ÿ”—Lisp
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.orgยท2h
๐Ÿ“‹Document Grammar
Working pipe operator today in pure JavaScript
github.comยท1dยท
Discuss: Hacker News
๐ŸšShell Combinators
std::ranges may not deliver the performance that you expect
lemire.meยท8hยท
Discuss: Hacker News
๐Ÿ“Error Bounds
Graph-Based AI Compiler
tdcommons.orgยท4dยท
Discuss: Hacker News
๐Ÿ“Compiler Design