@j0seph@mastodon.social
Physicist by training, PhD in ML, laid off from tech, engineer and enthusiast.
I like all things black 
This is my attempt at social networking. Avoided all other platforms until now.
Toots in English and occasionally German.
Here will be:
• Science & technology
• ML & non-hype AI
• Politics & sarcasm
• Music
There's a reason why mathematicians use proof assistant software (that doesn’t use ) to verify mathematical proofs by checking their logic.
are just predicting what text will come next in a string of words, based on what’s in its dataset. That's neither intelligence, nor reasoning.
Elk is a nimble Mastodon web client. You can login to your Mastodon account and use it to interact with the fediverse.
Expect some bugs and missing features here and there. Elk is Open Source and we're actively improving it as a community project. Join us and let's build it together!
If you'd like to report a bug, help us testing, give feedback, or contribute, reach out to us on GitHub and get involved.
To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!
