auggierose

6 ms·

91.
by auggierose 5mo ago
It is because most people don't know and don't care about the difference between free and open-source.
92.
by auggierose 5mo ago
Most people paying money for software do, though.
93.
by auggierose 5mo ago
Zulip manages so well that their top-people just left Zulip and joined Anthropic.
94.
by auggierose 5mo ago
pron made this statement: > It's 2026 and the idea that even with detailed-enough requirements you can one-shot even a workable (let alone perfect) solution also needs to die. and brought up the failed anthropic experiment as proof
95.
by auggierose 5mo ago
Just because you are paranoid doesn't mean they aren't after you.
96.
by auggierose 5mo ago
But what exactly is your point?
97.
by auggierose 5mo ago
And those will be made subscription based anyway.
98.
by auggierose 5mo ago
I don't see how you can legislate away a move to subscriptions. That's not unintended consequences, that is an entirely foreseeable and direct consequence.
99.
by auggierose 5mo ago
If this law comes, why would games not just go full-subscription and circumvent this?
100.
by auggierose 5mo ago
That must be the thing that Terence Tao advertises in every podcast I watch with him in it.
101.
by auggierose 5mo ago
This way we will get even better and more qualified people into government than now!
102.
by auggierose 5mo ago
I have not had problems with long goals. I let it chomp for 40 minutes on a proof in my custom theorem prover (xhigh fast), and it got there. Very happy with Codex, I ditched Claude for it.
103.
by auggierose 5mo ago
Imprint is not needed everywhere in Europe. You need it in Germany, but you don't in the UK.
104.
by auggierose 5mo ago
Wow. Cannot believe that the ACM did this. All hope is lost.
105.
by auggierose 5mo ago
I definitely wouldn't put math in my code I didn't understand just because Claude says so. I am not astonished that everyone agreed, that's why shit is going to hit the fan pretty badly pretty soon due to AI coding. There is
106.
by auggierose 6mo ago
Lol. If Gowers sends you a piece of math he doesn't quite understand because he thinks that you might, that is something you celebrate.
107.
by auggierose 6mo ago
You will see that in your link "charitable" is printed in bold. Yes, other "exempt purposes" are tacked onto that in US law, if that is reasonable I leave up to you. Given that the NRA counts as a non-profit, not sure th
108.
by auggierose 6mo ago
Oh, I am sorry if that was the case. I amended my answer to be more explicit, as I already anticipated that you are not into logic.
109.
by auggierose 6mo ago
Not sure why this would matter. You know that implication is directional, not symmetric, right? To be more explicit: Given that for-profits can be given tax-breaks for (hopefully) good reasons, what would be the reason to give non-profits t
110.
by auggierose 6mo ago
I think the assumption about non-profits being altruistic is a reasonable one, because what would otherwise be the justification for giving them tax breaks? If the reality is different, then maybe there shouldn't be non-profits anymore
111.
by auggierose 6mo ago
How about adding a PDF release ;-)
112.
by auggierose 6mo ago
> Successful orgs are laser-focused on their core purpose. I think that is capitalist ideology (“make number go up”), not a fact for a non-capitalist definition of “success”. So, you just might not be part of the audience they care about
113.
by auggierose 6mo ago
Looks like a typical machine learning paper to me. It cannot be understood unless you already kind of understand it. That is OK for communication with peers, but eventually I expect a "theory of" to be readable by anyone with a ma
114.
by auggierose 6mo ago
The right use of AI requires stellar leadership, and to be honest, I don't think that kind of leadership exists. I am using AI just for myself, and the traps and pitfalls I encounter are so many. For example, I generate an article on a
115.
by auggierose 6mo ago
Or maybe you are part of the problem they are describing.
116.
by auggierose 6mo ago
I don’t mind em dashes, I use them myself. But load-bearing context, that’s just really bad writing.
117.
by auggierose 6mo ago
I cringe every time I read the word "load-bearing" in an article.
118.
Valuation Spaces and Relativisation: The Lambda Calculus Example(practal.com)
2 points by auggierose 6mo ago|0 comments
119.
by auggierose 6mo ago
See the comment by mmaniac.
120.
by auggierose 6mo ago
I am still hearing about Monads, but is it not the case that they have well-known flaws? And that is the reason why algebraic effects are interesting, because they don't have these flaws?

More ›