| | How to write Mathematics (1970) [pdf] (utah.edu) |
| 199 points by lainon on April 13, 2018 | past | 14 comments |
|
| | DeepLog: Anomaly Detection and Diagnosis from System Logs Through Deep Learning [pdf] (utah.edu) |
| 5 points by wackspurt on April 1, 2018 | past | 1 comment |
|
| | Π Is Wrong [pdf] (utah.edu) |
| 3 points by deadmetheny on March 16, 2018 | past |
|
| | What does the iPhone X screen look like under a microscope? (utah.edu) |
| 2 points by sbuccini on Nov 17, 2017 | past | 1 comment |
|
| | Making the Case for Feature-Rich Memory Systems (2016) [pdf] (utah.edu) |
| 43 points by ingve on Oct 15, 2017 | past | 15 comments |
|
| | What Geometric Visual Hallucinations Tell Us about the Visual Cortex (2009) Pdf (utah.edu) |
| 2 points by notduncansmith on Oct 12, 2017 | past |
|
| | Unix for TOPS-20 users. (1987) [pdf] (utah.edu) |
| 1 point by fanf2 on Sept 18, 2017 | past |
|
| | Real Programmers write in FORTRAN (utah.edu) |
| 1 point by tosh on Sept 13, 2017 | past |
|
| | Undefined Behavior in 2017 [pdf] (utah.edu) |
| 1 point by ingve on May 30, 2017 | past |
|
| | Taming Undefined Behavior in LLVM [pdf] (utah.edu) |
| 1 point by rbanffy on April 15, 2017 | past |
|
| | Graffinity: Visualizing Connectivity in Large Graphs (utah.edu) |
| 2 points by mpweiher on March 25, 2017 | past |
|
| | What global climate change may mean for leaf litter in streams and rivers (utah.edu) |
| 1 point by baalcat on March 2, 2017 | past |
|
| | Mathematics of Perspective Drawing (utah.edu) |
| 4 points by remx on Feb 25, 2017 | past |
|
| | Linear algebra and music theory [pdf] (utah.edu) |
| 3 points by pizza on Jan 12, 2017 | past |
|
| | Binding as Sets of Scopes: Notes on a new model of macro expansion for Racket (utah.edu) |
| 64 points by wsxiaoys on Dec 22, 2016 | past | 5 comments |
|
| | Understanding Integer Overflow in C/C++ [pdf] (utah.edu) |
| 2 points by tu7001 on Dec 10, 2016 | past |
|
| | Gabor Filters (utah.edu) |
| 2 points by DarkContinent on Aug 21, 2016 | past |
|
| | Understanding Integer Overflow in C/C++ (2012) [pdf] (utah.edu) |
| 65 points by 0xmohit on July 9, 2016 | past | 63 comments |
|
| | Generate random C programs that conform to the C99 standard (utah.edu) |
| 2 points by sa2ajj on July 9, 2016 | past |
|
| | Context grep (or cgrep) (utah.edu) |
| 2 points by _acme on June 19, 2016 | past |
|
| | The Story of Mel, a Real Programmer (1983) (utah.edu) |
| 9 points by rdegges on June 2, 2016 | past | 4 comments |
|
| | Writing functional slides in lisp with Racket [pdf] (utah.edu) |
| 2 points by znpy on May 24, 2016 | past |
|
| | Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax [pdf] (utah.edu) |
| 2 points by wtetzner on March 21, 2016 | past |
|
| | Csmith (utah.edu) |
| 1 point by mattiemass on March 10, 2016 | past |
|
| | Parallel Breadth First Search on GPU Clusters (2014) [pdf] (utah.edu) |
| 1 point by espeed on Feb 23, 2016 | past |
|
| | New Semiconductor Material That Could Lead to Faster Electronics (utah.edu) |
| 2 points by Lind5 on Feb 16, 2016 | past |
|
| | Honu: Syntactic Extension for Algebraic Notation Through Enforestation (2012) [pdf] (utah.edu) |
| 3 points by vmorgulis on Feb 13, 2016 | past | 1 comment |
|
| | Undefined Behavior in LLVM [pdf] (utah.edu) |
| 47 points by ingve on Jan 27, 2016 | past | 52 comments |
|
| | Provably Correct Peephole Optimizations with Alive [pdf] (utah.edu) |
| 4 points by ksherlock on Jan 6, 2016 | past |
|
| | A gene for new species is discovered (utah.edu) |
| 2 points by caiobegotti on Dec 24, 2015 | past |
|
|
| More |
