That is some really low effort botting. lol
"Your programming language choice is your social class" without actually saying it.
https://www.joelonsoftware.com/2005/12/29/the-perils-of-javaschools-2/
@r000t Easily passing the 15 year mark on some of mine...
The end of finals week for me.
As a computer scientist, I dislike programming languages that tell me what to do.
So, Java, Haskell, and Rust have interesting ideas... But I do not like programming in them.
I also think idiomatic programming is a garbage idea. It is an evolved version of tabs-vs-spaces. Seriously, code how you want, and use a traspiler to get it in your company's standard form.
Scientific disciplines are like sports teams, and it is weird.
I have a theoretical physicist that does not believe in infinity. So he is a physics guy instead of a mathematician.
And I have a computer science guy that says all math is constructed. So he is a computer scientist instead of a mathematician.
The search for truth is really just the search for narrative.
My old university used to be about half a decade behind. So it feels like an improvement. Lol
NFT nonsense
Looks like they should switch platforms. There are a lot of art platforms.
Also machine parsing is not the speed bottleneck in most situations. So outside of trying to understand parsing, it is not too important.
Programmers are pretty free to invent whatever. Parser generators can figure out an optimal parse strategy based on the grammar given. And if you want semantic analysis, this means parsing and translating multiple times.
So you can use languages like Racket to construct your own language. The parsing process will still be too fast to notice suboptimality.
Forth
Yesss my vote is law.
It has its own assembly language now.
Now I think it is Russia or China from the USA again.
Fearing mega countries is normal. The petro-war mongering was kind of weird politics.
Takes hours to compile too, due to using Rust and general bloat.
Less than public usually. Datamining should be consentual.
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)