HNHacker News
TopNewBestAskShowJobs

tpetricek

491 karma · joined May 29, 2013

Academic at Charles University in Prague. Interested in new ways of thinking about programming and history & philosophy of computing. Did a lot of things around F#.
submissionscomments

Picture combinators and recursive fish – generating Escher woodcut with F#

einarwh.wordpress.com·2 pts·tpetricek·
0

The mythology of programming language ideas (2017)

tomasp.net·5 pts·tpetricek·
0

Coeffects: Theory of context aware programming languages as an interactive essay

tomasp.net·45 pts·tpetricek·
0

FsharpConf: Virtual F# conference live [video]

channel9.msdn.com·29 pts·tpetricek·
10

The Star Wars social network – visualizations and analysis

evelinag.com·21 pts·tpetricek·
1

Against the definition of types

tomasp.net·66 pts·tpetricek·
15

TIOBE Index for March 2015: All time high for F# at position 11

tiobe.com·7 pts·tpetricek·
1