🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

日本語GOGOGO Textbooks Review
preview.redd.it·1d·
Discuss: r/languagelearning
🔗Concatenative Theory
"Beauty Is Our Business"?
vanemden.wordpress.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Fail-fast or fail-silent? Debating Claude Code and what it taught us
v.redd.it·1d·
Discuss: r/ClaudeAI
🚂Error Propagation
Clean Architecture: The Four Concentric Circles Explained
dev.to·3d·
Discuss: DEV
🧱First Principles
This book (Code Health Guardian by Artie Shevchenko) came recommended by an experienced software engineer as a great read.
bsky.app·1d·
Discuss: Bluesky
🎮Language Ergonomics
什么是Online Softmax and Flash Attention？
dev.to·20h·
Discuss: DEV
🧮Linear Algebra
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·5d
🔧Scheme Macros
Building Search for this Site – Search on a static site
alexleighton.com·9h·
Discuss: Hacker News
📋Tablegen
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.com·1d·
Discuss: Hacker News
🌐Network Protocols
Stop Property Drilling in FastAPI: Use Request-Level Globals
dev.to·5h·
Discuss: DEV
✨Gleam
C++ Labs: Build Calculator, Manipulate Strings, & Master Class Inheritance
dev.to·1h·
Discuss: DEV
🎓Teaching Compilers
MultiChannel and MultiPTLC: Towards A Global High-Availability Database
delvingbitcoin.org·8h
🎯Ring Buffers
🎲 Very-busy expression analysis
reasoning.page·2d
📊Dataflow Analysis
Loop: life DWH, logical and physical models. Part 1
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Understanding Python’s rules for hashing
dev.to·1d·
Discuss: DEV
🔗Hash Functions
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·9h·
Discuss: Lobsters, Hacker News
🧪Testing Compilers
Design Patterns
github.com·3d·
Discuss: DEV
🔀Control Structures
Implementing a generic Schwartzian transform in Rust for fun
medium.com·20h·
Discuss: r/rust
🦀Rust Macros
Understanding Python’s LEGB rule, closures, and why variables sometimes behave like shadows.
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
I want to build a drawing web app from scratch (no canvas), which data structures should I focus on?
reddit.com·4h·
Discuss: r/webdev
📋Row Typing