MarkCC

5 ms·

1. 1.▲
   How Computers Work, Part 2: Transistors(goodmath.org)

   1 points by MarkCC 4y ago|0 comments
2. 2.▲
   by MarkCC 6y ago

   I worked at IBM research from 1997 until 2007, after finishing my PhD in compilers and programming languages. About two weeks after I started working there, she showed up in my office, and introduced herself. She'd heard about a new PL
3. 3.▲
   Category Theory Lesson 2: Basics of Categorical Abstraction(goodmath.org)

   22 points by MarkCC 8y ago|1 comments
4. 4.▲
   Time in distributed systems: Lamport Timestamps(goodmath.org)

   2 points by MarkCC 11y ago|0 comments
5. 5.▲
   The Program is the Proof: propositions in type theory(goodmath.org)

   2 points by MarkCC 12y ago|0 comments
6. 6.▲
   Paxos, a really beautiful protocol for distributed consensus(goodmath.org)

   3 points by MarkCC 12y ago|0 comments
7. 7.▲
   by MarkCC 12y ago

   (Original blogpost author here.) They're pretty much orthogonal. PEG is a particular parsing technique. Combinators are a technique for implementing parsers. You can write a parser combinator library which uses PEG or packrat algorithm