🧮 Algebraic Data Types - gruggiero · Scour

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax 🧪Property Testing

javacodegeeks.com·3d

Soppo language: Go, with the features it's missing ✅TLA+

soppolang.dev·6h·Hacker News

Query Optimization and Evaluation via Information Theory: A Tutorial 📏Model Evaluation

arxiv.org·3d

Post-Penultimate Conditional Syntax 📐Formal Methods

joel.place·5d·Hacker News

I built a comprehensive interview prep platform that focuses on implementation over pattern matching. 39 problems, 350+ knowledge questions with textbook citati... ✅TLA+

whitebox.ac·3d·r/SideProject

The Bunny is a Lie, but Rust is the Truth: High-Performance Modeling & APIs (eh23) 🧪Property Testing

cdn.media.ccc.de·6d

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects λFunctional Programming

javacodegeeks.com·2d

TypeScript Enums Are Terrible 🧪Property Testing

youtube.com·3d·Hacker News

VidNum-1.4K: A Comprehensive Benchmark for Video-based Numerical Reasoning 📊ML Research

arxiv.org·3d

Loading more...