HNHacker News
TopNewBestAskShowJobs

penteract

642 karma · joined May 7, 2019

submissionscomments
penteract··on The Waymo effect: how AI is quietly making research less collaborative
a) Self driving was far from completely solved before LLMs.

b) Text generation essentially means passing the Turing test, which for a long time was the bar for general intelligence. Locomotion does not necessarily require general intelligence.

penteract··on Learn Programming with OCaml
> I believe that an ML should be the First Language for Computer Scientists.

I'm not sure how much influence a First Language has - the biggest impact might be whether someone decides to continue learning to program. I'd also worry that we might lose something if all computer scientists are too similar. There are lisp believers, and there are those who swear by C; and I think the field of CS would be less rich if either were missing. Given that, it's a good thing that there are a variety of languages taught as first languages, and I'd like to see the variety widen (I don't know of any CS degree which begins by teaching Forth).

penteract··on How an MIT research project became the Julia programming language
> Some languages are less permissive, and have a culture of searching harder for corner cases and dealing with them than others, that is true. I would expect to find less cases like this in Rust, but more cases like this in Python.

My expectation is that when I think I've found a bug in the programming language implementation I'm using, it's actually me that's mistaken (or at least that language lawyers consider me to be mistaken). Hearing about someone who has encountered multiple bugs (in regular use, rather than running a fuzzer or being directly involved in implementing the language) makes me very wary.

penteract··on Judge rules Trump administration’s blacklisting of Anthropic was illegal
There has been an instance of a Governor General dismissing a Prime minister.

https://en.wikipedia.org/wiki/1975_Australian_constitutional...

penteract··on A joke domain purchase turned in geopolitical warfare
> like they found for Russia tracking launch sites in Ukraine

My understanding of that section was that Ukraine were using it to find launch sites in occupied parts of Ukraine - they go on to describe how they helped someone who had been doing the tracking:

[From article]

> We emailed back and forth and provided documentation on how to run the predictor locally.

Edit: my recollection of which parts of Ukraine are occcupied was wrong, leaving me rather confused about who they thought they were helping.

penteract··on Incident with Github.com [resolved]
Please could you link to the study if you can find it. The definition of "better" seems quite critical here, as well as whether it's specific to code hosting websites. A messaging platform is pretty useless if I'm the only user, but Github would still be useful to me without anyone else having an account.
penteract··on Rust SIMD on the GPU
>> GPUs aren't really SIMD, they're SIMT (single instruction multiple thread)

> False. If they were threads they'd have their own PC. They do not - only the warp has a PC.

They are using the term SIMT as it is normally used[1]. The "single instruction" part means that there is only one PC shared across multiple 'threads'.

[1] https://en.wikipedia.org/wiki/Single_instruction,_multiple_t...

penteract··on So you want to use plants to reduce CO₂
Did you consider the alternative calculation of how many plants you need to grow to feed yourself? A few thousand potatoes growing simultaneously might do it.

That would overestimate the number you need to remove excess exhaled CO2, since you could throw out the parts you can't eat rather than letting them decay and release CO2 indoors.

penteract··on We have proof automation now
> dependent types and total functions do not scale.

I'm not convinced that this is much more true than the claim "correct code doesn't scale". If you add to your code in a way depends on a new property for correctness, and the code was not previously written with awareness that the new property was necessary, then you need to check through the rest of your code and make sure that the property is maintained. Formally verifying things is painful because it actually makes you check this.

Instead, we live in a world where we use software that is not completely correct. Browsers have remote code execution vulnerabilities because people who make browsers decided it's more important that javascript can run quickly, and that new standards get implemented, than that we avoid such vulnerabilities at all costs.

penteract··on Mythologizing AI makes it more likely that we’ll fail to operate it well (2023)
If you had access to a bunch identical copies of me that couldn't communicate with each other, you'd be able to find many questions I would give stupid answers to. I suspect I'd come out of it looking worse than an LLM.
penteract··on Why do AI company logos look like buttholes? (2025)
This brought to my attention the following claim by OpenAI, regarding a logo which does not have any right angles:

> right angles introduce the precision and structure that technology demands

https://openai.com/brand/#:~:text=right%20angles

penteract··on Australian energy retailers must provide three hours of free daytime electricity
To check I understand you: the smaller tank with heatpump would consume less energy outside the time window in which energy is free than the large tank with resistive heating, but has a higher capital cost which would outweigh the amount saved on energy?

If that's right, it's not obvious to me that building a suitably sized solar panel is environmentally worse than building a heat pump.

penteract··on A graph that should be front-page news
Based on https://climatereanalyzer.org/clim/sst_daily/?dm_id=nino3.4, 1988 is the year from the dataset with the lowest temperature throughout June and July.
penteract··on Pre-Modern Armies for Worldbuilders, Part III: Paying for It
There are those who make strong arguments for the opposite.

Once you have paid him the Danegeld, you never get rid of the Dane.

penteract··on Trains halted across Germany because of communication system problem
The number €115 is in the second chart as the per capita German expenditure on rail infrastructure in 2023. I don't see €477, but it's pretty close to the €480 figure for Switzerland in 2024. My guess is they saw an old version of the page when the first chart had numbers for 2023 and have kept using it without noticing the update.
penteract··on Fossil Fuels Are 40% of Freight Shipping Tonnage, but Half Its Fuel Use
It's saying that 40% of the tons of cargo loaded onto ships is fossil fuels, but this makes up about 50% of ton-miles, because fossil fuels travel further on average than other cargo. Not the easiest headline to correctly parse.
penteract··on Alice is impatient
This is the same calculation behind the observation "you spend much longer in front of red traffic lights than green ones".

It's an interesting observation, but it's playing games with the meaning of "mean latency" and I'm not sure this is a very helpful way to look at requests to a web service - slightly slowing the fastest responses to requests would improve your time-weighted mean latency.

It's a better metric for looking at outages - instantaneous outages don't affect anyone, and time-weighting correctly discards them. On the other hand, average outage length is a very suspect and gameable metric unless accompanied by uptime %.

penteract··on What every coder should know about gamma (2016)
> What you want is 40% black onto white to have a similar difference in intensity as 40% white onto black, otherwise your darkmode font will look significantly different at the same intensity as your lightmode font. This is why it doesn't make sense to do it in a linear colourspace

Thanks for putting this clearly. I had not given this argument enough thought and respect previously. Would you agree if I said this is about maximizing the amount of useful information given to the reader (even if it deviates from approximating a printed page) and a perceptual colour space is the way to measure that information?

I should mention that I can find plenty of resources that suggest you should use a different font for dark-on-light vs light-on-dark (although I'm aware I'm not a good judge of the quality of said resources). This is not necessarily opposed to your point, since your reasoning can be extended to conclude that identically shaped printed text subject to blurring in linear colour space would be perceived differently depending on whether it's light-on-dark or dark-on-light (including when it's naturally blurred due to imperfect eyesight).

