Hacker News: ctenb

New comment by ctenb in "ASML says it sold 'absolutely nothing' in Europe in 2026"

ctenb — Sun, 27 Sep 2026 08:39:09 +0000

> What a weird one to pick. Do you think the US doesn't have massive ports like Europe?

Probably alluding to the fact that Europe owns the largest portion of the worldwide fleet.

New comment by ctenb in "Spain orders blocks on Archive.today and its mirrors"

ctenb — Sun, 20 Sep 2026 12:25:35 +0000

The linked wiki page lists the reasons. You can't just say these are not good reasons without saying why

New comment by ctenb in "Performance Improvements in .NET 11"

ctenb — Thu, 17 Sep 2026 06:52:54 +0000

That is not my experience. Sure, the background of .NET is windows, but in the last decade or so it opened up to other platforms, and so many shops prefer deploying their .NET based applications to linux for multitude of reasons. Along with this comes linux oriented culture. So windows culture is not tied to .NET per se, more so tied to certain shops I would say. Speaking from anecdotal experience, I have no numbers on this :)

New comment by ctenb in "Ask HN: What are you working on? (September 2026)"

ctenb — Mon, 14 Sep 2026 13:40:43 +0000

what sets it apart from scheme/lisp?

New comment by ctenb in "Ask HN: Can we please limit the AI news flood?"

ctenb — Fri, 11 Sep 2026 15:08:09 +0000

Thanks for sharing. I'm going to give it a spin for a while. The downside is you cannot comment or vote on the external site so you are always juggling the two sites for that.

New comment by ctenb in "How An AI math breakthrough ignited a controversy"

ctenb — Wed, 09 Sep 2026 14:11:33 +0000

They didn't write a traditional proof, but a lean program, which can be used to validate proofs formally, using a computer. It's still up to humans to check wether the formalization is sensible, but the proof is correct.

New comment by ctenb in "IBM Bob"

ctenb — Sat, 05 Sep 2026 09:53:46 +0000

Where did you find that it is based on sonnet? While I wouldn't be surprised, I'm curious if that is disclosed somewhere

New comment by ctenb in "Terence Tao: Speed in science isn't the same thing as progress [video]"

ctenb — Fri, 04 Sep 2026 17:56:30 +0000

Title of the video: The paradox at the heart of AI and science

New comment by ctenb in "How Fairphone built the Fairphone Gen 6+"

ctenb — Fri, 04 Sep 2026 15:39:51 +0000

I also never had battery issues with my fp4, except it sometimes starts draining really fast. Fix is too charge while phone is shutdown.

New comment by ctenb in "The Two Abstractions of System Design: Hide or Reduce"

ctenb — Fri, 04 Sep 2026 15:11:45 +0000

I'm not sure that your description of generalization coincides with the idea of modeling abstraction from TFA. Modeling abstraction is "about identifying what should leak and leveraging it". Generalization is about making something cover more cases. The technique to achieve these things can overlap of course, but the intention/goal is different.

New comment by ctenb in "Mom gets 6-month suspended sentence for letting 5-year-old walk to the pond"

ctenb — Fri, 04 Sep 2026 10:18:26 +0000

While I agree with the overall sentiment in this thread, it should be clear that any body of water is highly dangerous for kids until they can swim. It is not disclosed in TFA if the kid was able to swim, but the average 5 year old in the USA is not.

New comment by ctenb in "Debian polls its developers on AI: permit or ban?"

ctenb — Wed, 26 Aug 2026 11:56:51 +0000

Not using AI to write production code doesn't mean you can't use AI proactively to find vulnerabilities.

New comment by ctenb in "Bomb fishing is wreaking havoc on Indonesia's coral reefs"

ctenb — Wed, 26 Aug 2026 06:48:23 +0000

Soccer has no fixed pitch size, only upper and lower bounds on the width and height where the size must fall into

New comment by ctenb in "The End of Mathematics"

ctenb — Sat, 15 Aug 2026 06:16:44 +0000

Same. There is such a thing as a title being too ridiculous or provoking to want to read the article

New comment by ctenb in "I made tinnitus my friend, then it disappeared [video]"

ctenb — Mon, 10 Aug 2026 15:20:10 +0000

> I take my time unless I feel like I can do it quickly with the smaller amount of weight

What does that mean for you in practice, how long and how many reps?

New comment by ctenb in "The Dark Night of Mathematics"

ctenb — Sun, 26 Jul 2026 13:40:22 +0000

I never felt that the theorems were the most useful part of mathematics, strange as that may sound. In my professional experience, math offers a framework, a language of expressing ideas in an exact way. It clears things up for the writer and the reader. It is like speech; would we stop talking if a machine could utter all phrases?

New comment by ctenb in "G# – A modern .NET language with Go, Kotlin, and Swift ergonomics"

ctenb — Thu, 16 Jul 2026 08:23:26 +0000

Looking at the code and the commit log, this is a large pile of slop

New comment by ctenb in "Australian energy retailers must provide three hours of free daytime electricity"

ctenb — Tue, 14 Jul 2026 07:40:34 +0000

Link? I never heard of this and I'm very interested

New comment by ctenb in "Show HN: Jacquard, a programming language for AI-written, human-reviewed code"

ctenb — Tue, 14 Jul 2026 06:14:30 +0000

Why not use an existing language with proper algebraic effects? This language seems to be a language with something that looks like algebraic effects, but it doesn't look like it properly implemented those.

The Widening Gap: The Benefits and Harms of Generative AI for Novice Programmers

ctenb — Tue, 07 Jul 2026 07:35:37 +0000

Article URL: https://dl.acm.org/doi/10.1145/3632620.3671116

Comments URL: https://news.ycombinator.com/item?id=48814743

Points: 1

# Comments: 0