pykello

22 ms·

361.
by pykello 11y ago
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/AgdaTutorial/Index.html )
362.
The JavaScript Problem(wiki.haskell.org)
2 points by pykello 11y ago|1 comments
363.
Learn you an Agda(learnyouanagda.liamoc.net)
161 points by pykello 11y ago|24 comments
364.
The kdbuswreck(lwn.net)
3 points by pykello 11y ago|0 comments
365.
Try Idris(tryidris.org)
1 points by pykello 11y ago|0 comments
366.
Agda Tutorial(people.inf.elte.hu)
1 points by pykello 11y ago|0 comments
367.
Ltrace(ltrace.org)
2 points by pykello 11y ago|0 comments
368.
CitusDB 4.0, pg_shard 1.1, and cstore 1.2 are out. What's next?(citusdata.com)
44 points by pykello 11y ago|8 comments
369.
Null References: The Billion Dollar Mistake(infoq.com)
2 points by pykello 11y ago|0 comments
370.
Python without an operating system(lwn.net)
3 points by pykello 11y ago|3 comments
371.
NASA TV(youtube.com)
1 points by pykello 11y ago|1 comments
372.
Why are NULL pointers defined differently in C and C++?(stackoverflow.com)
2 points by pykello 11y ago|0 comments
373.
Film made in 1967 about 1999(archive.org)
55 points by pykello 11y ago|39 comments
374.
Ionic - Advanced HTML5 mobile development framework and SDK(github.com)
1 points by pykello 11y ago|0 comments
375.
This is how much your body is worth(sciencealert.com)
2 points by pykello 11y ago|0 comments
376.
Kickstarter: PLEN2, the world’s first printable open-source humanoid(kickstarter.com)
1 points by pykello 11y ago|0 comments
377.
MicroPython – Python for Microcontrollers(micropython.org)
3 points by pykello 11y ago|0 comments
378.
Hackers Wizards of the Electronic Age(youtube.com)
2 points by pykello 11y ago|0 comments
379.
One instruction set computer(en.wikipedia.org)
63 points by pykello 11y ago|25 comments
380.
My Lisp Experiences and the Development of GNU Emacs (2002)(gnu.org)
46 points by pykello 11y ago|3 comments
381.
Sarah Brightman to perform Lloyd Webber song in space(bbc.com)
3 points by pykello 11y ago|0 comments
382.
Why did the Angular team choose TypeScript over Dart?(jaxenter.com)
2 points by pykello 12y ago|0 comments
383.
From Nand to Tetris – Part 1(coursera.org)
2 points by pykello 12y ago|0 comments
384.
GNU Social(gnu.io)
4 points by pykello 12y ago|0 comments
385.
Reasons not to buy from Amazon(stallman.org)
88 points by pykello 12y ago|140 comments
386.
Blizzard pulls the plug on players in Crimea(polygon.com)
1 points by pykello 12y ago|0 comments
387.
Hacker Shell(hackersh.org)
2 points by pykello 12y ago|0 comments
388.
Building a 3D Game with CSS and HTML(michaelbromley.co.uk)
1 points by pykello 12y ago|0 comments
389.
Toga: a Python native, OS native GUI toolkit(github.com)
2 points by pykello 12y ago|0 comments
390.
Akamai Acquires Octoshape(akamai.com)
1 points by pykello 12y ago|0 comments

More ›