HNHacker News
TopNewBestAskShowJobs

stkdump

1,125 karma · joined April 15, 2018

submissionscomments
stkdump··on The UN challenges five centuries of cartography
A line of constant bearing will always be a great circle. A straight line on a mercator projection of the earth does not constitute a great circle (in fact only the equator line is a great circle and each vertical line is half of a great circle).
stkdump··on Python sets and dictionaries can have quadratic-time performance
Once a hash table has outgrown all caches, it should have linear performance. It's just that caches accelerate it at sufficiently small sizes.
stkdump··on Growing proof that autonomous cars save lives
Arguments I heard that make no sense to me:

- Autonomous cars will improve traffic because stopped cars can start going at the same time at an intersection -> Then you have no safety distance. And while theoretical improved reaction times mean you might need a bit less distance, the quadratic term comes from the needed breaking deceleration, not the reaction time.

- Autonomous cars will reduce congestion: they can't if they are supposed to drive around empty either to park somewhere else or to get to the next person to transport. On the contrary, they will increase congestion.

Note also that I don't buy the "work" inside "very small cars". It's not just that having to drive prevents you from working. Also the overall comfort while traveling isn't good enough outside of trains or planes for anything but some tiny amount of work.

I am on board with the benefits for old, disabled, tired and drunk people though. Also, I do accept that they will prevent a lot of accidents and deaths.

stkdump··on How Fairphone built the Fairphone Gen 6+
Well said. I would say in general there isn't "the best" OS for everyone and never will be, because each OS makes different trade-offs. I for one want primarily what is understood to be "general purpose computer". Other people rightly don't care about that and want a maximum security device, one that even protects users from their own mistakes (of course putting more trust in the makers of the OS). What we should care about is that people have a choice and can get whatever they prefer.

To answer GPs point, I think Fairphone doesn't primarily target either of the two audiences. I think they primarily target the people that care about the ethics of the creation of the hardware. Basically people who would like to minimize the invisible human cost that their phone creates.

stkdump··on Chrome again exempts Google from user site data settings
It would still be a (albeit convenient for google) bug, as the setting indicates closing all windows as the trigger for deletion.
stkdump··on “I just chose words carefully”
The misspelling seems to be consistent (>200 times), though it seems like a quite common one. A 1982 DOS game was even titled "Missle Strike", long before Metroid was released.
stkdump··on DFlash 2: Keep Drafting Parallel
It will contain the same or different syntax with or without it. Also multiple runs without DFlash2 will contain the same or different syntax. And multiple runs with DFlash2 will have the same or different syntax with the same probability. DFlash2 literally has no influence (unless buggy). The difference is purely caused by the randomness.
stkdump··on Casio F-B100W-1A
It is usually 10-15s per month. And the annoying thing is you have to notice it and I prefer a watch that I don't have to double check.
stkdump··on DFlash 2: Keep Drafting Parallel
If you assume that the RNG generates true randomness, then the two are identical. Only if you care about the determinism of the RNG (for example you want to use identical seeds and get the exact same generation between the two) it makes a real difference.
stkdump··on Why Microsoft Entertainment Pack had a sticker announcing that it had Tetris?
> Just like how World War I was initially called “The Great War”. If you had called it “World War I” from the outset, people would look at you funny, like “Do you know something I don’t?”

This is why I didn't, at the time.

Jokes aside, some people knew and so it was also called (though not very commonly) World War starting 1914 and First World War from 1918. Because of course it wouldn't be the last. World War 3 was first talked about in 1941. And the famous idea that World War 4 would be fought with sticks and stones was first mentioned in 1946.

So the correct answer to "Do you know something I don’t?" is "I know human nature"

