Had to modify some program so just read the code and guessed mimicking what I read. It mostly just worked so continued doing that and reading enough docs I could write my own. Did that hacking for years until I finally read a real book on programming languages I think it was SICP but could have been something else before that like a SML compiler book

"Lightweight formal methods" meaning you build a model of some program logic and test it's properties hold. https://forge-fm.github.io/book/

Beyond that is dependent types

I assume this works where the ransomware authors, who likely are in some untouchable nation and the son of some major politician, provide a binary/kit with their own addresses to take the ransom then pay the person who planted it out minus their cut. Those wallets used for paying crime commissions are probably reused often or otherwise identified as they don't care if you get caught and you need to either sit on those coins for years until the limitations runs out or have enough knowledge to (correctly) wash them and anyone doing this is already making bad life decisions so likely greedy and cashed those in a traceable way like driving to work in his new Ferrari.

> untouchable nation

like the USA /s

Sometimes except I learned the hard way that if you write everyday Python math code it's actually variable-time arithmetic and totally unsuitable for applied cryptography, oops

You could always have a theme then publish the rest as "online extras" many books do that recently

These sort of books are meant to be discursive in nature giving one an exposure to various facets in a domain. That is their "theme". For a layman/common reader this is actually quite welcome since it does not drown-him-in-depth/demotivate-him but gives an overview (possibly interconnecting) of the subjects involved.

For example the Stillwell book i mentioned above has chapters on Arithmetic, Computation, Algebra, Geometry, Calculus, Combinatorics, Probability and Logic thus making it an excellent book to peruse.

Math was always the stumbling block for me then I realized through work how easy it is with pure rational or reals except when you need to translate it to an algorithm now you are throwing out all the elegant linear algebra for a numerical representation and using obscure characteristic polynomial constructs just to run a program and now math sucks again I went back to the beginning.

A nice course for this is of course TAOCP volume 2 old testament or MITs math github https://github.com/mitmath/18335/tree/spring22 (change the yr to suit) like we can't even have nice things like gradient descent anymore because it zigzags and is too inefficient

Brown PLT group has a lot of Rust resources like a debugger for traits https://cel.cs.brown.edu/blog/an-interactive-debugger-for-ru... a model of ownership types https://blog.brownplt.org/2023/09/17/rust-ownership.html and an experimental rewrite of the Rust book https://rust-book.cs.brown.edu/

Systems programming can be done in ocaml or any language really where there is some documentation on the runtime how not to trigger the GC or flags that can be passed to custom set GC policy

Wildberger has videos about this on his YouTube channels. He came up with 'universal geometry' to get around the parallel assumption in Euclidean geometry if foundations interest you. He at least will enumerate all the cases needed for foundations to work if you're screwing around with your own for fun. Here's one example https://youtu.be/EvP8VtyhzXs

There's a guy in his 50s doing ultra marathons named Kerry Ward who films some of his runs, he came in 11th during the Moab 240 miler which is 2-3 days of running https://youtube.com/@fulltiltward

There's some good lectures from CMU if you search for 15-213 on YouTube. The lectures explain how x86-64 works and enough about operating systems you know how virtual memory and signals work. Then any OS resource listed here or try MITs it has YouTube lectures https://pdos.csail.mit.edu/6.828/2021/schedule.html