Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  security  google  psychology  health  linux  vibecoding  i.redd.it  openai  show  meta  go  china  microsoft  video  psypost.org  theverge.com  arstechnica.com 

Benefits and costs of writing a Posix kernel in a high-level language (2018)

4 years ago pdos.csail.mit.edu kernel

Raft

4 years ago pdos.csail.mit.edu

MIT 6.S081 – Operating System Engineering

4 years ago pdos.csail.mit.edu mit

Application Performance and Flexibility on Exokernel Systems (1997)

4 years ago pdos.csail.mit.edu

On relational compilation

4 years ago people.csail.mit.edu

Our ancestors may not have been rich, but they had an abundance of leisure

4 years ago groups.csail.mit.edu

Design and Implementation of a 256-Core BrainFuck Computer

4 years ago people.csail.mit.edu

Viewstamped Replication (1988)

4 years ago pmg.csail.mit.edu

MIT CSAIL network design principles

4 years ago tig.csail.mit.edu mit

Commit: MIT's Compiler Group

4 years ago groups.csail.mit.edu compiler mit

Introduction To Program Synthesis

4 years ago people.csail.mit.edu

History of Hacking the Nintendo 3DS

4 years ago courses.csail.mit.edu nintendo

The Michael Jackson Design Technique: A study of the theory with applications (2009)

4 years ago groups.csail.mit.edu

Mental Poker

4 years ago people.csail.mit.edu

A Brief History of the Internet

4 years ago groups.csail.mit.edu

The Missing Semester of Your CS Education

5 years ago missing.csail.mit.edu

Man-Computer Symbiosis (1960)

5 years ago groups.csail.mit.edu

Differentiable Rasterizer for Vector Graphics

5 years ago people.csail.mit.edu graphics

MIT study: Covid-19 vaccines may be less effective for racial minorities

5 years ago csail.mit.edu covid mit

Packrat Parsing: Simple, Powerful, Lazy, Linear Time

5 years ago pdos.csail.mit.edu

Untangling Mechanized Proofs

5 years ago plv.csail.mit.edu

Going from Bad to Worse: From Internet Voting to Blockchain Voting

5 years ago people.csail.mit.edu

Towards Automated Construction of Compiler Optimizations

5 years ago groups.csail.mit.edu compiler

Mathematics for Computer Science

5 years ago courses.csail.mit.edu

Building computers out of sliding block puzzles

5 years ago groups.csail.mit.edu

Automated lost language deciphering using Phonetic Prior

5 years ago people.csail.mit.edu

Large single compilation-unit C programs

5 years ago people.csail.mit.edu c

xv6: a simple, Unix-like teaching operating system

5 years ago pdos.csail.mit.edu

Version control systems from the bottom-up

5 years ago missing.csail.mit.edu

Biscuit: An OS kernel in Go, a high-level language

5 years ago pdos.csail.mit.edu go kernel

More →