Appleseed missing! But maybe it's more solarpunk?
Letting the agent rebase stacked PRs (and create the respective subtasks in jira to begin with) is an incredible time saver
It's been a few years (~ 15) since I read it. The determinant trick I'm referring to is used in prop 2.4 (in the Version I found via Google). It's the determinant of the adjugate matrix if I remember correctly... But…
> then that's a problem with the original question - not the solution itself I think there's a good counterexample to this: Atiyah/MacDonald proove the Nullstellensatz ultimately by using some trick involving…
> a human mathematician would aspire to Some do. But there's also the notion that a clever trick is a bad explanation.
I think trying to iterate on a "spectral decomposition of your intent" - slowly working on increasinly refined breakdowns of what are the different aspects of your project are - both on the domain- and also the…
From the blog post: > A ProseMirror 2.0 with an incompatible interface would amount to the same but make it ambiguous what people mean when referring to ProseMirror. Trying to graft stuff on in a backwards-compatible…
From the blog: > I'm not all that fond of the ProseMirror pun anymore either (it's CodeMirror but for prose, get it?) So... It's time for someone to create Codegard, i guess?
or just ask an llm
The bad thing about this: Can you trust future governments to respect "Nulla poena sine lege"?
> If you look longer term, a society that does this will end up a lot poorer than one that doesn't. Got data to back that up? (On the serious level, I'm really curious; But on the polemic level I'll call BS - I highly…
I like it; But I think there's a middle ground: You can definitely use GenAI to bring yourself to the page. But that requires effort that goes beyond "draw me a pelican riding a bicycle". I've used to create abstract…
yeah... AI doesnt seem to make us more creative
and your orchestrating agent has permissions to add users?
Hm...the screenshots don't really sell it; Maybe the authors should just vibe code a cljs port and put it in a browser? And showcase some program written in this language that sells it better?
> just give it its own Linux user it's never "just" ... (for example: how do you manage this across multiple isolated sessions?) opening a browser is much easier ... and the entry barrier for non-linux people at your…
So what? This is about HTTP. And it does not break REST: None of the HTTP constructs that REST is built on change due to the introduction of QUERY. Yes: If you're doing QUERY, you're (potentially) not doing CRUD. But…
I played it on a Pentium with 60mhz - it was allright
That's the whole point of the article: "We show [Assuming {competing physics theory} then {P = NP}]" (or something along the lines) "But we actually think P != NP... so [Assuming {P != NP} then {competing physics…
This also shows that 2025 paid for 2024. Unless they increased their spending even more, "all they have to do" is cover 2025 with the 2026 revenue?
> but a few generations back Out of interest: Was this still before CoT/thinking-mode became the norm?
To comment on the two sibling responses to my post here in parallel. I think it gives very valuable insights to tackle the question: "What if we wanted to apply 'vibe-coding' as an SWE technique?" There's a lot of…
> A vibe coder is someone who wants to test an idea by generating software as a prototype. A software engineer is someone who thinks about the entire software development lifecycle. I don't think it's such a simple…
This seems to be a good question for an the LLM of you choice. I've asked one and after some search: Wholesale prices: - Germany ~€0.089/kWh - Factor 2.94 to consumer Price - France ~€0.061/kWh - Factor 2.92 to consumer…
It's also not a "two-pizza team" market.
Appleseed missing! But maybe it's more solarpunk?
Letting the agent rebase stacked PRs (and create the respective subtasks in jira to begin with) is an incredible time saver
It's been a few years (~ 15) since I read it. The determinant trick I'm referring to is used in prop 2.4 (in the Version I found via Google). It's the determinant of the adjugate matrix if I remember correctly... But…
> then that's a problem with the original question - not the solution itself I think there's a good counterexample to this: Atiyah/MacDonald proove the Nullstellensatz ultimately by using some trick involving…
> a human mathematician would aspire to Some do. But there's also the notion that a clever trick is a bad explanation.
I think trying to iterate on a "spectral decomposition of your intent" - slowly working on increasinly refined breakdowns of what are the different aspects of your project are - both on the domain- and also the…
From the blog post: > A ProseMirror 2.0 with an incompatible interface would amount to the same but make it ambiguous what people mean when referring to ProseMirror. Trying to graft stuff on in a backwards-compatible…
From the blog: > I'm not all that fond of the ProseMirror pun anymore either (it's CodeMirror but for prose, get it?) So... It's time for someone to create Codegard, i guess?
or just ask an llm
The bad thing about this: Can you trust future governments to respect "Nulla poena sine lege"?
> If you look longer term, a society that does this will end up a lot poorer than one that doesn't. Got data to back that up? (On the serious level, I'm really curious; But on the polemic level I'll call BS - I highly…
I like it; But I think there's a middle ground: You can definitely use GenAI to bring yourself to the page. But that requires effort that goes beyond "draw me a pelican riding a bicycle". I've used to create abstract…
yeah... AI doesnt seem to make us more creative
and your orchestrating agent has permissions to add users?
Hm...the screenshots don't really sell it; Maybe the authors should just vibe code a cljs port and put it in a browser? And showcase some program written in this language that sells it better?
> just give it its own Linux user it's never "just" ... (for example: how do you manage this across multiple isolated sessions?) opening a browser is much easier ... and the entry barrier for non-linux people at your…
So what? This is about HTTP. And it does not break REST: None of the HTTP constructs that REST is built on change due to the introduction of QUERY. Yes: If you're doing QUERY, you're (potentially) not doing CRUD. But…
I played it on a Pentium with 60mhz - it was allright
That's the whole point of the article: "We show [Assuming {competing physics theory} then {P = NP}]" (or something along the lines) "But we actually think P != NP... so [Assuming {P != NP} then {competing physics…
This also shows that 2025 paid for 2024. Unless they increased their spending even more, "all they have to do" is cover 2025 with the 2026 revenue?
> but a few generations back Out of interest: Was this still before CoT/thinking-mode became the norm?
To comment on the two sibling responses to my post here in parallel. I think it gives very valuable insights to tackle the question: "What if we wanted to apply 'vibe-coding' as an SWE technique?" There's a lot of…
> A vibe coder is someone who wants to test an idea by generating software as a prototype. A software engineer is someone who thinks about the entire software development lifecycle. I don't think it's such a simple…
This seems to be a good question for an the LLM of you choice. I've asked one and after some search: Wholesale prices: - Germany ~€0.089/kWh - Factor 2.94 to consumer Price - France ~€0.061/kWh - Factor 2.92 to consumer…
It's also not a "two-pizza team" market.