> Note that the Wikipedia article is wrong, given that photoshop uses a nontrivial gamma exponent

If we set text rendering aside, and consider something like games which prioritize photorealism rather than legibility, would you agree that linear colour space is the sensible one to do antialiasing in? This is for essentially the same reason you should do image resizing in linear color space, for which Wikipedia's citation [6] provides a convincing demonstration.

[6] https://www.ericbrasseur.org/gamma.html?i=1

penteract··on What every coder should know about gamma (2016)
> There's no physical underlying lighting process, so it doesn't make sense to use physical light units.

I disagree with you here. Text rendering specifically is incredibly complicated, but for antialiasing in other contexts, the problem can be seen as trying to approximate what would be seen if the display had higher resolution and the viewer has blurry eyesight. In this model, a linear color space makes sense - if 60% of the pixels within a region on a higher dpi display would be lit, then that is best approximated* by a single pixel emitting the same number of photons as those pixels would (which is 60% as many photons as there should be in the situation where all pixels on the higher dpi display would be lit).

See https://en.wikipedia.org/wiki/Spatial_anti-aliasing#Anti-ali... .

*there are better filters if you're looking at more than one pixel at once

> Using perceptual blending, the antialiasing will be exactly the same efficacy in both cases. Using blending in linear space, these two test cases will look very different and render incorrectly!

Whatever color space you do your blending in, 40% black onto white should look the same as 60% white onto black.

