HNHacker News
TopNewBestAskShowJobs

pron

25,377 karma · joined December 23, 2011

https://pron.github.io/

Working on OpenJDK at Oracle

submissionscomments

Cliff Click – Lessons from a Big Data Machine Learning Startup

youtube.com·2 pts·pron·
0

Known Unknowns

harpers.org·66 pts·pron·
23

Engineered for Dystopia

thebaffler.com·1 pts·pron·
0

A History of Computation, Logic and Algebra

pron.github.io·4 pts·pron·
0

TLA+ Spec of a simplified part of MongoDB replication system

github.com·3 pts·pron·
0

Tackling Concurrency Bugs with TLA+

youtube.com·7 pts·pron·
1

Global Warming and Hurricanes, an Overview of Current Research Results

gfdl.noaa.gov·90 pts·pron·
36

Silicon Valley in the Shadow of William Shockley

nplusonemag.com·3 pts·pron·
0

Moving Java Forward Faster

mreinhold.org·158 pts·pron·
82

Polyglot Native: Java, Scala, Kotlin

youtube.com·1 pts·pron·
0

TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions

pron.github.io·130 pts·pron·
7

Bertrand Russell on the Two Faces of Science, and What Makes Life Satisfying

brainpickings.org·3 pts·pron·
0

Facebook expected to revise plans for Messenger Bot API as failure rate hits 70%

theregister.co.uk·101 pts·pron·
47

A cautionary tale about the promises of modern brain science

economist.com·1 pts·pron·
0

Letter to Silicon Valley

harpers.org·2 pts·pron·
0

Miscomputation in software: Learning to live with errors

tomasp.net·2 pts·pron·
0

I’ve left Twitter. It is unusable for anyone but trolls, robots and dictators

theguardian.com·3 pts·pron·
0

They Have, Right Now, Another You

nybooks.com·1 pts·pron·
0

Juggling Patterns and Programs

youtube.com·2 pts·pron·
0

The Protocols of the Elders of the Internet

text-patterns.thenewatlantis.com·1 pts·pron·
0

What a Difference 2 Percentage Points Make

fivethirtyeight.com·8 pts·pron·
7

Fear of a Feminist Future

thebaffler.com·2 pts·pron·
2

GNAT Programming Studio on GitHub

blog.adacore.com·4 pts·pron·
0

Handbook of Computational Social Choice

agtb.wordpress.com·2 pts·pron·
0

On Two Views of Computation in Computer Science

pressron.wordpress.com·107 pts·pron·
187

Very Long Proofs

johncarlosbaez.wordpress.com·86 pts·pron·
56

Speculative optimizations in the Graal Just-In-Time compiler

youtube.com·1 pts·pron·
0

Speculative optimizations in the Graal Just-In-Time compiler

youtube.com·2 pts·pron·
0

Virtual Machine Summer School 2016 Videos

youtube.com·2 pts·pron·
0

[Dr. TLA+ Series] Paxos

youtube.com·2 pts·pron·
0
← PreviousPage 2 of 13Next →