🎯 Dependent Types - matmat · Scour

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

Getting Started With Provide/Inject In Vue.js 🔬Refinement Types

certificates.dev·3h

Starmer on the Ropes Over Questions of Dishonesty 🏺Kerberos Archaeology

novaramedia.com·1d

China’s expanding global campaign to silence dissent across borders 🇨🇳Chinese Computing

weeklyblitz.net·20h

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

variety.com·1d

Lee Zii Jia Comes To The Rescue, Saves Malaysia In Thomas Cup Opener Against England 🇨🇳Chinese Computing

weirdkaya.com·4d

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

estonianworld.com·2d

Document type inference 🎯Gradual Typing

github.com·15h

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

systutorials.com·10h

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

blog.zksecurity.xyz·6h·Hacker News

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

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

Static Types for Dynamic Targets 🎯Gradual Typing

intertwingly.net·6d·Hacker News

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

Rust’s Type System as a State Machine, Phantom Types and the Typestate Pattern 🦀Rust Verification

·2d

Replace `anytype` with `infer T`(or `@Infer(T)`) 🧬Functional Programming

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

gist.github.com·5d·Hacker News

remove `@TypeOf` and `anytype`; introduce `|T|` syntax 🧮Algebraic Datatypes

codeberg.org·2d·r/Zig

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

neilmadden.blog·6d

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

leanprover.github.io·2d·Hacker News

Safe Optimistic Lock Coupling ⚡Hardware Transactional Memory

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

Log in to enable infinite scrolling