I feel like this part of type systems is underrated. Programmers have to be forced to keep "docs" up to date so that we don't eventually get the black box magic in the middle of critical apps😁

There was an interesting discussion recently in Rust Jobs chat about salary and location, so here is the question:

Good article, I think I agree with most of the points. Indeed senior position requires a lot more than just coding and even architecture design.

https://skamille.medium.com/an-incomplete-list-of-skills-senior-engineers-need-beyond-coding-8ed4a521b29f

I am interested what points would you add? Or which ones you disagree with? (In the comments)

Couldn't resist to share a quote from the The Manager's Path book:

In the most extreme case, one person reported meeting only twice with his manager in the span of six months, one of those times to receive a promotion.

Rocket web server framework finally will be possible to build in Rust stable! I think people only used it for personal projects because it was in nightly, I personally did😁. Now this changes things.

https://rocket.rs/v0.5-rc/news/2021-06-09-version-0.5-rc.1/

Just as I was planning to continue reading a book on formal verification here comes a meetup about it. And as you might have guessed (if you are familiar with the field of formal verification) they will be doing this in Coq - verifying a subset of Rust programs.

https://twitter.com/RustLondon_/status/1403334223394639872?s=20

Recently was going through OCaml references. Found out that monadic operations were just* introduced in 2018, this late in the language! This was a huge surprise for me. I mean the language designers have to be really devoted to introduce such big changes this late in the language.

* People could write a monad in OCaml before, but there was no explicit support for this pattern from the language side.

Rust 1.53.0 is out!

Nested or patterns, Unicode identifiers, IntoIterator for arrays and some other minor changes https://blog.rust-lang.org/2021/06/17/Rust-1.53.0.html

I should probably write my own WASM runtime one day :)

The WebAssembly runtime Wasmer 2.0 is released: up to +50% faster runtime speed, up to 70% faster hot startups, reference types, SIMD and more!

https://wasmer.io/posts/wasmer-2.0

The joke about Unicode support. The thing is it will print 14, but it also will give you a ton of warnings.

https://twitter.com/tomaka17/status/1405546676790587392?s=19

From hacker news comments:

If the computer solves problems and we know what it's doing, that's software engineering If the computer solves problems and we don't know what it's doing, that's AI If the computer doesn't solve problems and we don't know what it's doing, that's Friday afternoon

Another quote from The Manager's Path book that I wanted to share:

There are some projects, usually described by words like infrastructure, platform, or system, that require architecture or significant advanced planning. When faced with this kind of project, which includes many unknowns and relatively hard deadlines, you will find it doesn’t fit so well into the standard agile process.

I really do think that Agile fans are sometimes just a bit too eager to see it everywhere.

In my years at Google and AWS, we had outages and failures, but very very few of them were due to anything as simple as a software bug. Botched deployments, throttling misconfigurations, cert problems (OMG cert problems), DNS hiccups, an intern doing a load test with a Python noscript, malfunctioning canaries, there are lots of branches in that trail of tears. But usually not just a bug. I can’t remember when precisely I became infected, but I can testify: Once you are, you’re never going to be comfortable in the presence of untested code.

https://www.tbray.org/ongoing/When/202x/2021/05/15/Testing-in-2021

Origin: https://twitter.com/jschauma/status/1409608031508303875?s=19

Here is my Monday pick of a programming language😁: Flix

- Developed in Aarhus University
- Syntax similar to Scala
- Functional First
- Design inspired by Haskell, Rust, Scala
- Has Higher Kinded Types
- Checks purity and impurity at type level
- Has a special contract (constraint) language

Actually at the first glance I would say I like it a lot. I really think that Haskell over-engineered with their IO monad, and Scala has no built-in purity checks. So here we go. Might actually give it a try.

Microsoft seems quite serious about their love for Linux lately. Recently they released a first version of their own Linux Distribution https://github.com/microsoft/CBL-Mariner

Just found this podcast from Jane Street (the famous finance company that uses OCaml). They talk about a variety of topics from OS to UI to compilers.

Mainly they discuss how their teams work on these topics. Seems like a hell of an insight into FP at scale.