🔢 Type Theory - c13e · Scour

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

ncatlab.org·4d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 📐Formal Methods

std::tuple::tuple (3) Linux Manual Page 🔵Lisp

systutorials.com·1h

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. λFunctional Programming

github.com·21h·Hacker News

Blessed Syntax and Ergonomics λFunctional Programming

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

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

ts-quiz.com·4h·DEV

No, Even JavaScript Has Types λFunctional Programming

What AI engines actually search for and why ChatGPT never searches the same way twice 🤖AI Engineering

tryprofound.com·2h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🐫OCaml

pocketcasts.com·2d·Hacker News

Machiavellianism, level of personality functioning, and maladaptive personality traits: mediation analyses in a clinical sample 🗃️PKM

frontiersin.org·8h

Why publishing? 🔣Category Theory

rhollick.wordpress.com·26m

Anytype is getting renamed to anyval (!) λFunctional Programming

Inheritance Systems 🧬Cognitive Neuroscience

plato.stanford.edu·4d

Who Do People Think They Are? 🧬Cognitive Neuroscience

psychologytoday.com·22h

Telomere-to-telomere genome assembly of the wood tiger moth Arctia plantaginis 🔁Spaced Repetition

Like It or Not — Recommender Systems Lack a Coherent Normative Foundation 🔣Category Theory

philsci-archive.pitt.edu·1d

DW News Focus : DW : April 30, 2026 6:02am-6:16am CEST : Free Borrow & Streaming 🤖AI Engineering

archive.org·11h

Java sealed classes and exhaustive pattern matching λFunctional Programming

neilmadden.blog·6d

SAP ABAP Tutorial Complete Guide for Beginners ⚙️Compiler Design

Eleven types of cancer are on the rise in England’s under 50s – these factors might explain the trend 🥗Nutrition

theconversation.com·2h

Log in to enable infinite scrolling