📐 Type Theory - hello · Scour

Two-Level Type Theory and Applications 🔗Dependent Types

Serokell’s Work on GHC: Dependent Types, Part 5 🔗Dependent Types

serokell.io·17h

Homomorphic static analysis 🔬Static Analysis

marcosh.github.io·18h·Lobsters

IBM Research (https://research.ibm.com) | Boston, MA | Full-Time 🧬Computational Biology

news.ycombinator.com·1h·Hacker News

higher dimensional automaton in nLab λFunctional Programming

ncatlab.org·6d

The last bit 🏷️Pointer Tagging

thinkingeek.com·2d

Blorp Language 🍱Nom

blorp-lang.org·1d·Lobsters, Hacker News

tRPC: Full-Stack Type Safety – No More Writing API Docs by Hand 话题 🦕Deno

auraimagai.com·5d·DEV

Frank Pfenning Receives Herbrand Award ∘Category Theory

Molecular design for high-performance organic photosensitizers 💾PMem Programming

·3d

hydrangea-project/hydrangea-compiler 🌀Naiad

Haskell Brain Teasers (Pragmatic Programmers) λFunctional Programming

i-programmer.info·5d

I'm building a TypeScript data grid where config reads like English 🦕Deno

elitegrid.dev·6d·DEV

PoTo: A Hybrid Andersen's Points-to Analysis for Python 🔬Static Analysis

May 26, 2026 (#4676) 📦Folly

alvinashcraft.com·6d

Var not mutable? ♻️Interning

A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more! 📏Linear Types

federicobruzzone.github.io·4d·Hacker News

A Java cheat sheet that beginners can use 🎯Escape Analysis

tms-outsource.com·5d·r/java

Ask HN: Did forums solve what Discord and Reddit still don't? 📚Personal Wikis

news.ycombinator.com·4d·Hacker News

heikowagner/nela-lang: NELA: Net-based Executable Logic Automaton — a programming language designed for LLMs, built on Interaction Net theory 🍱Nom

github.com·6d·Hacker News

Log in to enable infinite scrolling