HNHacker News
TopNewBestAskShowJobs

Myrmornis

1,994 karma · joined May 30, 2012

submissionscomments
Myrmornis··on D2 Is Non-Profit
Happy to hear this. Is go the right language for d2 or could it be worth considering js? The WASM solution seems pretty heavyweight, and it would be amazing to have it rendered natively in markdown hosting sites like GitHub.
Myrmornis··on Git Submodules as a Package Manager
A lot of the confusion and criticism surrounding submodules comes from people not understanding that you do not need to learn a lot of new commands to use them: you just cd into the submodule and use it as a normal git repo. Then you cd out and commit the submodule hash change if that's what you want to do.

Some things are annoying, like removing them. But in general they're extremely useful and designed basically exactly how you'd want: it's extremely consistent since to a good approximation, a submodule behaves the same as a normal git repo once you're inside it.

Myrmornis··on Small Models Have Arrived
Is there a resource somewhere that tells me, "Given that you have X Gb RAM on your laptop, these are the current local models you should consider trying and here's how to configure them to leave enough memory for other applications on your machine."?
Myrmornis··on I were 17, I'd learn how to build LLMs from scratch
Very silly reply. If you learn how toy LLMs work at 17 don't you think that would help you at university and grad school? There's plenty of time to go into the private sector workforce later.
Myrmornis··on Claudette: Make Claude stop talking like a BuzzFeed article
I'm largely with everyone that Claude is much too verbose and uses too much annoying flowery language. However, some of the more unusual language it uses does result in more precise communication, if you can figure out what it means.
Myrmornis··on Go is an ideal language for AI-assisted software engineering
The promise as I understood it was that it would map Go programs down to a unique format, as is done in Python or Rust. It's not required that the long lines violate style guides; we just want a unique blessed format.
Myrmornis··on Vomit: Clean up Claude 5's token output with a separate LLM
Claude's verbosity is the biggest obstacle in the technical parts of my job currently.

(Why does this project need so much Go code to pipe something through a local LLM?)

Myrmornis··on Go is an ideal language for AI-assisted software engineering
> By enforcing a single, standardized format via the built-in gofmt tool

I'd read about this many times before I started with Go so I was particularly disappointed to learn that it was a lie. The most important task of a code formatter is to break long lines; it doesn't do it. It doesn't even have an option to do it!

Myrmornis··on Go is an ideal language for AI-assisted software engineering
> By enforcing a single, standardized format via the built-in gofmt tool

I'd read about this many times before I started with Go so I was particularly disappointed to learn that it was a lie.

Myrmornis··on How to write English prose (2023)
> How to Write English Prose

> There are few if any passages in the works of Sir Thomas Browne that I do not find thoroughly delightful; but two afford me particularly intense pleasure.

> To my mind, each is in its own way a perfect, exquisitely faceted gem of English prose from an especially glorious literary epoch. The music of the one has haunted me for most of my life;

Oh come on. Sir Thomas Browne looks well worth reading but the author of this article is unreadably pretentious.

Myrmornis··on Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
I'm sure you're right that there's poor terminology, and Wikipedia math is certainly daunting. But in general the many mathematical exposition PDFs scattered across the Internet are beautifully written by careful, intelligent people. I'm a software engineer who's spent many hours reading them and also trying to do graduate classes as an adult. It's unfortunately common on Hacker News to encounter people who think that "I'd be good at math if only they used code to explain it" or "I'd be good at math if it used better terminology/notation".

The truth is that math is hard: few other subjects have anything close to its crazy conceptual breadth and depth, with hardish concepts being built upon hardish concepts in many layers.

Myrmornis··on Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
That's not because the nomenclature is bad, it's because the concepts in advanced mathematics are further from our familiarity zone. In other words because it's hard.
Myrmornis··on How to stop Claude from saying load-bearing
> the stochastic parrot.

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

Myrmornis··on Kimi K3: Open Frontier Intelligence
Crikey. It even bound Shift-Cmd-G to the filesystem picker thing.
Myrmornis··on 'Likweli': A new monkey species discovered in the Congo Basin
Thanks, your noun/process suggestion is interesting. Perhaps that is indeed a good way of characterizing what happened in biology. It's clear that biology has stumbled into a linguistic/philosophical trap; if it were actually science they wouldn't have been "working on it" since Darwin! I'll try to find time to look at the philosophy you refer to.

Do you know of comparable "messes" like the one in biology that you suspect were caused by a lack of more process-based language?

Are there some human languages that are more process-based than English?

It makes me wonder whether what the LLMs have captured in their training data might be effective for looking over different languages to see if there are any interesting different ways of handling "species".

Myrmornis··on 'Likweli': A new monkey species discovered in the Congo Basin
Hi, two answers:

Firstly,

> how do you conclude that these two populations can still interbreed?

I'm saying that people shouldn't spend time asking that question of allopatric populations.

Secondly you're right that I didn't read up on these monkeys. I wanted to rant about species concepts, but I was doing it in a discussion about some doubtless wonderful and very interesting monkeys and I am definitely guilty of not doing justice to them or to the people studying them.

Myrmornis··on 'Likweli': A new monkey species discovered in the Congo Basin
Yes I completely agree with every word of this. I hope I didn't give the opposite impression. Clearly the sexual organisms living in one place belong to discrete groups, defined by what breeds with what, no objection to using the word species for those groups in sympatry, and the process by which those species come into existence is extremely important and worth studying (I used to do that). As you say, the problem is that the definition doesn't apply in all situations (e.g. populations that don't live in the same place).

That shouldn't be controversial, but unfortunately the idea that you can and should try to "determine" whether such populations are conspecific is completely entrenched in biology; has been since Linnaeus basically.

Myrmornis··on 'Likweli': A new monkey species discovered in the Congo Basin
Thanks, I've looked at that before, but I don't think I've ever read it properly. Are you sure it's not missing the simple answer? Give up the idea that the question of whether populations are "conspecific" should be assigned a meaning.

Words are just labels we attach to concepts that we find ourselves wanting to refer to. My claim is that there is no concept in allopatry that's worth naming.

Have a look at Hey's underappreciated book (he's the first author cited in the article you linked).

