🔶 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
To prototype without modellers in the team?
reddit.com·4h·
Discuss: r/gamedev
🌊Gradual Effects
MultiChannel and MultiPTLC: Towards A Global High-Availability Database
delvingbitcoin.org·10h
🎯Ring Buffers
🎲 Very-busy expression analysis
reasoning.page·2d
📊Dataflow Analysis
Understanding Python’s rules for hashing
dev.to·1d·
Discuss: DEV
🔗Hash Functions
Loop: life DWH, logical and physical models. Part 1
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·11h·
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·22h·
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
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🚂Error Propagation
I want to build a drawing web app from scratch (no canvas), which data structures should I focus on?
reddit.com·6h·
Discuss: r/webdev
📋Row Typing
Guard Your Rust Code with Tests
dev.to·5h·
Discuss: DEV
🎲Test Generators
Mastering Go Interfaces: Memory Overhead and Optimization Tips
dev.to·2d·
Discuss: DEV
⚡Interpreter Optimization
Robust Optimal Control of Stochastic Hybrid Systems via Adaptive Dynamic Programming
dev.to·1d·
Discuss: DEV
⚡Partial Evaluation
Emacs GTD flow evolved (2023)
daryl.wakatara.com·55m·
Discuss: Hacker News
🔄Bootstrapping
Why Do LLMs Design Mediocre Architecture?
recurse.ml·2d·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
I think I found another way to do a subset of self-referential structs, do you think it is sound?
reddit.com·6h·
Discuss: r/rust
🔒Rust Borrowing
Built a database in Rust and got 1000x the performance of Neo4j
reddit.com·23h·
Discuss: r/rust
🔍Query Engines