Bookmarks of the following user: Mgr. Andrej Tokarčík, učo 373877
Tags of the following user:
algebra
bigdata
communities
cpp
criticism
design
dijkstra
django
dna
education
FI:IA014
FI:IB015
FI:PB006
git
haskell
history
informatika
javascript
kernel
kewl
languages
linux
matematika
modelling
openscience
phun
programming
PříF:M7150
python
realtime
research
schooling
synthbio
typetheory
usa
writing
Bookmarks of the following user: Mgr. Andrej Tokarčík, učo 373877
- Dijkstra on Haskell and Java
«A very practical reason for preferring functional programming in a freshman course is that most students already have a certain familiarity with imperative programming. Facing them with the novelty of functional programming immediately drives home the message that there is more to programming than they thought.»
2 users, first 21/1/2015, Andrej Tokarčík, bookmarks, people - Grammar rules for writing mathematical texts 4 users, first 20/8/2014, Radek Šlesinger, bookmarks, people
- Million Lines of Code - Information Is Beautiful
"How many lines of code does it really take to power something like Facebook? Or a space shuttle? Or um, say, a government healthcare website?"
2 users, first 28/10/2013, Andrej Tokarčík, bookmarks, people - More Is Always Better: The Power Of Simple Ensembles 2 users, first 12/3/2013, Andrej Tokarčík, bookmarks, people
- Class-parameterized classes, and the type-level logarithm
"The implementation of RSA on type level is left for future work."
1 user, first 21/1/2013, Andrej Tokarčík, bookmarks, people - Using Arc to decode Venter's secret DNA watermark 1 user, first 18/1/2013, Andrej Tokarčík, bookmarks, people
- Open Access Explained!
Video dňa na Wikipedia Commons, 16. 1. 2013.
1 user, first 17/1/2013, Andrej Tokarčík, bookmarks, people - Markov and You 1 user, first 22/3/2012, Andrej Tokarčík, bookmarks, people
- PEP 20 by example 1 user, first 22/3/2012, Andrej Tokarčík, bookmarks, people
- Haskell programming tips 3 users, first 23/4/2011, Tomáš Szaniszlo, bookmarks, people
Special thanks to del.icio.us for inspiring us.