Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท2d
โ๏ธInference Rules
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
๐๏ธDatabase Engines
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Category Theory
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
๐Go Generics
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
๐ฆDependency Analysis
Flag this post
Issue 496
haskellweekly.newsยท2d
๐Dependent Haskell
Flag this post
De Bruijn Numerals
ฮปLambda Calculus
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.comยท6h
๐ฎType Inference Visualization
Flag this post
The Structure of Data
๐ชขRope Data Structures
Flag this post
My Wishlist for PHP in 2026
๐Forth Compilers
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Oops, My UUIDs Collided
๐Hash Functions
Flag this post
Loading...Loading more...