stkdump··on Casio F-B100W-1A
I recently thought I could probably go back to a not-smart watch to not have to charge the watch all the time, but I don't want to deal with setting the time regularly either due to quartz drift and dst. So a bluetooth watch with two years of battery life doesn't sound like a bad idea really.
stkdump··on DFlash 2: Keep Drafting Parallel
Not OP, but you can influence how deterministic your LLM behaves using the temperature setting. The neural network doesn't directly output tokens, but logits which are then converted to probabilities and then a token is chosen at random, unless the temperature is 0 (i.e. greedy, we just always pick the most probable token without any randomness). All speculative decoding methods have to "commit" to a token though even when they don't know the actual logits of the full size NN yet. The question then is (and I don't know the answer): how do the common inference engines behave when the speculation landed on the most probable token, but the random choice still doesn't land on it? You can imagine that in the interest of performance as long as we stay reasonably inside the probability we just go ahead with the speculation. Not sure if thats implemented like that though.

Edit: I just looked up the math, and actually the idea of speculative decoding is done in a clever way that fully preserves the probability distribution while still maximizing the acceptance rate of draft tokens. So I would have to disagree with OP and say that no, non-greedy sampling doesn't influence the trajectories.

stkdump··on Unsloth Dynamic 3.0 GGUFs
There is a native reasoning effort setting. It defaults to xhigh, I guess to get the best benchmark results, but you can just run it on medium or low instead, or for simple things even disable thinking outright.
stkdump··on How do functions like alloca allocate memory from the stack?
Makes sense. The only exception - tail call optimization where no (new) return address is pushed - relies on cleaning up the stack before executing the tail call.
stkdump··on How do functions like alloca allocate memory from the stack?
So what if several functions that use less than 4KB each call each other before using the stack variables in a way that the first access skips over one page?
stkdump··on Branchless Rust: Making a Filter 4x Faster by Removing an If
I don't know if an optimization is allowed to "invent" a write, but I would be surprised if an optimizer goes that far because I have to believe that the number of cases where more writes improve performance are pretty slim.
stkdump··on We finally learned to center a div, then browsers added sidebars
Funnily I can't reproduce the effect at all. I am using Firefox and with sidebar the content of the page centers on the remaining viewport width, like any other site does. I have also tested with Edge, same result. With Edge's auto collapse (i.e. non sticky vertical tabs), I get the described effect, but again this is like any other site. I was actually expecting quite bad results in Edge because it has some sidebars on the right and I thought this page compensates in the wrong direction then. Don't have Chrome installed to see if that does anything differently.

Note I like the default behavior of browsers to center on the viewport as opposed to the window treating sidebars as overlays over the page. Whenever pages do that with their own gadgets I hate it, because they often don't move their content out of the way and it makes it unreadable unless scrolled out of the range of these gadgets, which often isn't possible at all. And even when it is, it effectively reduces the total usable screen to a fraction.

Whenever I'm bothered enough (happens mostly on mobile), I use a kill sticky bookmarklet to fix that.

stkdump··on Germany Records Historic 12B KWh Solar Feed-In in July 2026
817 kWh here. Though june last year was the record at 904 kWh. Maybe the effect is that solar panels lose efficiency when too hot.
stkdump··on A big win for Android interoperability
No, I don't know if they do and honestly this isn't why I wrote what I wrote. But what if I don't want to buy anything from them? I want to de-google and my only choice seems to be to have a device with a google logo on it that puts even more money in their pocket than if I just use normal Android with minimal google interaction on a Samsung or OnePlus device.
stkdump··on A big win for Android interoperability
The whole GrapheneOS thing is a bit of a joke. So you either have to buy google hardware or you run google software.

Anyway, looking forward to the widespread introduction of Wero. Maybe there will be some options for third party roms in the name of digital soveranity. Seems like they want to make the EUDI wallet for digital documents no-google capable for that reason at least.

stkdump··on A missing underscore sent innocent man to prison for 18 months
One of the rare cases where a vpn actually does help. Though of course only if they don't also turn over records.
stkdump··on Our position on open-weights models
China will likely gain the capability to produce leading edge chips within a decade domestically. From then, occupying Taiwan will be about controlling the wests the access to that. Same with AI models, though I would say we are already about there. Dario is either lying to us or to himself that distillation plays a major role.
stkdump··on Show HN: Echo – Fable-level results at 1/3 the cost using open-weight models
I think you were able to buy VS Pro perpetual licenses for one time 500-1000 at all times. Of course they had higher tiers and a subscription model which were more expensive but in reality for most people there was little to no added value.
stkdump··on Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
I strongly suspect that the horizontal and the vertical strength are not perpendicular. I suspect having a very wide knowledge gives you access to patterns that reproduce across fields that an expert would lack.
stkdump··on LG to ban residential proxies from smart TV apps
I think the point is that:

1. Yes Windows must have "approved" the drivers

2. Windows Update runs automatically and not (usually) manually

3. Automatic update can't even be disabled, only manually postponed a bit

At least 2 and 3 are different on virtually every Linux distro. Also, I find it very unlikely that they would accept such behavior.

To give MS the benefit of the doubt here, now that this happened and has been reported on they might decide to enforce stricter rules on manufacturers in the future. But as a Windows user you don't have a choice in case you don't like how they decide and how their decisions might change again later.

stkdump··on US residents angry datacenters 'shoved down our throats' are recalling officials
Obviously nobody is incentivized to do that. Nothing to see here.
stkdump··on The gap between open weights LLMs and closed source LLMs
Possible. Though I think open source innovation of hobbyists is currently hampered, because of open weights releases by chinese labs. I believe once the labs stop doing this, a globally coordinated open source ecosystem will fill the gap.
stkdump··on The gap between open weights LLMs and closed source LLMs
I think they mean cheat in a Dieselgate sense. You detect that you are being tested with a specific benchmark question and heuristically give the correct (manually programmed) answer. That wouldn't be AGI.
stkdump··on AI coding at home without going broke
No, I have the same experience. Feels crazy that a GPU is too expensive and then the advice is to spend 400$+tokens on openrouter each month.
stkdump··on AI coding at home without going broke
Sorry to be that guy. I think the more precise wording would be that you get tokens which would cost $1,000/month at API pricing. Maybe (depending on the profit margin of the API pricing) you incur costs somewhere close to $1,000/month. And maybe your usage is subsidized by 900$/month. The value you get out of it is a whole other question. One that according to recent news, CFOs find hard to esitimate.
← PreviousPage 2 of 22Next →