Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.deยท12h
โšกfunctional programming
The Inverse Matrix problem
talesfrom.devยท1d
๐Ÿš‚Error Propagation
Culture, Language, and Generative Language Models
cacm.acm.orgยท19h
๐Ÿง Semantic Parsing
Build a Text-to-SQL System: A Guide to Replicating Pinterestโ€™s Approach
analyticsvidhya.comยท2d
๐Ÿ’พMinimal Databases
Java Annotated Monthly โ€“ October 2025
blog.jetbrains.comยท1d
๐Ÿ’ฌSmalltalk VMs
Building a earning app like Duolingo with React + Java backend โ€“ SEO & Routing advice?
reddit.comยท1dยท
Discuss: r/reactjs
๐ŸŽฎLanguage Ergonomics
The Invisible Hand: LLM influence is the new SEO
getspore.comยท13hยท
Discuss: Hacker News
๐Ÿ“ˆQuery Optimization
valuetier.org (and some thoughts on LLMs)
ericphanson.comยท1dยท
๐Ÿ“šSelf-Documenting Code
I Spent 6 Hours Per Blog Post Until I Built This AI Content Platform
terradium.ioยท1dยท
Discuss: DEV
โšกIncremental Parsing
TrueType rasterizer
github.comยท13hยท
โœจCode Formatters
Vector Index Hygiene: A New Layer Of Technical SEO via @sejournal, @DuaneForrester
searchenginejournal.comยท4d
๐Ÿ”Fuzzy Indexing
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.orgยท4h
๐Ÿ’ฌInteractive REPLs
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.orgยท1d
๐ŸชœRecursive Descent
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท1dยท
Discuss: r/programming
๐Ÿง Memory Models
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.orgยท1d
โœ…Type Checking
Batch Processing with Spring Batch and Multiple Data Sources
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งError Recovery
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.orgยท4h
๐Ÿ“Linear Logic
Vector Trifference
arxiv.orgยท4h
๐ŸŽฏBit Vectors
From Moments to Models: Graphon Mixture-Aware Mixup and Contrastive Learning
arxiv.orgยท4h
๐Ÿ”ML Language