🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Mastering Collections in C#
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Three Meanings of Effects
burakemir.ch·1d·
Discuss: Hacker News
💫Effect Systems
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·1d
📋S-Expression
I built a Go framework: Anclax
github.com·8h·
Discuss: Hacker News
🐹Go Runtime
The Case Against DRY
reddit.com·16h·
Discuss: r/webdev
🌳Tree Shaking
Generics and Variance with Java
dev.to·16h·
Discuss: DEV
🗂️Type Indexing
Object Orientation [2013 !]
jackrusher.com·23h·
Discuss: Hacker News
💬Smalltalk VMs
State Management in Vanilla JS
dev.to·9h·
Discuss: DEV
🏛️Elm Architecture
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🎭Polymorphic Variants
Two Number Theory Items (and Woody Allen)
math.columbia.edu·22h
∫Mathematical DSLs
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·16h·
Discuss: Hacker News
⚡Tokenizer Optimization
Java Language Architect Brian Goetz on How Java Could Evolve
thenewstack.io·3h
📝Rope Editors
From Zero to Java: Day 2 of My Backend Development Journey
dev.to·1d·
Discuss: DEV
🔧API Design
I Use LLMs to Write the Majority of My Code
boredhacking.com·1h·
Discuss: Hacker News
🎮Language Ergonomics
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·5h·
Discuss: DEV
🌉Language Bindings
Cactus Language • Discussion 3
inquiryintoinquiry.com·22h
📋Backus-Naur Form
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·8h·
Discuss: Hacker News
⚡Algebraic Effects
I Spent Three Nights Solving Listen Labs Berghain Challenge (and Got #16)
kuber.studio·1h·
Discuss: Hacker News
🪢Rope Data Structures
Some Notes I Took on Software Architecture
lautarolobo.xyz·2d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
Let's look at the structure of Vec<T>
marma.dev·1d·
Discuss: r/rust
🔒Rust Borrowing