Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
421.
Common Mistakes in Statistics (ma.utexas.edu)
3 points
motivic
10 years ago
discuss
422.
EWD 498: How do we tell truths that might hurt? [pdf] (cs.utexas.edu)
3 points
Jtsummers
10 years ago
discuss
423.
Analysis of X86 Application and System Programs via Machine-Code Verification [pdf] (cs.utexas.edu)
3 points
luu
10 years ago
discuss
424.
Android 5.x Lockscreen Bypass (CVE-2015-3860) (sites.utexas.edu)
3 points
wslh
11 years ago
discuss
425.
The Humble Programmer (1972) (cs.utexas.edu)
3 points
hamoperator
11 years ago
discuss
426.
Pruning the Search Tree (1997) (cs.utexas.edu)
3 points
Jtsummers
11 years ago
discuss
427.
Tax Fraud Is a $30B Industry (and Growing) (texasenterprise.utexas.edu)
2 points
billhendricksjr
11 years ago
5 comments
428.
UT Austin will offer online MS in AI for $10K in tuition (news.utexas.edu)
2 points
cubecul
3 years ago
2 comments
429.
Why numbering should start at zero (1982) (cs.utexas.edu)
2 points
nreece
11 years ago
1 comment
430.
Kalman Filter Simulator (cs.utexas.edu)
2 points
kqr2
12 years ago
1 comment
431.
Shared Autonomous Vehicles: Rethinking The Morning Commute (engr.utexas.edu)
2 points
jcr
12 years ago
1 comment
432.
How Pastor's pay is like a Ceo's pay (texasenterprise.utexas.edu)
2 points
samfisher83
13 years ago
1 comment
433.
Learn you a Haskell for great good [pdf] (cs.utexas.edu)
2 points
tosh
13 years ago
1 comment
434.
How Much Does Education Improve Intelligence? A Meta-Analysis [pdf] (labs.la.utexas.edu)
2 points
sebg
5 months ago
1 comment
435.
EWD 1094 – The undeserved status of the pigeon-hole principle (1991) (cs.utexas.edu)
2 points
vismit2000
6 months ago
1 comment
436.
Dijkstra on computer addiction (1991) [pdf] (cs.utexas.edu)
2 points
quantumHazer
a year ago
1 comment
437.
Dijkstra on Math-Programming Synergy (cs.utexas.edu)
2 points
Oksitaine
2 years ago
1 comment
438.
Milawa is a "self-verifying" theorem prover for an ACL2-like logic (cs.utexas.edu)
2 points
deterministic
2 years ago
1 comment
439.
“Memory directories” in Intel processors (2023) (sites.utexas.edu)
2 points
nuvls
3 years ago
1 comment
440.
Brain activity decoder can reveal stories in people’s minds (cns.utexas.edu)
2 points
hhs
3 years ago
1 comment
441.
Ocean Surface Tipping Point Could Accelerate Climate Change (jsg.utexas.edu)
2 points
makerofspoons
3 years ago
1 comment
442.
Draft: Introduction to High Performance Scientific Computing (tacc.utexas.edu)
2 points
yarapavan
14 years ago
1 comment
443.
How 56k Modems Work (laits.utexas.edu)
2 points
Asdrubalini
4 years ago
1 comment
444.
The UNIX Time-Sharing System (cs.utexas.edu)
2 points
telemachos
15 years ago
1 comment
445.
Solèr’s Theorem (golem.ph.utexas.edu)
2 points
ogogmad
5 years ago
1 comment
446.
A Flying Demo of ACL2 (2000) (cs.utexas.edu)
2 points
NieDzejkob
5 years ago
1 comment
447.
The pragmatic engineer vs. the scientific designer – Dijkstra, 1978 (cs.utexas.edu)
2 points
Kinrany
6 years ago
1 comment
448.
The Humble Programmer (Edsger W. Dijkstra) (cs.utexas.edu)
2 points
motxilo
15 years ago
1 comment
449.
On the Design of Machine Independent Programming Languages [pdf] (cs.utexas.edu)
2 points
alokrai
7 years ago
1 comment
450.
The Humble Programmer (scribd.com)
2 points
dedalus
18 years ago
1 comment
More