miniblog.

Air to ground and satellite connections for in-flight WiFi: https://onezero.medium.com/what-makes-it-possible-to-browse-the-internet-at-35-000-feet-1afaea83eb5 (It's expensive, affects the plane's shape and fuel efficiency, and the fastest is still only 100 Mbps!)

Saw a cute definition of open technology today: "it's well suited for unplanned purposes".

An unsoundness in Rust using only safe code! Rust provides a bunch of guarantees so it's always interesting to see the rare ways it can be broken. I think this is the first unsoundness since the thread spawn issue after 1.0? https://internals.rust-lang.org/t/unsoundness-in-pin/11311

FOSS businesses, cloud service models, and who is eating whom:

Optical disks can suffer from a 'rot' where the material degrades over time, rendering the content unreadable:

Arbital is a really neat website design intended to help readers learn concepts. Unlike e.g. Wikipedia, it can present the same content at different levels of complexity and dynamically show you the prerequisites for learning a given topic! https://arbital.com/learn/Arbital_author_basics

I really like the gather macro, abstracting the idea of accumulating a list of results: https://stevelosh.com/blog/2018/05/fun-with-macros-gathering/ I often use `yield` for this in Python, but it gives both laziness and accumulation, so the reader has to work out which you wanted.

Huawei developing a FOSS operating system and trying to get it off the ground:

Looking at performance of a new site I've written, and realised I'm slowly serving over 600 KiB of CSS! I suppose the first set of profiling data is often surprising.

PHP is adding union types, and even has a 'false' type to clarify the possible return values from built in functions!

Clippy has a ton of clever lints I haven't seen before. E.g. it suggests that `let _v = println!("hello");` could be `println!("hello");` because a variable of type () is pointless. Warning about recursion in main is an excellent idea too.

On sleep, human factors, and things that are known to improve performance more than technology choices:

Using spaced repetition apps with 1Password to help you memorise passwords without storing them in plaintext: https://boinkor.net/2018/11/memorizing-passwords-with-anki-1password/ Cute idea, although ideally a password manager minimises the memorisation necessary. It's a nice example of composing apps though.

A (slightly dramatic) history of Engelbert's vision for knowledge tools, his prototypes on early timesharing systems, and the transition to personal computers:

"Real languages start with all types on the left, and then drift to the right in old age. Like people." Fun, tongue-in-cheek review of Rust.