🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
arxiv.org·19h
λLambda Calculus
Flag this post
Applying Big O Notation to Software Design: Change Complexity
medium.com·8h·
Discuss: r/programming
📦Dependency Analysis
Flag this post
Making the Clang AST Leaner and Faster
cppalliance.org·8h·
Discuss: Hacker News
🗂️Type Indexing
Flag this post
The Proxy Pattern: A Masterpiece of Control and Illusion in Node.js
dev.to·1h·
Discuss: DEV
✨Gleam
Flag this post
When Models Manipulate Manifolds: The Geometry of a Counting Task
transformer-circuits.pub·6h·
Discuss: Hacker News
🔄Subinterpreters
Flag this post
Integer Set Library (ISL) - A Primer
jeremykun.com·2d·
Discuss: Lobsters, Hacker News
🔢Algebraic Datatypes
Flag this post
Lattice sets new standard for secure control FPGAs
edn.com·7h
🏰Capability Machines
Flag this post
invariants
arnau.bearblog.dev·6h
⚡Algebraic Effects
Flag this post
LoC Is a Dumb Metric for Functions
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🚂Error Propagation
Flag this post
Vibe Validation with Lean, ChatGPT-5, & Claude 4.5 (Part 1)
medium.com·2h
🚀Code Motion
Flag this post
132 Lines of Python That Give Birth to a Mathematical Hyper-Monster
github.com·1d·
Discuss: DEV
🪞Homoiconicity
Flag this post
The Java Developer’s Dilemma: Part 2
oreilly.com·12h
🎭Program Synthesis
Flag this post
Excerpt from The Science of Logic by G.W.F Hegel (Chapter 1 Being II)
reddit.com·2d·
Discuss: r/u_MirkWorks
🔗Concatenative Theory
Flag this post
RestClient.Net 7: Compile-Time Safety and OpenAPI MCP Generation
christianfindlay.com·2h·
Discuss: r/programming
🛡️Error Handling
Flag this post
KCL part 0
ncameron.org·4h
🔧Nickel
Flag this post
Large Language Models in Architecture Studio: A Framework for Learning Outcomes
arxiv.org·19h
💬Interactive REPLs
Flag this post
Why SSA?
mcyoung.xyz·6h·
Discuss: Hacker News
🔀SSA Form
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
sethuiyer.github.io·1d·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Does subgroup/wave size matter?
gfxstrand.net·14h·
Discuss: Hacker News
💓Live Variable Analysis
Flag this post
Viete on Pythagorean Triples
pballew.blogspot.com·17h·
Discuss: www.blogger.com
📐Mathematical Computing
Flag this post