Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท19hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.comยท19hยท
Discuss: Hacker News
๐Ÿ”’Rust Borrowing
Database Normalization
dev.toยท12hยท
Discuss: DEV
๐ŸŽ“Educational Databases
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท15hยท
Discuss: Hacker News
๐ŸŒฒTree Rewriting
Property-based testing of batch-invariant operations
mmaaz.caยท7hยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
Obsidian Contact Importer
404wolf.comยท4h
๐Ÿ”„Incremental Lexing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comยท10hยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Datatypes
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.comยท2dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.orgยท2h
๐Ÿš‚Error Propagation
Microformats โ€“ building blocks for data-rich web pages
microformats.orgยท1dยท
Discuss: Hacker News
๐ŸŒWeb Standards
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท3h
๐Ÿ”’Rust Borrowing
Higher-Level Design Patterns
qouteall.funยท2dยท
Discuss: Hacker News
โšกAlgebraic Effects
Recent AI Experiences
lesswrong.comยท2d
๐Ÿ“Rope Editors
Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท3dยท
โšกfunctional programming
spreadsheets discourse
imperfect.bearblog.devยท10h
๐ŸŒณTree Shaking
"Bridge sorting" problem
reddit.comยท15hยท
Discuss: r/compsci
๐ŸชขRope Data Structures
Show HN: LINQ-to-SQL but for TypeScript โ€“ turn type-safe lambdas into SQL
github.comยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
std::ranges may not deliver the performance that you expect
lemire.meยท8hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.ioยท23hยท
Discuss: DEV
๐ŸŒฟTrie Structures
TypeScript and the Illusion of Type-Safety
medium.comยท2dยท
Discuss: r/typescript
๐Ÿ”งAPI Design