🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Show HN: RealTimeX – Local‑first private AI agents
realtimex.ai·1h·
Discuss: Hacker News
🔮Metacircular Evaluators
Show HN: Model-literals, model-aliases, and preference-aligned routing for LLMs
docs.archgw.com·12h·
Discuss: Hacker News
⚙️Configuration Parsing
The Purple Gradient Problem – pt 1
sriraam.substack.com·1d·
Discuss: Substack
✨Effect Inference
ChatGPT Surprises Scientists By Solving Plato’s Ancient Math Test In A New Way
studyfinds.org·5h
🌱Minimal ML
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🚂Error Propagation
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·5h·
Discuss: Substack, r/cpp
🏷️Memory Tagging
The Modern Developer Blog Revolution: Why WordPress is Dead and Static is King
thedanielmark.com·9h·
Discuss: DEV
⚡Live Coding
Issue 490
haskellweekly.news·3d
⚡functional programming
Snippets - Transform GitHub repositories into searchable code snippets for your vector database
reddit.com·18h·
Discuss: r/ClaudeAI
🔍Comby
Design Databases Like a Senior Engineer: My Battle-Tested 7-Step Process
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Don’t Just Prompt, Learn The Why Behind The Code
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
LLM-Powered Query Processing: From Natural Language to Tool Execution
dev.to·2d·
Discuss: DEV
⚙️Configuration Parsing
Tracking prompt evolution for RAG systems - anyone else doing this?
github.com·8h·
Discuss: r/LocalLLaMA
⚡Live Programming
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·2h
🗺️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·2d·
Discuss: DEV
🔗Concurrency Primitives
Fleming-R1: Toward Expert-Level Medical Reasoning via Reinforcement Learning
arxiv.org·2h
🪜Recursive Descent
Automated Optimization of IVIG Dosing Regimens via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·2h·
Discuss: DEV
✨Effect Inference
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·2h
📊LR Parsing