➕ Sum Types

Tagged Unions, Enums, Algebraic Data Types, Pattern Matching

Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·37m·
Discuss: Hacker News
💻Programming languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
🔬RaBitQ
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Allocators
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·19h
📥Feed Aggregation
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🎭Rust Macros
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🎭Rust Macros
Sales pitch about why you should learn statistics
minireference.com·6h
📊Statistical Ranking
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔐Cryptography
PostGIS Performance: Indexing and EXPLAIN
crunchydata.com·9h
🔍Query Optimization
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·7h·
Discuss: r/rust
🎭Rust Macros
From Text to Token: How Tokenization Pipelines Work
paradedb.com·23h
🔤Tokenization
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
💻Programming languages
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
💻Programming languages
Introducing Variant: A New Open Standard for Semi-Structured Data in Apache Parquet™, Delta Lake, and Apache Iceberg™
databricks.com·12h
📄File Formats
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·7h
✨Code Aesthetics
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·15h
📄File Formats
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
📑Inverted Indexes
Friday 10 October, 2025
memex.naughtons.org·23h
📡RSS
Introducing the SambaNova SDK
sambanova.ai·17h
🔧Developer tools