Hacker News Reader

This is such a catastrophically bad take...

I don't even care if you're going to say my rebuttal is sh*t. I will not be putting any effort into refuting your blind allegiance to the car over public transport.

trashchomperon The Programmer Identity Crisis

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

trashchomperon LLM Inevitabilism

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

trashchomperon AI coding tools can reduce productivity

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.

trashchomperon A Typology of Canadianisms

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!

trashchomperon It's Known as 'The List'–and It's a Secret File of AI Geniuses

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

trashchomperon OpenAI charges by the minute, so speed up your audio

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

trashchomperon Teaching Program Verification in Dafny at Amazon (2023)

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

trashchomperon Tech companies are telling immigrant employees on visas not to leave the U.S.

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

trashchomperon The reality of working in tech: We're not hired to write code (2023)

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

trashchomperon German parliament votes as a Git contribution graph

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).

trashchomperon AI Guesses Your Accent

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