📐 Type Theory - 2601

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

🔢Algebraic Datatypes

lmika.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

🔬Code Analysis Blog

soteria-tools.com··Hacker News

The design principles of the Elixir type system

💎Refinement Types Academic

arxiv.org··Hacker News

HLA micropolymorphisms confine neoantigen conformational adaptability and guide T cell receptor selectivity

🔗Network Motifs

pnas.org·

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

🔬Code Analysis Blog

medium.com

WebAssembly Specification

🏷️Attribute Grammars

webassembly.github.io··Hacker News

DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.

📋JSON Parsing Code

github.com··Lobsters

Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis

🔬Code Analysis Academic

arxiv.org·

ColumbusLabs/DebtLens: Static analysis for maintainability debt in AI-assisted TypeScript, React, React Native, and Next.js codebases.

🔬Code Analysis Code

github.com··r/vibecoding

Records in Production: Where They Shine and Where They Silently Fail

🎯Escape Analysis

javacodegeeks.com·

Proof System Timelines

✓Formal Methods Blog

klatz.co·

Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary

🚂Cranelift IR Code

github.com··DEV

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

🔍Type Inference News

developing.dev·

Issue 527

🔍Type Inference

haskellweekly.news·

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

🔬programming language theory Academic

arxiv.org··Lobsters

Show HN: Typedframes – Pandas/polars column name checking at lint time

📓Jupyter Notebooks Code

github.com··Hacker News

When Types Intersect and Effects Get Handled

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options

Static types and shovels (2026)

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

Introducing Soteria: A New Generation of Static Analysis for Rust

The design principles of the Elixir type system

HLA micropolymorphisms confine neoantigen conformational adaptability and guide T cell receptor selectivity

Arm’s Metis Is the AI Security Agent That Actually Finds Vulnerabilities — Here’s How It Works

WebAssembly Specification

DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.

Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis

ColumbusLabs/DebtLens: Static analysis for maintainability debt in AI-assisted TypeScript, React, React Native, and Next.js codebases.

Records in Production: Where They Shine and Where They Silently Fail

Proof System Timelines

Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Issue 527

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

Show HN: Typedframes – Pandas/polars column name checking at lint time