I still find it faintly incredible that no group of scientists has gotten together and just made a damn set of free textbooks to cover the whole standard curriculum of their field. For uni physics, you'd need, roughly speaking and allowing for bits of overlap:
1. Classical mechanics
2. Single-variable calculus
4. Multivariable and vector calculus
5. Statistical physics
6. Quantum physics
7. Special relativity
8. Data analysis (a text most likely used as reference in a lab course)
9. Differential equations
10. Linear algebra
Education reform went haring off into MOOCs without really contemplating the possibility of making better resources for more traditional in-person teaching.
OpenBIOS - open source Forth firmware
So here is it. Some formalization of/around symbolic dynamics in Coq:
Not much really. But feel free to ask questions, give advice, and/or reuse.
I have compiled my official mail provider recommendations. With any provider, you must always use your own domain.
Good: Down to earth. Unlimited domains, storage, etc. Full marks for philosophical, ethical, and technical merits.
Bad: Difficult to set up. UI is a bit confusing. Advertises itself in your signature in the free plan. Apparently blocks VPN and Tor users (I have reached out to them about this).
Note: Was unable to evaluate their webmail
Good: excellent PGP support and good on other security fronts as well
Bad: requires google captcha, does not handle plaintext as well as I'd like, german leaks through into the english interface sometimes, too scatterbrained
Good: Goes above and beyond in support for various standards and protocols, handles plaintext email very well. Lots of good options for account security.
Bad: rough UI
migadu is hard to set up but is the best all-around offering. If you're security concious, mailbox.org has the best PGP support and good all-around security; runbox.com has good account security options but no built-in PGP support.
Evaluated but not recommended: disroot, fastmail, posteo.de, poste.io, protonmail, tutanota, riseup, cock.li, teknik, megacorp mail (gmail, outlook, etc)
Is my interest field to broad, or am I simply dumb?
"Det er rart at en jævla finne i en badstu starta hele den greia der" - my friend on #linux
@vertigo Your verilog checklist is strange to me, but I love reading it😄
I like to find the "essence" of things. And I like "categories". 🤔
The complex reality of the technologies that real companies leverage to get ahead emphasizes the absurdity of the now common idea that exposure to simplistic, consumer-facing products--especially in schools--somehow prepares people to succeed in a high-tech economy. Giving students iPads or allowing them to film homework assignments on YouTube prepares them for a high-tech economy about as much as playing with Hot Wheels would prepare them to thrive as auto mechanics
-- Cal Newport, Deep Work
Tell me when I'm being dumb!
Things I like:
C, verilog, suckless, muntzing, philosophy, nofx, weirdporn, ...
Generalistic and moderated instance. All opinions are welcome, but hate speeches are prohibited. Users who don't respect rules will be silenced or suspended, depending on the violation severity.