My proof-of-concept record type

Related Stories

Proof of concept - Linux distro with Go

The joy of (type) sets

'Proof' Review: Finding Truth in Numbers

New generation of thulium fiber lasers achieves world record performance

Introducing Geom, my take on a simple, type-safe ORM based on SQLx

Texas electricity maximum renewables record

Bottleneck type stubs

ISP Settles With Record Labels That Demanded Mass Termination of Internet Users

Record DDoS pummels site with once-unimaginable 7.3Tbps of junk traffic

Python 3.14 is introducing a new type of interpreter…

The Perils of Pointers in the Land of the Zero-Sized Type

Syntropos - Artistic concept made into a universal computational model

Syntropos - Artistic concept made into a universal computational model

Abstract Data type

Type Inference Zoo

The 16-billion-record data breach that no one’s ever heard of

A maths proof that is only true in Japan

Concept Borrowed From Video Games Leads To Fusion Energy Breakthrough

Human-like object concept representations emerge naturally in multimodal LLMs

Wendelstein 7-X sets new fusion record

Formalizing a proof in lean using GitHub Copilot and canonical

Secret to 100% Type-Safe TypeScript - tRPC eliminated our API type hell

DARPA program sets distance record for power beaming

JVM Runtime Parametric Type Support

type safety vs statically typed

Fixing the mechanics of my bullet chess

Type-based vs. Value-based Reflection

Google Chrome Smashes Speedometer 3 Record With Massive Performance Gains

Ty: Finally, a Good Type Checker in Python

QuickCGO - my port of easy-to-use SDL2 wrapper