Stories by auggierose

Valuation Spaces and Relativisation: The Lambda Calculus Example

OpenAI shutters AI video generator Sora after just six months

Teleporting a Public IPv6 Address from Your VPS to Your Home Server

Gauss, an Agent for Autoformalization

Wysiwid: What you see is what it does

The Top Programming Languages 2024

Oxford Philosophy of Mathematics

Chinese chess champion stripped of title after defecating in hotel bathtub

How Figma’s multiplayer technology works (2019)

Photovoltaics for Urban Spaces: Shadow Effects on Balcony Power Stations

Löb's Theorem and Curry's Paradox

French Open organisers to offer players AI protection against online abuse

ChatGPT – Open AI API for Proofreading Markdown Blog Posts

English is picking up brilliant new words from around the world

Machine learning enables AI systems to do maths in English as well as logic

You are not expected to understand this

A from-scratch tour of Bitcoin in Python

Beyond the Liquid Tensor Experiment

Algebraic Semiotics (2020)

1 2 3