Listening to Cal Newport on Sam Harris' latest pod and he's talking about the future of the internet moving away from the 'big 3' to fragmented, distributed, and weird, which is the 'net at its healthiest.

"My mind," he said, "rebels at stagnation. Give me problems, give me work, give me the most abstruse cryptogram or the most intricate analysis, and I am in my own proper atmosphere. I can dispense then with artificial stimulants. But I abhor the dull routine of existence. I crave for mental exaltation. That is why I have chosen my own particular profession, or rather created it, for I am the only one in the world" - Sherlock Holmes

Name a concept. There is probably some mathematical theory with the same name. :blobwizard:


Did you know that Italy has banned facial recognition software?🇮🇹

We are in Milan this week to find out how they did it.👀

#BiometricSurveillance limits freedom & violates privacy. That's why we want the EU to ban it.

Learn more:


Things I would not see on a chalk board. Your exponent is a whole binary tree? :blobfoxcofe_w_:

I am pretty envious of Linus having a whole decade to develop Linux in his grad program.

Seeing how a set theory can be used through topology to talk about geometric notions such as connectedness of points, is fascinating.

It also solves a current debate about artificial neuron-based versus sbolic logical reasoning. No idea why topology is optional at my school.

Humans are cool.

I should be reading about automated reasoning logics. But cognitive stuff is good too.

My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now. :blobfoxcofe_w_:

What’s Decidable About Program Verification Modulo Axioms?

Decidable Synthesis of Programs with Uninterpreted Functions

Decidable Verification of Uninterpreted Programs

Thread: /g/88569667

>C++ is authoritarian
Not even remotely you can code the way you like and use any feature you like whether it's from C++98 or C++20

>Rust is pretty liberal.
Lol not even remotely the complier is forcing you to code in a specific style

Things are getting interesting. The book is only about 90 pages long.

But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.