category theory

Rajesh Sampathkumar - All Posts

AI, Aviation, Geopolitics, Philosophy, and more - A polymathic exploration

Tanner Duve

Wild Topology

A Neighborhood of Infinity

A Neighborhood of Infinity

Freedom Math Dance

A blog about math (mainly), computer tricks (sometimes) and jazz music.

Languages and Logic

Programming languages, machine learning and computer vision

The House Carpenter

Guesses based on what each set of time and change is touching

Typed Logic

Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.

do not look into laser with remaining eye

Math3ma

Ibrahim Cesar's Blog

Cloud architecture, serverless computing, and software engineering insights from an AWS Well-Architected team member. Exploring event-driven architectures, domain-driven design, and the intersection of technical excellence with business outcomes. Bilingual content in English and Brazilian Portuguese.

Eigil Fjeldgren Rischel

Recent content on Eigil Fjeldgren Rischel

Joe Moeller

Assistant to the Proof Assistant

Writings on computer stuff.

Assistant to the Proof Assistant

Writings on computer stuff.

Merlin's Notebook

Benjamin Merlin Bumpus's Reseach Website

Flagrant System Error

I don't know what I did, but I sure screwed everything up good.

General abstract nonsense.

Ryan's Blog

Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy.

Bartosz Milewski's Programming Cafe

Category Theory, Haskell, Concurrency, C++

Dan Ghica's Personal Blog

Mostly programming language semantics with a dash of armchair philosophy. The views expressed here are personal and in no way reflect those of my employers.

Math is in the Air

Blog on Applied Mathematics

Vincent does Deep Learning

I'm a machine learning researcher specializing in deep learning architecture design. I use this site to show some of the previous projects I've worked on.

chshersh.com

Abuse of Notation

writings on math, logic, philosophy and art

Bruno Gavranović's blog posts

Blog post from the website www.brunogavranovic.com

Hedonistic Learning

Hedonistic Learning

Ludwig

I have moved to ludwigabap.com ...

artagnon.com

eccentric.dk

reality meets eccentricity

pema.dev