An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
Clarity
robinsloan.comยท1d
๐Ÿง Intelligence Compression
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.appยท7hยท
Discuss: Hacker News
๐Ÿ“œBinary Philology
Semantic Layers Are Bad for AI
bagofwords.comยท1dยท
Discuss: Hacker News
๐Ÿค–AI Curation
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท1d
๐ŸŒณContext free grammars
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.toยท9hยท
Discuss: DEV
โšกIncremental Computation
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท7hยท
Discuss: DEV
โš™๏ธProof Engineering
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท15hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Operable Software
ferd.caยท15hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท15hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Show HN: Realization Jsmn on a Pure Zig
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
The Library Method: Understanding @cache
dev.toยท1dยท
Discuss: DEV
โšกCache Theory
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.comยท6hยท
Discuss: Substack
๐Ÿง Intelligence Compression
Refactoring: A way to write better Code
dev.toยท3hยท
Discuss: DEV
โš™๏ธOperational Semantics
Comparing human and language models sentence processing difficulties on complex structures
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata