🔣 Category Theory - c13e · Scour

Why Category Theory Matters 🔢Type Theory

Embedding of pseudotensor category ⚡Effect Systems

Bending, Yanking, and Cartesian Squares in Double Categories 🔍Parsing

bartoszmilewski.com·1d·Hacker News

A new version of ICT 🗣️Linguistics

logicmatters.net·6d

Less-relevant results

If I Were Emperor of New AI Safety Researcher Training... 🤖AI Engineering

lesswrong.com·5h

K-Theory and Characteristic Classes: A Homotopical Perspective 🔢Type Theory

link.springer.com·2d

Going back in time with the Undoable Monad (bobkonf2026) λFunctional Programming

cdn.media.ccc.de·1d

FalconX expands tokenized credit facility to Monad network ⚗️BEAM Ecosystem

cryptobriefing.com·5d

Abstract Algebra: Theory and Applications 📐Formal Methods

twjudson.github.io·1d

How Alexander Grothendieck Revolutionized 20th-Century Mathematics 🔢Type Theory

quantamagazine.org·13h·Hacker News

Echo Protocol suffers $76 million exploit in eBTC minting attack on Monad 📡Erlang

·1d

[2605.21337] Multicategorical Semantics for Untyped Effects ⚡Effect Systems

ERufian/ksharp: Vector calculator and language inspired on K ⚙️Compiler Design

github.com·3d·Hacker News

Fragility found in a high value shark population ⚗️BEAM Ecosystem

Echo Protocol's eBTC exploited for $77M in admin key compromise ⚗️BEAM Ecosystem

cointelegraph.com·1d

≃ Calvin's Notebook 🔤New Languages

calwoo.github.io·6d

🍋 Lumiterra Dev Log #135 · Agents Never Sleep, Puzzles Never Tell ⚗️BEAM Ecosystem

lumiterra.itch.io·2d

Issue 524 🐫OCaml

haskellweekly.news·6d

Proof-reading, with a bit of help from LLMs 🔢Type Theory

logicmatters.net·3d

Using algebra and LLMs to verify a flight-plan bug fix in Lean 📐Formal Methods

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Log in to enable infinite scrolling