Hacker News: cerved

New comment by cerved in "Project Glasswing: Securing critical software for the AI era"

cerved — Wed, 08 Apr 2026 12:03:27 +0000

Anthropic should run it on their own code

New comment by cerved in "The future of version control"

cerved — Thu, 02 Apr 2026 18:26:24 +0000

not strictly speaking, but in practice it's the tip of the remote default branch

New comment by cerved in "A forecast of the fair market value of SpaceX's businesses"

cerved — Thu, 02 Apr 2026 18:10:54 +0000

For $380B you can get both AT&T and Verizon and you pay ~1.55x the revenue. Why pay 38x for Starlink?

New comment by cerved in "The future of version control"

cerved — Sun, 22 Mar 2026 22:49:21 +0000

Tip, you may want to use origin/HEAD over origin/master

New comment by cerved in "The future of version control"

cerved — Sun, 22 Mar 2026 22:43:01 +0000

It does

New comment by cerved in "Autoresearch for SAT Solvers"

cerved — Thu, 19 Mar 2026 06:22:58 +0000

Would me be nice to try this on lcg (CP-SAT) solvers

New comment by cerved in "Claude Code's binary reveals silent A/B tests on core features"

cerved — Sat, 14 Mar 2026 12:02:43 +0000

Is the a b test tired to the installation or the user?

New comment by cerved in "Don't make me talk to your chatbot"

cerved — Tue, 03 Mar 2026 23:42:03 +0000

I instruct Claude to write like peff, writes much better commit messages now

New comment by cerved in "Microsoft forced me to switch to Linux"

cerved — Wed, 28 Jan 2026 23:07:49 +0000

If only the streaming giants would let us stream in decent quality..

New comment by cerved in "Ask HN: How can I get better at using AI for programming?"

cerved — Mon, 15 Dec 2025 00:31:45 +0000

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

New comment by cerved in "Ask HN: How can I get better at using AI for programming?"

cerved — Sat, 13 Dec 2025 23:10:47 +0000

Hey Boris, can you teach CC how to use cd?

New comment by cerved in "Apple has locked my Apple ID, and I have no recourse. A plea for help"

cerved — Sat, 13 Dec 2025 09:45:05 +0000

Probably they tried a real operating system.

New comment by cerved in "Algorithms for Optimization [pdf]"

cerved — Mon, 01 Dec 2025 10:43:05 +0000

https://www.my-mooc.com/en/mooc/optimization-75993f57-f2df-4... https://www.coursera.org/learn/basic-modeling

New comment by cerved in "A Love Letter to FreeBSD"

cerved — Sun, 30 Nov 2025 23:27:25 +0000

It'll never happen. You can't distribute ZFS under GPL

New comment by cerved in "A Love Letter to FreeBSD"

cerved — Sun, 30 Nov 2025 23:25:43 +0000

ZFS and jails are two things FreeBSD does very well

New comment by cerved in "A Love Letter to FreeBSD"

cerved — Sun, 30 Nov 2025 23:23:59 +0000

Never had any issues but I've only ever tried to run it on supermicro boards

New comment by cerved in "The Origins of Scala (2009)"

cerved — Sat, 29 Nov 2025 23:18:27 +0000

Do you mean compiler errors or some other kind of error message?

New comment by cerved in "Claude Advanced Tool Use"

cerved — Tue, 25 Nov 2025 06:40:12 +0000

Claude is pretty good at forgetting to run maven with -am flag, writing bash with heredocs that it's interpreter doesn't weird out on, using the != operator in jq. Maybe Claude has early onset dementia.

New comment by cerved in "GLP-1 drugs linked to lower death rates in colon cancer patients"

cerved — Wed, 12 Nov 2025 20:50:57 +0000

Well glp1 doesn't make you want to eat broccoli. Just less in general

New comment by cerved in "When Tesla's FSD works well, it gets credit. When it doesn't, you get blamed"

cerved — Sun, 09 Nov 2025 23:31:20 +0000

Funnily enough, not an article on grokipedia