🔢 Type Theory - scribe · Scour

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

ncatlab.org·4d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda ∑Math

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

systutorials.com·13h

VO: The Vaccine Ontology 📡Information Theory

Blessed Syntax and Ergonomics 🗂️Data Structures

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

MRLoopings01/oop-python-rpg-system: A Python Object-Oriented Programming project that simulates a simple RPG system with players, items, inheritance, polymorphism, abstract classes, and properties. 🎲Tabletop RPGs

github.com·4h·r/learnpython

No, Even JavaScript Has Types ⚡Zig

I built a free TypeScript quiz website with 125 questions and levels 🦀Rust

ts-quiz.com·15h·DEV

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🌀Logic & Paradoxes

pocketcasts.com·2d·Hacker News

What AI engines actually search for and why ChatGPT never searches the same way twice 🧑‍💻Computer Science

tryprofound.com·13h

Why publishing? 📖No Starch Press

rhollick.wordpress.com·12h

Like It or Not — Recommender Systems Lack a Coherent Normative Foundation 🧩Cellular Automata

philsci-archive.pitt.edu·2d

Inheritance Systems 🧩Cellular Automata

plato.stanford.edu·4d

LLM Quantization 🔄Category Theory

huggingface.co·2h·Hacker News

Machiavellianism, level of personality functioning, and maladaptive personality traits: mediation analyses in a clinical sample 🧮Game Theory

frontiersin.org·20h

Strange-tech Worldbuilding: Dominoes Of Sloppy Thought Pt 1: Campaign Mastery 🤖Cyberpunk

campaignmastery.com·1d

One dominant lizard form is reshaping evolution in real time 🧩Cellular Automata

Anytype is getting renamed to anyval (!) 🦀Rust

Wild parrots exhibit age-dependent conformity when learning about novel food 🔢Recreational Math

journals.plos.org·12h

SAP ABAP Tutorial Complete Guide for Beginners 🧑‍💻Computer Science

Log in to enable infinite scrolling