Lean 4: How the theorem prover works and why it's the new competitive edge in AIventurebeat.com·145 pts·tesserato·64
Constructor Theory: expressing laws in terms of what is possible or impossibleconstructortheory.org·3 pts·tesserato·0
Business cycle and herding behavior in stock returns: theory and evidencelink.springer.com·2 pts·tesserato·0
Shallow learning mechanism used by the brain can compete with deep learningtechxplore.com·2 pts·tesserato·0
Does Time Flow? New Clues Come from a Century-Old Approach to Mathquantamagazine.org·4 pts·tesserato·3
The Animate and The Inanimate, a cosmological tome written by a child prodigy [pdf]sidis.net·3 pts·tesserato·0
Chasing the Myth: Achieving Artificial General Intelligence May Be a Pipe Dreamforbes.com·3 pts·tesserato·0
Fall of a Prolific Journal Exposes the Billionaire Profits of Science Publishingenglish.elpais.com·6 pts·tesserato·1