➕ Sum Types

Tagged Unions, Enums, Algebraic Data Types, Pattern Matching

Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
💻Programming languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·18h
🔬RaBitQ
Let's Write a Macro in Rust
hackeryarn.com·12h·
Discuss: Hacker News
🎭Rust Macros
Sales pitch about why you should learn statistics
minireference.com·11h
📊Statistical Ranking
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·6h·
Discuss: Hacker News
🎭Rust Macros
PostGIS Performance: Indexing and EXPLAIN
crunchydata.com·14h
🔍Query Optimization
Rampant Las Vegas Aces complete sweep of Mercury to win third WNBA in four years
theguardian.com·2h
📝Prepared Statements
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·13h·
Discuss: r/rust
🎭Rust Macros
Introducing Variant: A New Open Standard for Semi-Structured Data in Apache Parquet™, Delta Lake, and Apache Iceberg™
databricks.com·18h
📄File Formats
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
💻Programming languages
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🔤Tokenization
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
💻Programming languages
Three ways formally verified code can go wrong in practice
buttondown.com·11h
💻Programming languages
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·12h
✨Code Aesthetics
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·20h
📄File Formats
Cash-Strapped Chicago Schools Taps $200 Million From Credit Line
bloomberg.com·10h
🚀Startups
Switching to Colemak-DH
vale.rocks·4h
✏️Code Editors
Policy Regimes Are Balance-Sheet States, Not Discretionary Switches
threadreaderapp.com·20h
💰Money and Power
Introducing the SambaNova SDK
sambanova.ai·22h
🔧Developer tools
How I Built My Own Tool for Disk Space Cleanup
debamitro.github.io·7h
🔬Rust Profiling