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:

RT @GreensEFA@twitter.com

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: greens.eu/3PoAQsW

#ReclaimYourFace

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.

frontiersin.org/articles/10.33

Superior pattern processing is the essence of the evolved human brain

Humans have long pondered the nature of their mind/brain and, particularly why its capacities for reasoning, communication and abstract thought are far superior to other species, including closely related anthropoids. This article considers superior pattern processing (SPP) as the fundamental basis of most, if not all, unique features of the human brain including intelligence, language, imagination, invention, and the belief in imaginary entities such as ghosts and gods. SPP involves the electrochemical, neuronal network-based, encoding, integration, and transfer to other individuals of perceived or mentally-fabricated patterns. During human evolution, pattern processing capabilities became increasingly sophisticated as the result of expansion of the cerebral cortex, particularly the prefrontal cortex and regions involved in processing of images. Specific patterns, real or imagined, are reinforced by emotional experiences, indoctrination and even psychedelic drugs. Impaired or dysregulated SPP is fundamental to cognitive and psychiatric disorders. A broader understanding of SPP mechanisms, and their roles in normal and abnormal function of the human brain, may enable the development of interventions that reduce irrational decisions and destructive behaviors.

www.frontiersin.org

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?
arxiv.org/pdf/1910.10889.pdf

Decidable Synthesis of Programs with Uninterpreted Functions
arxiv.org/pdf/1910.09744.pdf

Decidable Verification of Uninterpreted Programs
arxiv.org/pdf/1811.00192.pdf

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
Show older
Qoto Mastodon

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