Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

isaac21259

554 karmajoined October 16, 2018On HN

Recent submissions

Data Types with Negation bentnib.org
8isaac212593y1 comment
Teaching GHC to Play Minesweeper github.com/effectfully-ou
1isaac212593ydiscuss
Switching to the meow modal editing system esrh.me
2isaac212593ydiscuss
Profunctor Optics: The Categorical View golem.ph.utexas.edu
1isaac212594ydiscuss
How to lie using visual proofs youtube.com
4isaac212594ydiscuss
Löb and möb: strange loops in Haskell github.com/quchen
4isaac212594ydiscuss
Löb's Theorem ncatlab.org
2isaac212594ydiscuss
Can one explain schemes to biologists dam.brown.edu
1isaac212594ydiscuss
(call/cc call/cc) and friends pavpanchekha.com
15isaac212594y1 comment
Swift type checking is undecidable forums.swift.org
3isaac212594ydiscuss
Surprises in Logic math.ucr.edu
51isaac212594y5 comments
Base 2048 github.com/qntm
96isaac212594y39 comments
Renormalizing the Mandelbrot Escape linas.org
2isaac212594ydiscuss
The Tardis Monad hackage.haskell.org
45isaac212594y9 comments
Hexagonal Grids redblobgames.com
48isaac212594ydiscuss
The Email Servers and Superseeker oeis.org
5isaac212594y1 comment
I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”twitter.com
6isaac212594ydiscuss
Ask HN: What is the simplest way for users to write custom parsers?
2isaac212594y2 comments
Airdropping Live Fish hackaday.com
2isaac212594y1 comment
Sound the bell at the start of each garbage collection downloads.haskell.org
7isaac212594ydiscuss
Implementing a Functional Language with Graph Reduction thma.github.io
11isaac212594ydiscuss
Matchgirls' Strike en.wikipedia.org
1isaac212594ydiscuss
Word2vec: Fish and Music = Bass graceavery.com
1isaac212594ydiscuss
Inverse Symbolic Calculator wayback.cecm.sfu.ca
3isaac212594ydiscuss
Museum of Forgeries moforgeries.org
2isaac212594ydiscuss
No Guessing Sudoku Solver wiki.haskell.org
2isaac212594ydiscuss
Ask HN: What music streaming platform do you use?
2isaac212594y7 comments
The Sierpinski triangle page to end most Sierpinski triangle pages oftenpaper.net
2isaac212594ydiscuss
Waterfox Browser waterfox.net
134isaac212594y100 comments
What does RIPEMD-160 stand for?johndcook.com
1isaac212594ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.