Hybrid Forecasting of Chaotic Processes: Using Machine Learning in Conjunction with a Knowledge-Based Model
TLDR: Combining simulation with ML gives impressive improvement in predicted time horizon
https://arxiv.org/pdf/1803.04779.pdf
TLDR: Combining simulation with ML gives impressive improvement in predicted time horizon
https://arxiv.org/pdf/1803.04779.pdf
One undeniably good thing that came with cryptocurrencies is that the value of formal verification is much better recognized and easier to explain now :)
> Then some formal methods folk got the first two challenges finished and started working on the third. Then Vitalik Buterin retweeted me, a whole host of naysayers jumped on board, and Twitter locked my account. Twice.
https://www.hillelwayne.com/post/theorem-prover-showdown/
> Then some formal methods folk got the first two challenges finished and started working on the third. Then Vitalik Buterin retweeted me, a whole host of naysayers jumped on board, and Twitter locked my account. Twice.
https://www.hillelwayne.com/post/theorem-prover-showdown/
Hillel Wayne
The Great Theorem Prover Showdown
Functional programming and immutability are hot right now. On one hand, this is pretty great as there’s lots of nice things about functional programming. On the other hand, people get a little overzealous and start claiming that imperative code is unnatural…
Looking for a specific kind of a stable topological sort algorithm: https://cs.stackexchange.com/questions/91553/stable-topological-sort-algorithm-preserving-chains
Overfitting 80 LVL:
A single parameter is always enough: Fitting any scatter plot on any number of points with a fixed precision with a single parameter
https://colala.bcs.rochester.edu/papers/piantadosi2018one.pdf
A single parameter is always enough: Fitting any scatter plot on any number of points with a fixed precision with a single parameter
https://colala.bcs.rochester.edu/papers/piantadosi2018one.pdf
https://www.evonide.com/side-channel-attacking-browsers-through-css3-features/
accessing cross-origin iframes through CSS side channels. awesome.
accessing cross-origin iframes through CSS side channels. awesome.
An article on quantum mechanics suddenly references Rashomon. Ookay.
http://bostonreview.net/science-nature-philosophy-religion/tim-maudlin-defeat-reason
http://bostonreview.net/science-nature-philosophy-religion/tim-maudlin-defeat-reason
Boston Review
The Defeat of Reason - Boston Review
Two new books—one on quantum physics, one on Thomas Kuhn—seek to reestablish the authority of reason and evidence.
on microsoft and github - http://joeyh.name/blog/entry/the_single_most_important_criteria_when_replacing_Github/
Apple code signing can be bypassed. for added lulz, the bug seems to be on the signing side, not verification side, so all 3rd party apps need to be rebuilt before new checks can be deployed by Apple (you can't distinguish real signature from fake)
https://www.okta.com/security-blog/2018/06/issues-around-third-party-apple-code-signing-checks/
https://www.okta.com/security-blog/2018/06/issues-around-third-party-apple-code-signing-checks/
Okta Security
I can be Apple, and so can you
A Public Disclosure of Issues Around Third Party Code Signing ChecksSummary:A bypass found in third party developers’ i
https://status451.com/2016/09/15/social-gentrification/ It's Eternal September, again :(
Status 451
Social Gentrification
Earlier this week a friend of mine was talking about nerd culture, and was surprised when I mentioned that I don’t like it. I avoid nerd culture and, despite being the exact target demographi…
TLDR: Daily GTA5 during 2 months has no measurable differences to daily Sims, or no games at all
https://www.nature.com/articles/s41380-018-0031-7
https://www.nature.com/articles/s41380-018-0031-7
Nature
Does playing violent video games cause aggression? A longitudinal intervention study
Molecular Psychiatry - Does playing violent video games cause aggression? A longitudinal intervention study
Watching the Watchers, Testing Tests: The State of Mutation Testing at Google
https://ai.google/research/pubs/pub46584
https://ai.google/research/pubs/pub46584
Google Research
State of Mutation Testing at Google – Google Research
See also the HN discussion of negative side effects for mutation tests:
https://news.ycombinator.com/item?id=17515602
https://news.ycombinator.com/item?id=17515602