Lukáš Lánský @lukas@social.lansky.name
Admin
Software engineer based in Prague.
Joined Apr 2018
http://www.pnas.org/content/early/2018/08/21/1809474115
"Cutting annual mean concentration of particulate matter smaller than 10 μm (PM10) in China to the Environmental Protection Agency’s standard (50 μg/m3) would move people from the median to the 63rd percentile (verbal test scores) and the 58th percentile (math test scores), respectively."
https://www.youtube.com/watch?v=o_4EX4dPppA
All these book references!
RT @gfraiteur@twitter.com
Ever wondered which version of the .NET Framework developers have on their machine and how fast they install updates? Here's 5 years of aggregate data from @postsharp CEIP users.
https://ha.x0r.be/posts/chrome-is-a-google-service/
"What’s the next thing that Google and only Google can make Chrome do? Concerned about shared computers but you’re not Google? There is no neutral API to log someone out from Chrome and prevent data from being synced if it’s about person A logging into Facebook in person B’s Chrome profile."
https://blog.pulumi.com/advanced-typescript-type-ftw
"Put together, the Unwrap<T> itself is effectively a recursively defined structural pattern matching type. You can see it reference itself once you walk into UnwrappedArray<T> and UnwrappedObject<T> types. As it recurses, it matches the type it has and then ‘peels away’ the wrappings that have been caused by Promise<T> and Output<T>. As it hits Arrays and Objects, it dives deeper, unwrapping along the way."
https://medium.com/@copyconstruct/health-checks-in-distributed-systems-aa8a0e8c1672
"Coarse-grained health checks might be sufficient for orchestration systems, but prove to be inadequate to ensure quality-of-service and prevent cascading failures in distributed systems. Load balancers need application level visibility in order to successfully and accurately propagate backpressure to clients. It’s impossible for a service to degrade gracefully if it’s not possible to determine its health at any given time accurately."
http://slatestarcodex.com/2018/09/19/book-review-the-black-swan/
"Taleb memorably compares much of the financial world to “picking up pennies in front of a steamroller” – ie, it is very easy to get small positive returns most of the time as long as you expose yourself to horrendous risk."
I guess I'll have to read the book after all.
https://medium.com/lambda-factory/introducing-f-analyzers-772487889429
"The F# Analyzers are using extension point provided by the FsAutoComplete which means that in current shape they can be supported only by the editors using it (and they requires some work on the plugin side of things — currently only Ionide supports them). And it means that diagnostics provided by them are visible only in the editor, not during compilation."
http://diffsharp.github.io/DiffSharp/
"DiffSharp is a functional automatic differentiation (AD) library. AD allows exact and efficient calculation of derivatives, by systematically invoking the chain rule of calculus at the elementary operator level during program execution. AD is different from numerical differentiation, which is prone to truncation and round-off errors, and symbolic differentiation, which is affected by expression swell and cannot fully handle algorithmic control flow."
https://thegradient.pub/nlp-imagenet/
"More than 4,500 languages are spoken around the world by more than 1,000 speakers. Language modeling as a pretraining task opens the door to developing models for previously underserved languages. For very low-resource languages where even unlabeled data is scarce, multilingual language models may be trained on multiple related languages at once, analogous to work on cross-lingual embeddings."
"Just as having one child cut the cake and giving the second child first choice of the pieces avoids either feeling envious, having two political parties sequentially divide up a state in an "I-Cut-You-Freeze" protocol would minimize the practice of gerrymandering, where a dominant political party draws districts to maximize its electoral advantage."
Further enforces two party system though.
"The models are fed a variety of inputs, and the neuron coverage, steering angle, and steering direction (left or right) outputs are recorded. Spearman rank correlation shows a statistically significant correlation between neuron coverage and steering angle outputs. Different neurons get activated for different outputs, indicating neuron coverage is a a good approximation for testing input-output diversity. Steering direction also correlates with neuron coverage."
https://gitlab.com/gitlab-org/gitlab-ce/issues/44486
"While working in Gitlab developers and projects create a lot of interesting events, commits, comments, releases, etc. Each of these could be shared on social networks or other types of sites. Gitlab currently supports standards like RSS for these type of events, but the ActivityPub standard would allow for realtime pushing of the events and integration with other sites that support the standard."
"[...] Electric scooters had overtaken cities across California. These vehicles looked like the Razor scooters of yore, though they had small, zippy, battery-powered engines. You could rent one with your smartphone; ride it down the street, around the neighborhood, or across the city; and then get off, tap your smartphone, and walk away. They cost about $3 per ride."
Admin
Software engineer based in Prague.
Joined Apr 2018
