Linkstream – Telegram
Linkstream
173 subscribers
32 photos
3 videos
2 files
899 links
Various links I find interesting. Mostly hardcore tech :) // by @oleksandr_now. See @notatky for the personal stuff
Download Telegram
good one
The Hidden Agenda User Simulation Model (IEEE'09)
http://mi.eng.cam.ac.uk/~sjy/papers/scyo09.pdf
Interactive voice synth in-browser
https://dood.al/pinktrombone/
A Summary of New Results in Mathematics Obtained with Argonne's Automated Deduction Software

*This page covers work up through 1995.
http://www.mcs.anl.gov/research/projects/AR/new_results/
A Logarithm Too Clever by Half — on functions which can never be computed exactly, even with arbitrary-precision arithmetic
https://people.eecs.berkeley.edu/~wkahan/LOG10HAF.TXT
Infiniswap - using free cluster memory as swap; great demonstration of the power of randomized and decentralized algorithms
https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/gu
Goods: Organizing Google’s Datasets '16
TLDR: Internal search engine operating over 26*10^9 *datasets* (e.g. DB tables), 5% daily churn, schema inference... interesting stuff
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/45390.pdf
This common and unfortunate fact of the lack of an adequate presentation of basic ideas and motivations of almost any mathematical theory is, probably, due to the binary nature of mathematical perception: either you have no inkling of an idea or, once you have understood it, this very idea appears so embarrassingly obvious that you feel reluctant to say it aloud; moreover, once your mind switches from the state of darkness to the light, all memory of the dark state is erased and it becomes impossible to conceive the existence of another mind for which the idea appears nonobvious.
— Gromov

Source: M. Berger, Encounter with a geometer, Part II, Notices Amer. Math. Soc. 47 (2000), no. 3, 326--340.
via @atemerev
http://www.ams.org/notices/200003/fea-berger.pdf
Google support at its best
(TLDR: Firebase costs increased 70x because they started including SSL handshake in traffic calculation)
https://news.ycombinator.com/item?id=14356409
On the Turing Completeness of MS PowerPoint 😂
https://www.andrew.cmu.edu/user/twildenh/PowerPointTM/Paper.pdf
Neurosurgeon: Collaborative Intelligence
Between the Cloud and Mobile Edge
TLDR: It's best to split processing between device and cloud, here's how to do it automatically (for DNNs)
http://web.eecs.umich.edu/~jahausw/publications/kang2017neurosurgeon.pdf
DeepXplore: Automated Whitebox Testing of Deep Learning Systems '17
TLDR: Neuron coverage, use 3+ cross-referencing oracles to detect outliers
https://arxiv.org/pdf/1705.06640.pdf