poppingtonic
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Milawa on Jitawa, a Verified Theorem Prover (lambda-the-ultimate.org)
- Why computer modeling should become a popular hobby (1996) (qrg.northwestern.edu)
- Neurogrid – The Board (2016) (web.stanford.edu)
- Neuro Evolving Robot Operatives (nn.cs.utexas.edu)
- Building Problem Solvers (qrg.northwestern.edu)
- Engineering Scientific Serendipity (brianmu.com)
- How to Think (technologyreview.com)
- Watch live UK parliamentary evidence on AI impacts (globalprioritiesproject.org)
- Modeling Agents with Probabilistic Programs [book] (agentmodels.org)
-
An example of such an EEG is the OpenBCI device, plus whatever set of useful machine learning algorithms are used for source localization and signal processing. Other than e.g. helping people with locked-in syndrome to…
- Open Philanthropy Project's “Anti-Principles” for Hits-Based Giving (openphilanthropy.org)
- Over 3,000 Scientists Support UN Nuclear Ban Negotiations (futureoflife.org)
- TreeMaker: Origami Design Software (langorigami.com)
- Pregel (2011) (michaelnielsen.org)
- Discussing Basic Income with YC Research (youtube.com)
- George Church indicates reversal of aging will be a reality within ten years (nextbigfuture.com)
- Neglected Big Problems (overcomingbias.com)
- An Introduction to Counterfactual Regret Minimization (cs.gettysburg.edu)
- Asilomar Conference on Beneficial AI 2017 (futureoflife.org)