Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

Show HN: rstructor, Pydantic+instructor for Rust
github.com·10h·
Discuss: Hacker News
Gleam
Flag this post
Understanding Primary Keys in Relational Databases: A Key to Data Integrity and Fast Lookups
dev.to·22h·
Discuss: DEV
🗄️Database Engines
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·14h·
🗂️Type Indexing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
🔒Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Type Checking
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
⚖️Inference Rules
Flag this post
Oops, My UUIDs Collided
alexsci.com·10h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·1d·
Discuss: DEV
🎯Pattern Matching
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·8h·
Discuss: Hacker News
🔄Copy Propagation
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·2d
📋Tablegen
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📚Forth Compilers
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
Types of Metadata Schemas
accidental-taxonomist.blogspot.com·15h·
🌐Web Standards
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
reddit.com·1d·
Discuss: r/golang
📦Dependency Analysis
Flag this post
How to Use the VALUE Function in Microsoft Excel
howtogeek.com·1d
Incremental Parsing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·3h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·10h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post