🎯 Dependent Types - matmat · Scour

The Lean Programming Language and Theorem Prover ⚔️Lean Tactics

leodemoura.github.io·1d·Hacker News

‘Extraction 3’ Set at Netflix With Chris Hemsworth and Idris Elba Returning 📦Digital Cinema Package

variety.com·3d

Soppo: Golang, with the features it's missing 🌐Protocol Synthesis

soppolang.dev·1d·Hacker News

docs Unison | Abilities for the monadically inclined · Unison programming language 🧬Functional Programming

unison-lang.org·15h

Calculus of constructions 🔤Type Theory

en.wikipedia.org·18h

Chris Hemsworth, Idris Elba Set to Return for ‘Extraction 3’ at Netflix 📦Digital Cinema Package

hollywoodreporter.com

·3d

Producing The Perfect Token 🎯Arithmetic Coding Theory

blog.luminal.com·19h·Hacker News

Incremental Lambda Calculus 🔗Functional Compilers

inc-lc.github.io·2d·Hacker News

The Exception Butterfly 🔗Functional Compilers

valhovey.github.io·17h·Hacker News

mm0/mm0-rs/mmc.md at master 💧Liquid Types

github.com·2d·Hacker News

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⬌Bidirectional Typing

arxiv.org·4d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🧠Lisp Dialects

jointhefreeworld.org·2d·Lobsters, Hacker News

Live Life on the Edge: A Layered Strategy for Testing Data Models 🧪Property-Based Testing

chiply.dev·5d·Hacker News, r/programming

Retrospective on binary search and comp{ress,ilat}ion (2015) 🧪Binary Fuzzing

pvk.ca·2d·Hacker News

Lectures in Advanced Data Structures (6.851) 📼Tape Combinators

courses.csail.mit.edu·2d

When the compiler lies: breaking memory safety in safe Go 🦀Rust Verification

ciolek.dev·4d·Lobsters, Hacker News

A language where you describe the system and the compiler verifies it 📜Proof Carrying Code

spine-lang.org·2d·Hacker News

`auto{x} != auto(x)` ⚙Automata Theory

quuxplusone.github.io·1d

But what about K? 🔗Concatenative Programming

tony-zorman.com·3d·Lobsters, Hacker News

V8 Exploitation: From Libc Pwn to Browser Bugs 🦀Rust Macros

varik.dev·1d·Hacker News

Loading more...