Boggle Nogs
Introduction to High-Performance Scientific Computing
(
utexas.edu
)
142 points
15 comments
Hydrogel Tablet Can Purify a Liter of River Water in an Hour
(
utexas.edu
)
3 points
Soft Pressure Sensor Breakthrough Solves Field's Most Challenging Bottleneck
(
utexas.edu
)
3 points
On the economy of doing mathematics [pdf]
(
utexas.edu
)
3 points
On the cruelty of teaching computing science
(
utexas.edu
)
5 points
OOP inheritance expressed with typed λ-calculus [pdf]
(
utexas.edu
)
3 points
Portable ‘Lab-on-a-Chip’ Diagnostic Platform Tests Dozens of People for Covid-19
(
utexas.edu
)
3 points
The Inconsistency of Arithmetic (2011)
(
utexas.edu
)
368 points
164 comments
A Rational Design Process: How and Why to Fake IT (1986) [pdf]
(
utexas.edu
)
3 points
UT Space Traffic Map
(
utexas.edu
)
1 point
How do we tell truths that might hurt? [pdf]
(
utexas.edu
)
1 point
Numbering should start at zero (1982)
(
utexas.edu
)
1 point
Bird Brains Left Other Dinosaurs Behind
(
utexas.edu
)
2 points
Apple Suppliers and Labor Practices
(
utexas.edu
)
2 points
The Problem of Denial (1994)
(
utexas.edu
)
1 point
From Set Theory to Type Theory (2013)
(
utexas.edu
)
2 points
EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975
(
utexas.edu
)
1 point
Conjunction Streaming Service (Demo)
(
utexas.edu
)
1 point
A commemoration of Edsger Dijkstra [pdf]
(
utexas.edu
)
133 points
25 comments
Supercomputers Help Supercharge Protein Assembly (2019)
(
utexas.edu
)
1 point
“Written in anger.” [EWD696, 1978] [pdf]
(
utexas.edu
)
2 points
Structure vs. Observation
(
utexas.edu
)
3 points
New Technique Predicts Response of Brain Tumors to Chemoradiation – UT News
(
utexas.edu
)
1 point
Common Mistakes in Statistics (2012)
(
utexas.edu
)
1 point
A Flying Demo of ACL2 (2000)
(
utexas.edu
)
2 points
1 comment
The Boyer-Moore Fast String Searching Algorithm
(
utexas.edu
)
228 points
81 comments
Kalman Filter Simulation
(
utexas.edu
)
3 points
Perry-Castañeda Library Map Collection
(
utexas.edu
)
2 points
Cramming More Components onto Integrated Circuits (1965) [pdf]
(
utexas.edu
)
4 points
Under the Spell of Leibniz's Dream
(
utexas.edu
)
2 points
more