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?