Prism: An Impure Functional Language With Typed Effects - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Communicating in Types • Kris Jenkins • GOTO 2024
Category Theory for Programmers: The Preface
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…
The League of Moveable Type
The first open-source foundry. And your spot to learn how to use, make, and work with type.
Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
Apps and programming: two accidental tyrannies
On coding agents, malleable software, and the future of interface invention
Apps and programming: two accidental tyrannies
On coding agents, malleable software, and the future of interface invention
Desktop 0.46.0
Hi dear Anytypers! We're thrilled to announce a major update and introduce a fundamental shift in Anytype's core organizing structure. We're streamlining our user experience by eliminating the current behavior and bringing a clearer, more intuitive way to use Types. The new Anytype reimagines …
The Evolution of Software
Last week Chris Paik published a Google Doc titled, The End of Software, where he articulates the lowering cost of software development and potential implications. He ends the piece with a provocative statement: "Majoring in computer science today will be like majoring in journalism in the late...
Are we stuck with the same Desktop UX forever? | Ubuntu Summit 25.10
Are we stuck with the same Desktop UX forever? | Ubuntu Summit 25.10
Are we stuck with the same Desktop UX forever? | Ubuntu Summit 25.10
A Case for Feminism in Programming Language Design
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Mathematics in type theory.
An explanation of how to set up mathematics using universes, types, and terms
Priivacy-ai/spec-kitty
Spec-Driven Development for serious software developers. Spec Coding with with Claude, Cursor, Gemini, Codex. Kanban dashboard, git worktrees, auto-merge and more.