💾 Archived View for gemlog.blue › users › jiaming › 1615224682.gmi captured on 2024-07-09 at 04:34:33. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
08/03/2021 (things i learned)
- reflecting laser around ____
- pin, fixed and roller joints /_\, /////, O
- how many equations to determine a system with n dimensions? 6 for n=3
- searching "full penetration butt" just gives you a bunch of engineering stuff
- further maths really is a blessing for engineering maths loll
- university stuff aren't worded as well as u'd think :/
- i see, changed GuruhBurung settings to plain text. .eml files r interesting
- perfectoid spaces project smaller than i imagined, but mustvebeen lots of work
- Happy International Women's Day! Learnt about Hari Ibu in Indonesia
instance : has_pow ℕ ℕ := ⟨λ a b, 37⟩ theorem flt (a b c n : ℕ) : a > 0 ∧ b > 0 ∧ c > 0 ∧ n > 2 → a ^ n + b ^ n ≠ c ^ n := begin intro h, exact dec_trivial, end