Top New Best Ask Show Jobs

isaac21259

554 karma · joined October 16, 2018

submissions comments

Data Types with Negation

bentnib.org·8 pts·isaac21259·

Teaching GHC to Play Minesweeper

github.com·1 pts·isaac21259·

Switching to the meow modal editing system

esrh.me·2 pts·isaac21259·

Profunctor Optics: The Categorical View

golem.ph.utexas.edu·1 pts·isaac21259·

How to lie using visual proofs

youtube.com·4 pts·isaac21259·

Löb and möb: strange loops in Haskell

github.com·4 pts·isaac21259·

Löb's Theorem

ncatlab.org·2 pts·isaac21259·

Can one explain schemes to biologists

dam.brown.edu·1 pts·isaac21259·

(call/cc call/cc) and friends

pavpanchekha.com·15 pts·isaac21259·

Swift type checking is undecidable

forums.swift.org·3 pts·isaac21259·

Surprises in Logic

math.ucr.edu·51 pts·isaac21259·

Base 2048

github.com·96 pts·isaac21259·

Renormalizing the Mandelbrot Escape

linas.org·2 pts·isaac21259·

The Tardis Monad

hackage.haskell.org·45 pts·isaac21259·

Hexagonal Grids

redblobgames.com·48 pts·isaac21259·

The Email Servers and Superseeker

oeis.org·5 pts·isaac21259·

I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”

twitter.com·6 pts·isaac21259·

Ask HN: What is the simplest way for users to write custom parsers?

2 pts·isaac21259·

Airdropping Live Fish

hackaday.com·2 pts·isaac21259·

Sound the bell at the start of each garbage collection

downloads.haskell.org·7 pts·isaac21259·

Implementing a Functional Language with Graph Reduction

thma.github.io·11 pts·isaac21259·

Matchgirls' Strike

en.wikipedia.org·1 pts·isaac21259·

Word2vec: Fish and Music = Bass

graceavery.com·1 pts·isaac21259·

Inverse Symbolic Calculator

wayback.cecm.sfu.ca·3 pts·isaac21259·

Museum of Forgeries

moforgeries.org·2 pts·isaac21259·

No Guessing Sudoku Solver

wiki.haskell.org·2 pts·isaac21259·

Ask HN: What music streaming platform do you use?

2 pts·isaac21259·

The Sierpinski triangle page to end most Sierpinski triangle pages

oftenpaper.net·2 pts·isaac21259·

Waterfox Browser

waterfox.net·134 pts·isaac21259·

What does RIPEMD-160 stand for?

johndcook.com·1 pts·isaac21259·

Page 1 of 2Next →