| | Understanding Integer Overflow in C/C++ (2015) [pdf] (utah.edu) |
|
3 points by thesuperbigfrog on Aug 11, 2023 | past | 1 comment
|
|
| | Random Testing of WebAssembly Implementations Using Semantically Valid Programs (utah.edu) |
|
69 points by luu on Aug 3, 2023 | past | 9 comments
|
|
| | Avoiding the Ordering Trap in Systems Performance Measurement (utah.edu) |
|
1 point by timf on June 20, 2023 | past
|
|
| | Shortest Path to Boundary for Self-Intersecting Meshes (utah.edu) |
|
3 points by lnyan on May 17, 2023 | past | 2 comments
|
|
| | Shout: Distributed measurements and resources framework for wireless systems (utah.edu) |
|
3 points by teleforce on April 14, 2023 | past
|
|
| | Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages [pdf] (utah.edu) |
|
6 points by matt_d on April 12, 2023 | past | 1 comment
|
|
| | WebPath: The Internet Pathology Laboratory for Medical Education (utah.edu) |
|
1 point by dgellow on March 21, 2023 | past
|
|
| | Alan Kay, Ivan Sutherland, Ed Catmull, and others to speak in Utah this week (utah.edu) |
|
50 points by apitman on March 20, 2023 | past | 9 comments
|
|
| | Linux/Unix Nbench (utah.edu) |
|
10 points by haunter on March 18, 2023 | past
|
|
| | Finding and Understanding Bugs in C Compilers [pdf] (utah.edu) |
|
2 points by g0xA52A2A on March 16, 2023 | past
|
|
| | Swarm Testing [pdf] (utah.edu) |
|
3 points by eatonphil on Feb 24, 2023 | past
|
|
| | Space dust as Earth’s sun shield (utah.edu) |
|
1 point by gscott on Feb 11, 2023 | past
|
|
| | Introduction to Dynamical Systems in the Social Sciences (utah.edu) |
|
1 point by rzk on Jan 22, 2023 | past
|
|
| | Hacker Folklore Stories (utah.edu) |
|
1 point by hzlatar on Jan 10, 2023 | past | 1 comment
|
|
| | Money brings hunter-gatherers new choices (utah.edu) |
|
2 points by groffee on Oct 9, 2022 | past
|
|
| | “Take Me, I'm Yours”: The Autobiography of the Sail Timesharing System (1991) (utah.edu) |
|
1 point by camtarn on Aug 9, 2022 | past
|
|
| | The Story of Mel (1983) (utah.edu) |
|
445 points by thunderbong on Aug 9, 2022 | past | 167 comments
|
|
| | Federal government spending reached 31% of GDP in 2020 (utah.edu) |
|
6 points by phoenixreader on July 16, 2022 | past
|
|
| | Sag-Free Deformable Simulations (utah.edu) |
|
1 point by lnyan on May 10, 2022 | past
|
|
| | G. Polya, How to Solve It (utah.edu) |
|
3 points by thunderbong on May 7, 2022 | past
|
|
| | Understanding Mathematics: A Study Guide (utah.edu) |
|
59 points by mjreacher on May 7, 2022 | past | 1 comment
|
|
| | Taming Undefined Behavior in LLVM [pdf] (utah.edu) |
|
2 points by luu on March 9, 2022 | past
|
|
| | The voice of Utah's arches – Ambient seismic vibration sped up 25x (utah.edu) |
|
202 points by NotAWorkNick on March 7, 2022 | past | 42 comments
|
|
| | Graph Theory and Linear Algebra [pdf] (utah.edu) |
|
234 points by sebg on Feb 24, 2022 | past | 39 comments
|
|
| | Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf] (utah.edu) |
|
2 points by vg_head on Dec 24, 2021 | past
|
|
| | The Animation Lab: SARS-CoV-2 Visualization and Annotation Project (utah.edu) |
|
1 point by gigama on Dec 23, 2021 | past | 1 comment
|
|
| | tex.web – Version 3.141592653 (utah.edu) |
|
67 points by susam on Nov 12, 2021 | past | 40 comments
|
|
| | TikZ and PGF Manual [pdf] (utah.edu) |
|
2 points by susam on Nov 11, 2021 | past
|
|
| | Scientists Enable Blind Woman to See Simple Shapes Using Brain Implant (utah.edu) |
|
2 points by elorant on Oct 27, 2021 | past | 1 comment
|
|
| | Genetic mutation found in mice and monkeys interferes with HIV and Ebola viruses (utah.edu) |
|
3 points by geox on Sept 30, 2021 | past
|
|
|
|
More |
