Stories by poppingtonic

Milawa on Jitawa, a Verified Theorem Prover

Visualising Multi-Sensor Predictions from a Rice Disease Classifier

Why computer modeling should become a popular hobby (1996)

Neurogrid – The Board (2016)

C Implementation of Gregory Chaitin's the Limits of Mathematics

Neuro Evolving Robot Operatives

Building Problem Solvers

Engineering Scientific Serendipity

JuliaCon 2018: Index Notation and the Future of Tensor Compilers [video]

How to Think

International Fellowship applications for Part 1 now open

Watch live UK parliamentary evidence on AI impacts

FastText.zip: Compressing text classification models

Modeling Agents with Probabilistic Programs [book]

Ask HN: What problems can a consumer EEG solve?

Open Philanthropy Project's “Anti-Principles” for Hits-Based Giving

Over 3,000 Scientists Support UN Nuclear Ban Negotiations

TreeMaker: Origami Design Software

Pregel (2011)

Discussing Basic Income with YC Research

1 2