Viewing profile — MarkCC

MarkCC

HN member

No profile information was provided.

story
How Computers Work, Part 2: Transistors
Tue, Dec 13, 2022, 2:16 PM UTC
comment
Comment #24076972
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 off…

Fri, Aug 07, 2020, 1:01 AM UTC
story
Category Theory Lesson 2: Basics of Categorical Abstraction
Wed, Feb 20, 2019, 6:14 PM UTC
story
Time in distributed systems: Lamport Timestamps
Wed, Mar 16, 2016, 11:44 PM UTC
story
The Program is the Proof: propositions in type theory
Wed, Feb 04, 2015, 10:31 PM UTC
story
Paxos, a really beautiful protocol for distributed consensus
Fri, Jan 30, 2015, 7:24 PM UTC
comment
Comment #7698625
(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…

Mon, May 05, 2014, 2:10 PM UTC