🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Personality Disorders as Relational Disorders
psychiatrymargins.com·22h·
Discuss: Hacker News
💫Effect Systems
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
Vibe Managing
ag404labs.com·40m·
Discuss: Hacker News
🎮Language Ergonomics
What I learned building a programming language with LLM agents
eddmann.com·4d·
Discuss: Hacker News
🔮Metacircular Evaluators
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
Best Platform to Learn Machine Learning: A Complete Guide
dev.to·23h·
Discuss: DEV
🎓Educational VMs
Persistence Spheres: Bi-continuous Representations of Persistence Diagrams
arxiv.org·4h
🧩Persistent Vectors
CAMBench-QR : A Structure-Aware Benchmark for Post-Hoc Explanations with QR Understanding
arxiv.org·4h
🔮Type Inference Visualization
Efficiently Computing the Cyclic Output-to-Output Gain
arxiv.org·4h
⚡Control Synthesis
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·4h
🌱Minimal ML
Roundtable Policy: Improving Scientific Reasoning and Narratives through Confidence-Weighted Consensus of LLMs
arxiv.org·4h
🔍ML Language
Development and validation of an AI foundation model for endoscopic diagnosis of esophagogastric junction adenocarcinoma: a cohort and deep learning study
arxiv.org·4h
✨Effect Inference
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·4h
🔗Hash Algorithms
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·4h
🏷️Attribute Grammars
Auto-generated IDs VS Manually created: which approach to chose?
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Vulkan Graphics in OCaml vs. C
roscidus.com·2d·
Discuss: Lobsters, Hacker News
🐪OCaml
PruneCD: Contrasting Pruned Self Model to Improve Decoding Factuality
arxiv.org·4h
🪜Recursive Descent
Complete Overview of Generative & Predictive AI for Application Security
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
LLMs as Layout Designers: A Spatial Reasoning Perspective
arxiv.org·4h
🛠programming language development