back
user profile

pykello

7,321karma·723submissions·March 16, 2011
recent activity (723 total)
1 pts
OpenBSD 5.7 Released(openbsd.org)
11y ago·discuss
69 pts
Upsert Lands in PostgreSQL 9.5 – A First Look(craigkerstiens.com)
11y ago·21 comments
1 pts
Compressing PostgreSQL JSONB data 12x using cstore_fdw(citusdata.com)
11y ago·discuss
9 pts
Let Over Lambda–50 Years of Lisp(letoverlambda.com)
11y ago·discuss
1 pts
Faster plpgsql in PostgreSQL 9.5 (first part)(okbob.blogspot.com)
11y ago·discuss
4 pts
The Art of Unix Usability(catb.org)
11y ago·discuss
3 pts
How to Ask Questions the Smart Way(catb.org)
11y ago·discuss
1 pts
Books that influenced Clojure, in no particular order(amazon.com)
11y ago·discuss
comment
I also found the following very useful: * A Demonstration of Agda ( https://www.youtube.com/watch?v=8WFMK0hv8bE ) * Agda Tutorial ( http://people.inf.elte.hu/divip/A…
11y ago·view thread
2 pts
The JavaScript Problem(wiki.haskell.org)
11y ago·1 comments
161 pts
Learn you an Agda(learnyouanagda.liamoc.net)
11y ago·24 comments
3 pts
The kdbuswreck(lwn.net)
11y ago·discuss
1 pts
Try Idris(tryidris.org)
11y ago·discuss
1 pts
Agda Tutorial(people.inf.elte.hu)
11y ago·discuss
2 pts
Ltrace(ltrace.org)
11y ago·discuss
44 pts
CitusDB 4.0, pg_shard 1.1, and cstore 1.2 are out. What's next?(citusdata.com)
11y ago·8 comments
2 pts
Null References: The Billion Dollar Mistake(infoq.com)
11y ago·discuss
3 pts
Python without an operating system(lwn.net)
11y ago·3 comments
1 pts
NASA TV(youtube.com)
11y ago·1 comments
2 pts
Why are NULL pointers defined differently in C and C++?(stackoverflow.com)
11y ago·discuss