Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by panic
Dystopias Are Not Enough
1 points
panic
2017-01-03T04:39:48Z
clarkesworldmagazine.com
The UBI already exists for the 1%
8 points
panic
2017-01-01T05:27:29Z
medium.com
Netstrings (1997)
1 points
panic
2016-12-22T04:47:46Z
cr.yp.to
The Kernel Programming Language
2 points
panic
2016-12-22T03:09:03Z
web.cs.wpi.edu
A man who put up $1.5M to help 200 Syrian refugees
194 points
panic
2016-12-22T02:31:41Z
torontolife.com
Funky Fantasy IV: A Machine-Translated Video Game Experiment
1 points
panic
2016-12-15T21:54:00Z
legendsoflocalization.com
The Cybersyn Revolution (2015)
1 points
panic
2016-12-13T22:54:43Z
www.jacobinmag.com
The code I’m still ashamed of
2 points
panic
2016-12-04T07:11:02Z
medium.freecodecamp.com
Metal retrospective
2 points
panic
2016-12-02T07:15:41Z
zeuxcg.org
Maybe the Internet Isn’t a Fantastic Tool for Democracy After All
3 points
panic
2016-11-30T01:59:05Z
nymag.com
Standardized Ladder of Functional Programming [pdf]
187 points
panic
2016-11-30T01:37:49Z
lambdaconf.us
A Digression on Divergence (2013)
2 points
panic
2016-11-29T06:08:53Z
tangentvector.wordpress.com
Beating the Compiler
140 points
panic
2016-11-29T01:41:17Z
www.codersnotes.com
Bra-Ket Notation Trivializes Matrix Multiplication
2 points
panic
2016-11-27T10:38:36Z
algorithmicassertions.com
Smart cities (2014)
2 points
panic
2016-11-27T10:27:46Z
www.theguardian.com
Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf]
66 points
panic
2016-11-26T22:53:34Z
hal.inria.fr
I don't belong in tech
3 points
panic
2016-11-25T23:32:02Z
medium.com
12-Foot Traffic Lanes Are Bad for Safety and Should Be Replaced (2014)
174 points
panic
2016-11-19T22:18:17Z
www.citylab.com
Formal description of system call interface
2 points
panic
2016-11-17T07:43:20Z
marc.info
Half-Baked Thoughts for a Quantum Scripting Language
2 points
panic
2016-11-14T00:17:14Z
algorithmicassertions.com
40
41
42
43
44
45
46
47
48
49