pron's submissions | Hacker News

31.		Known Unknowns (harpers.org)
		66 points by pron on June 30, 2018 \| past \| 23 comments
32.		Engineered for Dystopia (thebaffler.com)
		1 point by pron on Jan 28, 2018 \| past
33.		A History of Computation, Logic and Algebra (pron.github.io)
		4 points by pron on Jan 19, 2018 \| past
34.		TLA+ Spec of a simplified part of MongoDB replication system (github.com/visualzhou)
		3 points by pron on Oct 17, 2017 \| past
35.		Tackling Concurrency Bugs with TLA+ (youtube.com)
		7 points by pron on Oct 3, 2017 \| past \| 1 comment
36.		Global Warming and Hurricanes, an Overview of Current Research Results (noaa.gov)
		90 points by pron on Sept 9, 2017 \| past \| 36 comments
37.		Silicon Valley in the Shadow of William Shockley (nplusonemag.com)
		3 points by pron on Sept 7, 2017 \| past
38.		Moving Java Forward Faster (mreinhold.org)
		158 points by pron on Sept 6, 2017 \| past \| 82 comments
39.		Polyglot Native: Java, Scala, Kotlin (youtube.com)
		1 point by pron on Aug 4, 2017 \| past
40.		TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions (pron.github.io)
		130 points by pron on June 10, 2017 \| past \| 7 comments
41.		Bertrand Russell on the Two Faces of Science, and What Makes Life Satisfying (brainpickings.org)
		3 points by pron on May 14, 2017 \| past
42.		Facebook expected to revise plans for Messenger Bot API as failure rate hits 70% (theregister.co.uk)
		101 points by pron on March 6, 2017 \| past \| 47 comments
43.		A cautionary tale about the promises of modern brain science (economist.com)
		1 point by pron on Feb 6, 2017 \| past
44.		Letter to Silicon Valley (harpers.org)
		2 points by pron on Jan 19, 2017 \| past
45.		Miscomputation in software: Learning to live with errors (tomasp.net)
		2 points by pron on Jan 16, 2017 \| past
46.		I’ve left Twitter. It is unusable for anyone but trolls, robots and dictators (theguardian.com)
		3 points by pron on Jan 4, 2017 \| past
47.		They Have, Right Now, Another You (nybooks.com)
		1 point by pron on Dec 22, 2016 \| past
48.		Juggling Patterns and Programs (youtube.com)
		2 points by pron on Dec 8, 2016 \| past
49.		The Protocols of the Elders of the Internet (thenewatlantis.com)
		1 point by pron on Dec 3, 2016 \| past
50.		What a Difference 2 Percentage Points Make (fivethirtyeight.com)
		8 points by pron on Nov 10, 2016 \| past \| 7 comments
51.		Fear of a Feminist Future (thebaffler.com)
		2 points by pron on Oct 23, 2016 \| past \| 2 comments
52.		GNAT Programming Studio on GitHub (adacore.com)
		4 points by pron on Sept 12, 2016 \| past
53.		Handbook of Computational Social Choice (agtb.wordpress.com)
		2 points by pron on Sept 7, 2016 \| past
54.		On Two Views of Computation in Computer Science (pressron.wordpress.com)
		107 points by pron on Aug 31, 2016 \| past \| 187 comments
55.		Very Long Proofs (johncarlosbaez.wordpress.com)
		86 points by pron on July 20, 2016 \| past \| 56 comments
56.		Speculative optimizations in the Graal Just-In-Time compiler (youtube.com)
		1 point by pron on July 16, 2016 \| past
57.		Speculative optimizations in the Graal Just-In-Time compiler (youtube.com)
		2 points by pron on July 13, 2016 \| past
58.		Virtual Machine Summer School 2016 Videos (youtube.com)
		2 points by pron on July 7, 2016 \| past
59.		[Dr. TLA+ Series] Paxos (youtube.com)
		2 points by pron on July 6, 2016 \| past
60.		Andrew Helwer: Live Lecture on Paxos and TLA+, 10-11:30am PDT (groups.google.com)
		3 points by pron on June 22, 2016 \| past
		More

HN For You