It is an embarrassment: because there's a simple answer (the one I just gave), and because the confusion over "species concepts" has persisted for decades and confused generations of biologists, and hundreds, if not thousands of flawed papers have been published claiming "sufficient divergence" of allopatric populations.

Myrmornis··on 'Likweli': A new monkey species discovered in the Congo Basin
It's an allopatric population. It's one of the great embarrassments of biology. The question "is this population part of the same 'species' as this other population" is simply not defined in biology when they are allopatric. Look at your country's bird identification guide. If you're in Europe or N. America you'll find lots of "species" that are just allopatric populations accompanied by some mtDNA / sound recording data claiming they're "sufficiently" distinct.

It shouldn't be controversial to say that this is nonsense. The main problem is that it is challenging for conservation biology to admit that 'species' isn't well defined in allopatry. That is indeed unfortunate. But, science can't be politics.

Think about it: there's nothing about the laws of physics, chemistry, or fundamental biology that implies that all populations must be clearly assignable to distinct categories. What biology says is that sexual eukaryotic organisms exist and they breed and distribute themselves more of less connectedly over space, and, stuff happens over time. Whether or not you can interbreed in sympatry is profoundly important -- loss of interbreeding is the basis of biological diversity. And allopatry is profoundly important -- it's the main way you lose the ability to interbreed. But two allopatric populations are just that: the organisms don't interbreed because they can't; they're not in "cruising distance". You could take two groups of individuals of any population you like and ship them off to islands on the other side of the world and they won't interbreed. They were part of the same "species" before their trip so presumably they still are when they get to their new homes. But the question of "when in the future should we say that they've evolved apart enough for us to call them different 'species'" is a question about what's convenient or useful, not a question about biological concepts or mechanisms.

So it's not that studying the biology of allopatric populations isn't worthwhile -- far from it -- it's just that biology has a sentimental attachment to the idea that populations can always be assigned to "species". You can consider their ancestry as organismal pedigrees, and you can consider the ancestry of different parts of their genome, you can model it mathematically, you can collect genetic data and try to make inferences about it and about how the world they evolved in gave rise to it all. Population genetics, phylogeography, biogeography, phylogenetics etc are all extremely interesting and worthwhile. But with those subjects came confused "species concepts" stretching over decades trying to explain why some or other genealogical or phylogenetic criterion was the right basis to use to define the word "species".

But the correct thing to do was much simpler: just accept that there is no scientific reason for the question "are these allopatric populations the same thing or not" to have any particular meaning, let alone answer.

People who have written some sense among the decades of nonsense: Jürgen Haffer and and Ernst Mayr's geographical species, and Jody Hey's in his book "Genes, categories and species".

Myrmornis··on The git history command
You could reorder so that the test comes in a commit after the fix rather than before if you want to be able to use plain git bisect, so that no commits are failing. The important thing is that you can use git (i.e. revert in this case) to edit the history to remove the fix and verify the test fails.
Myrmornis··on How to stop Claude from saying load-bearing
For me, "key", and "critical" merely say it's "important", but don't convey the sense that "out of the mess of connected concepts we're discussing, the one that is actually interacting with the thing we care about, or at least dominating the interactions with the thing we care about, is X".

"operative" is a bit better, but I think of it as referring to grammatical interactions, i.e. interactions at the level of language mechanics rather than semantics.

Myrmornis··on How to stop Claude from saying load-bearing
Sure but the question is why "load" after X?
Myrmornis··on How to stop Claude from saying load-bearing
You don't think me using "honest" there might have been a tiny bit of (on-topic, and therefore appropriate) trolling?
Myrmornis··on How to stop Claude from saying load-bearing
Ah right, you don't like AI and don't care to understand how it works.
Myrmornis··on How to stop Claude from saying load-bearing
You don't think it's possible that an LLM's internal machinery could decide that an underused-by-humans word should be used more frequently in output than it sees in input because it maps cleanly onto a frequently needed semantic? I think that's possible
Myrmornis··on How to stop Claude from saying load-bearing
I like to think that the reason it's so noticable is that Claude has recognized some important semantics that we ourselves lack a good word for or at least under-appreciate. What term is used in English (or other languages) with the same meaning as claude's "load-bearing"?

operative? key? critical? decisive?

The honest conclusion is that none of those are as good as "load-bearing". And yet the concept being referred to is clearly extremely important and valuable to refer to. So maybe we should be learning from Claude rather than complaining.

Myrmornis··on The Git history command deserves more attention
Fair. I think what I'd say is that we don't have to use plain git bisect -- it would be quick to make a bisect script that doesn't land on the failing-test commits. Especially seeing as most teams squash before merging, we should have the freedom to create failing-test commits.
Myrmornis··on The git history command
One good reason is to keep your tests separate from the fixes that make your tests pass. That way you can check your test fails before the next commit makes it pass, eliminating the risk of a false negative (test passes that would have anyway).
Myrmornis··on Two Qwen3 models on one DGX Spark: the residency math
The article was clearly written by an LLM. Please say so at the top.
Myrmornis··on How many of the 170k English words do you know?
You don't need to know the words since 3 out of the 4 definitions are silly.
Page 1 of 34Next →