dullcrisp

5 ms·

1.
by dullcrisp 5d ago
You have a practical obligation to obey existing power structures. That’s what makes it a power structure. What do you all think is happening here? There have been people who decided what math gets published for centuries.
2.
by dullcrisp 5d ago
They’re not asking them to stop working on AI, but to stop publishing mathematics.
3.
by dullcrisp 6d ago
This article doesn’t present much motivation for why you would do this. To me it reads a bit like, how we built our office without desks: it turns out if you stack two chairs on top of each other, you can balance your laptop on the top and
4.
by dullcrisp 6d ago
What if it turns out that if all the AIs cooperate they can end the world really easily without finishing any taxi rides?
5.
by dullcrisp 7d ago
They’re making an oblique reference to Pope Urban VIII.
6.
by dullcrisp 7d ago
> Perhaps you might see fit to conclude your earthly endeavours at your earliest convenience? I’m stealing this.
7.
by dullcrisp 14d ago
> I did not like it at all. Because it left you fewer opportunities to experience the ecstasy of typing git commands into a terminal? Or because it didn't work so well?
8.
by dullcrisp 14d ago
Then you’ll probably appreciate being able to manipulate it the same way as any other change, but they could do a better job of marketing it that way.
9.
by dullcrisp 14d ago
I guess you could say it’s a skill issue.
10.
by dullcrisp 14d ago
Along with the appropriate git stash and git stash pops or git commit -anm wip and git reset HEAD^ so long as you’re not using your staging area for anything, yeah. But if the cherry pick doesn’t cleanly apply at the current HEAD, then you
11.
by dullcrisp 14d ago
It does take a few days to stop missing interactive rebase. But say you’re in the middle of working on something and you wish you had a commit you made last week on an experimental branch on the current branch before the last commit you mad
12.
by dullcrisp 15d ago
I don’t know about you, but if you ever run git commit --amend, git rebase -i, git reset, git reset --hard, git stash, git add ., git push --force-with-lease, then these are all workflows that jujutsu makes easier and less error-prone.
13.
by dullcrisp 15d ago
Yeah again fair enough. You can use formal methods to provably maintain invariants that are useful to you in development without shipping formal proofs of full system behavior.
14.
by dullcrisp 15d ago
That’s fair I suppose I’m being a bit obtuse. But this level of formal verification gets you to the level of confidence you’d have if you had written the program in Rust or Java in the first place. The original post was talking about formal
15.
by dullcrisp 15d ago
I get that, but I meant more philosophically, why is it especially useful to verify that no behavior is undefined if the defined behavior is also not defined, other that according to the compiler spec?
16.
by dullcrisp 15d ago
I’m not just being funny, but how do you define undefined behavior?
17.
by dullcrisp 19d ago
You’re upset that they banned the illegal drugs but not the legal ones? They probably just need more education to reach your level of logical thinking.
18.
by dullcrisp 20d ago
Thanks for responding. I think that makes sense. I’m definitely thinking of it from a language semantics perspective and this is a case where type erasure feels particularly counterintuitive to me. Would including the specialized method in
19.
by dullcrisp 21d ago
I’m not sure I fully understand why the compiler can’t derive the specialized apply method in this case. I guess I follow the technical reason that the interface doesn’t override the method so there can’t be a specialized version of it. But
20.
by dullcrisp 23d ago
Also 1 in 6.2 billion for Safari on an iPhone. Also the explanation on the bottom is very small and AI generated.
21.
by dullcrisp 24d ago
As you claim to understand, they don’t know things, they sort of drift on vibes. Telling them to refuse things they think will be hard will only accomplish making them more annoying.
22.
by dullcrisp 25d ago
Yes and you suggested Anthropic have their coding agent refuse to attempt to solve anything it can’t find a preexisting solution to in case it turns out to be hard, if I understand you correctly. Knowing how hard something will be to do bef
23.
by dullcrisp 25d ago
Have you ever tried using one? Or just understanding them?
24.
by dullcrisp 25d ago
Perfect, a coding agent that refuses to do things that haven’t already been done before.
25.
by dullcrisp 26d ago
Looking at the list of counties I’m thinking maybe some of these other counties need to pump their debt to GDP ratio up to be more like the US or China.
26.
by dullcrisp 28d ago
never squish the vibe
27.
by dullcrisp 28d ago
I’m home right now but I’ll let you know when I go out.
28.
by dullcrisp 28d ago
Then it would be a real human. Like if you take a picture of a carrot and put it through a Star Trek replicator you’ll have a real carrot presumably. Unless you say Star Trek replicators aren’t real things and so you can’t make any claims a
29.
by dullcrisp 29d ago
Yeah I don’t think it’s clear if the connectome is modeling real fruit fly behavior or is just being used as an entropy generator.
30.
by dullcrisp 29d ago
You make it sound like it’s a motivated opinion.

More ›