/explore
|
You are here 
|
www.hillelwayne.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | Categories for Programmers. In the previous installment we discussed how to add logging to pure functions. See the Table of Contents. Follow the Arrows The Ancient Greek playwright Euripides once said: "Every man is like the company he is wont to keep." We are defined by our relationships. Nowhere is this more true than in... | |
| | | | |
www.jeremykun.com
|
|
| | | | | For those who aren't regular readers: as a followup to this post, there are four posts detailing the basic four methods of proof, with intentions to detail some more advanced proof techniques in the future. You can find them on this blog's primers page. Do you really want to get better at mathematics? Remember when you first learned how to program? I do. I spent two years experimenting with Java programs on my own in high school. | |
| | | | |
xenaproject.wordpress.com
|
|
| | | | | A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born... | |
| | | | |
alexn.org
|
|
| | | |||
