Better Together: Unifying Datalog and Equality Saturation(arxiv.org)

85 points by luu 3 years ago | 12 comments

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf](spcl.inf.ethz.ch)

21 points by matt_d 1 year ago | 1 comments

The Architecture of Open Source Applications (Volume 1) Berkeley DB(aosabook.org)

81 points by grep_it 8 months ago | 10 comments

Working with academic communities to build scientific understanding(openai.com)

253 points by jonluca 2 hours ago | 111 comments

OpenAI post announcing AI-produced results in harmonic analysis, complexity theory (refuting ETH), and quantum field theory, and describing academic collaborations to verify them.

Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf](cis.upenn.edu)

100 points by JackeJR 6 months ago | 23 comments

Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf](tomandmaria.com)

48 points by nill0 26 days ago | 1 comments

A 2014 IEEE Annals of the History of Computing paper by Haigh, Priestley and Rope reconstructing the 1948 ENIAC Monte Carlo nuclear simulations run for Los Alamos.