Search: andrew.cmu.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

8 years ago

3 points

32.

From Sets to Types to Categories to Sets (2009) [pdf]

10 years ago

3 points

33.

An empirical study on incentivizing users to ignore security advice (2014) [pdf]

10 years ago

3 points

34.

On the Turing Completeness of MS PowerPoint [pdf]

6 years ago

2 points

35.

The Founder’s Pie Calculator

16 years ago

2 points

36.

Running Mac OS X as a QEMU/KVM Guest

contrib.andrew.cmu.edu

10 years ago

2 points

37.

The rsync algorithm (1996) [pdf]

a year ago

2 points

38.

Heartbeat Scheduling: Provable efficiency for nested parallelism

2 years ago

2 points

39.

A Trustworthy, Free (Libre), Linux Capable, Self-Hosting 64bit RISC-V Computer

contrib.andrew.cmu.edu

6 years ago

2 points

40.

Decision Diagrams for Optimization

6 years ago

2 points

41.

Univalence as a Principle of Logic

6 years ago

2 points

42.

Ridiculous Theatre Manifesto

contrib.andrew.cmu.edu

7 years ago

2 points

43.

Running Mac OS X as a QEMU/KVM Guest

contrib.andrew.cmu.edu

9 years ago

2 points

44.

The DADSS Midterm Grading Procedure [pdf]

contrib.andrew.cmu.edu

9 years ago

2 points

45.

Crazy Grading System at CMU [pdf]

contrib.andrew.cmu.edu

9 years ago

2 points

46.

SIGBOVIK 2025: Call for papers

lists.andrew.cmu.edu

a year ago

1 points

47.

Running Mac OS X as a QEMU/KVM Guest

contrib.andrew.cmu.edu

11 years ago

1 points

48.

Running Mac OS X as a QEMU/KVM Guest

contrib.andrew.cmu.edu

11 years ago

1 points

49.

Anti-Dilution Protection

13 years ago

1 points

50.

IronFleet: Proving Practical Distributed Systems Correct [pdf]

6 months ago

1 points

51.

Personalized Privacy Preservation in Consumer Mobile Trajectories [pdf]

3 years ago

1 points

52.

Revival of the Gomory cuts in the 1990's [pdf]

4 years ago

1 points

53.

Freud on Seuss: “The Cat in the Hat” (1999)

contrib.andrew.cmu.edu

7 years ago

1 points

54.

On the Turing Completeness of MS Powerpoint [pdf]

7 years ago

1 points

55.

A bi-directional extensible ad hoc interface between Lean and Mathematica

8 years ago

1 points

56.

CMU Decision Analysis & Decision Support Systems - Midterm Grading Procedure [pdf]

contrib.andrew.cmu.edu

9 years ago

jacques_chester

1 points

57.

Fraudar algorithm

10 years ago

1 points