laarcnew | comments | discord | tags | ask | show | place | submit | /l/researchlogin
1.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt 26 days ago | discuss
2.
Scott’s Supreme Quantum Supremacy FAQ! (scottaaronson.com)
by rain1 to quantum news quantum.computing papers research 26 days ago | discuss
3.
ICFP 2019 (sigplan.org)
2 points by rain1 to research programming.langugaes 63 days ago | discuss
4.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 224 days ago | discuss
5.
How badly is Google Books search broken, and why? (sappingattention.blogspot.com)
by palish to google books search research 245 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: