🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

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
AWS scientist: Your AI strategy needs mathematical logic
fortune.com·2d
🧮Theorem Provers
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
Overfitting in Adaptive Robust Optimization
arxiv.org·16m
⚡Partial Evaluation
Asteria: Semantic-Aware Cross-Region Caching for Agentic LLM Tool Access
arxiv.org·16m
🔄Subinterpreters
"Digital Camouflage": The LLVM Challenge in LLM-Based Malware Detection
arxiv.org·16m
🏗️LLVM
I finally made my first prototype of a game.
reddit.com·16h·
Discuss: r/gamedev
🧸Toy Compilers
Enhanced Detection of Tiny Objects in Aerial Images
arxiv.org·16m
🗺️Region Inference
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·16m
📐Succinct Data Structures
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·16m
🚀Code Motion
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·16m
🌱Minimal ML
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·16m
📦Portable Bytecode
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·16m
🪜Recursive Descent
Governing Automated Strategic Intelligence
arxiv.org·16m
🎭Program Synthesis
"It Was a Magical Box": Understanding Practitioner Workflows and Needs in Optimization
arxiv.org·16m
🎭Program Synthesis
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·20h·
Discuss: DEV
🗄️Database Engines