💾 Archived View for gemlog.blue › users › jiaming › 1635790080.gmi captured on 2022-07-16 at 17:25:05. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-04)

-=-=-=-=-=-=-

01/11/2021 (thingsi lenard)

- why are the socialists and the sains ppl fighting x'D it's hilarious how i understand the intricacies of their arguments wtf is my brain designed for even wow

- overview studying a syllabus is super fun i realize

- that engineering works is hilarious, methodology success rates are based on such shallow fundamentals, experience are only a few generations deep

- i wonder how cosmetic innovations work, like how does some random person come up with a new chemical mixture? How to test safety or that it even works? What makes one better than another?

- OMG super unicode bug that's exactly what i learned jawi for hehehe

https://github.com/nickboucher/trojan-source

i see so this is how rust dealt with it, i wonder how python will tho...

THIS

wow they explored bidirectional stuff here

- i wonder what a "homoglyph" is [future: oh cheh, just glyphs that look the same lmfao, i can see how this trips programs up]

WOW this wikipedia page has ALOT

- HAHAHA indonesian alphabet is almost same as dutch only CGJQRY different??? some others might have slight difference but i cant really tell

- WOAH I WANNA READ LORD OF THE FLIES. IN ENGLISH.

WOAH FREE CAMBRIDGE COURSE MATERIAL HAHAHAHHA

- can just change the github element attribute "dir=rtl" for jawipython programs to render correctly

- is it correct that constructive mathematics is only so confusing and weird cuz ppl are not used to it and that classical mathematics is just as bad but smoothened out by western society experience?

- i almost proved that `NOT (x - y > 0 OR y - x > 0) => x = y)`, using BISH constructive real number definitions, spent way too much time on this, but i can kind of envision how to go about studying this back up again...

- still love studying during exam

cheh this exploit is just a special case of another interesting programming hobby duh

- i still am yet to figure out how exactly to use the RTL character tho... cuz jawi works perfectly so far without it...

- haih i need to fix Lean 3, a part of me is missing not being about to prove stuff. I seriously can only prove thinking in lean style hahah

- money heist continuation summary doesn't sound that great, shouldve stopped at the end.

- Geek code lmfao for email footers