Search: andrew.cmu.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

WordTeX (andrew.cmu.edu)

3 points

8 years ago

32.

From Sets to Types to Categories to Sets (2009) [pdf] (andrew.cmu.edu)

3 points

10 years ago

33.

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

3 points

10 years ago

34.

On the Turing Completeness of MS PowerPoint [pdf] (andrew.cmu.edu)

2 points

6 years ago

35.

The Founder’s Pie Calculator (andrew.cmu.edu)

2 points

16 years ago

36.

Running Mac OS X as a QEMU/KVM Guest (contrib.andrew.cmu.edu)

2 points

10 years ago

37.

The rsync algorithm (1996) [pdf] (andrew.cmu.edu)

2 points

a year ago

38.

Heartbeat Scheduling: Provable efficiency for nested parallelism (andrew.cmu.edu)

2 points

2 years ago

39.

A Trustworthy, Free (Libre), Linux Capable, Self-Hosting 64bit RISC-V Computer (contrib.andrew.cmu.edu)

2 points

6 years ago

40.

Decision Diagrams for Optimization (andrew.cmu.edu)

2 points

6 years ago

41.

Univalence as a Principle of Logic (andrew.cmu.edu)

2 points

6 years ago

42.

Ridiculous Theatre Manifesto (contrib.andrew.cmu.edu)

2 points

7 years ago

43.

Running Mac OS X as a QEMU/KVM Guest (contrib.andrew.cmu.edu)

2 points

9 years ago

44.

The DADSS Midterm Grading Procedure [pdf] (contrib.andrew.cmu.edu)

2 points

9 years ago

45.

Crazy Grading System at CMU [pdf] (contrib.andrew.cmu.edu)

2 points

9 years ago

46.

SIGBOVIK 2025: Call for papers (lists.andrew.cmu.edu)

1 point

a year ago

47.

Running Mac OS X as a QEMU/KVM Guest (contrib.andrew.cmu.edu)

1 point

11 years ago

48.

Running Mac OS X as a QEMU/KVM Guest (contrib.andrew.cmu.edu)

1 point

11 years ago

49.

Anti-Dilution Protection (andrew.cmu.edu)

1 point

13 years ago

50.

IronFleet: Proving Practical Distributed Systems Correct [pdf] (andrew.cmu.edu)

1 point

6 months ago

51.

Personalized Privacy Preservation in Consumer Mobile Trajectories [pdf] (andrew.cmu.edu)

1 point

3 years ago

52.

Revival of the Gomory cuts in the 1990's [pdf] (andrew.cmu.edu)

1 point

4 years ago

53.

Freud on Seuss: “The Cat in the Hat” (1999) (contrib.andrew.cmu.edu)

1 point

7 years ago

54.

On the Turing Completeness of MS Powerpoint [pdf] (andrew.cmu.edu)

1 point

7 years ago

55.

A bi-directional extensible ad hoc interface between Lean and Mathematica (andrew.cmu.edu)

1 point

8 years ago

56.

CMU Decision Analysis & Decision Support Systems - Midterm Grading Procedure [pdf] (contrib.andrew.cmu.edu)

1 point

jacques_chester

9 years ago

57.

Fraudar algorithm (andrew.cmu.edu)

1 point

9 years ago