HNHacker News
TopNewBestAskShowJobs

doc_ick

79 karma · joined December 6, 2025

submissionscomments
doc_ick··on Today, we hacked what we'd set out to hack: the iPhone
Do we want everyone who doesn’t know how to program a car to reprogram their car? I.e. I think there should be restrictions on frontier models to ensure safety of others.
doc_ick··on Today, we hacked what we'd set out to hack: the iPhone
In no time? What are you talking about? It’d take months even with llms for it to be fully polished and tested if they started now.
doc_ick··on There's never been a better time to go into math (by: 3blue1brown) [video]
“ if you're mad about your problem being solved, maybe you weren't in it for the right reasons”, politicians/financial advisors/military members/etc… would like a word with you.
doc_ick··on Bevy 0.20
The testing harness would have to be updated per game feature and to accommodate model tendencies or quirks. This sounds like regression tests with llms and some extra steps.
doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
I think maybe 1 or 2 of those would take more than 1 year for an mvp. I will agree with you that with LLMs it’s infinitely easier and quicker to get a low quality mvp.
doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
So in a sense, cobol is a higher level language then both due to PIC Clauses? I don’t follow this if higher level languages is solely based on syntactic sugar.
doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
How would rust be generally higher level then go?
doc_ick··on Bevy 0.20
The difference would likely not be down to a pixel, either by dependence on how a model provider feels that day, the hallucinations of the day, or just some odd tangent that would get solved by ~100x tokens for verification. The hundreds of hours of testing could all effectively be 1===1, but it all looks green.
doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
I.e. 8. A personal example: I'm remaking the engine of an old game commercial game in rust.

You don’t need an LLM for that, just some dedicated time for it. Also your phrasing needs a lot of work. I recommend the Dale Carnegie books on communicating with others.

doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
I don’t quite follow. If you bring software worth into question, as you pointed out everyone’s vibe coding each of your examples so their individual worth has dropped significantly (with the unknown stability of support and long term plans).

My thought was LLMs accelerate the best and worst of development, but what couldn’t be done (outside of a large lab or company) by regular humans with an infinite time scale?

doc_ick··on OpenAI withdraws three mathematical results
I guess that analogy works if the light at the end of the tunnel is like the sun.
doc_ick··on OpenAI withdraws three mathematical results
That’s different from what OP said, and I doubt much if anything is automated with 100% accuracy 100% of the time.
doc_ick··on I think I found a planet nobody knew existed. I used Claude Code to find it
It’d be a shame for researchers and society to have to burn through millions of tokens finding new advancements since people “do it for the vine “.
doc_ick··on OpenAI withdraws three mathematical results
“If they can be automated, they are not necessary.” That’s a pretty interesting take as eventually everything could be automated.
doc_ick··on Port of the TypeScript compiler, checker and lsp to Rust, by LLM
Give us some examples of things that were not practically possible. Things are practically possible if the time or money is wisely spent, even if it takes a human a bit longer.
doc_ick··on TasteVal: Does AI have research taste?
“To keep TasteVal uncontaminated, we do not release the tasks.” Nice
doc_ick··on Show HN: Steve Jobs died 15 years ago today. I built an interactive tribute
What kind of prompting did you have to use to ensure the iterations didn’t go off guardrails?
doc_ick··on ArtCraft Apps – open-source Adobe compatible suite written in Rust
Agreed. It’s hard to tell what apps will “survive” other then making a splash, especially since there is a constant reliance on llms with fluctuating costs and seemingly an over reliance on rust being the ideal language for everything.
doc_ick··on ArtCraft Apps – open-source Adobe compatible suite written in Rust
I mean pdf is made by Adobe so they can change their standard. If I were distributing software I’d want guarantees it only ingests trusted data, not only for software but for non-tech peoples trusts. No need for poisoned data further diving into the software/llms.
doc_ick··on Git 3.0's upcoming SHA-256 default will be a costly mistake
With the increased computation given to LLMs for the new development practices, wouldn’t any extra sha be a much smaller accommodation (then claude, chatgpt, etc…)?
doc_ick··on Git 3.0's upcoming SHA-256 default will be a costly mistake
It does make sense to set sha256 as the default. I would like even strong to future proof things a bit, but sha256 is a good upgrade.
doc_ick··on Git 3.0's upcoming SHA-256 default will be a costly mistake
Seems like rage bait, makes a claim of a lot of computation in the era of LLM where computation is already out the window.
doc_ick··on Git 3.0's upcoming SHA-256 default will be a costly mistake
So you’d rather have a weak default for everyone rather than updating it? Share some PII then, I’m sure a mod will block it.
doc_ick··on Show HN: I want to use Apache Tika from Python, but I don't want to install Java
Why so much hate? Even so much as to build a downstream “fork” of tika that requires some kind of extra maintenance/tooling?
doc_ick··on DeepSeek Elastic Compute (DSec)
After parsing that article to get the paper link, that is insane. I am not in the field, but find it curious that each every person of that list of authors had direct significant contribution. Not my field though so just seems odd.
doc_ick··on America.gov
Was OpenAI available at that time? No, bad comparison bot.
doc_ick··on America.gov
You think the government is paying to manage/self host/run this llm and not just outsourcing it to chatgpt?
doc_ick··on America.gov
It isn’t nearly as easy but it’s more reliable whereas using an llm is prone to unknown hallucinations (also ignoring the obvious ethical considerations of llms).
doc_ick··on DeepSeek Elastic Compute (DSec)
That, is crazy to me, but different areas and all that I suppose.
doc_ick··on DeepSeek Elastic Compute (DSec)
That, is just bonkers to me. Different fields and everything, but that sounds like a whole company authored the paper.
Page 1 of 9Next →