🔗 Dependent Types - abnv · Scour

dropbox/dMATH: Formal verification and theorem proving tools 🧮Theorem Provers

github.com·3d·Hacker News·

Programming Languages and Type Safety in the Era of LLMs 📐Standard ML

thecodedmessage.com·1d·

Andrew Lloyd Webber says ‘appalling’ Cats movie made him get therapy dog ⚡Effect Handlers

independent.co.uk·8h·

Masters of the Universe Trailer #1 (2026) 🌱Forth Kernels

youtube.com·2d·

Introduction to Compilers and Language Design 🎓Teaching Compilers

dthain.github.io·12h·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·5d·

Issue 518 📏Linear Haskell

haskellweekly.news·16h·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Almighty Lisp: Lisp & Emacs Essentials 🪄Syntax Macros

almightylisp.com·8h·

A WASM first programming language with effect typing 🎨Domain-Specific Languages

voyd.dev·2d·Hacker News·

Useful type hints for Python 🚀Hindley-Milner+

alexwlchan.net·6d·

Building CompilerSutra 🎓Teaching Compilers

docs.google.com·21h·DEV·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·17h·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

The Type Theorists need to take a look at Zig ⚙️Zig Comptime

pure-systems.org·6d·Hacker News·

The Case for Composable Notations (6 of 5) - WIP 📚Self-Documenting Code

programmingsimplicity.substack.com·2d·Substack·

Agent-first, self-describing APIs with protobuf reflection 🔧API Design

tpaschalis.me·1d·Hacker News·

Loading more...