Hacker News new | comments | ask | show | jobs | submit | from login
The hardest teacher (cmu.edu)
1 point by MrXOR 20 hours ago | past | web | discuss
Linear Logical Voting Protocols (2011) [pdf] (cmu.edu)
2 points by adamnemecek 20 hours ago | past | web | discuss
CMU 18-645: How to Write Fast Code (cmu.edu)
2 points by adamnemecek 22 hours ago | past | web | discuss
CMU Principles of Imperative Computing, Lecture 1 [pdf] (cmu.edu)
3 points by PascLeRasc 3 days ago | past | web | discuss
Error messages produced by Apple's MPW C compiler (2006) (cmu.edu)
1 point by progval 8 days ago | past | web | 1 comment
CMU HCII Summer Faculty Projects (cmu.edu)
1 point by blader_johny 9 days ago | past | web | discuss
New CMU Blog (cmu.edu)
1 point by pplonski86 10 days ago | past | web | discuss
The Verified CakeML Compiler Backend (2018) [pdf] (cmu.edu)
41 points by fanf2 11 days ago | past | web | discuss
The Verified CakeML Compiler Back End [pdf] (cmu.edu)
39 points by ghettoimp 11 days ago | past | web | 11 comments
Blockchain at CMU and Beyond [video] (cmu.edu)
92 points by eleventhpgh 12 days ago | past | web | 29 comments
Glacier: Transitive Class Immutability for Java [pdf] (cmu.edu)
1 point by azhenley 13 days ago | past | web | discuss
18-642 Embedded System Software Engineering (cmu.edu)
2 points by georgecmu 14 days ago | past | web
Hard Choices – Software Engineering Game Theory [pdf] (cmu.edu)
2 points by bribri 15 days ago | past | web
A Computer Scientist’s Guide to Cell Biology [pdf] (cmu.edu)
54 points by febin 19 days ago | past | web | 2 comments
A Survey of Computers with Hardware Stack Support (cmu.edu)
3 points by peter_d_sherman 21 days ago | past | web
Programming Interactive Worlds with Linear Logic [2015] (cmu.edu)
5 points by febin 22 days ago | past | web
People of Programming Languages. An Interview with Benjamin Pierce (cmu.edu)
1 point by snaky 28 days ago | past | web
Constraint Logic Programming [pdf] (cmu.edu)
2 points by mindcrime 34 days ago | past | web
Massively Parallel Hyperparameter Optimization (cmu.edu)
2 points by jonbaer 35 days ago | past | web
SPIRAL: Extreme Performance Portability (IEEE 2018 Preprint) [pdf] (cmu.edu)
4 points by espeed 36 days ago | past | web
A World Without Referees: Larry Wasserman [pdf] (cmu.edu)
2 points by seagullz 39 days ago | past | web
Communicating Sequential Processes (1978) [pdf] (cmu.edu)
88 points by tosh 43 days ago | past | web | 19 comments
Threat Modeling: 12 Available Methods (cmu.edu)
3 points by BillPollak 45 days ago | past | web
Carnegie Mellon's GPU/FPGA Accelerated Database Lectures (cmu.edu)
1 point by assface 45 days ago | past | web
CUDA grep (cmu.edu)
4 points by usgroup 45 days ago | past | web
A portmanteau of every word in English (2015) (cmu.edu)
80 points by luu 46 days ago | past | web | 39 comments
Flipping Bits in Memory Without Accessing Them: Study of DRAM Disturbance Errors [pdf] (cmu.edu)
2 points by feross 48 days ago | past | web
Reflections on Trusting Trust [pdf] (cmu.edu)
2 points by feross 49 days ago | past | web
Reflections on Trusting Trust [pdf] (cmu.edu)
4 points by muraiki 51 days ago | past | web
Rapid Software Composition by Assessing Untrusted Components (cmu.edu)
1 point by BillPollak 52 days ago | past | web
More

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

Search: