-- Leo's gemini proxy

-- Connecting to gemlog.blue:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

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

-- Response ended

-- Page fetched on Sun Jun 2 11:23:16 2024