| 31. | | Automating Formal Proofs for Reactive Systems (ucsd.edu) |
|
74 points by jervisfm on June 22, 2014 | past | 5 comments
|
|
| 32. | | Who Gets to Graduate? (nytimes.com) |
|
116 points by jervisfm on June 5, 2014 | past | 144 comments
|
|
| 33. | | Vote for Google's Bay Area Impact Challenge (withgoogle.com) |
|
2 points by jervisfm on May 27, 2014 | past
|
|
| 34. | | Vrban: virtual reality urban exploration and planning (vrban.io) |
|
2 points by jervisfm on May 12, 2014 | past
|
|
| 35. | | Google Patents Prior Art Finder (google.com) |
|
3 points by jervisfm on May 6, 2014 | past | 1 comment
|
|
| 36. | | Why Events Are A Bad Idea For High-Concurrency Servers (2003) (usenix.org) |
|
77 points by jervisfm on May 2, 2014 | past | 35 comments
|
|
| 37. | | Go back in time with Street View (googleblog.blogspot.ca) |
|
1 point by jervisfm on April 28, 2014 | past
|
|
| 38. | | Muen Kernel: Trustworthy by Design – Correct By Construction (muen.sk) |
|
74 points by jervisfm on April 27, 2014 | past | 14 comments
|
|
| 39. | | Full employment theorem [for Computer Scientists] (wikipedia.org) |
|
1 point by jervisfm on April 20, 2014 | past
|
|
| 40. | | Speed memory access by arranging data to take advantage of CPU caching (gameprogrammingpatterns.com) |
|
149 points by jervisfm on April 6, 2014 | past | 52 comments
|
|
| 41. | | Open Source .NET Compiler Platform ("Roslyn") (codeplex.com) |
|
11 points by jervisfm on April 3, 2014 | past
|
|
| 42. | | Google Earth Tour Builder (withgoogle.com) |
|
1 point by jervisfm on March 25, 2014 | past
|
|
| 43. | | Ham Sandwich Nation: Due Process When Everything Is a Crime (columbialawreview.org) |
|
230 points by jervisfm on March 22, 2014 | past | 107 comments
|
|
| 44. | | Helping Our Communities Adapt to Climate Change (google-latlong.blogspot.com) |
|
1 point by jervisfm on March 19, 2014 | past
|
|
| 45. | | Google Newspaper Archive (news.google.com) |
|
124 points by jervisfm on March 16, 2014 | past | 26 comments
|
|
| 46. | | The Whale Hunt (thewhalehunt.org) |
|
1 point by jervisfm on March 16, 2014 | past
|
|
| 47. | | Making The Web Faster With HTTP 2.0 (acm.org) |
|
1 point by jervisfm on Feb 24, 2014 | past
|
|
| 48. | | Android App Patterns: Design inspiration for your Android App (android-app-patterns.com) |
|
3 points by jervisfm on Feb 24, 2014 | past
|
|
| 49. | | So This Is What Getting Pwned Is Like (law.harvard.edu) |
|
6 points by jervisfm on Feb 24, 2014 | past
|
|
| 50. | | C++ Pitfalls (horstmann.com) |
|
1 point by jervisfm on Feb 18, 2014 | past
|
|
| 51. | | Honeywords: Making Password-Cracking Detectable (csail.mit.edu) |
|
1 point by jervisfm on Feb 9, 2014 | past | 1 comment
|
|
| 52. | | Supporting computer science education with the 2014 RISE Awards (googleblog.blogspot.com) |
|
1 point by jervisfm on Feb 3, 2014 | past
|
|
| 53. | | Cashmusic.js (cashmusic.github.io) |
|
2 points by jervisfm on Feb 2, 2014 | past
|
|
| 54. | | Halide: a language for image processing and computational photography (halide-lang.org) |
|
3 points by jervisfm on Jan 31, 2014 | past
|
|
| 55. | | WebODF: Add ODF Support to your website, mobile or desktop app (webodf.org) |
|
59 points by jervisfm on Jan 25, 2014 | past | 16 comments
|
|
| 56. | | Understanding Singapore (sivers.org) |
|
2 points by jervisfm on Jan 20, 2014 | past
|
|
| 57. | | Optimizing software in C++ (agner.org) |
|
1 point by jervisfm on Jan 20, 2014 | past
|
|
| 58. | | NSA Codenames (cryptome.org) |
|
2 points by jervisfm on Jan 19, 2014 | past
|
|
| 59. | | NIST Initiating Review of Cryptographic Standards Development Process (nist.gov) |
|
2 points by jervisfm on Jan 18, 2014 | past
|
|
| 60. | | Browse Chromium //Base Source Online (code.google.com) |
|
1 point by jervisfm on Jan 18, 2014 | past
|
|
|
|
More |
