Lukáš Lánský @lukas@social.lansky.name
Admin
Software engineer based in Prague.
Joined Apr 2018
"As the number of cores per x86 socket has steadily increased over the past decade, that has had a profound impact on licensing. Vendors such as Microsoft for applications like Windows Server and SQL server, Oracle for its database software, and others have moved to per-core licensing. With per core license costs that can often cost more than the entire CPU itself, Intel started providing specialized SKUs for these markets."
https://www.servethehome.com/amd-epyc-7371-pricing-update-an-insane-value/
Price discrimination distorts.
RT @FieldEcology@twitter.com
What a cool dataset! ”Here is some evidence for how territorial wolves are. This map is the result of 68,000 GPS-locations from 7 wolves in different packs from this past summer.” Learn more: https://www.facebook.com/331156237709732/posts/347276326097723/
Blogged, a week ago: "The Uneasy Relationship Between Dependency Injection and Integration Testing"
https://programming.lansky.name/dependency-injection-and-integration-testing
Just blogged: "Namespacer: lightweight spin on architectural validation" https://programming.lansky.name/namespacer #csharp #csadvent
"Software has bugs, and catching bugs can involve lots of effort. This book addresses this problem by automating software testing, specifically by generating tests automatically. Recent years have seen the development of novel techniques that lead to dramatic improvements in test generation and software testing. They now are mature enough to be assembled in a book – even with executable code."
http://slatestarcodex.com/2018/10/30/sort-by-controversial/
"At this point I was doubting my sanity, so we went next door to Blake and David, who were senior coders in our company and usually voices of reason. They were talking about their own problem, but I interrupted them and gave them the Scissor statement. Blake gave the reasonable response – why are you bothering me with this stupid wrong garbage? But David had the same confusion Shiri did and started arguing that the idea made total sense."
RT @stevesi@twitter.com
Microsoft trivia. The first version of Microsoft's C++ compiler (1992) came with 14 printed books totaling 10,107 pages, along with 23 floppies. The image is from an internal packing list used in manufacturing. The 40lb box was packaged at a factory that packaged volleyball nets.
https://medium.com/waymo/where-the-next-10-million-miles-will-take-us-de51bebb67d3
"Our progress on public roads is made possible by our deep investment in simulation. By the end of the month, we’ll cross 7 billion miles driven in our virtual world (that’s 10 million miles every single day). In simulation, we can recreate any encounter we have on the road and make situations even more challenging through “fuzzing.” We can test new skills, refine existing ones, and practice extremely rare encounters"
https://diogocastro.com/blog/2018/06/17/typeclasses-in-perspective/
"Typeclasses are typically taught by drawing parallels with method overloading (another form of ad hoc polymorphism), and Java-like interfaces (a form of subtyping polymorphism).
[...] In this post I’ll try to focus on their differences and show that their similarities are only superficial."
Hazel: parts of programs that are not written yet should have a type too. Cf. Roslyn pragmatic approach to "compiler as a service" design.
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."
Admin
Software engineer based in Prague.
Joined Apr 2018
