yangzx
Re:Topos Theory in a Nutshell
on Sunday January 30, 2022 @04:14AM (#30135250)
I really love experts sharing their reading list! It took me ten minutes to read this page and 5 seconds to bookmark the referenced books. But how many years will it take me to read all them? 5 years? LOL
Re:Ask HN: What is your favorite YouTube channel to learn advanced pro...
on Saturday October 03, 2020 @02:43PM (#24673868)
The ACM SIGPLAN channel https://www.youtube.com/channel/UCwG9512Wm7jSS6Iqshz4Dpg uploads videos of technical talks in major programming lamguage research conferences. Undoubtedly this is the channel I learned most 'advanced programming skills' from.
Re:A Keyboard with Blank Keycaps Made Me an Expert Typist
on Wednesday August 12, 2020 @10:31AM (#24132375)
I had exactly the same blank cap HHKB, which only makes me angry (when I couldn't found the punctuations I wanted)
Re:Compiz: Ubuntu Desktop's little known best friend
on Tuesday December 11, 2018 @10:58PM (#18661285)
I remember its flaming effect was my motivation for trying to install an Ubuntu on my PC when I was 13 or so. :)
Re:Hackers sell data of 130M Chinese hotel guests on dark web for 8 Bi...
on Thursday August 30, 2018 @01:03AM (#17874202)
For this particular example, the buyer can simply look himself up in the dataset. LOL. This dataset is the database of the largest hotel brand of China.
I am pretty sure there are entries about me in the database (I am Chinese). It's damn embarrassing, people know me can know who I slept with if he pay 8 bitcoin now. Now I hope the price of bitcoins goes up.
Re:Curry–Howard correspondence
on Tuesday August 14, 2018 @05:45AM (#17756528)
You can have a look at Richard Bird's book _Pearls of Functional Algorithm Design_. It's much more accessible than his earlier influential book _Algebra of Programming_.
In this book, many well-known algorithms, e.g. KMP pattern matching, are derived from naive implementations by step-by-step applications of algebraic rules of (functional) programs.
Re:Deep learning for chess
on Tuesday December 02, 2014 @04:57AM (#8686406)
A neat and elegant neural architecture for learning chess.