Search: cs.utexas.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

On the Theorem of Pythagoras (cs.utexas.edu)

3 points

4 years ago

212.

Leisure: Don Knuth's 1984 article on the complexity of songs [pdf] (cs.utexas.edu)

3 points

15 years ago

213.

On the economy of doing mathematics [pdf] (cs.utexas.edu)

3 points

5 years ago

214.

OOP inheritance expressed with typed λ-calculus [pdf] (cs.utexas.edu)

3 points

5 years ago

215.

Why numbering should begin with zero (cs.utexas.edu)

3 points

15 years ago

216.

Kalman Filter Simulation (cs.utexas.edu)

3 points

5 years ago

217.

CS349 – Contemporary Issues in Computer Science (cs.utexas.edu)

3 points

6 years ago

218.

On the foolishness of “natural language programming”. (1978) (cs.utexas.edu)

3 points

6 years ago

219.

Synthesizing JIT Compilers for In-Kernel DSLs [pdf] (cs.utexas.edu)

3 points

6 years ago

220.

Dijkstra's Answers to Questions from Students (cs.utexas.edu)

3 points

6 years ago

221.

Dijkstra: On the cruelty of teching computer science [pdf] (cs.utexas.edu)

3 points

7 years ago

222.

Edsger W. Dijkstra: The notational conventions I adopted, and why (2000) (cs.utexas.edu)

3 points

7 years ago

223.

Paxos made live: an engineering perspective from Google Chubby [pdf] (cs.utexas.edu)

3 points

7 years ago

224.

The notational conventions I adopted, and why (cs.utexas.edu)

3 points

8 years ago

225.

E.W. Dijkstra: Why numbering should start at zero (cs.utexas.edu)

3 points

8 years ago

226.

Why numbering should start at zero? – By Dijkstra [pdf] (cs.utexas.edu)

3 points

8 years ago

227.

PebblesDB: Building Key-Value Stores Using Fragmented Log-Structured Merge Trees [pdf] (cs.utexas.edu)

3 points

8 years ago

228.

Dijkstra: The Humble Programmer (cs.utexas.edu)

3 points

18 years ago

229.

EWD 498: How do we tell truths that might hurt? [pdf] (cs.utexas.edu)

3 points

10 years ago

230.

Analysis of X86 Application and System Programs via Machine-Code Verification [pdf] (cs.utexas.edu)

3 points

10 years ago

231.

The Humble Programmer (1972) (cs.utexas.edu)

3 points

11 years ago

232.

Pruning the Search Tree (1997) (cs.utexas.edu)

3 points

11 years ago

233.

Why numbering should start at zero (1982) (cs.utexas.edu)

2 points

11 years ago

234.

Kalman Filter Simulator (cs.utexas.edu)

2 points

12 years ago

235.

Learn you a Haskell for great good [pdf] (cs.utexas.edu)

2 points

13 years ago

236.

EWD 1094 – The undeserved status of the pigeon-hole principle (1991) (cs.utexas.edu)

2 points

6 months ago

237.

Dijkstra on computer addiction (1991) [pdf] (cs.utexas.edu)

2 points

a year ago

238.

Dijkstra on Math-Programming Synergy (cs.utexas.edu)

2 points

2 years ago

239.

Milawa is a "self-verifying" theorem prover for an ACL2-like logic (cs.utexas.edu)

2 points

2 years ago

240.

The UNIX Time-Sharing System (cs.utexas.edu)

2 points

15 years ago