Hacker News new | comments | show | ask | jobs | submit | from login
Monotonicity Types: Towards a Type System for Eventual Consistency (neu.edu)
101 points by cmeiklejohn 63 days ago | past | web | 8 comments
Type Systems as Macros [pdf] (neu.edu)
3 points by networked 134 days ago | past | web
Fortifying Macros (2010) [pdf] (neu.edu)
1 point by mpweiher 146 days ago | past | web
Languages as Libraries (2011) [pdf] (neu.edu)
79 points by mpweiher 160 days ago | past | web | 6 comments
How to Design Programs, Second Edition (neu.edu)
213 points by tosh 167 days ago | past | web | 40 comments
The Structure and Interpretation of the Computer Science Curriculum [pdf] (neu.edu)
1 point by tosh 167 days ago | past | web
How to Design Programs, Second Edition (neu.edu)
3 points by tosh 169 days ago | past | web
Creative Thinking (1952) (neu.edu)
78 points by npalli 172 days ago | past | web | 15 comments
Building a Website with Scribble (neu.edu)
2 points by kumaranvpl 240 days ago | past | web
A series of posts appearing on the Opinion board at CMU in 1987 (neu.edu)
1 point by setra 273 days ago | past | web
CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers [pdf] (neu.edu)
29 points by zkms 296 days ago | past | web | 1 comment
Analysing the Use of Outdated JavaScript Libraries on the Web [pdf] (neu.edu)
1 point by maze-le 311 days ago | past | web
Pycket: A Tracing JIT for a Functional Language [pdf] (neu.edu)
3 points by elemeno 359 days ago | past | web
Revenge of the Son of the Lisp Machine [pdf] (neu.edu)
7 points by tosh 382 days ago | past | web | 2 comments
Software development life cycle in practice (neu.edu)
1 point by malhaar 398 days ago | past | web
Measuring GC latencies in Haskell, OCaml, Racket (neu.edu)
137 points by edwintorok 410 days ago | past | web | 57 comments
The Program Design Recipe (neu.edu)
5 points by macco 424 days ago | past | web
Pointing the finger at buffer overflows (scroll down after the quotes) (neu.edu)
1 point by spdegabrielle 498 days ago | past | web | 1 comment
Tutorial: Zero to Sixty in Racket (neu.edu)
91 points by Learn2win 519 days ago | past | web | 10 comments
Tutorial: Using Racket’s FFI (neu.edu)
3 points by tonyg 569 days ago | past | web
Measuring GC Latencies in Haskell, OCaml, Racket (neu.edu)
1 point by tonyg 598 days ago | past | web
Measuring GC Latencies in Haskell, OCaml, Racket (neu.edu)
8 points by zcam 599 days ago | past | web
Gradual Typing Across the Spectrum (neu.edu)
2 points by panic 608 days ago | past | web
Remora: An Array-Oriented Language with Static Rank Polymorphism [pdf] (neu.edu)
2 points by tbirdz 644 days ago | past | web | 1 comment
Peeking Beneath the Hood of Uber [pdf] (neu.edu)
1 point by danielam 653 days ago | past | web
Network Science (free ebook in PDF) (neu.edu)
1 point by rfreytag 679 days ago | past | web
The Paperboy, the Wallet, and the Law of Demeter [pdf] (neu.edu)
2 points by tobyjsullivan 715 days ago | past | web
Gerald Sussman's Foreword to the Little Schemer (neu.edu)
2 points by ayberkt 737 days ago | past | web
Is Sound Gradual Typing Dead? [pdf] (neu.edu)
74 points by bshanks 759 days ago | past | web | 93 comments
Algorithmic Auditing Research Group (neu.edu)
14 points by aburan28 785 days ago | past | web
More

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: