Hacker News
- Packrat Parsing: Simple, Powerful, Lazy, Linear Time [pdf] https://pdos.csail.mit.edu/~baford/packrat/icfp02/packrat-icfp02.pdf 24 comments
- Packrat Parsing (2002) https://pdos.csail.mit.edu/~baford/packrat/thesis/ 8 comments
- Lab 1: Booting a PC http://pdos.csail.mit.edu/6.828/2014/labs/lab1/ 29 comments
- Xv6 – A Simple Unix-Like Teaching Operating System http://pdos.csail.mit.edu/6.828/2014/xv6.html 28 comments
- Xv6, a simple Unix-like teaching operating system http://pdos.csail.mit.edu/6.828/2012/xv6.html 78 comments
- Xv6 - Unix V6 rewritten in modern, ANSI C for MIT 6.828 http://pdos.csail.mit.edu/6.828/2011/xv6.html 14 comments
- SCIgen - An Automatic CS Paper Generator http://pdos.csail.mit.edu/scigen/ 4 comments
- Xv6, a simple Unix-like teaching operating system http://pdos.csail.mit.edu/6.828/xv6/ 4 comments
Lobsters
- xv6: a simple, Unix-like teaching operating system https://pdos.csail.mit.edu/6.828/2020/xv6/book-riscv-rev1.pdf 2 comments book , osdev , pdf
- Biscuit: An OS kernel in a high-level language https://pdos.csail.mit.edu/projects/biscuit.html 2 comments go , osdev
- Xv6, a simple Unix-like teaching operating system https://pdos.csail.mit.edu/6.828/2019/xv6.html 14 comments education , unix
- Application Performance and Flexibility on Exokernel Systems (1995) https://pdos.csail.mit.edu/papers/exo-sosp97/exo-sosp97.html 3 comments programming
- Mbox is a lightweight unprivileged sandboxing mechanism http://pdos.csail.mit.edu/mbox/ 3 comments security , unix
- Xv6, a simple Unix-like teaching operating system (2012) http://pdos.csail.mit.edu/6.828/2012/xv6.html 2 comments unix
- Question about the ATA software reset https://pdos.csail.mit.edu/6.828/2005/readings/hardware/ATA-d1410r3a.pdf 5 comments osdev
- How to build XV6 on MacOS? https://pdos.csail.mit.edu/6.828/2012/xv6.html 9 comments osdev
- Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking https://pdos.csail.mit.edu/~baford/packrat/thesis/ 20 comments programming
- xv6 BIOS memory? https://pdos.csail.mit.edu/6.828/2016/xv6/book-rev9.pdf 5 comments osdev
- Book explaining xv6. A simple unix os https://pdos.csail.mit.edu/6.828/2014/xv6/book-rev8.pdf 3 comments programming
- 80386 Programmer's Reference Manual http://pdos.csail.mit.edu/6.828/2005/readings/i386/toc.htm 8 comments programming
- Mbox is a lightweight sandboxing mechanism that any user can use without special privileges in commodity operating systems. http://pdos.csail.mit.edu/mbox/ 3 comments commandline
- mbox - a lightweight sandboxing mechanism with a multitude of uses http://pdos.csail.mit.edu/mbox/ 3 comments linux
- Commuter: a tool to identify underutilized concurrency from an interface specification http://pdos.csail.mit.edu/commuter/ 3 comments programming
- Interesting whitepaper on how compilers can create unstable (and insecure) software through optimizating away undefined behaviour http://pdos.csail.mit.edu/papers/stack:sosp13.pdf 6 comments programming
- Towards optimization-safe systems http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf 8 comments cpp
- Automatically detecting optimization-unstable code: Towards optimization-safe systems http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf 7 comments programming
- MIT 6.824 (Distributed Systems) labs rewritten in Go http://pdos.csail.mit.edu/6.824/ 3 comments golang
- Bitmap graphics course notes [SIGGRAPH '84] http://pdos.csail.mit.edu/~rsc/pike84bitblt.pdf 3 comments programming
- SCIgen - An Automatic CS Paper Generator (warning: repost, after 6 years) http://pdos.csail.mit.edu/scigen/ 15 comments programming
- An Analysis of Linux Scalability to Many Cores [PDF, OSDI 2010] http://pdos.csail.mit.edu/papers/linux:osdi10.pdf 3 comments kernel
- Sequel to "the proof is trivial": generate entire random academic journal papers. Some of these actually got submitted. http://pdos.csail.mit.edu/scigen/ 8 comments math
- Xv6, a simple Unix-like teaching operating system http://pdos.csail.mit.edu/6.828/2011/xv6.html 9 comments linux
- An Analysis of Linux Scalability to Many Cores -- Exim, memcached, Apache, PostgreSQL, gmake, Psearchy, and MapReduce Running On 48 Cores (PDF) http://pdos.csail.mit.edu/papers/linux:osdi10.pdf 79 comments programming
- "...a program that generates random Computer Science research papers, including graphs, figures, and citations. It uses a hand-written context-free grammar to form all elements of the papers. Our aim here is to maximize amusement, rather than coherence. " http://pdos.csail.mit.edu/scigen/ 12 comments philosophy
- Vx32: portable, efficient, safe execution of untrusted x86 code http://pdos.csail.mit.edu/~baford/vm/ 13 comments programming
- Vx32: Lightweight, User-level Sandboxing on the x86 http://pdos.csail.mit.edu/papers/vx32:usenix08/ 11 comments programming
- Packrat Parsing: Simple, Powerful, Lazy, Linear Time http://pdos.csail.mit.edu/~baford/packrat/icfp02/ 6 comments programming
- Math Problems for and from Job Interviews [pdf] http://pdos.csail.mit.edu/~petar/mathjob.pdf 83 comments programming
- MIT Exokernel, the ignored alternative in monolithic/micro debates http://pdos.csail.mit.edu/exo/exo-slides/sld001.htm 3 comments programming