Plus why everyone's talking about the sensitivity conjecture, speedy TLS with rust, and more!

Links:

• Feedback: Which Language To Use And Why? — There are so many languages out there, and I just don’t understand when or why you would want to use a language over another.
• Mathematician Solves Computer Science Conjecture in Two Pages | Quanta Magazine — This “sensitivity” conjecture has stumped many of the most prominent computer scientists over the years, yet the new proof is so simple that one researcher summed it up in a single tweet.
• ELI5: The Sensitivity Conjecture has been solved. What is it about? — Think of it like a Buzzfeed quiz. You answer a bunch of multiple-choice input questions about seemingly random topics ('What's your favourite breakfast cereal?', 'What's your favourite classic movie?', 'What did you want to be when you grew up?', and so on), and you get a response back at the end: usually which Hogwarts house you belong in.
• Sensitivity Conjecture resolved — Paul Erdös famously spoke of a book, maintained by God, in which was written the simplest, most beautiful proof of each theorem. The highest compliment Erdös could give a proof was that it “came straight from the book.” In this case, I find it hard to imagine that even God knows how to prove the Sensitivity Conjecture in any simpler way than this.
• arXiv: Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture
• GitHub starts blocking developers in countries facing US trade sanctions — There's a debate over free speech taking place after Microsoft-owned GitHub "restricted" the account of a developer based in the Crimea region of Ukraine, who used the service to host his website and gaming software. 
• GitHub blocked my account and they think I’m developing nuclear weapons
• 1995parham/github-do-not-ban-us: Github do not ban us from open source world — GitHub restricted our access to private repositories suddenly, but at the very least we wanted GitHub to warn us before limiting our access.
• A Rust-based TLS library outperformed OpenSSL in almost every category | ZDNet — The findings are the result of a recent four-part series of benchmarks carried out by Joseph Birr-Pixton, the developer behind the Rustls library.
• TLS performance: rustls versus OpenSSL — A TLS library will represent separate sessions in memory while they are in use. How much memory these sessions use will dictate how many sessions can be concurrently terminated on a given server.
• Nat Friedman on Twitter — Users with restricted private repos can also choose to make them public. Our understanding of the law does not give us the option to give anyone advance notice of restrictions.

Plus Mike's battles with fan noise, and why he's doubling down on the eGPU lifestyle.

Links:

• Thelio Fan Noise Hack - Mike's Blog — I’ve had a System 76 Thelio for a little over four months now and a consistent issue that I’ve been experiencing is persistent fan noise even when the machine is idle.
• Advent of Code 2015
• Elixir — Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.
• Mike on Twitter — Someone tell @wespayne that I hate him ;) He introduced me to @elixirlang and it's like fast #Ruby. I think I might be hooked. Totally failed to get anything done though lol
• Elixir vs. Ruby and Phoenix vs. Rails: Detailed Comparison and Use Cases — If you are facing the Elixir vs. Ruby/Phoenix vs. Rails dilemma, the best way to decide is to cater to the needs of your project. In fact, it is even possible to use both technologies in one project by choosing which of them works best for each individual feature. For example, you can implement chats with Elixir Phoenix, and the rest of the code can be written in Ruby on Rails.
• TypeScript - JavaScript that scales. — TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.
• Why TypeScript · TypeScript Deep Dive — Types have proven ability to enhance code quality and understandability. However, types have a way of being unnecessarily ceremonious. TypeScript is very particular about keeping the barrier to entry as low as possible.
• Basic Types · TypeScript Handbook
• TypeScript Playground
• microsoft/TypeScript-New-Handbook — Incubation repository for the new TypeScript handbook.
• Introduction - fp-ts — fp-ts provides developers with popular patterns and reliable abstractions from typed functional languages in TypeScript.
• Purify — Functional programming library for TypeScript
• piotrwitek/utility-types — Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
• Solving Problems the Clojure Way - Rafal Dittwald — After overcoming a fear of brackets, the next challenge for would-be Clojurians is less superficial: to stop writing Java (or Javascript, or Haskell...) with Clojure's syntax, and actually start "thinking" in Clojure. It is said that Clojure is a "functional" programming language; there's also talk of "data-driven" programming. What are these things? Are they any good? Why are they good? In this talk, Rafal attempts to distill the particular blend of functional and data-driven programming that makes up "idiomatic Clojure", clarify what it looks like in practise (with real-world examples), and reflect on how Clojure's conventions came to be and how they continue to evolve.

