theorem

Patrick Stevens

Recent content on Patrick Stevens

Monogate — Research Blog

Monogate Research: one operator for all elementary functions. Blog posts on SuperBEST routing, ELC characterisation, Lean-verified theorems, and the EML framework.

Learning Clojure

Math3ma

This long run

Distributed systems in theory and in practice.

A universe of sorts

A universe of Sorts

dragonwasrobot

A website about functional programming, computer sciencey side-projects, with a sprinkling of mathematics for added authority.

Desvl's blog

Math Mondays

Nathan Taylor's blog (ntaylor.ca)

A blog about programming, theorem provers, and formal methods

demonst<span style="color:#595959FD;text-shadow:2px 4px 4px rgba(0,0,0,0.2),0px -5px 10px rgba(255,255,255,0.15);">random</span>■

Random musings

Artificial Intelligence Blog &#187; Artificial Intelligence Blog &#187;

We're blogging machines!

Delta Thoughts

Delta Thoughts

Game Theory 101

Game Theory 101: Game Theory Made Easy

Gowers&#039;s Weblog

Mathematics related discussions

The Blag

Logic, Computer Graphics, OCaml, Rust, etc.

The Blag

Logic, Computer Graphics, OCaml, Rust, etc.

dr. Bas Westerbaan

Recent content on dr. Bas Westerbaan

(untitled)

Abel Jansma

Abel Jansma is a scientist studying emergence, higher-order interactions, information theory, and complex systems across biology and artificial intelligence.

Chris Grossack's Blog

David Templin's Blog

A blog about mathematics, computer science, and related topics.

Joseph Tooby-Smith

A portfolio website

joshkerr.com

Photography nerd 📷❤ — sometime developer. 💻❤

cgad.ski

A place to put a few fun mathematical ideas. Teaching myself to write more efficiently!