It was literally university custom to do so though.
But, any computation fits the definition of some level of intelligence. People will decry that it is or is not AI until every productive human activity and factulty is replaced and optimized by it.
Pretty much. We tricked millions into loving statistics and higher level math. All it took was painting a picture about how such mechanisms seem so human. As if being humanoid is somehow intrinsically important.
So many chatbots end up this way... They could use twitter feedback to train as an adversarial dataset.
Open gifts like Tor gets usually. There are company/government sponsor stickers all over the front lobbies in Purdue buildings.
There are also multiple goals in governments and companies. Disagreeing with one thing is not a disagreement with the existence of a whole group. I am referring to the act of spying, not the groups themselves.
@icedquinn ah admission by skin tone...
It is why any apps or surveys I take neither include a gender or race. Screw these people. Brain on a stick is my identity. ![]()
@stux Probably going to need a license.
Nah. People have been flying powered parachutes for awhile now.
Aka we are fucked on security.
Well that is happening. I joked about a C->Rust compiler. But here you go.
Splash is going well. Deep learning has really invaded the programming space this year.
Neural surrogates for programs
https://dl.acm.org/doi/10.1145/3486607.3486748
Toward Neural-Network-Guided Program Synthesis and Verification
https://arxiv.org/abs/2103.09414
Scalable and Modular Robustness Analysis of Deep Neural Networks
https://arxiv.org/abs/2108.11651
Natural language guided programming
https://arxiv.org/abs/2108.05198
@derek Ah I did that for awhile. But there are open hardware single board computers. Those are nicer, but more expensive.
Nice! It is fat Luke.
Aww. Linear algebra is pretty great once you get used to it. Vector spaces are basically just polynomials you don't multiply. You can cheese many algs with it.
Calculus, and later analysis, is bullshit physicists made up so they can continue to approximate everything without understanding stuff.
Good bears exist. Not sure if American non-alchoholic beers count. But yeah.
I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.
Current events I try to keep up on
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Formal Methods community (CAV/TACAS)
Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)