
š”fermion, PhD
@angryfermion
Followers
36K
Following
4K
Media
495
Statuses
3K
making AI slop @meta (former physicist (derogatory))
ground state
Joined January 2022
zuck is making me move to threads: come learn how im making $100M / year helping make AI slop for grandpa on facebook.
threads.com
10 Followers ⢠0 Threads ⢠making AI slop @meta former physicist (derogatory). See the latest conversations with @angry_fermion.
1
2
21
lean helped me get through grad school. the proof checker is good too.
Everyone has heard that Lean is a programming language that allows for proof verification in mathematics. But what does that actually mean and how does it work?. If youāre interested in this question you should check out an article my friends and I wrote detailing the nuts and
0
0
17
RT @angryfermion: zuck is making me move to threads: come learn how im making $100M / year helping make AI slop foā¦.
threads.com
10 Followers ⢠0 Threads ⢠making AI slop @meta former physicist (derogatory). See the latest conversations with @angry_fermion.
0
2
0
āWhat matters is that your research is validated by Natureā. ā¦or Science. Or PRL. Or PRX. Orā¦.
Physics is the ultimate meritocracy I doesn't care if you went to Harvard or MIT. Doesn't matter what your credentials are. What matters is that your research is validated by Nature. She alone judges your work. If your theory makes testable repeatable predictions it's valid.
5
10
309