Search: utexas.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

A Short Introduction to the Art of Programming by Edsger W. Dijkstra [pdf] (cs.utexas.edu)

1 point

12 years ago

692.

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

1 point

12 years ago

693.

Affine Transformations [pdf] (cs.utexas.edu)

1 point

12 years ago

694.

Engineers Build World’s Smallest, Fastest Nanomotor (engr.utexas.edu)

1 point

12 years ago

695.

'THINK' Protocols (cs.utexas.edu)

1 point

12 years ago

696.

Automated Testing of Certiﬁcate Validation in SSL/TLS Implementations (cs.utexas.edu)

1 point

12 years ago

697.

A Case Against the GO TO Statement (Dijkstra, 1968) (cs.utexas.edu)

1 point

12 years ago

698.

The Computer as a Communication Device [1968] (cc.utexas.edu)

1 point

12 years ago

699.

Online course on Embedded Systems (users.ece.utexas.edu)

1 point

12 years ago

700.

Early Indo-European Online: Introduction to the Language Lessons (utexas.edu)

1 point

12 years ago

701.

A Computational Logic for Applicative Common Lisp (cs.utexas.edu)

1 point

12 years ago

702.

Operational Semantics and Inductive Assertions (cs.utexas.edu)

1 point

12 years ago

703.

The Boyer-Moore Theorem Prover (NQTHM) (cs.utexas.edu)

1 point

12 years ago

704.

Programming methodologies, their objectives and their nature (EWD 469) (cs.utexas.edu)

1 point

13 years ago

705.

The strengths of the academic enterprise (cs.utexas.edu)

1 point

13 years ago

706.

Linear Operators Done Right (golem.ph.utexas.edu)

1 point

13 years ago

707.

Paxos made simple (2001) [pdf] (cs.utexas.edu)

1 point

13 years ago

708.

Colouring a Graph (golem.ph.utexas.edu)

1 point

13 years ago

709.

New Invention Makes Ocean Water Drinkable (utexas.edu)

1 point

13 years ago

710.

Quasicrystals and the Riemann Hypothesis (golem.ph.utexas.edu)

1 point

13 years ago

711.

The HoTT Book (golem.ph.utexas.edu)

1 point

13 years ago

712.

When Will My Computer Understand Me? (tacc.utexas.edu)

1 point

13 years ago

713.

Djikstra at his finest (cs.utexas.edu)

1 point

13 years ago

714.

Experiences of Djikstra when he visited the USA (cs.utexas.edu)

1 point

13 years ago

715.

Anatomy of Programming Languages (cs.utexas.edu)

1 point

13 years ago

716.

Mark Meckes, on The magnitude of metric spaces. (golem.ph.utexas.edu)

1 point

13 years ago

717.

Tree of Life (~3,000 species, based on rRNA sequences) [pdf] (zo.utexas.edu)

1 point

13 years ago

718.

From Set Theory to Type Theory (golem.ph.utexas.edu)

1 point

13 years ago

719.

The cruelty of teaching computing science (EWD 1036) (cs.utexas.edu)

1 point

a month ago

720.

Récoltes et semailles by Alexandre Grothendieck [pdf] (web.ma.utexas.edu)

1 point

4 months ago