🦞🌯 Lobster Roll

Stories by jozefg

Learn Type Theory (github.com)
L 32 pts 17 comments by jozefg Aug 14, 2015 compsci Programming Languages / CS Theory thread
Add a Compilers Tag
L 23 pts 5 comments by jozefg Mar 16, 2015 compilersmeta Systems / Low-Level / OSProgramming Languages / CS Theory thread
Would it be useful to folks to have a compilers tag? I'm certainly interested in reading articles about compilers but their harder to find when scattered across different languages or in the catch-all compsci tag. Here's the [original suggestion for this tag](https://lobste.rs/s/hpsyea/why_is_it_...
A Tiny Compiler For A Typed Higher Order Language (jozefg.bitbucket.org)
L 14 pts 1 comments by jozefg Mar 24, 2015 compilershaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
A Package Manager for C: clibs/clib (github.com)
L 14 pts 0 comments by jozefg Dec 27, 2014 cprogramming Systems / Low-Level / OSProgramming (General) thread
A Graph Model of the Lambda Calculus (github.com)
L 12 pts 11 comments by jozefg Jul 11, 2017 math Programming Languages / CS TheoryScience / Math / Physics thread
Hi folks. It's been like a year and half since I've publicly shared something I've written but I figured someone might find these notes interesting. Please comment if you have any questions. Hopefully I'll be sharing more sometime soon.
The Guts of a Spineless Machine (jozefg.bitbucket.org)
L 11 pts 1 comments by jozefg Oct 29, 2014 haskell Programming Languages / CS Theory thread
C&C - Teaching Python with a Raspberry Pi (jozefg.bitbucket.org)
L 11 pts 9 comments by jozefg Jun 23, 2014 compsci Programming Languages / CS TheoryMaker / DIY / Hardware thread
Technical Lectures on Programming Languages and Logic [2012] (cs.uoregon.edu)
L 10 pts 2 comments by jozefg Nov 10, 2014 compsci Programming (General)Programming Languages / CS Theory thread
Treating Programs like Vending Machines - Notes on Coinduction (jozefg.bitbucket.org)
L 9 pts 3 comments by jozefg Dec 20, 2014 compscihaskell Programming (General)Programming Languages / CS Theory thread
Notes on Linear Logic (cs.cmu.edu)
L 9 pts 0 comments by jozefg Aug 29, 2014 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
Introduction to Domain Theory (cs.nott.ac.uk)
L 7 pts 2 comments by jozefg Mar 4, 2015 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org)
L 7 pts 8 comments by jozefg Nov 22, 2014 compscihaskell Programming Languages / CS Theory thread
The Ur Programming Language Family (impredicative.com)
L 6 pts 0 comments by jozefg May 9, 2014 compsciweb Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
GHC 7.10.1 Released! (mail.haskell.org)
L 4 pts 0 comments by jozefg Mar 27, 2015 haskell Programming Languages / CS Theory thread
C&C - Examining Hackage: logict (jozefg.bitbucket.org)
L 3 pts 1 comments by jozefg Jul 10, 2014 haskell Programming Languages / CS Theory thread
C&C - Grokking recursion-scheme: Part 1 (jozefg.bitbucket.org)
L 1 pts 0 comments by jozefg May 19, 2014 haskell Programming Languages / CS Theory thread