🥖 Baking - tilhi · Scour

RT by @ylecun: There is a case to be made that the future of Mathematics is very bright. In my mind, proofs have always been a tool to achieve a goal. 🔠Type Systems

twitter.macworks.dev

·6d

Automating proof search when equality is a logical connective 🔠Type Systems

Five Books That Teach You to Think Like a Mathematician 🧩Cognitive Science

abakcus.com·5d

Seize the means of fermentation! ⓵⓶⓶ Robespierre on the lake 🍷Wine

fornoaurelio.eu·1d

Why food is the real star of my new novel 🌍Food Anthropology

theguardian.com·6d

Catch up with the new openings in this Dallas restaurant news 🌮Street Food

dallas.culturemap.com·5d

edgerun-tech/edgerun: User-owned internet infrastructure for identity, apps, storage, routing, compute, publishing, and proof-backed payments. 🏛️Software Architecture

github.com·5d·r/rust

Proof Nets for PiL (Full Version) 🔠Type Systems

JustVugg/gutenberg-cli: From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs. 💎Obsidian

github.com·4d·Hacker News, r/mcp

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC 🔠Type Systems

Extending CDCL to disjunctions of parity equations 🔠Type Systems

Distributed Statistical Zero-Knowledge Proofs via Sumcheck 🏗️System Design

Log in to enable infinite scrolling