Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

College football best bets Week 10: Picks for Georgia-Florida, Tennessee-Oklahoma and more
nytimes.comยท1d
๐ŸงฎCombinator Calculus
Flag this post
Beyond Text: Building an AI-Powered Color Matcher in Oracle FreeSQL
dev.toยท3dยท
Discuss: DEV
๐Ÿ“‡Symbol Tables
Flag this post
Building an A2A-Compatible Agent in Rust: My Telex Integration Journey
dev.toยท1hยท
Discuss: DEV
โš™๏ธTOML Parsers
Flag this post
Borrow checker says โ€œNoโ€! An error that scares me every single time!
polymonster.co.ukยท1d
๐Ÿ”’Rust Borrowing
Flag this post
How Distributed ACID Transactions Work in TiDB
pingcap.comยท1d
๐Ÿ“ฎMessage Queues
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.ioยท3dยท
๐Ÿ›๏ธElm Architecture
Flag this post
The top 4 JVM languages and why developers love them
infoworld.comยท3d
๐Ÿ”ฎClojure
Flag this post
Feature Infrastructure Engineering: A Comprehensive Guide
mlfrontiers.substack.comยท3hยท
Discuss: Substack
๐Ÿ“กProtocol Buffers
Flag this post
Structural Typing in TypeScript
event-driven.ioยท4d
๐ŸŒŠGradual Typing
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท3dยท
ฮปLambda Calculus
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Ÿ”—Category Theory
Flag this post
Demystifying Normalization in RDBMS: From 1NF to 3NF
dev.toยท9hยท
Discuss: DEV
๐ŸŽ“Educational Databases
Flag this post
Q&A #80 (2025-10-31)
computerenhance.comยท16h
๐Ÿ“šStack Allocation
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐ŸŒŠGradual Effects
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท1dยท
๐Ÿ“Linear Haskell
Flag this post
PostgreSQL vs SQLite: Dive into Two Very Different Databases
dev.toยท51mยท
Discuss: DEV
๐Ÿ’พMinimal Databases
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท1d
๐Ÿ›ก๏ธError Handling
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.comยท3dยท
Discuss: Hacker News
๐Ÿ“Text Algorithms
Flag this post