🎯 Dependent Types - matmat · Scour

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory 🔠Type-Level Programming

I Got Tired of Copy-Pasting Microfrontend Boilerplate, So I Built a Bridge 🌀Brotli Internals

hackernoon.com·1d

‘Masters of the Universe’: Nicholas Galitzine, Camila Mendes and Idris Elba Star in Save the Children PSA (EXCLUSIVE) 📦Digital Cinema Package

variety.com·1d

Document type inference 🎯Gradual Typing

github.com·14h

Kersti Kaljulaid ousted as Estonian Olympic Committee president after bitter revolt 🇫🇮Finnish Computing

estonianworld.com·2d

std::is_constructible,std::is_trivially_constructible,std::is_nothrow_constructible (3) Linux Manual Page 🦀Rust Verification

systutorials.com·9h

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings 🔲Lattice Cryptography

blog.zksecurity.xyz·5h·Hacker News

Static Types for Dynamic Targets 🎯Gradual Typing

intertwingly.net·6d·Hacker News

Issue 522 🔗Functional Compilers

haskellweekly.news·5h

From Convergence to Confidence: Push-Button Verification for RDTs ⚖️Verification Calculi

kcsrk.info·1d·Hacker News, Hacker News

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent ⚔️Lean Tactics

Replacing probabilistic AI with deterministic math and Dafny formal verification 🌳Archive Merkle Trees

gist.github.com·5d·Hacker News

Functional Programming in Lean - Functional Programming in Lean 🔗Functional Compilers

leanprover.github.io·2d·Hacker News

Java sealed classes and exhaustive pattern matching 🛡️Proof-Carrying Archives

neilmadden.blog·6d

Safe Optimistic Lock Coupling ⚡Hardware Transactional Memory

databasearchitects.blogspot.com·1d·databasearchitects.blogspot.com

ArXivLean: How Well Can LLMs Formally Prove Research Math? 🎯Performance Proofs

matharena.ai·6d·Hacker News

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types 🏛️Agda

std::find_first_of (3) Linux Manual Page ⚡Dependent Rust

systutorials.com·11h

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 💧Liquid Types

github.com·1h·Hacker News

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust Borrowing

cacm.acm.org·6d·Hacker News, Hacker News

Log in to enable infinite scrolling