HNHacker News
TopNewBestAskShowJobs

13ren

803 karma · joined July 22, 2008

learning how to prove algorithms (unfortunately, without having taken undergrad pure maths)

Interested in data integration and maintenance thereof.

submissionscomments

Add an image to any flat surface in a video

news-service.stanford.edu·3 pts·13ren·
0

Hybridization and the definition of species

outside.away.com·1 pts·13ren·
0

European court allows Lego interop

entertainment.slashdot.org·3 pts·13ren·
1

Ask HN: business case for watermarking or "social" DRM, for programs?

1 pts·13ren·
0

EBay Plays Warren Buffett and Buys Online Lender

bits.blogs.nytimes.com·2 pts·13ren·
0

A major court victory for open source

itmanagement.earthweb.com·3 pts·13ren·
1

ICFP Programming Contest 2008, unofficial ranking

shinh.skr.jp·1 pts·13ren·
0

Ask HN: an exit strategy of "quit after 2 years"?

3 pts·13ren·
0

Regular expression engine in 14 lines of Python

paste.lisp.org·4 pts·13ren·
1

Concentrated Solar: Simple, Cheap, Efficient

cleantechnica.com·5 pts·13ren·
0

Deprogramming From the Academic Cult

chronicle.com·9 pts·13ren·
5

Overcoming the uncanny valley: "I've seen better" [video]

awntv.com·2 pts·13ren·
0

MapReduce in Erlang

weblambdazero.blogspot.com·31 pts·13ren·
13

XML Backlash?

ajaxonomy.com·20 pts·13ren·
43

Tour of 1985 formal proof of a limit on asynchronous processes (won Dijkstra award)

hnr.dnsalias.net·4 pts·13ren·
5

Reply to Scobleizer's "Silicon Valley VC Disease"

scobleizer.com·18 pts·13ren·
2