Hacker News: futune

New comment by futune in "Attention Is Not What You Need (2025)"

futune — Mon, 26 Oct 2026 08:30:55 +0000

The last time we learned this, we called i the bitter lesson.

New comment by futune in "Around a dozen banking apps began specifically permitting GrapheneOS"

futune — Sun, 25 Oct 2026 13:20:15 +0000

I feel that corporations are made of people in the same sense that computers are made of transistors...

New comment by futune in "fheroes2: A recreation of Heroes of Might and Magic II game engine"

futune — Sun, 25 Oct 2026 13:02:48 +0000

I'm not sure if meant to ask if this project is an ai-recreation. I just wanted to say that the fheroes2 project is much older than that. I was playing with it during covid (if I remember right).

I suppose it's possible that they have changed development practices recently, but I think you can probably enjoy it without guilt if that worries you!

New comment by futune in "Norway Eyes Partial Ban of Smart Glasses"

futune — Mon, 05 Oct 2026 20:59:08 +0000

Are you talking about Norway, or some other place?

New comment by futune in "Livenerf: Has Opus 5.5 been nerfed yet?"

futune — Sun, 04 Oct 2026 15:18:57 +0000

Onyxia deep breathes more this patch.

New comment by futune in "Mastering Layout Engines in Graphviz: Dot vs. Neato vs. Twopi vs. Circo"

futune — Fri, 18 Sep 2026 09:55:22 +0000

Which ones of these are generated by ELK? All of them?

New comment by futune in "Anecdotally, programmers dislike "reduce""

futune — Mon, 14 Sep 2026 13:03:29 +0000

I was going to write a question asking if reduce is the thing I know as accumulate (I think I picked this up from SICP). But then I went to wikipedia, and it seems that an even more common name is fold.

Here's a hypothesis: The fact that the same operation has half a dozen different names makes it sound like there is a lot to learn. If I am totally familiar with fold, and i come upon a reduce, I may need to think more about what's going on, which is distracting.

I don't think map and filter have so many synonyms? I know select for filter, but it seems to me less common.

New comment by futune in "I Don't Have a Smartphone"

futune — Thu, 03 Sep 2026 14:19:24 +0000

Strictly speaking it's based on AOSP. Which has Android in its name if you expand the acronym, but it's really not the same beast...

New comment by futune in "Not Becoming a Cyborg"

futune — Tue, 01 Sep 2026 11:46:02 +0000

One way to detect mathematicians is that we say "[...], in particular, [...]". I guess it's our version of the economist thing!

New comment by futune in "EVE Online moves to Python 3"

futune — Sun, 30 Aug 2026 12:39:34 +0000

When I started playing (2011-ish), I suppose I was the counterparty to your playstyle. But that was the appeal: Being in actual danger and at risk for loss. Even stuff like moving an industrial with goods from highsec to npc null to sell at a markup was an exhilerating adventure. And if there is risk, sometimes you lose.

I don't know how many people felt like I did, versus how many ragequit the game.

After some years I became a wormholer though, and finally a permanent -10 lowsec pirate in the end. It's been a decade since I quit now.

Learned a lot from that game.

New comment by futune in "Tell HN: PayPal blocks GrapheneOS"

futune — Thu, 27 Aug 2026 12:32:57 +0000

That's the bizarre thing about this hn discussion... A lot of people referencing rooted phones, but to the best of my knowledge GrapheneOS is almost never rooted?

New comment by futune in "Principia Mathematica is modern and insightful"

futune — Thu, 13 Aug 2026 09:49:27 +0000

I think your latter comment is kind of analogous to people writing python (or any high-level language) without understanding assembly. I think maybe that reduces the mystery a bit?

The Invalidity of the Claimed Disproof of Connes' Rigidity Conjecture

futune — Tue, 11 Aug 2026 12:34:55 +0000

Article URL: https://philarchive.org/archive/NIEWTCv16

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

Points: 2

# Comments: 1

New comment by futune in "Improving Heuristics for A* Pathfinding"

futune — Sun, 09 Aug 2026 12:01:03 +0000

One of the famous problems with df is that it's very much single threaded. At least the last time I checked, which is some years ago by now.

Besides that blocker, your idea sounds like a nice win.

New comment by futune in "Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels"

futune — Wed, 29 Jul 2026 16:19:36 +0000

The reason I started with vim was to do live writing of latex notes while listening to conference lectures, on a small notebook. I did not want to bring a mouse with me due to the extra weight and usually lack of a mouse surface.

With the constraint that you simply don't have a mouse available, vim turned out to be faster from day 1 than alternative editors. Even knowing just a couple of vim movements.

And then I liked it and wanted to learn more.

New comment by futune in "How real are real numbers? (2004)"

futune — Tue, 28 Jul 2026 15:57:51 +0000

The numbers you mentioned are computable numbers. Constructivists and intuitionists have no problem with them, generally. The problem is that there is only a countable number of computable reals, so what do we do about all the other reals? The ones that nobody will give an example of because it is simply not possible to do so, which is to say, the vast majority of reals?

Does it exist if it is impossible to show an example? Only if "exist" is interpreted to mean "you cannot deduce a contradiction from assuming them", which is a logically consistent position. But if you mean "they are in some sense actually there", in some describable way, then it's muddier. And you can build a logically consistent position from declaring "they are not there" as well. Precisely because no counterexample can be produced.

And then there's ultrafinitists, and yeah, they are a bit bonkers.

New comment by futune in "Making Sense of Proof by Contradiction [pdf]"

futune — Sat, 27 Jun 2026 09:31:33 +0000

I think this is a good comment. Could you also provide an example of a true (essential?) proof of contradiction of an elementary mathematical statement, to illustrate?

New comment by futune in "Crawling BitTorrent DHTs for Fun and Profit [pdf]"

futune — Thu, 25 Jun 2026 05:57:38 +0000

If /dev/null is fast and web scale, I will use it.

New comment by futune in "Solving Wordle using information theory"

futune — Wed, 24 Jun 2026 18:19:46 +0000

I did this immediately when wordle came out, too. Here's what I got for top 5 starting words along with the entropy:

"tears" 6.00570508021708 "teras" 5.95925128791865 "teals" 5.90122552646963 "tares" 5.88711668336419 "lears" 5.86158270234831

Using another metric which I called consistency (I think it was just minimizing the biggest bucket possible afterwards, trying to beat absurdle fast), the best starting word was tied between "arise", "raise", "aesir", "reais" and "serai". All of these have a worst-case scenario of 168 valid words remaining.

I find it interesting that different implementations seem to come up with slightly different rankings. Maybe the dictionaries are different?

New comment by futune in "Field of clones: How horse replicas came to dominate polo"

futune — Sun, 07 Jun 2026 12:38:12 +0000

It makes sense to me if the buyer is concerned that the performance would revert towards the mean on second generation if you attempt to breed further. But... The new paradigm is not breeding, it's cloning. So it seems like "one shot" high performance steeds even without pedigree could be viable?

I feel like I am missing a lot.