isaac21259
- Karma
- 554
- Created
- October 16, 2018 (7y ago)
- Submissions
- 0
isaacbankier [at] protonmail [dot] com
- Data Types with Negation (bentnib.org)
- Teaching GHC to Play Minesweeper (github.com)
- Profunctor Optics: The Categorical View (golem.ph.utexas.edu)
- How to lie using visual proofs (youtube.com)
- Löb and möb: strange loops in Haskell (github.com)
- Löb's Theorem (ncatlab.org)
- Can one explain schemes to biologists (dam.brown.edu)
- (call/cc call/cc) and friends (pavpanchekha.com)
- Swift type checking is undecidable (forums.swift.org)
- Surprises in Logic (math.ucr.edu)
- Base 2048 (github.com)
- Renormalizing the Mandelbrot Escape (linas.org)
- The Tardis Monad (hackage.haskell.org)
- Hexagonal Grids (redblobgames.com)
- The Email Servers and Superseeker (oeis.org)
-
I'm currently working on some software targeted at mathematicians. Part of this requires that the user can write parsers to parse custom notation. I would expect most mathematicians interested in this project to know at…
- Airdropping Live Fish (hackaday.com)
- Sound the bell at the start of each garbage collection (downloads.haskell.org)
- Implementing a Functional Language with Graph Reduction (thma.github.io)
- Matchgirls' Strike (en.wikipedia.org)
- Word2vec: Fish and Music = Bass (graceavery.com)
- Inverse Symbolic Calculator (wayback.cecm.sfu.ca)