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 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 michael@themadbotter.com

Plus Mike reviews the System76 Darter Pro, our tool of the week, and some fantastic audience feedback.

Links:

• TechSNAP Episode 388: The One About eBPF — eBPF is a technology that you’re going to be hearing more and more about. It powers low-overhead custom analysis tools, handles network security in a containerized world, and powers tools you use every day.
• Feedback from Tom — I don't think people need to worry about Google's/Chrome's dominance the way we did about IE6. It's not just that Chrome is cross-platform and open-source, and (with Chrome Web Apps well behind us) sticks to the standards in a way that IE did not. Practically speaking, we must keep in mind that the browser is locked down on iOS in a way that didn't exist (and wouldn't have been tolerated) back then. This means that no matter how popular Chrome becomes, an importnat portion of mobile users must use Apple's browser (engine). But also, now matter how much effort, money Google puts into their web initiatives and in spite of their browser share dominance, they can lose big as they did with web components and webasm. That's the beauty of a standards based platform.
• How to publish iOS apps to the App Store with GitLab and fastlane — See how GitLab, together with fastlane, can build, sign, and publish apps for iOS to the App Store.
• Inside Clojure: Journal 2019.10 — Some tests I wrote were posted on Reddit this week, which was unexpected. The one thing in there that I think is worth thinking about is how to write tests that validate returns while also being open to accretion.
• QuickCheck: Automatic testing of Haskell programs — QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases.
• Darter Pro Review - dominickm.com — My continuing adventures in Linux hardware and working on Linux as a software developer has lead me to check out the System 76 Darter Pro.
• Google+ API Shutdown — Legacy Google+ APIs have been shut down as of March 7, 2019.
• omniauth-google-oauth2: Oauth2 strategy for Google — A ruby gem for Oauth2 with Google.
• Mention removal of Google+ API usage in CHANGELOG by stanhu · Pull Request #350 · zquestz/omniauth-google-oauth2
• code-server: Run VS Code on a remote server. — Code on your Chromebook, tablet, and laptop with a consistent dev environment, take advantage of large cloud servers to speed up tests, compilations, downloads, and preserve battery life when you're on the go.

Plus Wes’ reluctant ruby adventures and our pick to ease your javascript packaging woes.

Links:

• rbenv: Groom your app’s Ruby environment — Use rbenv to pick a Ruby version for your application and guarantee that your development environment matches production. Put rbenv to work with Bundler for painless Ruby upgrades and bulletproof deployments.
• Serverless Feedback from TomEnom — One thing you left out of your definition of serverless (IMO) that I find important is that it scales to zero. So if your lambda/function is not being used it incurs zero cost. I guess you could say that that is where serverless becomes literal.
• Install openSUSE on Digital Ocean — Unfortunately, Digital does not at present have an option for an openSUSE image. That doesn’t mean that you can’t use openSUSE on Digital Ocean, but it is going to be a little more work than most common Linux distributions.
• What is Pika? — Pika's mission is to make modern JavaScript more accessible by making it easier to find, publish, install, and use modern packages on npm.
• Introducing: pika/pack — If you’ve recently published a package to npm, you know how much work goes into a modern build process. Transpile JavaScript, compile TypeScript, convert ES Module syntax (ESM) to Common.js, configure your package.json manifest… and that’s just the basics.
• Implications of Rewriting a Browser Component in Rust - Mozilla Hacks
• Rust use case study in npm [pdf] — The npm Registry uses Rust for its CPU-bound bottlenecks.

Plus the latest on Mike's road to Rust, some great feedback, and more!

Links:

• Choose Linux — The show that captures the excitement of discovering Linux.
• Reddit Feedback for Episode 341
• Vapor (Server-side Swift)
• Apple: Trust us, we've patented parts of Swift, and thus chunks of other programming languages, for your own good — In the past day or so, developers working with the language have highlighted on Swift discussion forum Cupertino's intellectual property land-grab, expressing concern that the patents – which are assigned to Apple rather than the Swift project – may expose those writing Swift applications to future legal jeopardy.
• Swift Forums: Apple is indeed patenting Swift features
• Programming system and language for application development
• DHH on Twitter (1) — Treating the web as a “compile target” washes away much of what‘s so special about it. Reducing the web to just another closed platform, like Windows or iOS, is to be blind to its truly unique shape and promise. Let’s cherish what made the web special, not pave it over.
• DHH on Twitter (2) — Web Assembly is exciting in a lot of ways. This isn’t one of them. Hopefully we’ll keep HTML/CSS/JS readable, tinkerable, teachable for all the work that doesn’t need Web Assembly.
• WebAssembly FAQ
• WebAssembly Use Cases
• WebAssembly support in Unity

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