HNHacker News
TopNewBestAskShowJobs

johnbender

2,560 karma · joined December 10, 2008

github: https://github.com/johnbender

twitter: https://twitter.com/johnbender

writing: http://johnbender.us

submissionscomments

Deep Learning’s Climate Change Problem

forbes.com·1 pts·johnbender·
0

Human-Level Intelligence or Animal-Like Abilities?

arxiv.org·2 pts·johnbender·
0

What is a Type System for?

michaelrbernste.in·11 pts·johnbender·
0

Computer Science Theory in Practice

cstheory.stackexchange.com·1 pts·johnbender·
0

A Better SQL, Part 1

johnbender.us·2 pts·johnbender·
0

Why I'm Getting a PhD

johnbender.us·137 pts·johnbender·
124

Web Based Haskell IDE/App Server from FP Complete

fpcomplete.com·51 pts·johnbender·
17

Automation Obsessed

mitchellh.com·3 pts·johnbender·
0

Reasoning About the Heap in Rust

johnbender.us·64 pts·johnbender·
6

Introducing Categories

jeremykun.com·2 pts·johnbender·
0

Categories – What’s the Point?

jeremykun.com·89 pts·johnbender·
26

Methods of Proof - Induction

jeremykun.com·4 pts·johnbender·
0

Logic Programming is overrated, at least for logic puzzles (2013)

programming-puzzler.blogspot.com·2 pts·johnbender·
0

Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation

pragprog.com·2 pts·johnbender·
0

System F in CoffeeScript

johnbender.us·5 pts·johnbender·
0

Math Envy and CoffeeScript's Foibles, Part 2

johnbender.us·57 pts·johnbender·
0

Don't Let Math Pull the Wool Over Your Eyes

online.wsj.com·3 pts·johnbender·
1

Shuffles, Bayes' Theorem and Continuations

blog.sigfpe.com·1 pts·johnbender·
0

How We Vagrant

blog.lusis.org·6 pts·johnbender·
0

An Overview of Gödel's Incompleteness Theorem

math.stackexchange.com·1 pts·johnbender·
0

The JavaScript SDK – Truly Asynchronous Loading

m.facebook.com·5 pts·johnbender·
0

US Govt. plant USB sticks in security study, 60% of subjects take the bait

thenextweb.com·1 pts·johnbender·
0

Web Programming in Haskell

pragprog.com·4 pts·johnbender·
0

Math Envy and CoffeeScript's Foibles

johnbender.us·69 pts·johnbender·
30

Splitting jQuery in Two, A Proposal

johnbender.us·1 pts·johnbender·
0

Forbes: GitHub and the Democratization of Programming

forbes.com·4 pts·johnbender·
0

Natural Transformations in JavaScript (category theory)

johnbender.us·2 pts·johnbender·
0

Eff: A functional language based on algebraic effects and handlers

math.andrej.com·2 pts·johnbender·
0

Planting the Seed for a Responsive Future

bradfrostweb.com·1 pts·johnbender·
0

Faster JavaScript Through Category Theory

johnbender.us·41 pts·johnbender·
0
Page 1 of 3Next →