Magos Logis Logan @jmw150@qoto.org

@namark exactly

@RobinHGWells

Used to be the case.

Now it is more of an arms race. Denoising autoencoders can be trained to remove this stuff. And neural networks can be trained on those neural networks to make noise that will fool the autoencoder part, etc... One large GAN.

I think my top three language picks would be: C++, Python, and probably Scheme. It really comes down to the cathedral and the bazaar.

Even though C++ and Python have commities, Python has an exposed ast and is probably the most popular language. So it is like going to the bazaar. You can find really anything there. C++ has inline assembly and many weird hacks. A large chunk of it is just undefined behavoir. And, a lot of programming paradigms can go and set up shop in C++. Many other languages say they have a unique quirk, only for it to end up in Python and C++ a few years later.

Languages that tell you what to do are cathedrals. Scheme languages have their 9 primitive functions (9 holy primitives) and that is about it to be a scheme. Their committee tries to make RSR7 do everything. But so few of the older schemers actually care.

@splatt9990 @sotolf@fosstodon.org @arious

Probably because they are different problem domains, requiring different skills.

"Civilization advances by extending the number of important operations which we can perform without thinking about them" - A F Whitehead

@kzimmermann

It makes little sense. The only thing my 15 year old computer complains about, in my daily workflow, is some of these horrifyingly bloated websites.

Even more automatic memory error detection.

https://dl.acm.org/doi/10.1145/3377811.3380323

Automatically detecting memory related bugs

http://opera.ucsd.edu/paper/Micro04-AccMon.pdf

Neat. Tropical algebra can explain why deep learning systems become more expressive with more layers.

https://arxiv.org/abs/1805.07091

@stux

Reminds me of Wall-E

More so differentiating instead of just surviving.

It is kind of like how Tensorflow is faster than PyTorch, but Pytorch is more adaptable at runtime. So it is more of a visible tradeoff.

Julia's system is already going to competed with by Python's Myia. But Julia has a natural advantage of naturally being better designed for speed. So I can see it surviving.

https://github.com/mila-iqia/myia

Rust's Egg, on the other hand, is probably going to be pushed back down by something in C or C++. There is nothing Rust can really do about this.

C++ still keeps a 0 overhead principle, and C is just simpler to work with. These are still languages taught to people in school, as a minor requirement for getting a degree. So there exist competent C/C++ programmers to do the job.

Hmm.. empires have to fall before they are replaced right?

I do not think companies that have "replace Facebook", or something similar, as their mission statement are going to succeed. You have to find what makes your group great.

Julia:
- has reflection and speed
- awesome unique project https://fluxml.ai/Zygote.jl/

Rust:
- idiot proofed manual memory management.
- awesome unique (for now) project https://github.com/egraphs-good/egg

@Placholdr

Yeah totally. I kept my bookshelf stocked through my math undergrad and even double majored to keep it from getting dull. And I tried to make the courses more fun as hangout sessions with the senior mathematician. After I would stay in the tutoring room to chat about this stuff as well.

For abstract algebra I like Dummit and Foote's book.
https://www.amazon.com/Abstract-Algebra-3rd-David-Dummit/dp/0471433349/

Although Pinter's book is also great, because it links everyday parts of algebra with the newer stuff.

Then commutative algebra, since it is like the set theory of algebraic number theory and algebraic geometry.
https://www.amazon.com/dp/0387942688/

Algebraic geometry, because polynomials are just meaty
https://www.amazon.com/dp/0387902449/

Math logic, in which model theory feels a lot like algebraic geometry. Also it was very fulfilling course to have philosophically.
https://www.amazon.com/Introduction-Mathematical-Discrete-Mathematics-Applications/dp/1482237725/

MLIR is going to be so great! Yay compilers! *begins frothing at the mouth*

Me: Please sleep. You are leading discussion tomorrow.

Brain: but I'm booorred.

It has been 2 years of this. The habits have stuck. This is just what I look like at the university now.

Kekashi Sensei, wearing masks before it was cool.