Plus when it's okay to lie to the compiler, what GitHub's Sponsors program means for open source, and your feedback.

Links:

• Coder Radio 343: Say My Functional Name — Mike breaks down the drama around nullable reference types in C# 8.0, and we debate what it means for the future of the language.
• Coder Radio 358 Feedback — In the discussion of Marzipan and Electron I think the answer is WKWebView, which just arrived in macOS 10.10.
• Show Content Poll — What Do You Want More of on #CoderRadio @CoderRadioShow this is your chance to give me some feedback for the next few months!
• Why Computer Programmers Should Stop Calling Themselves Engineers — The respectability of engineering, a feature built over many decades of closely controlled, education- and apprenticeship-oriented certification, becomes reinterpreted as a fast-and-loose commitment to craftwork as business.
• About GitHub Sponsors — Anyone with a GitHub account can sponsor anyone with a sponsored developer profile through a recurring monthly payment. You can choose from multiple sponsorship tiers, with monthly payment amounts and benefits that are set by the sponsored developer.
• Lying to the compiler | Jon Skeet's coding blog — I’m lying to the compiler to get it to stop it emitting a warning. The reason is that in the case where the value is null, it won’t matter that it’s null.
• Programming Language Tourism | Bushido Codes — I am attracted to this book precisely because it is impractical. You don’t gain mastery of any programming languages. Rather, you get the chance to explore and complete a series of coding katas to expand your mind about the art of programming.
• Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages by Bruce A. Tate | The Pragmatic Bookshelf — You should learn a programming language every year, as recommended by The Pragmatic Programmer. But if one per year is good, how about Seven Languages in Seven Weeks? In this book you’ll get a hands-on tour of Clojure, Haskell, Io, Prolog, Scala, Erlang, and Ruby.
• Uno Platform — The only platform for building native mobile, desktop and WebAssembly with C#, XAML from single codebase. Open source and professionally supported.
• Uno.QuickStart — This repository is a basic sample for an Uno application which cross-targets UWP, iOS, Android and WebAssembly.

Plus some code to read, your feedback, and more!

Links:

• Elastic Beanstalk Retirement — Feedback from Sekhar
• Professional development — Question from Ashetyn
• Francesco Cesarini on Twitter — It is with great sadness that I share news of Joe Armstrong's passing away earlier today. Whilst he may no longer be with us, his work has laid the foundation which will be used by generations to come. RIP @joeerl, thank you for inspiring us all.
• Goodbye Joe — One of the amazing things Joe mentioned in his texts that was out of the ordinary compared to everything I had read before is that developers would make mistakes and we could not prevent them all. Instead, we had to be able to cope with them. He did not just tell you about a language, he launched you on a trail that taught you how to write entire systems
• Goodbye Joe in r/programming — About two weeks ago I came across Armstrong's blog for the first time and poked around at a few posts. I noticed he had recently (in the past year was my impression) discovered TiddlyWiki and rewritten his blog in it. His post talking about his eureka moment with TiddlyWiki had the feel of a very young, excited writer, so I was very surprised to later discover his age. I didn't know about him for very long, but the character described in this post really shined through.
• Joe the office mate — Joe would get wildly excited by one "big idea" for weeks at a time. This could be a new idea of his own or a "well known" idea of somebody else's: the Rsync algorithm; public key cryptography; diff algorithms; parsing algorithms; etc. He would take an idea off the shelf, think (and talk!) about it very intensely for a while, and then put it back for a while and dive into the next topic that felt ripe.
• Why OO Sucks — Note that this is an older post.
• Erlang/OTP 21.3 — Welcome to Erlang/OTP, a complete development environment for concurrent programming.
• One secret to becoming a great software engineer: read code — Similarly, seeing diverse coding practices lets you expand your palette when it comes time to write your own code. Reading others’ code exposes you to new language functionality and different coding styles.
• djblue/tetris — An almost complete tetris in clojurescript
• Animated guide to building tetris with Clojurescript
• The Mad Botter INC on Twitter — Happy #EarthDay! We are awarding a free @system76 #DarterPro to the middle or high school student that can send our CEO @dominucco an innovative idea to@fight climate change using #Linux. To submit please write up a report and diagram & email it to [email protected]

Plus the hurdles of working with an eGPU, why you should learn languages you might not use, and a neat pick for playing with HTTP.

Links:

