> Yes, you can. USA-specific: At ~$38K/year (including SS) you probably need to own a home without substantial deferred maintenance to make it work. So you can retire on $250K but only if you're over 62 and only if you…
> Having a good REPL is a huge advantage for beginners (and expert users too), but I'm not aware of any (popular) statically-typed languages with a good REPL. scala's repl is decent. It has its annoyances, but so does…
The performance hell thing is also also kind of a virtue, though. The language is awful, but the libraries you need to use to do any real compute (numpy, torch, sympy, etc) keep you in a few pretty well-constrained…
> I am almost 4 years in Also worth mentioning 2026 - 4 = 2022. Not a great year to be stick building from a cost perspective.
> So we should let all those people suffer to promote a small group of founders by reducing course load? IMO, from a societal perspective, it's (ironically!) exactly the opposite. On the margin, reducing specialized…
This was my thought when I read the title, but after reading the essay I don't think it's really even about VC and founders. The essay's critique and resulting prescriptions apply equally well to the work of preparing…
> I've literally never heard anyone conflate an agent and a model. Ever. Author is a senior staff engineer. A big part of his job is to help more junior engineers and non-technical decision makers understand basics. Not…
> People generally like socializing Heh. Your first premise cuts in the wrong direction. I don't think I've ever met a scientist who didn't complain about meetings :)
> eminent I would use a different adjective: exceptional. There are not not times where lone geniuses produce amazing output. But most of humanity's progress over the last few thousand years (or at least certainly the…
People say similar things about automation of software engineering. Different, but similar. I'm deeply suspicious. I do not yet have a concise statement for why, but a lot of literature on the sociology of knowledge…
I do not understand small engines, but I would've thrown away a perfectly good honda 4 stroke this summer if I didn't have an LLM to help me with the diagnosis. (And I only reached for the LLM after working through all…
It's not a Mathematics degree. It's not even a Philosophy of Mathematics degree. It's a particular type of Philosophy degree. So, to be fair: most philosophy majors wouldn't have much luck with Rudin. > Dive into the…
> who claim they have read/studied a) Euclid's Elements Of the lot, Elements feels misplaced. Lots of people actually do read Elements as part of their course of study. It's niche but there's a whole cottage industry…
That sort of vulnerability scanning is at best legally dubious, and almost certainly illegal under CFAA and similar state statues when there's clear criminal intent. That's why the 2022 DOJ guidance regarding…
Yes, it's probably the most important trick in formal methods. Often surprisingly difficult to make it actually work, but when it does you can end up with a powerful tool. In a past life I spent a lot of time on that…
I think you probably got this, but spelling it out anyways for future readers. The conceptual gap I'm referring to here has nothing to do with formal methods per se. It's just an analogous problem with the quanta of…
I think every formal methods phd student who's interested in adoption of their techniques/tools has a short bout of doubt/depression upon realizing just how large of a surface area for bugs lives in a sufficiently…
thx for notes; no complaints on my end. edit: edited.
> We’re fast reaching... We already arrived at that destination a decade ago. Probably even further back tbh. There's just a lot more people playing the game now, without the social indoctrination that made it more…
> Perhaps I'm imagining it You are not. A disproportionate amount of value in the computing industry was created by <strike>geniuses</strike> decently smart people who worked together and who decided to just tell people…
> wagons Wagons (as sold in the US market anyways) are passenger vehicles and therefore have the same problem as the Forester[^1]: your saw leaking some gas or bar&chain is kinda not ok. Or insert any other "thing that…
> Roof rack for long stuff. Unfortunately I'm 5'7 and even the low roof transit is 6.8. So it's paying >$10K more for a pretty non-ergonomic solution. > seems too small to even be useful for that. One advantage of a bed…
I did consider. Maybe in the past, but the size thing isn't really true of the modern line-up. Relative to eg a base Tacoma or especially a Maverick, The Ford Transit has about the same wheel base, is slightly heavier,…
American trucks are built for towing -- it's one of the reasons they are so big and heavy and expensive -- so I get where the "trucks are for towing" wisdom comes from. But it's still funny to me. Because in my mind one…
> But who knows maybe it’s already full of stuff under there This is why I'm excited for REO. I live in a pretty dense city and don't have much storage space in my residence. On the weekends I'm clearing and developing…
> Yes, you can. USA-specific: At ~$38K/year (including SS) you probably need to own a home without substantial deferred maintenance to make it work. So you can retire on $250K but only if you're over 62 and only if you…
> Having a good REPL is a huge advantage for beginners (and expert users too), but I'm not aware of any (popular) statically-typed languages with a good REPL. scala's repl is decent. It has its annoyances, but so does…
The performance hell thing is also also kind of a virtue, though. The language is awful, but the libraries you need to use to do any real compute (numpy, torch, sympy, etc) keep you in a few pretty well-constrained…
> I am almost 4 years in Also worth mentioning 2026 - 4 = 2022. Not a great year to be stick building from a cost perspective.
> So we should let all those people suffer to promote a small group of founders by reducing course load? IMO, from a societal perspective, it's (ironically!) exactly the opposite. On the margin, reducing specialized…
This was my thought when I read the title, but after reading the essay I don't think it's really even about VC and founders. The essay's critique and resulting prescriptions apply equally well to the work of preparing…
> I've literally never heard anyone conflate an agent and a model. Ever. Author is a senior staff engineer. A big part of his job is to help more junior engineers and non-technical decision makers understand basics. Not…
> People generally like socializing Heh. Your first premise cuts in the wrong direction. I don't think I've ever met a scientist who didn't complain about meetings :)
> eminent I would use a different adjective: exceptional. There are not not times where lone geniuses produce amazing output. But most of humanity's progress over the last few thousand years (or at least certainly the…
People say similar things about automation of software engineering. Different, but similar. I'm deeply suspicious. I do not yet have a concise statement for why, but a lot of literature on the sociology of knowledge…
I do not understand small engines, but I would've thrown away a perfectly good honda 4 stroke this summer if I didn't have an LLM to help me with the diagnosis. (And I only reached for the LLM after working through all…
It's not a Mathematics degree. It's not even a Philosophy of Mathematics degree. It's a particular type of Philosophy degree. So, to be fair: most philosophy majors wouldn't have much luck with Rudin. > Dive into the…
> who claim they have read/studied a) Euclid's Elements Of the lot, Elements feels misplaced. Lots of people actually do read Elements as part of their course of study. It's niche but there's a whole cottage industry…
That sort of vulnerability scanning is at best legally dubious, and almost certainly illegal under CFAA and similar state statues when there's clear criminal intent. That's why the 2022 DOJ guidance regarding…
Yes, it's probably the most important trick in formal methods. Often surprisingly difficult to make it actually work, but when it does you can end up with a powerful tool. In a past life I spent a lot of time on that…
I think you probably got this, but spelling it out anyways for future readers. The conceptual gap I'm referring to here has nothing to do with formal methods per se. It's just an analogous problem with the quanta of…
I think every formal methods phd student who's interested in adoption of their techniques/tools has a short bout of doubt/depression upon realizing just how large of a surface area for bugs lives in a sufficiently…
thx for notes; no complaints on my end. edit: edited.
> We’re fast reaching... We already arrived at that destination a decade ago. Probably even further back tbh. There's just a lot more people playing the game now, without the social indoctrination that made it more…
> Perhaps I'm imagining it You are not. A disproportionate amount of value in the computing industry was created by <strike>geniuses</strike> decently smart people who worked together and who decided to just tell people…
> wagons Wagons (as sold in the US market anyways) are passenger vehicles and therefore have the same problem as the Forester[^1]: your saw leaking some gas or bar&chain is kinda not ok. Or insert any other "thing that…
> Roof rack for long stuff. Unfortunately I'm 5'7 and even the low roof transit is 6.8. So it's paying >$10K more for a pretty non-ergonomic solution. > seems too small to even be useful for that. One advantage of a bed…
I did consider. Maybe in the past, but the size thing isn't really true of the modern line-up. Relative to eg a base Tacoma or especially a Maverick, The Ford Transit has about the same wheel base, is slightly heavier,…
American trucks are built for towing -- it's one of the reasons they are so big and heavy and expensive -- so I get where the "trucks are for towing" wisdom comes from. But it's still funny to me. Because in my mind one…
> But who knows maybe it’s already full of stuff under there This is why I'm excited for REO. I live in a pretty dense city and don't have much storage space in my residence. On the weekends I'm clearing and developing…