🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Personality Disorders as Relational Disorders
psychiatrymargins.com·1d·
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·2h·
Discuss: Hacker News
🎮Language Ergonomics
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·6h
🧩Persistent Vectors
什么是Online Softmax and Flash Attention？
dev.to·2d·
Discuss: DEV
🧮Linear Algebra
CAMBench-QR : A Structure-Aware Benchmark for Post-Hoc Explanations with QR Understanding
arxiv.org·6h
🔮Type Inference Visualization
Efficiently Computing the Cyclic Output-to-Output Gain
arxiv.org·6h
⚡Control Synthesis
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·6h
🌱Minimal ML
Roundtable Policy: Improving Scientific Reasoning and Narratives through Confidence-Weighted Consensus of LLMs
arxiv.org·6h
🔍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·6h
✨Effect Inference
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·6h
🔗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·6h
🏷️Attribute Grammars
You don’t need NPM to ship fully-featured apps.
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
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·6h
🪜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·6h
🛠programming language development