Search: cis.upenn.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: What is the advantage of a formal CS degree for an entrepreneur?

16 years ago

23 points

2.

Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?

2 years ago

3 points

3.

Ask HN: Advice for programmer with impostor syndrome motivated to study

2 years ago

falling_myshkin

2 points

4.

Ask HN: How do you write research papers?

8 years ago

2 points

5.

Math Basics for Computer Science and Machine Learning [pdf]

7 years ago

883 points

6.

Algebra, Topology, Differential Calculus, and Optimization Theory for CS and ML [pdf]

7 years ago

319 points

7.

Dynamic Programming: The Name (1984)

learning.cis.upenn.edu

10 years ago

238 points

8.

Great Works in Programming Languages (2004)

12 years ago

212 points

9.

Unison File Synchronizer

7 years ago

201 points

10.

Great Works in Programming Languages (2004)

13 years ago

184 points

11.

Algebra, Topology, Differential Calculus, and Optimization Theory for CS [pdf]

8 years ago

162 points

12.

Software Foundations

softwarefoundations.cis.upenn.edu

9 years ago

138 points

13.

Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]

5 years ago

135 points

14.

The Software Foundations: mathematical underpinnings of reliable software

softwarefoundations.cis.upenn.edu

4 years ago

134 points

15.

Great Works in Programming Languages (2004)

4 years ago

131 points

16.

The Essence of Event-Driven Programming [pdf]

9 years ago

michaelsbradley

116 points

17.

Software Foundations

12 years ago

114 points

18.

Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf]

2 months ago

106 points

19.

Algebra, Topology, Differential Calculus, and Optimization Theory [pdf]

4 years ago

98 points

20.

Software Foundations by Benjamin Pierce et al.

11 years ago

95 points

21.

Vellvm: Verified LLVM

11 years ago

95 points

22.

Vellvm: Verifying the LLVM (2015)

10 years ago

89 points

23.

The Algorithmic Foundations of Differential Privacy (2014) [pdf]

8 years ago

85 points

24.

Vellvm: Verifying the LLVM

12 years ago

84 points

25.

Math for Computer Science and Machine Learning [pdf]

a year ago

80 points

26.

The KeyKOS Nanokernel Architecture (1992)

11 years ago

77 points

27.

CIS 194: Introduction to Haskell (Spring 2013)

13 years ago

74 points

28.

Great Works in Programming Languages (2004)

11 years ago

67 points

29.

Functional Programming in Coq

softwarefoundations.cis.upenn.edu

3 years ago

65 points

30.

What part of speech is “the”? (2006)

itre.cis.upenn.edu

11 years ago

47 points