HNHacker News
TopNewBestAskShowJobs

drdrey

1,825 karma · joined December 1, 2014

dreynaud.fail

[ my public key: https://keybase.io/dreynaud; my proof: https://keybase.io/dreynaud/sigs/ClYpOl4mWSBHYzAwHMzscXuzBJffIQ0D9gqygBHQTlg ]

submissionscomments
drdrey··on Backdoor in Claude Code for VS Code extension on the Cursor Marketplace
well maybe they did reduce supply chain risk, but still need to reduce it some more
drdrey··on All you need is Wide Events, not "Metrics, Logs and Traces"
wide events feel like structured logs, great for high cardinality data but not so much for time series
drdrey··on AI is a tool and using it well takes skill
96% AI written article btw
drdrey··on Why Texas Is Making Data Centers Wait
the graphs are pretty clearly made and labeled with AI
drdrey··on Bend – a language that blocks AI mistakes via proof and runs on GPUs
writing specs is hard. For instance the easiest way to comply with "player should never reach the flag" is to disable movement completely, so then you have to specify "player should never reach the flag while still being allowed to move" and so on (liveness). It's not practical for most programs
drdrey··on iPhone 18 Pro and iPhone 18 Pro Max
you could do edits like crops in a way that preserves the signature using ZK proofs
drdrey··on Oceans hit highest temperature on record
1.5% of electricity, not energy

that would be 0.3% of global energy use

drdrey··on Mea Culpa – Dark Hours
"that's on me" just sounds like Claude is doing the talking
drdrey··on Ten advances in mathematics and theoretical computer science
> The results were achieved by an internal version of Astra, our next major model.
drdrey··on The Maxwell Conjecture Is False (GPT 5.6 Sol)
of course it does, but it's still the best thing we have
drdrey··on Hacker wipes Romania's land registry database
fires? floods? documents getting lost/misplaced/stolen/destroyed?
drdrey··on GPT-5.6
the problems are general and abstract, domain specific knowledge and memorization don't help. Figuring out the rules, the goal, the controls, and how to solve in a reasonable budget all indicate some level of general ability.
drdrey··on Please Do Not Vibe Fuck Up This Software
Counterpoint: don't read the comments
drdrey··on The Last Technical Interview
> And it can pay for itself twice: once in real work shipped, and once again in something else you could probably use more of, which is gravity.

what?

drdrey··on Incident with Pull Requests, Issues, Git Operations and API Requests
as someone who doesn't know how to get better design out of LLMs, can you elaborate?
drdrey··on Defeating Git Rigour Fatigue with Jujutsu
I have finally embraced squashing PRs and realized I wasted my youth trying to write Good Commits.
drdrey··on Shunning AI is the human choice
it's tribal, it feels good to rally against a common enemy
drdrey··on Cybersecurity looks like proof of work now
good luck formally verifying everything
drdrey··on Tech employment now significantly worse than the 2008 or 2020 recessions
that ship has sailed
drdrey··on I’m joining OpenAI
for me it's that it works remotely and my kids can access it over Discord
drdrey··on Composing APIs and CLIs in the LLM era
this seems like what MCPs should have been from the beginning. If you think MCPs are better, can you explain why?
drdrey··on GitHub should charge everyone $1 more per month to fund open source
the problem with any approach like this based on usage metrics is that it will be abused to death
drdrey··on Claude Code CLI was broken
...but is it good?
drdrey··on GPT-5.2-Codex
have you tried adjusting the reasoning effort?
drdrey··on GPT-5.2-Codex
5.2-codex just came out. You could use codex with regular 5.2 for a week or so.
drdrey··on Jepsen: NATS 2.12.1
ok but these are details, the point is that the operators of the database are external, selfish and fluctuating
drdrey··on GitHub Actions has a package manager, and it might be the worst
death before Jenkins
drdrey··on Jepsen: NATS 2.12.1
the big difference is the trust assumption, anyone can join or leave the network of nodes at any time
drdrey··on Why a 'Boring' Life Might Be the Happiest One
> you don’t have to follow the herd

meanwhile, OP's entire substack post denouncing hustle culture is about plugging his viral tweet and his ebook

drdrey··on Switch to Jujutsu Already: A Tutorial
it's hard to take the article seriously when the author relies on a fuckgit alias on a regular basis
Page 1 of 17Next →