📐 Type Theory - merp · Scour

Type Theory With Erasure 🔍Type Inference

The mythology of category theory 🔍Type Inference

johndcook.com·2d

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars 📋Dhall

github.com·5h·Hacker News

How Many Traits Make Up Your Personality? 🧮Functional Programming

clearerthinking.org·22h

Adapter Pattern in Rust: Overcoming the Orphan Rule with Newtype and Extension Traits 🦀Rust programming language

softwaremill.com·2d

CodeQL 2.25.3 adds Swift 6.3 support 🦀Rust

github.blog·4h

Category Theory for Tiny ML in Rust 🦀Rust programming language

hghalebi.github.io·3d·Hacker News

One week of view_types 🦀Rust

scrabsha.dev·2d·Lobsters

D100 NPC Personalities 📋Dhall

drivethrurpg.com·13h

Mizar: the first usable proof assistant for mathematics 🔗Dependent Types

lawrencecpaulson.github.io·1d·Hacker News

A bidirectional typechecking puzzle> 🔍Type Inference

haskellforall.com·3d·Lobsters, Hacker News, Hacker News

Types How-To Guide 🔤Types

whoseknowledge.org·2d

Valuation Spaces and Relativisation: The Lambda Calculus Example 🔍Type Inference

practal.com·5d·Hacker News

CRDTs for Free 💎Refinement Types

ossa.network·2d·Hacker News

Method Overloading in Java 💫Effect Systems

netjstech.com·2d·netjstech.com

Types and Tokens 🔤Types

plato.stanford.edu·6d

Quacc++: Automated Open Source Vulnerability Discovery 🔒Container Security

somersetrecon.com·1d·r/netsec

Categorical update 🔍Type Inference

logicmatters.net·5d

Awesome List Updated on May 07, 2026 🌲Tree-sitter

trackawesomelist.com·1d

How to Write Code Documentation: Examples, Types, Best Practices, and Tools 💎Refinement Types

altexsoft.com·1d

Log in to enable infinite scrolling