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…
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
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.
Effect – The best way to build robust apps in TypeScript
Effect is a powerful TypeScript library designed to help developers easily create complex, synchronous, and asynchronous programs.
typelex – An experimental TypeSpec syntax for Lexicon
An experimental TypeSpec syntax for AT Protocol Lexicons. Write Lexicons in a more readable syntax using TypeSpec.
TypeScript.fm - The Friendly Show for TypeScript Developers
The two TypeScript Fools, Kamran Ayub and Erik Onarheim, get together weekly to bring you news, community highlights, and deep dives into the TypeScript ecosystem. Stay up-to-date on what's happening and learn new things to make you a better TypeScript developer along the way!
