🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

AI Models Are Scheming – Inside OpenAI’s Plan to Stop Deceptive AI Behavior
madcornishprojectionist.co.uk·4h
💫Effect Systems
Vibe Coding – Real Code, Real Risks, or Both?
guidepointsecurity.com·55m
🎭Program Synthesis
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·12h·
Discuss: Substack, r/cpp
🏷️Memory Tagging
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·2d·
Discuss: Hacker News
🪜Recursive Descent
Snippets - Transform GitHub repositories into searchable code snippets for your vector database
reddit.com·1d·
Discuss: r/ClaudeAI
🔍Comby
Don’t Just Prompt, Learn The Why Behind The Code
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Exploring how functions in Python are treated as first-class citizens, and the untapped potential they hold.
dev.to·2d·
Discuss: DEV
⚡functional programming
Fleming-R1: Toward Expert-Level Medical Reasoning via Reinforcement Learning
arxiv.org·8h
🪜Recursive Descent
Automated Optimization of IVIG Dosing Regimens via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·8h·
Discuss: DEV
✨Effect Inference
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·8h
📊LR Parsing
Building an AI Sales Infrastructure with Claude, n8n, and Apollo
dev.to·3h·
Discuss: DEV
🛡️Error Ergonomics
Simplifying API Communication with the BFF Pattern in NextJS
dev.to·2h·
Discuss: DEV
🔧API Design
Fully Decentralized Cooperative Multi-Agent Reinforcement Learning is A Context Modeling Problem
arxiv.org·8h
🔄Coroutines
Iterators: The Waiters With One-Way Tickets 🍽️🧑‍🍳
dev.to·21h·
Discuss: DEV
🪢Rope Data Structures
ETL: The Unsung Hero of Data-Driven Decisions
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
The Sum Leaks More Than Its Parts: Compositional Privacy Risks and Mitigations in Multi-Agent Collaboration
arxiv.org·3d
♾️Codata Types
PILOT: Steering Synthetic Data Generation with Psychological & Linguistic Output Targeting
arxiv.org·8h
💬Interactive REPLs