HNHacker News
TopNewBestAskShowJobs

auggierose

5,571 karma · joined July 27, 2010

submissionscomments

Happy, those able to know the causes of things

birdsnfrogs.github.io·2 pts·auggierose·
0

Why do we need human mathematicians anymore?

terrytao.wordpress.com·292 pts·auggierose·
383

"Fork it or leave": Linus Torvalds fires back at Linux's anti-AI crowd

neowin.net·5 pts·auggierose·
1

Valuation Spaces and Relativisation: The Lambda Calculus Example

practal.com·2 pts·auggierose·
0

OpenAI shutters AI video generator Sora after just six months

theguardian.com·3 pts·auggierose·
1

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

weisser-zwerg.dev·3 pts·auggierose·
0

Gauss, an Agent for Autoformalization

math.inc·11 pts·auggierose·
1

Wysiwid: What you see is what it does

essenceofsoftware.com·19 pts·auggierose·
2

The Top Programming Languages 2024

spectrum.ieee.org·3 pts·auggierose·
1

Oxford Philosophy of Mathematics

youtube.com·4 pts·auggierose·
0

Chinese chess champion stripped of title after defecating in hotel bathtub

theguardian.com·6 pts·auggierose·
10

How Figma’s multiplayer technology works (2019)

figma.com·2 pts·auggierose·
0

Photovoltaics for Urban Spaces: Shadow Effects on Balcony Power Stations

weisser-zwerg.dev·1 pts·auggierose·
0

Löb's Theorem and Curry's Paradox

inference-review.com·4 pts·auggierose·
0

French Open organisers to offer players AI protection against online abuse

theguardian.com·2 pts·auggierose·
0

ChatGPT – Open AI API for Proofreading Markdown Blog Posts

weisser-zwerg.dev·1 pts·auggierose·
0

English is picking up brilliant new words from around the world

theguardian.com·1 pts·auggierose·
0

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

cst.cam.ac.uk·2 pts·auggierose·
0

You are not expected to understand this

press.princeton.edu·3 pts·auggierose·
0

A from-scratch tour of Bitcoin in Python

karpathy.github.io·6 pts·auggierose·
0

Beyond the Liquid Tensor Experiment

xenaproject.wordpress.com·10 pts·auggierose·
0

Algebraic Semiotics (2020)

gjoncas.github.io·57 pts·auggierose·
10

Annotated version of Boole's 1847 “Algebra of Logic” (2019) [pdf]

math.uwaterloo.ca·107 pts·auggierose·
17

Should we get rid of the scientific paper?

theguardian.com·2 pts·auggierose·
0

Handbook of the Mathematics of the Arts and Sciences

link.springer.com·1 pts·auggierose·
4

The Lezer Parser System

lezer.codemirror.net·48 pts·auggierose·
3

Space Math

aimath.org·98 pts·auggierose·
24

Artificial intelligence beats eight world champions at bridge

theguardian.com·10 pts·auggierose·
3

Ash Barty announces shock retirement from tennis at 25

theguardian.com·5 pts·auggierose·
6

Practical Types

obua.com·3 pts·auggierose·
0
Page 1 of 4Next →