Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by zem
Typechecking is undecidable when 'type' is a type (1989) [pdf]
81 points
zem
2026-01-30T05:31:29Z
dspace.mit.edu
Pico Park developer accidentally makes the game free forever on Steam
2 points
zem
2025-10-08T20:00:31Z
www.thegamer.com
Typechecking Is Undecidable When 'Type' Is a Type
3 points
zem
2025-07-29T19:36:26Z
dspace.mit.edu
Disappearing Polymorphs
5 points
zem
2024-07-15T21:23:04Z
en.wikipedia.org
The Missing Readme: A Guide for the New Software Engineer
1 points
zem
2024-01-05T19:07:44Z
nostarch.com
Linux interop is maturing fast thanks to a games console
139 points
zem
2023-09-29T09:03:08Z
www.theregister.com
Roman-Fleuve (2021)
9 points
zem
2023-09-24T02:06:49Z
literaryocean.com
Zendo: The Game of Inductive Logic
115 points
zem
2022-11-11T02:02:35Z
www.looneylabs.com
Pinboard vs. Raindrop
194 points
zem
2022-11-09T20:42:28Z
dsalo.info
Roman-Fleuve
1 points
zem
2022-09-16T19:51:17Z
literaryocean.com
Zendo: The Game of Inductive Logic
1 points
zem
2022-07-14T19:20:04Z
www.looneylabs.com
Sifting Through the Embers (Douglas Adams)
4 points
zem
2022-05-12T21:51:35Z
deeshaa.org
AsciiMol: Curses based ASCII molecule viewer for Linux terminals
2 points
zem
2022-01-25T21:56:23Z
github.com
Mathcha: Online Math Editor
2 points
zem
2020-07-27T23:53:09Z
www.mathcha.io
A Visual Bibliography of Tree Visualization
2 points
zem
2020-07-07T00:24:43Z
treevis.net
If the heart is a muscle, why doesn't it ever get tired?
431 points
zem
2020-03-21T01:02:11Z
www.reddit.com
How the Hmong diaspora uses the world’s most boring technology
2 points
zem
2019-11-25T10:35:48Z
www.theverge.com
The Sinister Brutalism of Shipping Container Architecture
56 points
zem
2019-08-14T21:02:04Z
www.nytimes.com
A rediscovered mainframe game from 1974 might be the first text adventure
2 points
zem
2018-12-19T00:16:58Z
killscreen.com
The Rural Purge
6 points
zem
2018-10-31T03:55:48Z
en.wikipedia.org
1
2