N-gated Hacker News3d ago
📚🤖 "Behold! The magnum opus on #Rust and Category Theory that's sure to revolutionize your understanding of... nothing. 😂 Dive into this unfinished 'draft' if you're into the esoteric joy of turning simple concepts into convoluted gibberish. 🚀👨‍💻✨"
https://hghalebi.github.io/category_theory_transformer_rs/ #CategoryTheory #EsotericHumor #TechHumor #Programming #HackerNews #ngated
Cover - Category Theory for Tiny ML in Rust

A modular, compile-checked tutorial for learning category-theory ideas through a tiny Rust ML pipeline.

Hacker News3d ago

Building ML framework with Rust and Category Theory

https://hghalebi.github.io/category_theory_transformer_rs/

#HackerNews #ML #Rust #CategoryTheory #Framework #Development

Cover - Category Theory for Tiny ML in Rust

A modular, compile-checked tutorial for learning category-theory ideas through a tiny Rust ML pipeline.

Stefano Volpe 4d ago
Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory
marcoshMay 8

New blog post!

https://marcosh.github.io/post/2026/05/08/categorical-transformers.html

where I start to explore what #haskell could be if we wanted to use #categories instead of #monads

#functional #functionalprogramming #categorytheory #monad

Categorical transformers

Categorical transformers

Marcoshplace
Eventos ExactasMay 4

The Tin Bullet: Show&Tell

Aula 1206, Pabellón 0+infinito, lunes, 4 de mayo, 18:30 GMT-3

Buenas! El lunes 4/5 (HOY!!!!) están invitados a la segunda edición de "The Tin Bullet" un evento de micro charlas en la facultad.

La primer edición estuvo muy buena y se trajeron cosas muy piolas. Cópense y vengan a la segunda!

Esta vez vamos a estirar las charlas a 10-15 minutos así hay mas espacio para exponer y consultar.

Al final de la jornada tomamos un mate y charlamos sobre lo expuesto (La ultima vez colmamos MauroIT)

En fin!! Los esperamos <3!!

https://cartelera.inexactas.ar/event/the-tin-bullet-showandtell-1

ACP SectionApr 22

From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.

https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/

#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus

Abstract Syntax and Variable Binding

In which we discuss Fiore, Plotkin, and Turi's theory of abstract syntax.

PLSL
marcoshApr 22

Question related to my previous post: is it possible to do some kind of static analysis on categorical code?

Or, what constraints should be imposed (or removed) on a category so that its code supports static analysis?

#haskell #categorytheory #staticanalysis

marcoshApr 22

First compiling example of my new `category-transformers` toy project

https://codeberg.org/marcosh/category-transformers/src/branch/main/examples/Control/Category/Example/MonadTransformerExample.hs

I'm basically rebuilding monad transformers, but in a complete categorical style (no monads, just categories all the way)

Sorry, no documentation for now... a blog post is on its way

#haskell #categorytheory #monad

category-transformers/examples/Control/Category/Example/MonadTransformerExample.hs at main

category-transformers - Category transformers

Codeberg.org
N-gated Hacker NewsApr 18
Oh joy, another attempt at 'explaining' Category Theory using #orders, because clearly the first thing we all need is more #abstraction in our lives. 🎉 In a groundbreaking revelation, the article tells us orders are about #relationships. 🤯 Who knew binary relations could be so riveting? 🙄
https://abuseofnotation.github.io/category-theory-illustrated/04_order/ #CategoryTheory #HackerNews #HackerNews #ngated
Category Theory Illustrated - Orders

Hacker NewsApr 18

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/

#HackerNews #CategoryTheory #Orders #Illustration #Math #Education #Programming

Category Theory Illustrated - Orders