🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

2025 Hackaday Superconference: Announcing our Workshops and Tickets
hackaday.com·13h
🔬Nanopasses
Avoiding the 'Existential Vacuum'
psychologytoday.com·7h
💫Effect Systems
Two Number Theory Items (and Woody Allen)
math.columbia.edu·3d
∫Mathematical DSLs
Let’s Be Specific: CSS Specificity Explained
playfulprogramming.com·2d
✨Code Formatting
Notes on Solving Math Equations in Python with SymPy and Today’s LLMs
wasi0013.com·3d
📐Mathematical Computing
Give your Python IDE a glow-up with Pyrefly
pyrefly.org·14h·
Discuss: Hacker News
🛠programming language development
Cap'n Web: a new RPC system for browsers and web servers
blog.cloudflare.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·4d
🛡️Parser Security
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·1d·
Discuss: Hacker News
📦Monorepos
LOTUSDIS: A Thai far-field meeting corpus for robust conversational ASR
arxiv.org·2h
🔗Concatenative
Thoughts of a newb after porting my small asteroid game to Godot
reddit.com·2d·
Discuss: r/godot
🌊Loop Invariant Motion
Understanding Python’s rules for hashing
dev.to·3d·
Discuss: DEV
🔗Hash Functions
Enhanced T Cell Receptor Sequencing Accuracy via Iterative Bayesian Filtering
dev.to·10h·
Discuss: DEV
✨Effect Inference
Dynamic Resource Allocation for Heterogeneous AI Chip Clusters via Reinforcement Learning
dev.to·15h·
Discuss: DEV
📋Task Queues
MobiZO: Enabling Efficient LLM Fine-Tuning at the Edge via Inference Engines
arxiv.org·1d
🗺️Region Inference
Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to·2d·
Discuss: DEV
🪢Rope Data Structures
Question Answering with LLMs and Learning from Answer Sets
arxiv.org·1d
🔍ML Language
<i>Colloquium</i>: Gene expression in growing cells: A biophysical primer
journals.aps.org·17h
💬Interactive REPLs
Construction and Classification of Crystalline Topological Superconductor and Insulators in Three-Dimensional Interacting Fermion Systems
journals.aps.org·17h
∫Mathematical DSLs
Pushing charge equilibration-based machine learning potentials to their limits
nature.com·16h
✨Effect Inference