🔗 Dependent Types - hello · Scour

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Family Orienting Python Frozenset Dependent Type Theory 🔍Type Inference

philipzucker.com·2d

Why I built ts-match: TypeScript branching in the era of coding agents 🦕Deno

dev.to·10h·DEV

Smaller, cheaper Plutus scripts with the UPLC command-line tool 💻CLI Tools

wadler.blogspot.com·4h·Blogger

AdonisJS v7 Ships End-to-End Type Safety, Reworked Starter Kits and Zero-Config OpenTelemetry 🦕Deno

Terrably: Build Terraform Providers in TypeScript 🏗️Terraform

paambaati.github.io·5h·Hacker News

Mizar: the first usable proof assistant for mathematics 🧮SMT Solvers

lawrencecpaulson.github.io·5d·Hacker News

Idris Elba's 6-Part Detective Thriller Is Aging Like Fine Wine 📈Delta Encoding

screenrant.com·18h

VCVio: Verified Cryptography in Lean via Oracle Effects and Handlers 💎Refinement Types

eprint.iacr.org·5d

Judge Orders Texas State to Reinstate Robinson 🔄Effect Handlers

dailynous.com·20h

Stars come out for 50th anniversary of the King's Trust in London ✨Gleam

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·4h·Hacker News

Abstract Machines for Logic Programs 🔍Datalog Engines

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

CktFormalizer: Autoformalization of Natural Language into Circuit Representations 🍱Nom

The Capability-Tractability Tradeoff 📏Linear Types

buttondown.com·1d

Generate TanStack Query Hooks from OpenAPI: Own the Last Mile 🌊SeaORM

dev.to·1d·DEV

A new JavaScript test runner called Decaf 🍱Nom

djalbat.com·22h·Hacker News

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style 🔄Effect Handlers

link.springer.com·5d·Hacker News

Python is locally readable. Reasoning about larger systems in Python is where th... 🔬Static Analysis

news.ycombinator.com·10h·Hacker News

tidwall/btype: B-tree based collection types for Go 🗺️BTreeMap

github.com·2d·Lobsters, Hacker News

Log in to enable infinite scrolling