@worldsendless that is an odd line in the sand.
"But.. but.. if you do not constantly allow us to update your system, then it is not secure."
Now this is a proper use of tenure.
This whole lab is a big middle finger to USA government, and large company, censorship and spying.
That is more like it. Make the computer figure out security.
The leader of China?
2TB on a hamsterwheel t400 computer processor. I think it might be done before the SPLASH conference next month. lol
@bonifartius Wish I did.
Because of the money the stats doctrine makes, really only graduate school stat and math books get into the meat of it.
True. Statisticians often go just from probability spaces, instead of the underlying metric spaces.
Mathematicians want to undrrstand more than probability, with fewer assumptions, and more solid inferences.
Also known as corecursion.
@timorl I wanted to change something that I said. haha
Math people either love or hate statistics.
What I have found that helps me is to think of the various theorems from the perspective of functions on spaces. Instead of the messy pseudo-math that intro courses present it as, there are underlying measure spaces. Past all the word salad, spaces are what is tossed around and modified to reason about reality.
@lydiaconwell probably just decrying lack of thought in life choices
C is still the most common language in embedded systems. Do you find yourself wanting to learn about electronics?
@vyivel was a thing. Computercraft does it better though.
@zce@tilde.zone @jrballesteros05
It is not that bad after learning some electrical engineering. Security methods become a lot more comprehensive.
Or maybe the paranoia gets worse, because you realize how small an individual computer or radio device can be. And, you are now inspecting and testing your FOSH for hidden modules.
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)