HNHacker News
TopNewBestAskShowJobs

JohnKemeny

1,114 karma · joined December 22, 2021

Scientific pontificate, in-pat living in London.
submissionscomments
JohnKemeny··on There Is(Ǝ) – Such That (∋)
It also doesn't make much sense

> There exists a raven such that the vector of hours.

The vector of hours what?

JohnKemeny··on Unicode 18.0.0 Beta
If the seahorse emoji is introduced, we will have to train new foundation models. The costs connected to the introduction of the seahorse emoji will be in the billions.
JohnKemeny··on On The <dl> (2021)
Isn't it description list?
JohnKemeny··on Chess invariants
3.9.2: no piece can be moved if that exposes or leaves its own king in check.
JohnKemeny··on Chess invariants
Well, if a piece is pinned it's illegal to move it.

Rule 3.9.2: No piece can be moved that will either expose the king of the same colour to check or leave that king in check.

JohnKemeny··on Python 3.15: features that didn't make the headlines
> I've left this one to the bonus section because I've never used set operations on Counters and I'm finding it extremely hard to think of a use case for xor specifically. But I do appreciate the devs adding it for completeness.

Check out symmetric difference

https://en.wikipedia.org/wiki/Symmetric_difference

JohnKemeny··on The last six months in LLMs in five minutes
because success comes from reproducing a memorized pattern rather than transferable reasoning?

At the same time failure proves little because most humans also could not manually create a correct SVG of a pelican riding a bicycle.

What is it exactly that such a test is testing?

In which situation would you measure the "competence" of a human being by asking them to write an SVG of a pelican riding a bicycle?

JohnKemeny··on How an oil refinery works
They flare to quickly burn off excess gases as a safety mechanism rather than anything else. Venting gas into the air would be much worse.
JohnKemeny··on How to get better at guitar
Well, the guitar has a finite number of strings and each string is partition into a finite number of frets. It's definitely not more than, say, 30^6 ~ 729 million.

That said, common chords are A, B, C, D, E, F, G (and their sharps and flats), combined with either major or minor mode. Hence "C, G, F, Am, Em" is an example of what someone could play. Now, of course, if it doesn't sound exactly like a G, perhaps it's a G7? After some practice, you can even hear, by the sound of the strings, exactly which chord it is. Em, G, and D are particularly simple to recognize.

JohnKemeny·
Should be \subset.
JohnKemeny··on Show HN: Executable Markdown files with Unix pipes
I use .ag and it's YAML-inspired. I have incorporated ideas from Design by contract: https://news.ycombinator.com/item?id=46554477
JohnKemeny··on Show HN: Executable Markdown files with Unix pipes
I have developed my personal agentic file format `.ag` for this purpose.

Here is the template I start with:

    #!/usr/bin/env gpt-agent
     
    input: <target/context (e.g., cwd)>
     
    task: |
      <one clear objective>
     
    output: |
      <deliverables + required format>
     
    require:
      - <must be true before start; otherwise stop + report>
     
    invariant:
      - <must stay true while working (scope + safety)>
     
    ensure:
      - <must be true at the end (definition of done)>
     
    rescue: |
      <what to do if any requirement/invariant/ensure cannot be met>
JohnKemeny··on AI misses nearly one-third of breast cancers, study finds
While they only had positive samples, the AIs sometimes reported cancer in the wrong location, meaning a double whammy: It failed to detect the cancer, and misdiagnosed a non-cancer.

From the paper:

> Two cancers had abnormality scores greater than 10 but were not correctly localized and were therefore categorized as AI-missed.

JohnKemeny··on What's the deal with Euler's identity?
Yes, but it seems strange to claim that i^i isn't anything. That just completely ignores what's interesting, namely that i(π/2 + 2πk) is real for all k ∈ Z.
JohnKemeny··on What's the deal with Euler's identity?
Is your argument that complex powers isn't anything?
JohnKemeny··on [dead]
On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosity.

Off-Topic: Most stories about politics, or crime, or sports, or celebrities, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably off-topic.

JohnKemeny··on PRC elites voice AI-skepticism
> Yes PRC is a common abbreviation amongst literate, engaged, people.

So I'm either not literate, not engaged, or not people?

I'm surprised to learn it is as common as USA, UK, and EU.

JohnKemeny··on PRC elites voice AI-skepticism
Is "PRC" a common abbreviation? Does it mean "China", or does it mean something else? Why not write China?

I'm from KOS* (neighbor country of KON* and ROF*), so I don't know much.

* Kingdom of Sweden, Kingdom of Norway, Republic of Finland.

JohnKemeny··on Gemini 3
This ad was brought to you by DeepMind™. Changing people's lives.
JohnKemeny··on Introducing architecture variants
"exploit": make full use of and derive benefit from
JohnKemeny··on Who needs Graphviz when you can build it yourself?
I added one statement and it only says `timed out`. I'll stick with Graphviz, which certainly doesn't time out.
JohnKemeny··on Who needs Graphviz when you can build it yourself?
Sounds intriguing. What is an example of a chart and its language that you have designed so far?
JohnKemeny··on AI Is Too Big to Fail
The internet caused social media, which caused the attention economy and trumpism, and will be the bane of the next generations.

It's too soon to tell regarding "net positive for the economy".

JohnKemeny··on Roc Camera
You can just AI generate a photo and snap a picture of that.

There's no such thing as provable authenticity.

JohnKemeny··on Bat v0.26.0
Just a nitpick. They said the classic file viewer is cat, not that cat's primary purpose was viewing files.
JohnKemeny··on Norway says 'mission accomplished' on going 100% EV, proposes incentive changes
From TFAE

Gasoline and diesel cars are now obsolete in the Norwegian new car market, with a few hundred new cars per month, while EVs represent roughly 95-97%.

The current incentive program maintains the crucial VAT exemption for EVs, but only up to a purchase price of 500,000 Norwegian kroner (approximately $49,000 USD). This move is designed to target more expensive, luxury EVs, ensuring that the incentive benefits a broader range of consumers.

JohnKemeny··on Faster CPython team layoff at Microsoft (May 2025)
Three Core Python developers (including Eric Snow and Mark Shannon) from the Faster CPython team were fired from Microsoft in May 2025.

Quote from Mike Droettboom (CPython Core Developer):

It's been a tough couple of days. Microsoft's support for the Faster CPython project was canceled yesterday, and my heart goes out to the majority of the team that was laid off. A hard day for me, but even harder for others.

Related:

Implementation plan for speeding up CPython (Oct, 2020)

245 points, 137 comments

https://news.ycombinator.com/item?id=24837309

JohnKemeny··on LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives
Most people I know simply use `latexpand` which "flattens" all files into one tex-file and by default removes all comments.
JohnKemeny··on Modern Linux tools
That's the Lindy effect: old tools like ls last because they've already lasted, while modern ones often don’t stick around long enough to.

    the future life expectancy is proportional to its current age
https://en.wikipedia.org/wiki/Lindy_effect
JohnKemeny··on Deloitte to refund the Australian government after using AI in $440k report
The Albanese government is the sitting federal government of Australia, led by Prime Minister Anthony Albanese of the Labor Party.
← PreviousPage 2 of 15Next →