For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | johnbender's submissionsregister
1.
Deep Learning’s Climate Change Problem (forbes.com/sites/robtoews)
1 point by johnbender on June 17, 2020 | past
2.
Human-Level Intelligence or Animal-Like Abilities? (arxiv.org)
2 points by johnbender on Sept 17, 2017 | past
3.
What is a Type System for? (michaelrbernste.in)
11 points by johnbender on Feb 17, 2014 | past
4.
Computer Science Theory in Practice (cstheory.stackexchange.com)
1 point by johnbender on Nov 24, 2013 | past
5.
A Better SQL, Part 1 (johnbender.us)
2 points by johnbender on Nov 4, 2013 | past
6.
Why I'm Getting a PhD (johnbender.us)
137 points by johnbender on Sept 16, 2013 | past | 124 comments
7.
Web Based Haskell IDE/App Server from FP Complete (fpcomplete.com)
51 points by johnbender on Sept 9, 2013 | past | 17 comments
8.
Automation Obsessed (mitchellh.com)
3 points by johnbender on June 6, 2013 | past
9.
Reasoning About the Heap in Rust (johnbender.us)
64 points by johnbender on April 30, 2013 | past | 6 comments
10.
Introducing Categories (jeremykun.com)
2 points by johnbender on April 24, 2013 | past
11.
Categories – What’s the Point? (jeremykun.com)
89 points by johnbender on April 16, 2013 | past | 26 comments
12.
Methods of Proof - Induction (jeremykun.com)
4 points by johnbender on March 21, 2013 | past
13.
Logic Programming is overrated, at least for logic puzzles (2013) (programming-puzzler.blogspot.com)
2 points by johnbender on March 7, 2013 | past
14.
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (pragprog.com)
2 points by johnbender on Jan 23, 2013 | past
15.
System F in CoffeeScript (johnbender.us)
5 points by johnbender on Jan 18, 2013 | past
16.
Math Envy and CoffeeScript's Foibles, Part 2 (johnbender.us)
57 points by johnbender on Jan 9, 2013 | past
17.
Don't Let Math Pull the Wool Over Your Eyes (wsj.com)
3 points by johnbender on Jan 5, 2013 | past | 1 comment
18.
Shuffles, Bayes' Theorem and Continuations (sigfpe.com)
1 point by johnbender on Dec 30, 2012 | past
19.
How We Vagrant (lusis.org)
6 points by johnbender on Dec 19, 2012 | past
20.
An Overview of Gödel's Incompleteness Theorem (math.stackexchange.com)
1 point by johnbender on Dec 14, 2012 | past
21.
The JavaScript SDK – Truly Asynchronous Loading (facebook.com)
5 points by johnbender on Dec 11, 2012 | past
22.
US Govt. plant USB sticks in security study, 60% of subjects take the bait (thenextweb.com)
1 point by johnbender on Dec 11, 2012 | past
23.
Web Programming in Haskell (pragprog.com)
4 points by johnbender on Dec 6, 2012 | past
24.
Math Envy and CoffeeScript's Foibles (johnbender.us)
69 points by johnbender on Nov 29, 2012 | past | 30 comments
25.
Splitting jQuery in Two, A Proposal (johnbender.us)
1 point by johnbender on July 19, 2012 | past
26.
Forbes: GitHub and the Democratization of Programming (forbes.com/sites/venkateshrao)
4 points by johnbender on March 27, 2012 | past
27.
Natural Transformations in JavaScript (category theory) (johnbender.us)
2 points by johnbender on March 22, 2012 | past
28.
Eff: A functional language based on algebraic effects and handlers (andrej.com)
2 points by johnbender on March 8, 2012 | past
29.
Planting the Seed for a Responsive Future (bradfrostweb.com)
1 point by johnbender on March 5, 2012 | past
30.
Faster JavaScript Through Category Theory (johnbender.us)
41 points by johnbender on Feb 29, 2012 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You