✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·41m
🔒Rust Borrowing
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·14h·
Discuss: DEV
🔍ML Language
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
The Inverse Matrix problem
talesfrom.dev·3h
🚂Error Propagation
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·8h·
Discuss: Hacker News
🛡️Stack Safety
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·11h·
Discuss: Hacker News
🔬programming language theory
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
LLMs are badly misaligned
lesswrong.com·13h
🪞Homoiconicity
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·15h·
Discuss: Hacker News
🔧API Design
Opti's Claude 4.5 Sonnet "vibe coding" report
stacker.news·15h
🔬Nanopasses
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·22h·
Discuss: Hacker News
🧩Constraint Solvers
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
mariozechner.at·1d
🎮Language Ergonomics
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·16h·
Discuss: Hacker News
🌱Minimal ML
Using Either/Result in TypeScript for Error Handling
dev.to·2d·
Discuss: DEV
🛡️Error Handling
ECS Implementation
reddit.com·18h·
Discuss: r/cpp
🤖Embedded Go