13

Typechecking is undecidable when 'type' is a type (1989) [pdf] (dspace.mit.edu)

11 hours ago zem mit.edu

1

Pico Park developer accidentally makes the game free forever on Steam (thegamer.com)

4 months ago zem thegamer.com

2

Typechecking Is Undecidable When 'Type' Is a Type (dspace.mit.edu)

7 months ago zem mit.edu

2

Disappearing Polymorphs (wikipedia.org)

a year ago zem wikipedia.org

1

The Missing Readme: A Guide for the New Software Engineer (nostarch.com)

2 years ago zem nostarch.com

62

Linux interop is maturing fast thanks to a games console (theregister.com)

2 years ago zem theregister.com

2

Roman-Fleuve (2021) (literaryocean.com)

2 years ago zem literaryocean.com

37

Zendo: The Game of Inductive Logic (looneylabs.com)

3 years ago zem looneylabs.com

42

Pinboard vs. Raindrop (dsalo.info)

3 years ago zem dsalo.info

1

Roman-Fleuve

3 years ago zem literaryocean.com