It's a welfare economics theory course that requires many frameworks with measures where you are maximizing some graphical representation. It also requires assumptions to work and can be visualized in a model where you…
They're going to have change everything so use of an AI assistant doesn't matter because once they graduate they're just going to continue using it anyway. If it's a math for finance course then some kind of model…
Usually it's paired with an Apache license to prevent patent lawsuits but the problem was that anyone could make a proprietary fork and then actively steal your labor. For example Apple yoinking the BSD packet filter…
The origins of mandatory education was Athens citizens being bamboozled by rhetoric all detailed here in this lecture https://youtu.be/H0z9sJyTv2w Neitzsche had an interesting set of lectures he gave about the future of…
Using lightweight formal methods to verify models that the AI later builds. Example is Forge: https://forge-fm.github.io/book/2026/ Another skill is conceptual design or figuring out how the user interface should work…
Knuth had to stop sending real checks for errors spotted in his books because they would post pics of the check and thieves abused the account https://www-cs-faculty.stanford.edu/~knuth/news08.html
AI can't yet come up with any new ideas to make the inductive leap to solve a math problem. New ideas are what get the accolades and using an old idea just means the original author missed something. We are still at the…
There's a livestream every Tues about house/landscape remodeling I've followed for years to fix my own property https://m.youtube.com/@PerfectGuyLife/streams and they talk about how any good contractor will never run…
There's a well run diner here beside the courts and because they have booths which are a little more private than tables it's always full of lawyers with clients or architects with builders that need space to lay out…
This is how you get to 10x with a LLM in my limited agentic experience for doing all the scratchwork of architecting a program before you generate it: The user facing part of your program can be planned out using…
I still write anything critical by hand. For example some app that accepts uploads of PDFs to change format I'm going to escape and prep that data by hand so the vibe coded microservices only ever see cleaned/safe data.
If you can skip some or all electives and instead receive credits for joining research on campus as an undergraduate then it's worth it. There were a few TAs at my school who joined some professors project and only did…
AI copilots and prompts give me massive lines of imperative OCaml and the interface for that code always requires changing to properly describe the data it will receive when I can write it myself in a few minutes. I can…
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…
"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…
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
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…
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…
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…
We all know why the Lovelace myth still persists http://projects.exeter.ac.uk/babbage/ada.html "It is often suggested that Ada was the world's first programmer. This is nonsense: Babbage was, if programmer is the right…
Erik Demaine's DS class has a bunch of range trees and cascading method to speed up queries https://courses.csail.mit.edu/6.851/spring21/lectures/
Yep Knuth learned by reading an IBM manual with source code while sitting on a beach during summer vacation. Decades later systems hackers learned by reading illicit copies of Lions' Commentary on Unix w/Source
It's a welfare economics theory course that requires many frameworks with measures where you are maximizing some graphical representation. It also requires assumptions to work and can be visualized in a model where you…
They're going to have change everything so use of an AI assistant doesn't matter because once they graduate they're just going to continue using it anyway. If it's a math for finance course then some kind of model…
Usually it's paired with an Apache license to prevent patent lawsuits but the problem was that anyone could make a proprietary fork and then actively steal your labor. For example Apple yoinking the BSD packet filter…
The origins of mandatory education was Athens citizens being bamboozled by rhetoric all detailed here in this lecture https://youtu.be/H0z9sJyTv2w Neitzsche had an interesting set of lectures he gave about the future of…
Using lightweight formal methods to verify models that the AI later builds. Example is Forge: https://forge-fm.github.io/book/2026/ Another skill is conceptual design or figuring out how the user interface should work…
Knuth had to stop sending real checks for errors spotted in his books because they would post pics of the check and thieves abused the account https://www-cs-faculty.stanford.edu/~knuth/news08.html
AI can't yet come up with any new ideas to make the inductive leap to solve a math problem. New ideas are what get the accolades and using an old idea just means the original author missed something. We are still at the…
There's a livestream every Tues about house/landscape remodeling I've followed for years to fix my own property https://m.youtube.com/@PerfectGuyLife/streams and they talk about how any good contractor will never run…
There's a well run diner here beside the courts and because they have booths which are a little more private than tables it's always full of lawyers with clients or architects with builders that need space to lay out…
This is how you get to 10x with a LLM in my limited agentic experience for doing all the scratchwork of architecting a program before you generate it: The user facing part of your program can be planned out using…
I still write anything critical by hand. For example some app that accepts uploads of PDFs to change format I'm going to escape and prep that data by hand so the vibe coded microservices only ever see cleaned/safe data.
If you can skip some or all electives and instead receive credits for joining research on campus as an undergraduate then it's worth it. There were a few TAs at my school who joined some professors project and only did…
AI copilots and prompts give me massive lines of imperative OCaml and the interface for that code always requires changing to properly describe the data it will receive when I can write it myself in a few minutes. I can…
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…
"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…
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
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…
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…
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…
We all know why the Lovelace myth still persists http://projects.exeter.ac.uk/babbage/ada.html "It is often suggested that Ada was the world's first programmer. This is nonsense: Babbage was, if programmer is the right…
Erik Demaine's DS class has a bunch of range trees and cascading method to speed up queries https://courses.csail.mit.edu/6.851/spring21/lectures/
Yep Knuth learned by reading an IBM manual with source code while sitting on a beach during summer vacation. Decades later systems hackers learned by reading illicit copies of Lions' Commentary on Unix w/Source