Hacker News: trashchomper

New comment by trashchomper in "The Programmer Identity Crisis"

trashchomper — Wed, 22 Oct 2025 04:52:01 +0000

I genuinely don't think it's hard to compete. I use AI sometimes, I don't use it more than I use it. I find myself at least just-as-productive as people who primarily use AI.

I personally tire of people acting like it's some saving grace that doubles/triples/100x your productivity and not a tool that may give you 10-20% uplift just like any other tool

New comment by trashchomper in "LLM Inevitabilism"

trashchomper — Tue, 15 Jul 2025 06:08:47 +0000

Calling LLMs trivial is a new one. Yea just consume all of the information on the internet and encode it into a statistical model, trivial, child could do it /s

New comment by trashchomper in "AI coding tools can reduce productivity"

trashchomper — Fri, 11 Jul 2025 02:28:59 +0000

On the flip side, why would I use AI today if it presents no immediate benefit. Why not wait 5 years and see if it becomes actually helpful.

New comment by trashchomper in "A Typology of Canadianisms"

trashchomper — Thu, 10 Jul 2025 00:00:00 +0000

As an Australian I always find it funny going places and having to remember which dance-around word everyone uses for "toilet". Washroom, restroom, bathroom, there's so many!

New comment by trashchomper in "It's Known as 'The List'–and It's a Secret File of AI Geniuses"

trashchomper — Sun, 29 Jun 2025 08:13:30 +0000

Is it that secret? I imagine you could get 90% the way there within a day or two with just a combo of highly cited papers + Linkedin scraping

New comment by trashchomper in "OpenAI charges by the minute, so speed up your audio"

trashchomper — Thu, 26 Jun 2025 00:54:31 +0000

Assuming sarcasm but if not, because deterministic vs. nondeterministic output?

New comment by trashchomper in "Teaching Program Verification in Dafny at Amazon (2023)"

trashchomper — Mon, 02 Jun 2025 23:58:58 +0000

Having played with Dafny only in a university course, I really enjoyed it as a way of implementing algorithms and being certain they work with much less cruft than unit tests.

I haven't gone looking but verifier tools compatible with languages people already use (typescript/rust/go/whatever is the flavour of the month) feel like the way to go

New comment by trashchomper in "Tech companies are telling immigrant employees on visas not to leave the U.S."

trashchomper — Thu, 03 Apr 2025 03:37:24 +0000

"They all do". Just categorically not true but ok buddy

New comment by trashchomper in "The reality of working in tech: We're not hired to write code (2023)"

trashchomper — Thu, 03 Apr 2025 03:29:37 +0000

I assume they're trying to work on three features at the same time

New comment by trashchomper in "German parliament votes as a Git contribution graph"

trashchomper — Tue, 25 Mar 2025 04:46:39 +0000

I feel like you answered your own question...

Like I get it, but English is fluid and is it really that far to make the assumptive leap from "git" to "github/lab/service", seems pretty clear what they meant (even if it's not completely/technically/um-actually correct because git != github).

New comment by trashchomper in "AI Guesses Your Accent"

trashchomper — Thu, 12 Dec 2024 23:54:40 +0000

Yep, as a New Zealander/Australian (spent half my life in both) I was curious what it would give me. Turns out "native english speaker" is all you get. Even if I really put it on thick