chabulhwi

6 ms·

1. 1.▲
   Subversion beats Perforce in handling large files, and it's not even close (2024)(liamfoot.com)

   4 points by chabulhwi 1y ago|0 comments
2. 2.▲
   by chabulhwi 2y ago

   I'm also a Korean, and I've been getting on without KakaoTalk for two years. But I've never met any other Korean personally who doesn't use it.
3. 3.▲
   by chabulhwi 3y ago

   Yes.
4. 4.▲
   by chabulhwi 3y ago

   Theorem Proving in Lean 4: https://leanprover.github.io/theorem_proving_in_lean4/ I only had a basic knowledge of first-order logic and set theory before reading TPiL4. It wasn't easy, but now I can prove theorems
5. 5.▲
   by chabulhwi 3y ago

   Lean is an interactive theorem prover. It can verify proofs written in Lean by humans. Mathlib is a monolithic library of classical mathematics written in Lean. Mathematicians contributing to Mathlib love it because it has all the interconn