penteract··on An O(x)Caml book that runs
Yes for me (although difficulty varies depending on what you're trying to install). I would have started programming 2 years earlier than I actually did if my first attempt to install tools to run a programming language had worked.

You have to precisely follow a sequence of instructions without the experience to understand their purpose, or any idea of how to fix things if you make a mistake.

Web technology is an exception to this. People already have a web browser, and ignoring mobile devices, browsers come with a js REPL.

penteract··on Anthropic's Safety Superpower
The article makes a coherent argument:

a) Anthropic believe that AI is an extinction level risk and that they are the only leading AI lab which takes safety seriously. In combination this puts them in the position of believing that they are the only ones who can save the world, which is reasonable to call a god complex.

b) Anthropic are engaging in actions which aquire and consolidate power in the form of control over powerful AI.

c) "The history of brilliant people convinced they know what humanity needs is a sordid one, precisely because they have convinced themselves that their intentions are good, justifying actions that very much are not."

I'm describing claims from the article and would not word them so strongly myself. But this explicitly does not assume evil intent.

penteract··on Statement on US government directive to suspend access to Fable 5 and Mythos 5
Note that the US military is almost the only customer that Fable and Mythos could safely be sold to while complying with this directive.
penteract··on Show HN: Infinite canvas notes in the non-Euclidean Poincaré disk
I'm a bit more interested in what it teaches about the hyperbolic plane than I am in it's effectiveness as a note taking app (although the way it supports an exponentially growing tree does seem appropriate for depicting knowledge - I'd be interested to see something like a force directed graph of Wikipedia plotted on the hyperbolic plane).

The points and arrows do move and change shape appropriately while panning, but the images and text do not. It might be possible to use feDisplacementMap (an SVG filter effect) cleverly to get the deformations right. This would probably make performance worse, and I'm not sure how readable the text would be, but it would mean that things wouldn't start overlapping each other while panning.

penteract··on India's surprise baby bust
> As seen after the Black Death, a scarcity of labor drives real wages up and lower the cost of basic goods and rent.

Does this still hold when the majority of labor is no longer closely tied to a finite supply of land? At the time of the Black Death, the majority of men's labor was farming, and having more land directly made labor much more productive[1]. The modern economy feels much more complicated (e.g. if your job involves transporting things/people from A to B, it probably decreases in efficiency as the density of people decreases).

[1] https://acoup.blog/2025/09/12/collections-life-work-death-an...

penteract··on They’re made out of weights
I'm open to the possibilty of AI conciousness, and there is some desparation related to the concept of a higher being:

There are many people who will categorically rule out the posibility of AI consciousness due to near-unshakable belief in a higher being. This argument resembles "Christians should not be worried about our climate since God is ultimately in control." Such views make it harder to collectively prevent dangers from a sentient AI, or harm to a sentient AI.

I do not claim that everyone who believes in a higher power believes concious AI to be impossible, or vice versa; just that it would be very hard to change the minds of those who adhere to this reasoning.

penteract··on From Buffon's Needle to Buffon's Noodle
Very cool. I was expecting it to make circles bigger rather than making needles smaller. Take a near-circle consisting of N lines. As N tends to infinity, the near-circle would have a diameter close to N*L/π, so would touch N*L/πW + O(1) lines twice each.
penteract··on Number of UK workers on zero-hours contracts hits record high ahead of crackdown
Many people move to London when they want to make money, and move out when they want to do anything else. Pretending that London is independent of the rest of the country's children and retirees is misleading.

https://trustforlondon.org.uk/data/population-age-groups/

penteract··on Lena by qntm (2021)
Lena isn't about uploading. https://qntm.org/uploading
penteract··on Making geo joins faster with H3 indexes
> I don't think it's possible to tile the sphere using more than 20 exactly identical pieces.

I was wrong about this (e.g. https://en.wikipedia.org/wiki/Rhombic_triacontahedron). It still seems possible to me that there's a limit to the smallest tile that can tile a unit sphere on its own. (Smallest by diameter as a set of points in R^3).

penteract··on Making geo joins faster with H3 indexes
Not quite - you need 12 pentagons in a mostly hexagonal tiling of the sphere (and if you're keeping them similar sizes, Gosper-islands force hexagon-like adjacency). I don't think it's possible to tile the sphere using more than 20 exactly identical pieces.

You could get a Gosper-island like tiling starting from H3 by saying that each "Hex" is defined recursively to be the union of its 6/7 parts (stopping at some small enough hexagons/pentagons if you really want). Away from the pentagons, these tiles would be very close to Gosper islands.

Page 1 of 9Next →