mrcactu5 | 6 years ago | on: Use Coq in Your Browser: The Js Coq Theorem Prover Online
mrcactu5's comments
mrcactu5 | 6 years ago | on: Matrices as Tensor Network Diagrams
here are some pages that might be relevant
https://ncatlab.org/nlab/show/tensor+network https://ncatlab.org/nlab/show/string+diagram
mrcactu5 | 6 years ago | on: God's Number Is 20 (2010)
Here's some notes from Harvard on how to count Rubik's Cube positions with Group Theory
The number is: 2^(12)3^88!*12!
http://www.math.harvard.edu/~jjchen/docs/Group%20Theory%20an...
mrcactu5 | 7 years ago | on: Human psychology and behavioral studies overlook 85 percent of people
a simple arithmetic computation shows that Europe has 750 million people, and the world has 8 billion people. That's 1/10 of the population. We neglect about 90% of people in... anything. South America has 500 million people, so they should get a comparable share, and Africa has 1.2 billion.
So just by simple fractions we know something is off. A more careful study by subject and region could be required.
mrcactu5 | 7 years ago | on: Analyzing the chords of 1300 popular songs for patterns
Flow Machines is an AI music generator http://www.flow-machines.com/
mrcactu5 | 7 years ago | on: Anglican: A Probabilistic Programming System
why did they pick Clojure to do probabilistic programming?
btw, Python programmers have the option of pymc3 https://docs.pymc.io/
mrcactu5 | 7 years ago | on: Ask HN: I've been a programmer for 6 years, and I can't solve basic CS problems
at least on StackOverflow "computer science" and "computer programming" get different pages:
mrcactu5 | 7 years ago | on: California just replaced cash bail with algorithms
Machine Learning Algorithms are severely racist towards defendants. We know, for example, that AI algorithms mistake Black people for primates... but they are no more racist than the criminal justice system at large. And they have a better chance of getting fixed.
https://www.nytimes.com/2016/06/26/opinion/sunday/artificial...
mrcactu5 | 7 years ago | on: TinyEditor: A functional HTML/CSS/JS editor in less than 400 bytes
github says 407 bytes... how is he doing that?? my HTML / CSS is nowhere near that level
mrcactu5 | 7 years ago
if you are Amazon you don't have time to read all the reviews carefully. How do you detect such artificial "gaming" behavior? It's natural behavior for the sellers to try to boost their reviews (at the consumers expense).
mrcactu5 | 7 years ago | on: TherML – Thermodynamics of Machine Learning
One of the authors is at Google, so it wouldn't surprise me. Thermodynamics is clearly a metaphor, but information entropy they are studying be bounded by the literal heat generated by their computations.
mrcactu5 | 7 years ago | on: TherML – Thermodynamics of Machine Learning
Google's Data Centre literally generates heat. So anything we can do in this direction, is helpful.
https://deepmind.com/blog/deepmind-ai-reduces-google-data-ce...
mrcactu5 | 7 years ago | on: Crafting Interpreters
i think this is cool. i could learn new languages all day. however I've seen people argue on HN that writing language is a waste of time. why should we embark on such an exercise?
mrcactu5 | 7 years ago | on: FBI Recovers WhatsApp, Signal Data Stored on Michael Cohen’s BlackBerry
do people still use BlackBerry in Washington? Seems a little out of date to me...
mrcactu5 | 8 years ago | on: Quantum mechanics used for better random numbers
how do we decide or quantify that certain random numbers are good or bad?
if I flip a coin? maybe that's inadequate, but can we measure how much it is failing to be random?
mrcactu5 | 8 years ago | on: Duolingo Suddenly Has Over Twice as Much Language Learning Material
Duolingo has to be supplemented with reading and / or YouTube materials in the language of choice. Any language course the examples are necessarily contrived and never to your exact needs. But we have the internet and can look for (and hopefully find) something that matches our interests.
If you're looking to do business in Japanese... then you need to be looking at the NHK news app which has beginner resources. If you're looking to do scholarship in German or Spanish or cooking in French then you need to search for vocab resources connected to those tasks.
mrcactu5 | 8 years ago | on: Fifty Years of Shannon Theory (1998) [pdf]
Claude Shannon's "A Mathematical Theory of Communication" is available online, and in bookstores.
http://affect-reason-utility.com/1301/4/shannon1948.pdf
Khan Academy has done a information theory
https://www.khanacademy.org/computing/computer-science/infor...
mrcactu5 | 8 years ago | on: OpenRailwayMap
I"m surprised at how few trains there are in Africa.
mrcactu5 | 8 years ago
I think you underestimate the type of "spin" (for lack of better term) that goes on in the street? At least here in the Bronx, some of these people find ingenious arguments to get out of situations. Who is going to be better than understanding argument and the law, than someone who personally went through the process?
These people find ingenious short-term "quick-fix" arguments, a lot of that advantage can go away in the long term.
mrcactu5 | 8 years ago | on: AlphaGo Zero: Learning from scratch
this is quite an achievement that it plays accurately. Does this have implementations for Strategy? No two games are alike, yet we are able to learn from our experience. Human's players be somehow comparing local positions from various games and deciding (sometimes wrongly) that they can be played similarly. Can it recommend not just individual positions, but general modes of play for classes of positions?
https://www.typescriptlang.org/ https://elm-lang.org/