21/07/2021 (things i learned)
- wtf lean4 parser is hand writting o.O
- WOW authors of Parsing Techniques: A Practical Guide
disagrees that science should be done in many languages
- first textbook i think i really got it going
- so many coq parsers alreadyyy
- torrent paradise, ipfs, filecoin (& musegroup drama)
comparing with lbry makes me wanna laugh
- fingernail bending a little annoying xD
- huh laptop communicates with US with NTP protocol
probably ubuntu for time?
- adb commands does TCP stuff too hahaha
- curl is uncompressed by default, --compressed asks for gzip
- PS grammar = Phase Structure grammar
- sentential forms | blind alleys .. mega learn
- quite good simplification of countability of "programs"
given the audience i imagine them targting
- utility-scale solar i.e. solar farms?
- XUE XI QIANG GUO 学习强国 HAHAHAHA and it's fuck counterpart xD
i srsly wonder what it does tho
- HAHAHAHAHHAHAHAHAH BOYCOTT FUCK XUEXIQIANGGUO
- hoyl shit its an APP as i suspected!
OHHHHH IT'S TO CHEAT HAHAHHAHAHAHAAH
- jing jing beh facebook vryyyy active and can learn soo much
rollercoaster to diy-like shop to find green reel.
meeting, playing video but reel finished after about 4 hours
almost bought two, but decided 1 is enough cuz only like 30 mins left
- https://github.com/brutalsavage/facebook-post-scraper
maybe help make collect comments' reply?