🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Applying Domain-Driven Design to Problem Design and Project Management
facebook.com·2d·
Discuss: DEV
🎨DSL Design
Alternative Statistical Inference for the First Normalized Incomplete Moment
machinelearning.apple.com·1d
📈Monotonic Logic
I built a live LLM regression monitor for coding tasks, what broke, what worked, and what i learned. It made 1 mil views in 1 week
aistupidlevel.info·1d·
Discuss: r/programming
🔮Type Inference Visualization
Explainability matters: The effect of liability rules on the healthcare sector
arxiv.org·21h
💫Effect Systems
In Ratio Section Method and Algorithms for Minimizing Unimodal Functions
arxiv.org·1d
🧮Linear Algebra
Equilibrium flow: From Snapshots to Dynamics
arxiv.org·21h
🎭Program Synthesis
Shape-induced obstacle attraction and repulsion during dynamic locomotion
arxiv.org·21h
🌊Loop Invariant Motion
Emergent Composite Particles from the Universal Exact Identities in Quantum Many-Body Systems with Generic Bilinear Interactions
arxiv.org·21h
🔢Binary Formats
The Code Crisis Part 3 Memory Mazes Choose Own Adventure
reddit.com·1d·
Discuss: r/ClaudeAI
⏱️Real-Time GC
Strategic Analysis of Just-In-Time Liquidity Provision in Concentrated Liquidity Market Makers
arxiv.org·1d
📮Message Queues
From A/B Testing to DoubleML: A Data Scientist’s Guide to Causal Inference:
pub.towardsai.net·1d
✨Effect Inference
"Digital Camouflage": The LLVM Challenge in LLM-Based Malware Detection
arxiv.org·21h
🏗️LLVM
Graph theory and tunable slow dynamics in quantum East Hamiltonians
journals.aps.org·13h
🗺️Region Polymorphism
Causal Explanation Generation via Attributed Graph Reasoning for Robotic Navigation
dev.to·9h·
Discuss: DEV
🕸️Graph Algorithms
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·3d·
Discuss: DEV
📮Persistent Queues
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·21h
📐Succinct Data Structures
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·21h
🚀Code Motion
Moving magnetic domain walls with sound alone
arxiv.org·21h
🤖Code Generation
Nonlocal Electrostatics and Boundary Charges in Continuum Limits of Two-Dimensional Materials
arxiv.org·21h
🧮Linear Algebra
Understanding Python’s LEGB rule, closures, and why variables sometimes behave like shadows.
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping