Not Forth, but if you want a game that kind of feels a little like the GA144 then you might be interested in TIS-100 https://store.steampowered.com/app/370360/TIS100/ .
I wonder if this is true (I am less than a layman, so feel free to disregard). My feeling on this is that math is amenable to LLM based development because the formalism of LEAN + the ability of AI to nudge research…
Joining you at your "off topic" table, I think it is interesting how the words "jump the shark" have moved from the idea of a sort of loss of coherence in plotlines (writers are checked out) to a general term for a…
I disagree with this. I'm okay with permissive permitting of self driving (it seems to be much safer according to their own studies, which I am willing to skeptically accept), but where I agree is being permitted should…
Really? Bad luck, I have literally never had that happen! What time was this? Because Austin is closing down 35 in the evening and it is just doing crazy things to traffic. Maybe it was that?
It was January I think and I don't remember our thought process. I think we mostly just remember looking at the fandom or whatever crap was there and thinking how out of date that stuff was. We also just wanted to try…
Agreed, a buddy and I wrote a simple mod that shimed into Warhammer 40K: Rogue Trader and were able to pull all of the art and description assets for that game by walking the object graph. Took about 4 hours total…
To play the devils advocate here (just for software), I would say principally this: "A world where starting is incredibly easy and finishing is more complicated than ever" LLM's do allow you to oneshot huge starting…
This is the main thing that raises my eyebrow. If you are constantly churning your codebase to the point that you need to invent a system that handles your churn... then you must at least be admitting that the previous…
Getting a 24 out of 36 response rate on your applications is an S tier level response rate. I mean, the news is bad (rejection), but that is pretty incredible. I can't make up my mind if that means he is so good that…
By my own, completely arbitrary split of this into 16 predictions, I would say that this hits on maybe 8 of 16 if we are being a bit generous. Which is good, but certainly not "Inevitable" (the title of the book). With…
Is it a pun or something? I have been called dense. I actually resized my browser thinking maybe something weird was going on with flex-wrap or overflow or whatever it is.
> And for theoretical fields labs don’t need human data - synthetic one works well if not better. How could that be true? I am a mathematical rube, but surely data that works "better" than real data should be extremely…
It's always seemed odd to me that your employer somehow sponsors your Green Card. It always felt like it should simply be a measure of A) How long you have been working as an H1B in the united states (say 10 years). B)…
Oh wow, that is truly awesome then! I thought it was a qualifier, but it actually is the means of solution (yeah, confusing title).
The full title is "Truly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in Sparse Lopsided Graphs". Is that the same thing as getting subqudratic time in general 3SUM? How much carrying is the Sparse Lopsided…
My assumption is you clearly don't have vulnerable or elderly people in your life? I'm not as concerned about my ability to navigate these waters as I am about the people I care about.
Children of Strife (Children of Time #4) This may be my favorite "Children of Time" book yet (and I really liked the first and second book). I'd say the biggest reason I enjoy science fiction is being exposed to new…
I have no real answer to this. People who I know who are actually really good at math (and are paid for it) say that there is no shortcut to interest and wrestling/thinking about the problems. You have to mule over…
Mathacademy is meeting a market demand, which mostly seems to be being good enough to solve problems in several standardized math courses. In that regard, I think it is a thing that I would prescribe to any student…
I have not detected anything wrong with mathacademy, it does what it says on the tin. With that said, I stopped using it myself as I felt that my ability to "find the slope intercept form of blankety blank" did not…
I'm probably just behind the curve, but I still use plan mode quite a bit in Claude Code. I iterate on the plan repeatedly until it largely agrees with what I want. Once it seems good I ask it to build the plan and open…
This is not them standing up for the small guy, this is them seeing their actual profit center in retail (advertisement and paid promotion) evaporating if human beings never view their listings.
It's worse than that, they will block all agents and specifically make exceptions for maybe 2 search engines per country. Thereby strengthening existing players and weakening all incumbants. Cloudflare for instance does…
My main problem with PE is that it is being invested in by things that I do not consider "investors" like retirement funds, teacher's pensions, annuities, etc. Many of these things have sort of implicit guarantees from…
Not Forth, but if you want a game that kind of feels a little like the GA144 then you might be interested in TIS-100 https://store.steampowered.com/app/370360/TIS100/ .
I wonder if this is true (I am less than a layman, so feel free to disregard). My feeling on this is that math is amenable to LLM based development because the formalism of LEAN + the ability of AI to nudge research…
Joining you at your "off topic" table, I think it is interesting how the words "jump the shark" have moved from the idea of a sort of loss of coherence in plotlines (writers are checked out) to a general term for a…
I disagree with this. I'm okay with permissive permitting of self driving (it seems to be much safer according to their own studies, which I am willing to skeptically accept), but where I agree is being permitted should…
Really? Bad luck, I have literally never had that happen! What time was this? Because Austin is closing down 35 in the evening and it is just doing crazy things to traffic. Maybe it was that?
It was January I think and I don't remember our thought process. I think we mostly just remember looking at the fandom or whatever crap was there and thinking how out of date that stuff was. We also just wanted to try…
Agreed, a buddy and I wrote a simple mod that shimed into Warhammer 40K: Rogue Trader and were able to pull all of the art and description assets for that game by walking the object graph. Took about 4 hours total…
To play the devils advocate here (just for software), I would say principally this: "A world where starting is incredibly easy and finishing is more complicated than ever" LLM's do allow you to oneshot huge starting…
This is the main thing that raises my eyebrow. If you are constantly churning your codebase to the point that you need to invent a system that handles your churn... then you must at least be admitting that the previous…
Getting a 24 out of 36 response rate on your applications is an S tier level response rate. I mean, the news is bad (rejection), but that is pretty incredible. I can't make up my mind if that means he is so good that…
By my own, completely arbitrary split of this into 16 predictions, I would say that this hits on maybe 8 of 16 if we are being a bit generous. Which is good, but certainly not "Inevitable" (the title of the book). With…
Is it a pun or something? I have been called dense. I actually resized my browser thinking maybe something weird was going on with flex-wrap or overflow or whatever it is.
> And for theoretical fields labs don’t need human data - synthetic one works well if not better. How could that be true? I am a mathematical rube, but surely data that works "better" than real data should be extremely…
It's always seemed odd to me that your employer somehow sponsors your Green Card. It always felt like it should simply be a measure of A) How long you have been working as an H1B in the united states (say 10 years). B)…
Oh wow, that is truly awesome then! I thought it was a qualifier, but it actually is the means of solution (yeah, confusing title).
The full title is "Truly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in Sparse Lopsided Graphs". Is that the same thing as getting subqudratic time in general 3SUM? How much carrying is the Sparse Lopsided…
My assumption is you clearly don't have vulnerable or elderly people in your life? I'm not as concerned about my ability to navigate these waters as I am about the people I care about.
Children of Strife (Children of Time #4) This may be my favorite "Children of Time" book yet (and I really liked the first and second book). I'd say the biggest reason I enjoy science fiction is being exposed to new…
I have no real answer to this. People who I know who are actually really good at math (and are paid for it) say that there is no shortcut to interest and wrestling/thinking about the problems. You have to mule over…
Mathacademy is meeting a market demand, which mostly seems to be being good enough to solve problems in several standardized math courses. In that regard, I think it is a thing that I would prescribe to any student…
I have not detected anything wrong with mathacademy, it does what it says on the tin. With that said, I stopped using it myself as I felt that my ability to "find the slope intercept form of blankety blank" did not…
I'm probably just behind the curve, but I still use plan mode quite a bit in Claude Code. I iterate on the plan repeatedly until it largely agrees with what I want. Once it seems good I ask it to build the plan and open…
This is not them standing up for the small guy, this is them seeing their actual profit center in retail (advertisement and paid promotion) evaporating if human beings never view their listings.
It's worse than that, they will block all agents and specifically make exceptions for maybe 2 search engines per country. Thereby strengthening existing players and weakening all incumbants. Cloudflare for instance does…
My main problem with PE is that it is being invested in by things that I do not consider "investors" like retirement funds, teacher's pensions, annuities, etc. Many of these things have sort of implicit guarantees from…