hoping1 on Hacker News

1

Linear Logic: Par, a Friendly Explanation (opens in new tab)

(ryanbrewer.dev)

3hoping11y ago1

2

Par Part 3: Par, Continued (opens in new tab)

(ryanbrewer.dev)

2hoping11y ago1

3

A Tutorial on Linear Logic (opens in new tab)

(ryanbrewer.dev)

5hoping11y ago1

4

Linear Logic – Par Part 2 (opens in new tab)

(ryanbrewer.dev)

2hoping11y ago5

5

Sequent Calculus and Notation – Par Part 1 (opens in new tab)

(ryanbrewer.dev)

38hoping11y ago10

6

Getting Started with Category Theory (opens in new tab)

(ryanbrewer.dev)

51hoping11y ago32

7

Getting Started with Category Theory (opens in new tab)

(ryanbrewer.dev)

1hoping11y ago0

8

The Type of Sprintf (opens in new tab)

(ryanbrewer.dev)

1hoping12y ago0

9

Simple Programming Languages (opens in new tab)

(ryanbrewer.dev)

1hoping12y ago1

10

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

(ryanbrewer.dev)

1hoping12y ago1

11

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

(ryanbrewer.dev)

1hoping12y ago1

12

A Beginner's Guide to Programming Language Academia (opens in new tab)

(ryanbrewer.dev)

3hoping12y ago1

13

Safe Manual Memory Management with Coeffects (opens in new tab)

(ryanbrewer.dev)

3hoping12y ago1

14

SaberVM (opens in new tab)

(ryanbrewer.dev)

135hoping12y ago18

hoping1

Recent submissions

Linear Logic: Par, a Friendly Explanation (opens in new tab)

Par Part 3: Par, Continued (opens in new tab)

A Tutorial on Linear Logic (opens in new tab)

Linear Logic – Par Part 2 (opens in new tab)

Sequent Calculus and Notation – Par Part 1 (opens in new tab)

Getting Started with Category Theory (opens in new tab)

Getting Started with Category Theory (opens in new tab)

The Type of Sprintf (opens in new tab)

Simple Programming Languages (opens in new tab)

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

A Beginner's Guide to Programming Language Academia (opens in new tab)

Safe Manual Memory Management with Coeffects (opens in new tab)

SaberVM (opens in new tab)

Recent submissions

Linear Logic: Par, a Friendly Explanation (opens in new tab)

Par Part 3: Par, Continued (opens in new tab)

A Tutorial on Linear Logic (opens in new tab)

Linear Logic – Par Part 2 (opens in new tab)

Sequent Calculus and Notation – Par Part 1 (opens in new tab)

Getting Started with Category Theory (opens in new tab)

Getting Started with Category Theory (opens in new tab)

The Type of Sprintf (opens in new tab)

Simple Programming Languages (opens in new tab)

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

A Beginner's Guide to Programming Language Academia (opens in new tab)

Safe Manual Memory Management with Coeffects (opens in new tab)

SaberVM (opens in new tab)