HNHacker News
TopNewBestAskShowJobs

mbowcut2

243 karma · joined February 9, 2022

submissionscomments
mbowcut2··on Ask HN: How to learn mathematical proofs from scratch?
I recommend this book: https://math.byu.edu/~doud/transition/

We used it in our intro proofs class in undergrad and it will get you from basic logic to introductory analysis.

mbowcut2··on GPT-3 can run code
So, for people unfamiliar with deep language models like GPT, it's essentially a program that takes in a prompt and predicts the next set of words based on a training corpus -- which in GPT-3's case is a large portion of the internet. In these examples GPT is not executing any python code, it has just been trained on enough Python code/output to successfully predict what kinds of outputs these functions would produce.
mbowcut2··on Major breakthrough on nuclear fusion energy
I just can't get over the fact even fusion reactors are basically just steam engines. We haven't figured out a better way to produce electricity than boiling water?
← PreviousPage 3 of 3