Stories by dan-c-underwood

Isabelle/HOL Has Schemes

Ask HN: Fully-managed GitHub alternative on a custom domain?

Use RSS feeds to automate your reading lists and keep up-to-date

Why America's prisons are an unconstitutional moral horror (2019)

How do we know the history of extreme poverty? (2019)

I encoded my avatar in a Git commit email field

Long Covid isn’t as unique as we thought

Microsoft Walks Away from UserVoice

An Introduction to ASCII Ray Marching

Egg: E-Graphs Good

Software Power On Self Test

How the rise of ‘citizen voice’ increased infrastructure costs

Show HN: QuickJS and DyBase = JavaScript persistence (a la MongoDB)

Curry-Howard Is a Scam

Userland

WHO advisor: Covid-19 pandemic likely started via lab leak

Should I buy an electric vehicle?

Blood and Soil in Narendra Modi’s India (2019)

Ask HN: Help me find who is leaking my data

Show HN: I made an accessibility app to learn Japanese

7
8
9
10
11
12
13
14
15
16