➕ Sum Types

Tagged Unions, Enums, Algebraic Data Types, Pattern Matching

Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·16h·
Discuss: Hacker News
💻Programming languages
Simple HexArch + crate for ledger system (advice pls)
crustyengineer.com·2h·
Discuss: r/rust
🌳Data Structures
Gleam Programming Language Tour
tour.gleam.run·6h·
Discuss: Hacker News
🎭Rust Macros
Let's Write a Macro in Rust
hackeryarn.com·23h·
Discuss: Hacker News
🎭Rust Macros
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·22h
✨Code Aesthetics
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·17h·
Discuss: Hacker News
🎭Rust Macros
Sales pitch about why you should learn statistics
minireference.com·21h
📊Statistical Ranking
Three ways formally verified code can go wrong in practice
buttondown.com·21h
💻Programming languages
Rampant Las Vegas Aces complete sweep of Mercury to win third WNBA in four years
theguardian.com·12h
📝Prepared Statements
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·29m·
Discuss: Hacker News
🧮SMT Solvers
Random samples from a tetrahedron
johndcook.com·2h
🔄SIMD Programming
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·8h·
Discuss: Lobsters, Hacker News
💻Programming languages
My First Week of Vibecoding
underreacted.leaflet.pub·12h·
Discuss: Hacker News
🔤Tokenization
Building the Reasoning Engine at Axiom
axiommath.ai·19h·
Discuss: Hacker News
💻Programming languages
TFR redux
lnebres.bearblog.dev·12h
🖥️Server-Side Rendering
Cash-Strapped Chicago Schools Taps $200 Million From Credit Line
bloomberg.com·20h
🚀Startups
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·23h·
Discuss: r/rust
🎭Rust Macros
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·7h·
Discuss: r/programming
🔄Eventual Consistency
How I Built My Own Tool for Disk Space Cleanup
debamitro.github.io·17h
🔬Rust Profiling
Solana Vanity Address Generator CLI Written in Rust
github.com·20h·
Discuss: r/rust
🎭Rust Macros