𝕋 Type Theory - ghosh.debasish · Scour

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🔁Category Theory

Lambda Calculus Benchmark for AI 🔤PLT

victortaelin.github.io·5d·Hacker News

std::common_type (3) Linux Manual Page 🖥️Systems Programming

systutorials.com·19h

I built a free TypeScript quiz website with 125 questions and levels 🔤PLT

ts-quiz.com·4h·DEV

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔤PLT

pocketcasts.com·2d·Hacker News

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·22h·Hacker News

applications of (higher) category theory in nLab 🔁Category Theory

ncatlab.org·4d

Anytype is getting renamed to anyval (!) 🔤PLT

Cancer cells metastasize in several types of cancer via two distinct routes, probably based on mechanical signals 🔁Category Theory

frontiersin.org·9h

Blessed Syntax and Ergonomics 🖥️Systems Programming

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

Java sealed classes and exhaustive pattern matching 🔤PLT

neilmadden.blog·6d

Like It or Not — Recommender Systems Lack a Coherent Normative Foundation 📜Constitutional AI

philsci-archive.pitt.edu·1d

Profunctor Equipment 🔁Category Theory

bartoszmilewski.com·6d·Hacker News

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🔧SMT Solvers

SAP ABAP Tutorial Complete Guide for Beginners 🔍Abstract Interpretation

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🤖AI Agents

semiengineering.com·1d

I've just added generics to my programming language! λFunctional Programming

reddit.com·6d·r/Compilers

C++26: String and String_view Improvements 🖥️Systems Programming

sandordargo.com·1d·Lobsters, Hacker News

std::tuple::tuple (3) Linux Manual Page 🖥️Systems Programming

systutorials.com·2h

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine 🖥️Systems Programming

squid-protocol.github.io·3d·Hacker News

Log in to enable infinite scrolling