🔗 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

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

wadler.blogspot.com·7h·Blogger

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

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

lawrencecpaulson.github.io·5d·Hacker News

Terrably: Build Terraform Providers in TypeScript 🏗️Terraform

paambaati.github.io·8h·Hacker News

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·23h

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

Masters of the Universe Exclusive Featurette ⚡LMAX Disruptor

youtube.com·4d

Abstract Machines for Logic Programs 🔍Datalog Engines

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

A new JavaScript test runner called Decaf 🍱Nom

djalbat.com·1d·Hacker News

The Capability-Tractability Tradeoff 📏Linear Types

buttondown.com·2d

CktFormalizer: Autoformalization of Natural Language into Circuit Representations 🍱Nom

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·7h·Hacker News

P1-S1: TypeContext skeleton with well-known types 📐Type Theory

github.com·14h

Technical Dimensions of Programming Systems 🔨Compiler Design

tomasp.net·2d·Hacker News

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

news.ycombinator.com·13h·Hacker News

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

link.springer.com·5d·Hacker News

Macros in Fir 🦀Rust Macros

Log in to enable infinite scrolling