| | A systematic analysis of the Juniper Dual EC DRBG backdoor [pdf] (utexas.edu) |
| 2 points by fanf2 on Sept 10, 2024 | past |
|
| | Newly Discovered Antibody Protects Against All Covid-19 Variants (utexas.edu) |
| 49 points by ivewonyoung on Sept 9, 2024 | past | 17 comments |
|
| | Newly Discovered Antibody Protects Against All Covid-19 Variants (utexas.edu) |
| 3 points by monkey_monkey on Sept 5, 2024 | past |
|
| | The Humble Programmer (1972) (utexas.edu) |
| 3 points by notarobot123 on Aug 29, 2024 | past | 5 comments |
|
| | Algorithm Raises New Questions About Cascadia Earthquake Record (utexas.edu) |
| 1 point by geox on Aug 28, 2024 | past |
|
| | On the cruelty of really teaching computing science (1988) (utexas.edu) |
| 168 points by torstenvl on Aug 19, 2024 | past | 136 comments |
|
| | Galois Theory (utexas.edu) |
| 467 points by mathgenius on Aug 15, 2024 | past | 234 comments |
|
| | Dimensional Analysis in Algebra and Geometry (utexas.edu) |
| 2 points by mathgenius on Aug 8, 2024 | past |
|
| | Paving the Way to Extremely Fast, Compact Computer Memory (utexas.edu) |
| 5 points by geox on July 17, 2024 | past |
|
| | Efficiently Computing Static Single Assignment Form and the Control Graph [pdf] (utexas.edu) |
| 2 points by de_keyboard on July 16, 2024 | past |
|
| | Turing Categories (2019) (utexas.edu) |
| 1 point by soist on July 12, 2024 | past |
|
| | An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams (utexas.edu) |
| 3 points by jesuslop on July 10, 2024 | past | 1 comment |
|
| | Dijkstra on Math-Programming Synergy (utexas.edu) |
| 2 points by Oksitaine on July 6, 2024 | past | 1 comment |
|
| | Numbering should start at zero [pdf] (utexas.edu) |
| 4 points by shubhxms on July 6, 2024 | past |
|
| | The Gossip Industry: A history of celebrity gossip and entertainment news (utexas.edu) |
| 2 points by gaws on June 29, 2024 | past |
|
| | The Value of a Liberal Arts Education Is More Than Most Know (utexas.edu) |
| 1 point by squircle on June 10, 2024 | past |
|
| | Milawa is a "self-verifying" theorem prover for an ACL2-like logic (utexas.edu) |
| 2 points by deterministic on June 10, 2024 | past | 1 comment |
|
| | 3D Rotations and the 7d Cross Product (Part 2) (utexas.edu) |
| 2 points by ColinWright on June 4, 2024 | past |
|
| | Artificial Intelligence Trained to Draw Inspiration from Images, Not Copy Them (utexas.edu) |
| 3 points by giuliomagnifico on June 1, 2024 | past |
|
| | The end of Computing Science? (2000) [pdf] (utexas.edu) |
| 1 point by hggh on May 27, 2024 | past |
|
| | Artificial Intelligence Trained to Draw Inspiration from Images, Not Copy Them (utexas.edu) |
| 2 points by gnabgib on May 22, 2024 | past |
|
| | Memory Consistency Models: A Tutorial (utexas.edu) |
| 74 points by fanf2 on May 14, 2024 | past | 18 comments |
|
| | PCL Maps (utexas.edu) |
| 1 point by Tomte on May 13, 2024 | past |
|
| | CS388: Natural Language Processing (utexas.edu) |
| 178 points by gone35 on May 10, 2024 | past | 10 comments |
|
| | Notes on Structured Programming (1970) [pdf] (utexas.edu) |
| 64 points by BerislavLopac on April 24, 2024 | past | 7 comments |
|
| | Study uses wearables to show that physical activity lengthens REM latency (utexas.edu) |
| 151 points by gmays on April 2, 2024 | past | 96 comments |
|
| | Producing hydrogen from rocks gains steam as scientists advance new methods (utexas.edu) |
| 1 point by geox on March 31, 2024 | past |
|
| | Submission to ArXiv (2022) (utexas.edu) |
| 1 point by wrycoder on March 29, 2024 | past |
|
| | Math writing is dull when it neglects the human dimension (utexas.edu) |
| 223 points by mathgenius on March 29, 2024 | past | 181 comments |
|
| | Tanks of the Triassic: New Crocodile Ancestor Identified (utexas.edu) |
| 2 points by gmays on March 22, 2024 | past |
|
|
| More |
