ARTIFICIAL INTELLIGENCE - AI - AI HISTORY - NEW AI - UNIVERSAL AI THEORY - MATHEMATICAL AI - AI becoming a real formal sciencehttps://people.idsia.ch/~juergen/ai.html
sound, combining theoretical computer science and probability theory to derive optimal behavior for robots and other embedded agents. And deep learning is driving modern AI applic
unixgraybeard.comhttps://unixgraybeard.com/
for their knowledge of theoretical computer science, arcane unix and complete inability to use a remotely contemporary computer. Typically employed in academia, they are a dying b
Cyborgs, transhumans and neuroelectronicshttps://www.wireheading.com/brainstim/cyborgs.html
because of the slow theoretical progress in their field. Here’s one way to think about the great challenge facing these researchers: Imagine that your next-door neighbor is having
Blog: The Death of Scientismhttp://indigocurnick.xyz/blog/2024-03-05/the-death-of-scientism
its methodology and theoretical foundations. She began to suspect cherry picking was used, and that the paper was not trustworthy. Ziani included these concerns in her thesis. As
What has peer review done to us?
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
POPL paper provides a theoretical foundation for dynamic deadlock avoidance in concurrent programs that employ conventional mutual exclusion and synchronization primitives. Beginn
The WWW VL: Educational Technology - Educational VR (MUD) sub-page (05-Jan-2000)https://tecfa.unige.ch/edu-comp/WWW-VL/eduVR-page.html
centers around theoretical tectonic shifts that realign the continents, thus shaking up the status quo of Earth. An online translation system advances the sense of internationalis
The Biointelligence Explosion as conceived by ChatGPThttps://www.biointelligence-explosion.com/chatgpt/
quantum computers are theoretical devices that are designed to mimic the computational power of the human brain. These devices would use quantum computing to perform complex cogni
https://www.netlib.org/performance/papers/linpack/https://www.netlib.org/performance/papers/linpack/
The third number is the theoretical peak performance of the machine. LINPACK programs can be characterized as having a high percentage of floating-point arith- metic operations. T
Tunes is a Useful, Not Expedient, Systemhttp://www.madore.org/~david/computers/tunes.html
would use) notions from theoretical computer science to correct some of the failures and shortcomings of present-day operating systems. What is wrong with present-day operating sy
A description of the (hypothetical) Tunes Operating System lang=en
correct Bohr model of Helium, quantum mechanics is wronghttp://www7b.biglobe.ne.jp/~kcy05t/
odinger equation, so No theoretical evidence of quantum mechanical spin. Electron spin disagrees with experiments Electron spin is unreal, should be replaced by real electron's or
Quantum mechanics is unrealistic, wrong. Bohr model is right, agreeing with experimental helium, hyrogen atomic energies.
Talkshttps://www.scottaaronson.com/talks/default.html
CO, May 11, 2026 Theoretical Computer Science and AI Alignment : CAMS Colloquium, University of Southern California, Los Angeles, CA (via Zoom), April 13, 2026. Another version at
Zero-Player Gameshttps://jesperjuul.net/text/zeroplayergames/
a specific type of theoretical description. Game studies need to be clearer about our conceptions of games and players. By considering both players without the need for games and
Find more...