🔢 Type Theory - meib · Scour

applications of (higher) category theory in nLab ✅Formal Verification

ncatlab.org·4d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda ✅Formal Verification

std::tuple::tuple (3) Linux Manual Page 🦀Rust

systutorials.com·6h

I built a free TypeScript quiz website with 125 questions and levels ✅Formal Verification

ts-quiz.com·8h·DEV

Blessed Syntax and Ergonomics 🛡️Memory Safety

gingerbill.org·1d·Lobsters, Hacker News, r/programming

No, Even JavaScript Has Types 🔍Static Analysis

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 ✅Formal Verification

pocketcasts.com·2d·Hacker News

Anytype is getting renamed to anyval (!) 🛡️Memory Safety

Inheritance Systems 🐧Linux Kernel

plato.stanford.edu·4d

Like It or Not — Recommender Systems Lack a Coherent Normative Foundation 🔍Static Analysis

philsci-archive.pitt.edu·1d

Java sealed classes and exhaustive pattern matching 🛡️Memory Safety

neilmadden.blog·6d

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. ✅Formal Verification

github.com·1d·Hacker News

SAP ABAP Tutorial Complete Guide for Beginners 🔍Static Analysis

I've just added generics to my programming language! ✅Formal Verification

reddit.com·6d·r/Compilers

Strange-tech Worldbuilding: Dominoes Of Sloppy Thought Pt 1: Campaign Mastery 🎮Game Engines

campaignmastery.com·1d

Shorthand for Thought: Compressing LLM Reasoning via Entropy-Guided Supertokens ⚙️Compilers

Profunctor Equipment ⚙️Compilers

bartoszmilewski.com·6d·Hacker News

I built a Chrome extension that types your text into Google Docs at human speed 🪝eBPF

chromewebstore.google.com·2d·r/chrome_extensions

C++26: String and String_view Improvements 🛡️Memory Safety

sandordargo.com·1d·Lobsters, Hacker News, r/cpp

std::common_reference (3) Linux Manual Page 🦀Rust

systutorials.com·23h

Log in to enable infinite scrolling