• Mike's eGPU Goodness
• Moving on from Rails and what’s next — A lot has happened during that time. I created Diesel, an ORM for Rust. In April of last year, I began managing the operations of crates.io, which eventually led to the creation of the crates.io team which I co-lead. I also started to find myself less able to effectively contribute to Rails. It became clear that I have a different vision for the future, and that I would never make it onto the core team.
• Learn more programming languages, even if you won't use them — By learning a new language, even if it stays in your toolbox for all eternity, you gain a new perspective and a different way of thinking about problems.
• WLinux's New Name — Hayden Barnes, of Whitewater Foundry, told El Reg that WLinux was only ever supposed to be a codename, and the new name "reflects our distribution's connection to both Linux and Windows". He added "it is close to the Japanese pronunciation and transliteration of penguin, which is pengin." Japan remains the company's top market.
• Pengwin by Whitewater Foundry — Pengwin is the easiest to use Linux distribution on Windows Subsystem for Linux.
• HTTP Prompt - An Interactive Command Line HTTP Client — HTTP Prompt (or HTTP-prompt) is an interactive command-line HTTP client built on HTTPie and prompt_toolkit, featuring autocomplete and syntax highlighting.
• Linux Academy Limited Time Sale!
• LINUX Unplugged Episode 296: Defining Desktop Linux — The way we’ve been thinking about Desktop Linux is all wrong. We start by defining Desktop Linux, and where it might be going in the future.

Plus adventures with rust on MacOS, your feedback, and more!

Links:

• Feedback from Eric — I like Python as well but since I spend most of my day in .Net Framework/Core I tend to prefer dotnet-script.
• dotnet-script — Run C# scripts from the .NET CLI.
• Feedback from Tom — I haven't tried Rust yet, but it seems to have a lof of momentum. Maybe there are issues with it, but I'm not going to take advice from someone who "really doesn't care" that Rust produces safer and more secure code.
• Mike's fork of stl-thumb — Stl-thumb is a fast lightweight thumbnail generator for STL files.
• Why I miss Rails — In the transition to the modern web stack we’ve unsolved some of what tools like Rails made easy 10 years ago. I don’t think it needs to be that way.
• Luminus — Luminus is a Clojure micro-framework based on a set of lightweight libraries. It aims to provide a robust, scalable, and easy to use platform. With Luminus you can focus on developing your app the way you want without any distractions.
• Phoenix — A productive web framework that does not compromise speed or maintainability. Phoenix leverages the Erlang VM ability to handle millions of connections alongside Elixir's beautiful syntax and productive tooling for building fault-tolerant systems.
• Phoenix LiveView: Interactive, Real-Time Apps. No Need to Write JavaScript. — LiveView powered applications are stateful on the server with bidrectional communication via WebSockets, offering a vastly simplified programming model compared to JavaScript alternatives.
• How to develop Xamarin.Android applications on Linux with Rider – JetBrains Rider Support — Please note that Xamarin.Android on Linux is officially unsupported. However, it is possible to manually install Xamarin.Android and configure Rider so that it can build and run Xamarin.Android apps on Linux.
• Can not create Xamarin Application in Rider (Linux platform) – JetBrains Rider Support
• Careers – Linux Academy

Links:

• Mark's IoT Feedback
• IOKit — The I/O Kit framework implements non-kernel access to I/O Kit objects (drivers and nubs) through the device-interface mechanism.
• Does iPad Pro (2018) support IOKit? — IOKit has included iOS support since 2.0
• Elixir — Elixir is a dynamic, functional language designed for building scalable and maintainable applications.
• Craft and deploy bulletproof embedded software in Elixir
• NervesHub — NervesHub helps you manage firmware updates for Nerves devices.
• Elixir Mix Podcast — A weekly discussion with Elixir developers.
• Optional - Swift Standard Library — A type that represents either a wrapped value or nil, the absence of a value.
• Swift optionals explained simply
• F# Software Foundation — F# is a mature, open source, cross-platform, functional-first programming language
• Datomic Ions — Ions let you develop applications for the cloud by deploying your code to a running Datomic cluster.
• Rich Hickey on Datomic Ions

Links:

• Fortnite 15 Mil downloads sans Google Play
• Project Loom
• What Color is Your Function
• Generics in Go
• Elixir
• Clojure - Deps and CLI Guide
• Clojure - Getting Started
• Reitit, Data-Driven Routing with Clojure(Script)
• core.async Walkthrough
• Understanding Homoiconicity, the Power Behind Clojure Macros