🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Show HN: Model-literals, model-aliases, and preference-aligned routing for LLMs
docs.archgw.com·14h·
Discuss: Hacker News
⚙️Configuration Parsing
Show HN: RealTimeX – Local‑first private AI agents
realtimex.ai·3h·
Discuss: Hacker News
🔮Metacircular Evaluators
Giants vs. Chiefs: Russell Wilson flounders as fans chant 'We want Dart'
nytimes.com·4h
📚Factor
The Purple Gradient Problem – pt 1
sriraam.substack.com·1d·
Discuss: Substack
✨Effect Inference
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🚂Error Propagation
Life beyond the free energy principle: how to survive without invariance
dialecticalsystems.eu·1d·
Discuss: Hacker News
🎯Finite Automata
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·7h·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·2d·
Discuss: Hacker News
🩺Compiler Diagnostics
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·2d·
Discuss: Hacker News
🪜Recursive Descent
Issue 490
haskellweekly.news·3d
⚡functional programming
Snippets - Transform GitHub repositories into searchable code snippets for your vector database
reddit.com·20h·
Discuss: r/ClaudeAI
🔍Comby
Exploring how functions in Python are treated as first-class citizens, and the untapped potential they hold.
dev.to·1d·
Discuss: DEV
⚡functional programming
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·4h
🗺️Region Polymorphism
Balance between refactoring and inheritance in your code
github.com·6d·
Discuss: Hacker News
🧪Compiler Testing
Clprolf Docs #5 — Concurrency and Parallelism Made Clear
dev.to·3d·
Discuss: DEV
🔗Concurrency Primitives
Don’t Just Prompt, Learn The Why Behind The Code
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Fleming-R1: Toward Expert-Level Medical Reasoning via Reinforcement Learning
arxiv.org·4h
🪜Recursive Descent
Automated Optimization of IVIG Dosing Regimens via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·4h·
Discuss: DEV
✨Effect Inference
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·4h
📊LR Parsing
TypeScript Types Are The Best Kind Of Magic
dev.to·2d·
Discuss: DEV
🔧API Design