🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Feeds to Scour
SubscribedAll
Scoured 78360 posts in 664.5 ms
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·12h
🛡️Taint Analysis
Preview
Report Post
Generalized Statistics on Lattices
link.aps.org·17h
🔢Algebraic Datatypes
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·8h
🔗Category Theory
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·22h
🪞Homoiconicity
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·8h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Partial Reductions for Kleene Algebra with Linear Hypotheses
arxiv.org·19h
🐪OCaml GADTs
Preview
Report Post
Dependency Inversion Principle: The Architect’s Superpower
ihoka.me·2d·
Discuss: Hacker News
⚡Algebraic Effects
Preview
Report Post
The Algebra of Speed: Mathematical Foundations of Computational Performance
ttsugriy.github.io·3d·
Discuss: Hacker News
🧠Memory Hierarchy
Preview
Report Post
GNU C Language Manual
gnu.org·5h
🪄C Metaprogramming
Preview
Report Post
Calculus Made Easy
calculusmadeeasy.org·9h
πPi Calculus
Preview
Report Post
Reals, Complex, Quaternions and Octonions
nigelvr.github.io·2d·
Discuss: Hacker News
🧮Linear Algebra
Preview
Report Post
Template Method Design Pattern
denvaar.dev·21h
🔧API Design
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·1d·
Discuss: Substack
🏛️Elm Architecture
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·12h
🏗️Cranelift
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
Discuss: Lobsters, Hacker News
🌊Gradual Effects
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·10h
🔀Control Structures
Preview
Report Post
Book: Just Enough Software Architecture
georgefairbanks.com·1d
🧱First Principles
Preview
Report Post
Making a Language
thunderseethe.dev·2h
🔬programming language theory
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help