Linkstream

Understanding Deep Learning requires rethinking generalization

Very entertaining article which could be viewed either as philosophical discoveries, or as "machine learning specialists rediscover information theory" :)
https://arxiv.org/abs/1611.03530

191 viewsedited 10:05

Linkstream

cyberpunk is already there. also, cryptocoins are slowly but steadily expanding the market for formal verification methods, which is a good thing.
https://zcoin.io/language/en/important-announcement-zerocoin-implementation-bug/

firo.org

Home | Firo - Privacy-preserving cryptocurrency

Firo is a digital currency with a focus on setting privacy standards.

199 views07:12

Linkstream

Limits of psychology, specified in machine learning terms
https://jsteinhardt.wordpress.com/2017/02/07/model-mis-specification-and-inverse-reinforcement-learning/

Academically Interesting

Model Mis-specification and Inverse Reinforcement Learning

In my previous post, “Latent Variables and Model Mis-specification”, I argued that while machine learning is good at optimizing accuracy on observed signals, it has less to say about correctly infe…

215 views14:57

Linkstream

Interpreters are cool, but interpreters need parsers
http://jeffreykegler.github.io/Ocean-of-Awareness-blog/individual/2013/03/interpreter.html

199 viewsedited 07:55

Linkstream

Magic: the Gathering is Turing Complete
http://www.toothycat.net/~hologram/Turing/index.html

184 views22:18

Linkstream

A Theory of Memory Models [concurrency, not ML]
http://saraswat.org/raofull.pdf

172 viewsedited 05:24

Linkstream

The Origin of Time In Conscious Agents [Donald Hoffman, 2014]
http://cogsci.uci.edu/~ddhoff/HoffmanTime.pdf

314 views06:00

Linkstream

Curated list of falsehoods programmers believe in.
https://github.com/kdeldycke/awesome-falsehood

GitHub

GitHub - kdeldycke/awesome-falsehood: 😱 Falsehoods Programmers Believe in

😱 Falsehoods Programmers Believe in. Contribute to kdeldycke/awesome-falsehood development by creating an account on GitHub.

195 views03:30

Linkstream

#fail CloudBleed: CloudFlare proxies leak your traffic into random HTTP responses, into search engines and so on
https://news.ycombinator.com/item?id=13718752

591 views09:28

Linkstream

http://mmhelloworld.github.io/blog/2017/01/06/introducing-idris-on-the-jvm-and-an-idris-android-example/

mmhelloworld.github.io

Introducing Idris on the JVM and an Idris Android Example - mmhelloworld

Idris on the JVM! Yes, a dependently typed language on the JVM!
I have been working on a JVM bytecode backend for Idris for the past few months and …

203 views08:18

Linkstream

Both Julia and Scala people are trying to generalize numeric types. Julia approach can be found in the docs and issues on the compiler itself, and Scala approach is a library:
https://github.com/non/spire

GitHub

non/spire

Powerful new number types and numeric abstractions for Scala. - non/spire

238 views08:24

Linkstream

https://www.nasa.gov/press-release/nasa-releases-software-catalog-granting-the-public-free-access-to-technologies-for

NASA

NASA Releases Software Catalog, Granting the Public Free Access to Technologies for Earthly Applications

NASA has released its 2017-2018 software catalog, which offers an extensive portfolio of software products for a wide variety of technical applications, all free of charge to the public, without any royalty or copyright fees.

201 views09:38

Linkstream

data modeling/warehousing tips are always in short supply
http://ehealthafrica.github.io/couchdb-best-practices/