λ Type Theory - Handler4605 · Scour

Type Theory With Erasure 🌀Agda

Calculator – an overview 🐓Coq

helpcenter.flourish.studio·2d

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars 🏗️Cranelift

github.com·4h·Hacker News

The mythology of category theory 🔣Category Theory

johndcook.com·2d

Valuation Spaces and Relativisation: The Lambda Calculus Example 🔣Model Theory

practal.com·5d·Hacker News

Mizar: the first usable proof assistant for mathematics 📐Lean

lawrencecpaulson.github.io·1d·Hacker News

Category Theory for Tiny ML in Rust 🔣Category Theory

hghalebi.github.io·3d·Hacker News

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

softwaremill.com·2d

One week of view_types 🦀Rust

scrabsha.dev·2d·Lobsters

Types and Tokens 🗝️Semiotics

plato.stanford.edu·6d

Method Overloading in Java 🦋Idris

netjstech.com·2d·netjstech.com

Types How-To Guide 🔧Linkers

whoseknowledge.org·2d

Categorical update 🔣Category Theory

logicmatters.net·5d

CRDTs for Free 🔀CRDTs

ossa.network·2d·Hacker News

A bidirectional typechecking puzzle> 🦋Idris

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

Donald Raab: What if Java Consistently Used Intention Revealing Names for Types? 🔗Linear Types

donraab.medium.com·5d

Teaching LLMs Program Semantics via Symbolic Execution Traces 📐TLA+

Strong types are a non-negotiable for LLMs 🦋Idris

hireup.team·6d·Hacker News

The Principles of Reading Order: A Research Program 🔣Category Theory

larrysanger.org·3d

Niches for integer types in Rust 🦀Rust

deterministic.space·4d

Log in to enable infinite scrolling