💾 Archived View for gemlog.blue › users › jiaming › 1619110114.gmi captured on 2024-07-09 at 04:34:52. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
22/04/2021 (things i learned)
- Betul dan Salah lebih baik drpd Benar dan Palsu :)
interesting eh, 4 noble truths rather than 4 noble correct
in sound systems, correct statements can have correct proofs
and wrong statements can have wrong proofs
main argument is that there is nothing "true" about mathematical statements
because you can and should consider arbitrarily complicated ones
- MARIE.js indirect memory addresses loops every 0x1000
- testing code is much more efficient than using ur lousy brain..