🎯 Dependent Types - matmat · Scour

Untyped, on Purpose 🎯Gradual Typing

intertwingly.net·1d·Hacker News

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

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

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations 🎯Gradual Typing

github.com·1d·Hacker News

Benchmarking Testing in Automated Theorem Proving ✓Automated Theorem Proving

The Final Form of Software Development 📜Proof Carrying Code

blog.zksecurity.xyz·1d·Lobsters, Hacker News

std::rint,std::rintf,std::rintl,std::lrint,std::lrintf,std::lrintl,std::llrint,std::llrintf (3) Linux Manual Page 💧Liquid Types

systutorials.com·1h

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🎯Proof Tactics

std::find_if_not (3) Linux Manual Page 🧮Z3 Solver

systutorials.com·10h

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🔶Cubical Type Theory

Sum-Check as an Algebraic Tensor Reduction: Part 1 🧮Algebraic Datatypes

blog.zksecurity.xyz·3d·Hacker News

dmiller-fork/libkr: A library of the examples from the c programming language by Kernighan and Ritchie 🔩Systems Programming

github.com·2d·Hacker News

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving 🎯Performance Proofs

std::replace_copy,std::replace_copy_if (3) Linux Manual Page 🔗Concatenative Programming

systutorials.com·1h

A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect 👑Coq Tactics

std::ctype (3) Linux Manual Page 🧮Algebraic Datatypes

systutorials.com·15h

Trace – a compiled language where every value knows why it has its value 🔗Functional Compilers

github.com·5d·Hacker News

std::includes (3) Linux Manual Page 🦀Rust Verification

systutorials.com·8h

std::mismatch (3) Linux Manual Page 🦀Rust Verification

systutorials.com·5h

std::get(std::pair) (3) Linux Manual Page ⬆️Lambda Lifting

systutorials.com·9h

std::copy,std::copy_if (3) Linux Manual Page 🦀Rust Verification

systutorials.com·15h

Log in to enable infinite scrolling