Viewing profile — cerved
cerved
HN member- Joined
- Wed, Oct 12, 2016, 11:23 AM UTC
- HN karma
- 1,394
- Public activity
- 1,026 items
- HN profile
- View on Hacker News ↗
About cerved
No profile information was provided.
Recent public activity
-
comment
Comment #49134893
I'm becoming increasingly allergic to the performative writing of LLMs. The worst part is how compulsive LLMs are at writing like this. Like the system prompt instructs it to "reas…
-
comment
Comment #49103683
Vin fugitives difftool is even better Also, you can use -p for stash push
-
comment
Comment #49056490
You dont need to open the reflog you can just git reset --hard @{1} After a rebase to "undo" it.
-
comment
Comment #48348797
ofc if you're running AI agents in YOLO mode — clones means you don't need to worry that Sonnet is going to see your .git/index.lock file and go "this is blocking me, let's rm -f t…
-
comment
Comment #48345744
Worktrees effectively share the entire state of the repo. Only limitation is that a branch can only be checked out in one repo at a time. Clones only share the immutable object sto…
-
comment
Comment #48345536
Doesn't work. You need to mount both the worktree and the repo which defeats the point
-
comment
Comment #48323058
you can also setup a local remote which hardlinks the index so it doesn't occupy more space. Why? Idk. You don't want to share stash, rerere-cache, branches whatever. Also handy if…
-
comment
Comment #48285204
Fwiw you can create your own trailers Yolo-Slopped-By: Sonnet-4.5 https://git-scm.com/docs/git-interpret-trailers
-
comment
Comment #48109612
if you want to reason about language correctness you are better off using linters, compilers and things like fuzzing > the trend is AI also does the code review please no. Keep at …
-
comment
Comment #47955426
Anthropic obviously vibe code everything and it shows
-
comment
Comment #47863309
You use gh to interact with the forge, git to interact with the repo. For example gh pr checks --watch will run and poll the CI checks of a PR and exit 0 once they all pass
-
comment
Comment #47778272
> Starlink Consumer Broadband at $380B (9.2M subscribers, ~38x revenue) I mean that Starlinks consumer broadband is valued at ~38x revenue, when other telcos are valued around 1.5x…
-
comment
Comment #47689041
Anthropic should run it on their own code
-
comment
Comment #47618254
not strictly speaking, but in practice it's the tip of the remote default branch
-
comment
Comment #47618052
For $380B you can get both AT&T and Verizon and you pay ~1.55x the revenue. Why pay 38x for Starlink?
-
comment
Comment #47483118
Tip, you may want to use origin/HEAD over origin/master
-
comment
Comment #47483046
It does
-
comment
Comment #47435637
Would me be nice to try this on lcg (CP-SAT) solvers
-
comment
Comment #47375784
Is the a b test tired to the installation or the user?
-
comment
Comment #47240785
I instruct Claude to write like peff, writes much better commit messages now
-
comment
Comment #46803020
If only the streaming giants would let us stream in decent quality..
-
comment
Comment #46268819
So it does a forced reset of the dirt after each bash command? Does it confuse Claude? I frequently find it lacks path awareness of what it's working directory is
-
comment
Comment #46259140
Hey Boris, can you teach CC how to use cd?
-
comment
Comment #46253344
Probably they tried a real operating system.
-
comment
Comment #46105839
https://www.my-mooc.com/en/mooc/optimization-75993f57-f2df-4... https://www.coursera.org/learn/basic-modeling