Linkstream

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/

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

> On a Samba 4 AD DC any authenticated user can change other users' passwords over LDAP, including the passwords of administrative users and service accounts.
https://www.samba.org/samba/security/CVE-2018-1057.html

priors are a big deal indeed. also, awesome interactive demonstrations
https://rach0012.github.io/humanRL_website/

Slack closes IRC and XMPP gateways.
https://news.ycombinator.com/item?id=16539857

metalenses from metamaterials!
https://www.osapublishing.org/oe/abstract.cfm?uri=oe-26-2-1573

LOL. Since 2007, I remember multiple presentations on major security conferences, with videos, including US-based ones, of people going through Border Control in US, UK, EU etc. with completely fake biometric passports (invalid signatures, issued by fictional countries, etc etc.) — and this memo says that at least US CBP *still*, in 2018, does not have software to verify them at all! This explains things %)
https://www.wyden.senate.gov/imo/media/doc/wyden-mccaskill-epassport-security-letter-to-cbp.pdf
UPD: submitted to HN, https://news.ycombinator.com/edit?id=16439611

TLDR: Logging in to Chase Bank gives you access to another users' account (maybe the login sessions got mixed up)
> Your account is both safe and compromised until checked
https://www.reddit.com/r/personalfinance/comments/7zbecv/chase_bank_may_be_experiencing_a_substantial_hack/

[note: nice pictures, weak content]
https://medium.com/the-spike/your-cortex-contains-17-billion-computers-9034e42d34f2

CSS keylogger :)
https://news.ycombinator.com/item?id=16422696

hilarious copyright crap - make a picture from clip art, then claim copyright infringement on others who share your *sources*
https://2600.com/print/27097

sad to hear
https://blog.emacsen.net/blog/2018/02/16/osm-is-in-trouble/

looks like cuttlefish spends energy to change colour/texture, but not to sustain it, like e-ink display
https://www.nytimes.com/2018/02/15/science/cuttlefish-camouflage-neurons.html