Only thing that changed where I am is if you have any formal methods experience you get called first. Otherwise interviews are the same more or less with more emphasis on reading code and being asked is there a more…
Will we even read code once AI just generates platform native executable binaries using a blackbox AI optimized compiler we have no access to? Seems we will be writing programs using some kind of logical formal…
True they can also get information from the public ssh key like if you used a real email address or name to start spear phishing or who knows what else like extortion threats to your company
You could try a beginner 'lightweight formal methods' book then learn how to make a model of whatever LeetCode algorithm you optimized and test it for correctness https://forge-fm.github.io/book/2026/ Could also find…
The Ebury botnet that's been around for a decade now is likely spying on Tor exit ssh tunnels looking for other criminals logging into their h4xxr jump boxes, ransomware deployments they can intercept and exploit…
A Yubikey, though simply generating ssh keys instead of using passwords would stop this MITM attack. So would changing the rounds and port of ssh on your system and the remote box making yourself an invisible protocol…
The author of that book has a course for it too https://61040.github.io/fa26/schedule/ It's sort of an analytical way to design a user interface and is pretty helpful I find
Try this book https://essenceofsoftware.com/ For example your personal website has a concept with no purpose the upper right oval things which are PgUp/Dn on my phone display. If you learn basic conceptual design you…
I agree with the 3blue1brown guy because now is the time to reinvent all pure math so it actually works. The other day I worked through a paper that redefines probability using game theory as a foundation and it was…
He can apply to any quant researcher job and would be hired right away but not for the starting salary he expects. A big place that takes junior researchers would want him. DEA also hires forensic chemists so does…
If you remove the paywall and translate it's the A/I group being shut down https://www.state.gov/releases/office-of-the-spokesperson/20... The Dutch police imaged the drive, gave it to the Americans and gave the server…
I like the fancy security theatre display that the Trezor device has but turns out it initializes with a copy of the legitimate firmware then saboteurs simply overwrite the random seed generator with a predetermined…
Expii did something similar but abandoned the AI judge that gave you more practice though I don't know why
In Sussman's book 'Software Design For Flexibility' he uses Match? in the pattern matching chapter to run on graphs. I think OCW archived his MIT course for the book too
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.
Only thing that changed where I am is if you have any formal methods experience you get called first. Otherwise interviews are the same more or less with more emphasis on reading code and being asked is there a more…
Will we even read code once AI just generates platform native executable binaries using a blackbox AI optimized compiler we have no access to? Seems we will be writing programs using some kind of logical formal…
True they can also get information from the public ssh key like if you used a real email address or name to start spear phishing or who knows what else like extortion threats to your company
You could try a beginner 'lightweight formal methods' book then learn how to make a model of whatever LeetCode algorithm you optimized and test it for correctness https://forge-fm.github.io/book/2026/ Could also find…
The Ebury botnet that's been around for a decade now is likely spying on Tor exit ssh tunnels looking for other criminals logging into their h4xxr jump boxes, ransomware deployments they can intercept and exploit…
A Yubikey, though simply generating ssh keys instead of using passwords would stop this MITM attack. So would changing the rounds and port of ssh on your system and the remote box making yourself an invisible protocol…
The author of that book has a course for it too https://61040.github.io/fa26/schedule/ It's sort of an analytical way to design a user interface and is pretty helpful I find
Try this book https://essenceofsoftware.com/ For example your personal website has a concept with no purpose the upper right oval things which are PgUp/Dn on my phone display. If you learn basic conceptual design you…
I agree with the 3blue1brown guy because now is the time to reinvent all pure math so it actually works. The other day I worked through a paper that redefines probability using game theory as a foundation and it was…
He can apply to any quant researcher job and would be hired right away but not for the starting salary he expects. A big place that takes junior researchers would want him. DEA also hires forensic chemists so does…
If you remove the paywall and translate it's the A/I group being shut down https://www.state.gov/releases/office-of-the-spokesperson/20... The Dutch police imaged the drive, gave it to the Americans and gave the server…
I like the fancy security theatre display that the Trezor device has but turns out it initializes with a copy of the legitimate firmware then saboteurs simply overwrite the random seed generator with a predetermined…
Expii did something similar but abandoned the AI judge that gave you more practice though I don't know why
In Sussman's book 'Software Design For Flexibility' he uses Match? in the pattern matching chapter to run on graphs. I think OCW archived his MIT course for the book too
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.