- Svelte, a compiled front end JavaScript framework https://svelte.dev/ https://svelte.dev/ - Nix, a functional package manager https://nixos.org/nix/ https://

- Svelte, a compiled front end JavaScript framework https://svelte.dev/ https://svelte.dev/ - Nix, a functional package manager https://nixos.org/nix/ https://nixos.org/nix/ basically, to install stuff, instead of running `sudo apt install your_package` you edit `/etc/nixos/configuration.nix` and then regenerate your OS from the config stored in that file using `nixos-rebuild switch`. The benefit is that then you can take that file to a new computer with a new installation of NixOS and regenerate much of the state of your system just with that one file. - QUIC and HTTP/3. I think you have to read the RFCs starting with HTTP/2 to understand it, but really I just mean that you should be aware of them. I think HTTP/3 should start to really exist some time this year and you should consider enabling it in nginx once it becomes available. - Rust - A dependently typed programming language like Idris https://www.idris-lang.org/ https://www.idris-lang.org/ https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i... or Lean https://leanprover.github.io/tutorial/ https://leanprover.github.io/tutorial/ or one of the older ones like Coq or Agda https://plfa.github.io/ https://plfa.github.io/ - Python type hints and async - Deno (JS runtime by the creator of Node.js) https://deno.land/ https://deno.land/ - zstd, a relatively new compression algorithm https://github.com/facebook/zstd https://github.com/facebook/zstd https://quixdb.github.io/squash-benchmark/ https://quixdb.github.io/squash-benchmark/ - BLAKE2b, which is the new hashing function you should be using. It's faster than MD5 and cryptographically secure. https://blake2.net/ https://blake2.net/ - Keras - How to make VR applications (probably with Unity). Not technologies: - Homotopy Type theory https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/ - Zero Knowledge Proofs