In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·9h
🔍ML Language
A grand week
blog.mitrichev.ch·13h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Recurse Checkins
404wolf.com·2h
🔄Bootstrapping
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·3h·
Discuss: Hacker News
🔢Algebraic Datatypes
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·15h·
Discuss: Hacker News
🔧API Design
"Bridge sorting" problem
reddit.com·12h·
Discuss: r/compsci
🪢Rope Data Structures
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·23m
🔒Rust Borrowing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
News for September 2025
ptreview.sublinear.info·1d
🎲Property Testing
Database Normalization in Livesql
dev.to·10h·
Discuss: DEV
🔄Copy Propagation
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·22h·
Discuss: Hacker News
🧩Constraint Solvers
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
⚡Algebraic Effects
ECS Implementation
reddit.com·18h·
Discuss: r/cpp
🤖Embedded Go
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·5h·
Discuss: DEV
🔬Nanopasses