🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Personality Disorders as Relational Disorders
psychiatrymargins.com·20h·
Discuss: Hacker News
💫Effect Systems
Isabelle rule musings
blueberrywren.dev·4d
⚖️Inference Rules
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
What I learned building a programming language with LLM agents
eddmann.com·4d·
Discuss: Hacker News
🔮Metacircular Evaluators
Design Patterns
github.com·4d·
Discuss: DEV
🔀Control Structures
I want to build a drawing web app from scratch (no canvas), which data structures should I focus on?
reddit.com·1d·
Discuss: r/webdev
📋Row Typing
Persistence Spheres: Bi-continuous Representations of Persistence Diagrams
arxiv.org·2h
🧩Persistent Vectors
Security Amplification of Threshold Signatures in the Standard Model
eprint.iacr.org·3d
✨Gleam
A Novel Approach to Emergent Agent Behavior Using a ΨQRH Framework
reddit.com·1d·
Discuss: r/LLM
🎭Erlang OTP
Physics-Informed Operator Learning for Hemodynamic Modeling
arxiv.org·2h
🪜Recursive Descent
Governing Automated Strategic Intelligence
arxiv.org·2h
🎭Program Synthesis
"It Was a Magical Box": Understanding Practitioner Workflows and Needs in Optimization
arxiv.org·2h
🎭Program Synthesis
You don’t need NPM to ship fully-featured apps.
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
CAMBench-QR : A Structure-Aware Benchmark for Post-Hoc Explanations with QR Understanding
arxiv.org·2h
🔮Type Inference Visualization
Efficiently Computing the Cyclic Output-to-Output Gain
arxiv.org·2h
⚡Control Synthesis
Roundtable Policy: Improving Scientific Reasoning and Narratives through Confidence-Weighted Consensus of LLMs
arxiv.org·2h
🔍ML Language
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·2h
🔗Hash Algorithms
Development and validation of an AI foundation model for endoscopic diagnosis of esophagogastric junction adenocarcinoma: a cohort and deep learning study
arxiv.org·2h
✨Effect Inference
Inference Offloading for Cost-Sensitive Binary Classification at the Edge
arxiv.org·1d
🗺️Region Inference
Enhancing Financial RAG with Agentic AI and Multi-HyDE: A Novel Approach to Knowledge Retrieval and Hallucination Reduction
arxiv.org·2h
🏷️Attribute Grammars