skysight-inc/HackerNews huggingface dataset:
I've been thinking about the notion of "reasoning locally" recently. Enabling local reasoning is the only way to scale software development past some number of lines or complexity. When reasoning locally, one only needs to understand a small subset, hundreds of lines, to safely make changes in programs comprising millions.

I find types helps massively with this. A function with well-constrained inputs and outputs is easy to reason about. One does not have to look at other code to do it. However, programs that leverage types effectively are sometimes construed as having high cognitive load, when it in fact they have low load. For example a type like `Option<HashSet<UserId>>` carries a lot of information(has low load): we might not have a set of user ids, but if we do they are unique.

The discourse around small functions and the clean code guidelines is fascinating. The complaint is usually, as in this post, that having to go read all the small functions adds cognitive load and makes reading the code harder. Proponents of small functions argue that you don't have to read more than the signature and name of a function to understand what it does; it's obvious what a function called last that takes a list and returns an optional value does. If someone feels compelled to read every function either the functions are poor abstractions or the reader has trust issues, which may be warranted. Of course, all abstractions are leaky, but perhaps some initial trust in `last` is warranted.
Snow Crash is the Hackers (1995 film) of Stephenson's body of work. It's so aggressively 90s and cyber techno that it seems somewhat adorably cheesy in retrospect, but there's an audience of Z-ers who are just now discovering it, and what it means to be excited about technology the way we were back then.
In what kind of dystopia would one need to hide doing research on health related topics? Oh, right.
> Don't look at the phone or computer in the morning

Avoiding wasting time is okayish but it pales in comparison to the state where you are naturally drawn to doing things that you consider to be more important.
It took a while to get used to vertical tabs but once that took, I have moved completely to Zen. It was good to see it move from alpha to beta recently.
I want to crawl and plug in scihib to this and see what happens.
What do they do with the urine when the tank is full?
F* also uses SAT/SMT, specifically Z3.
Why is that nonsense? It totally makes sense to lower the price on bulk purchase. You can upload whatever amount of credit to Mullvad as well and I doubt most users purchase month to month. It's just a more elegant way to stay pricey. There are similar small independent competitors that are half their price for a year and I doubt they are half as private or less performant.
Dupe (273 points, 15 hours ago, 164 comments) https://news.ycombinator.com/item?id=42507312

Replaced by 3.4.1 (7 points, 9 hours ago, 1 comment) https://news.ycombinator.com/item?id=42508402
Indeed, cognitive load is not the only thing that matters. Non-cognitive toil is also a problem and often enough it doesn't get sufficient attention even when things get really bad.

We do need better code review tools though. We also need to approach that process as a mechanism of effectively building good shared understanding about the (new) code, not just "code review".
"No return" to what?

This whole "demographic panic" is a contrived excuse for how the world's richest people really need much much more.

How could South Korea possibly support an aging population when the chaebols and other major equity holders really need much more of the country's economic product, not less...
yep, also thermal throttling.

had this discussion about GC pressure a bit ago: https://github.com/leeoniya/uDSV/issues/2
Okay! So you decided beforehand that "MDN" is in the wrong, and now you've decided to ignore factual info to the contrary.
only if "with money" means "with immunity from cost-effectiveness considerations," which is to say: no you can't. Not until we have way, way more abundant energy.

Meanwhile the EROI of petrochemicals continues to fall.
Can you elaborate? Why is it a disaster? I've only used Nix as a package manager when my work distro doesn't have some tools I wanted to install, but the few people I know that use NixOS seem to swear by it.
Mostly, it boils down to how I’ve traditionally been terrible at maintaining connections to people who aren’t in my immediate vicinity (and conversely, most people I’ve met have also not been great at this). I can count the number of post-move non-immediate-family that I either stay connected to or don’t need to stay constantly connected to because picking up where we left off years ago is effortless on a single hand. It feels bad to make a bunch of friends that I probably won’t be able to keep if I move.

Other than that, if it’s likely that I’ll want/need to move some time in the near-ish future, it doesn’t make sense to build a situation that would make that future move more difficult (emotionally or otherwise) than it needs to be. Having a sizable social circle established prior to moving introduces room for messy hesitance and regret.
Yes, people can do that. It's inconvenient and risky, so serious customer prospects will pay to avoid it. This is one of the more common open source commercialization strategies; one of the earlier examples is Sleepycat.
nat-redirection
These articles always have some numbers without context.

> Retail traders sent almost $30 billion into Nvidia shares this year on balance, according to Vanda Research.

$30 billion is 0.9% of Nvidia market cap. Daily trading volume of Nvidia is in the order of $100 billion.

It's like a drop in the bucket.
if it makes it any better I had a plant burger xD, i find it hilarious how everyone fixated on the mcdonalds part of the comment
> This is planning issue, if you correctly size tickets you aren’t going to end up in messy situations as often.

I think the underlying issue is what is an appropriate “unit of work”. Parent commenter may want to ship a complete/entire feature in one MR. Ticketing obsessed people will have some other metric. Merge process may be broken in this aspect. I would rather explain to reviewer to bring them up to speed on the changes to make their cognitive load easier
You don't care, because whatever a GPL taker does, they're still bound by the viral copyleft, you're not, and you can sell that privilege to others.
Gah! So much for my wit.
I’ll add that SPARK Ada allows this now, has commercial tooling from Adacore, and was field-prove in years of commercial deployments.

https://en.m.wikipedia.org/wiki/SPARK_(programming_language)

It builds on the Why3 platform which also supports Frama-C for the C language. IIRC, SPARK can be compiled to C for C-only, runtime targets as well.
As someone about to retire, I'm looking to develop passions that involve more physical activity than computerdom allows, like:

- Fix up a 30 year old motorcycle that's been just sitting far too long. Maybe resurrect a classic bike or two thereafter.

- Tour by bicycle and motorbike and write about the journey, both physical and mental.

- Hike and backpack, day hikes and longer.

- Develop musically, maybe even play the myriad instruments I've accumulated over the years. Ideally, in an ensemble.

- Find others with similar interests to hang with offline.

- Stay actively curious and engaged.
Porch Pirates Are Now Raising the Price You Pay at Checkout
I guess it'll be obvious that a server is running portspoof after you find that 3 random services that nobody uses anymore seem to be running, but now that you know the host is up, which ports do you tinker with?

If you assume that scanning/attacking each port on each server takes about the same effort, you are better off finding a machine where the scan/attack has a higher chance of being successful, even if you can tell which ports are spoofed and not worth attacking.

Maybe you can run portspoof locally on 127.0.0.35 and compare which responses seem different (data, timings) from what you get back, but the space is suddenly 5000x bigger than the handful of ports that normally seem to be open and ports on other servers may seem more likely to yield success.
Here a video of testing Exo to run huge LLMs on a cluster of M4 Macs[1] more cheaply than with a cluster of NVDIA RTX 4090s.

[1] https://www.youtube.com/watch?v=GBR6pHZ68Ho
> Because 7<<100

But then, 7 << 100 << (7 but each access blanks out your short-term memory), which is how jumping to all those tiny functions and back plays out in practice.
There are videos of the crashed tail section that show shrapnel damage.

https://www.reddit.com/r/aviation/comments/1hm0ijm/another_a...

There are videos filmed from within the cabin by the passengers showing shrapnel piercing clothing, limbs, seats, and more before the plane crashes.

https://x.com/bayraktar_1love/status/1871952188383309872 (Holes in life vests)

https://www.reddit.com/r/world24x7hr/comments/1hm6prb/seats_... (Shrapnel damage)

https://www.reddit.com/r/TerrifyingAsFuck/comments/1hm4mf0/f... (Survivor before the plane crashes.)

(There are better videos, but I can't seem to find them again.)

There are reports that the plane was forced to divert course and fly over water after being hit. They were close to landing but were forced to reroute in the middle of their emergency.

More videos:

https://www.reddit.com/r/TerrifyingAsFuck/comments/1hlx7tc/c... (Crash. Other videos from other angles exist elsewhere online.)

https://www.reddit.com/r/world24x7hr/comments/1hm2ynv/shocki... (Tail section after crash)

https://www.reddit.com/r/ThatsInsane/comments/1hlxm7i/surviv... (Survivors exiting the tail section)

https://www.reddit.com/r/world24x7hr/comments/1hm7poq/miracl... (Survivor who filmed prior to the crash.)

I'll edit my comment with sources shortly.
The top-end RDNA4 GPU will have 16GB RAM. That's a massive regression compared to 7900XTX and performance-wise it should be at best at the 7900XTX level. We are discussing AMD cards for LLM inference where VRAM is arguably the most important aspect of a GPU and AMD just threw in the towel for this cycle.
For political reasons SilkAir 185 was ruled inconclusive, but it was almost certainly pilot suicide. Similar to the earlier Egyptair case, the Indonesian authorities were very hostile to the evidence that pointed in that direction.

https://en.wikipedia.org/wiki/SilkAir_Flight_185
A decent alternative to ChromeOS would be a great thing
> If there is a true alibi exonerating someone, then there would have been no truthful evidence against him.

You mistake evidence for proof. Evidence is stuff like a witness that saw someone similar at the crime scene, a motive, the accused's DNA at the crime scene (left there before the crime, e.g. during a benign visit), an injury that could have been sustained during the struggle that led to a murder (but was actually sustained in an unrelated bar fight..), owned the same kind of unusual knife the victim was stabbed with (but lost it the night of the murder), etc. It suggests guilt, but leaves room for doubt.

If 'truthful evidence' only existed against the guilty, then the single tiniest bit of evidence would be enough to convict.
I prefer this style for languages that have either a GC or scoped resource management (eg RAII).

However, I think the single exit point holds merit for C, where an early return can easily and silently cause a resource leak. (Unless you use compiler-specific extensions, or enforce rust-style resource ownership, which is really hard without compiler support.)
If I recall correctly only till June 2025, did they change the date?
The article and French report point to the fire being caused by an oxygen leak from a faulty cockpit oxygen mask system. There were many problems reported with the system on that plane, such as the oxygen air level decreasing every flight and the oxygen mask box being replaced with a refurbed faulty one from another plane after it was found to be stuck open. Additionally, there's allegations of other problems with the plane in question not being logged properly. I think having a plane full of passengers on the state-run Egyptian airline getting killed due to poor maintenance is enough of a motivation for the Egyptian government to try to cover things up.
Server-Sent Events (SSE) Are Underrated
Actually, this makes it obvious why you should keep a page that contains all your links. It's easy to just make an account and pose as someone in order to destroy their reputation. It's also difficult to get unique accounts, often times my accounts overlap with existing names. Even my real name is shared with many people.
Employers who use technology like this are actually quite foolish to do so.
You might want to read back through the history of its creator
It seems like the corrective action was just to add ash trays? Interesting how the pilot later disappeared without a trace tho
Plus, laying the list of tasks out in order sometimes makes it obvious how to split it up eventually. If you try to split it up the first time you write it, you get a bunch of meaningless splits, but if you write a 300 line function, and let it simmer for a few weeks, usually you can spot commonalities later.
Code embeddings with Matryoshka learning and quantization awareness
The amount of effort to do a single 30 minute video of this sort when scaled out to a half or full year math class is significant.

Another consideration is that we learn things from it because we want to learn it. We are engaged with the topic the instant we hit play because we want to watch it.

Compare that with a high school or college setting where the majority of the class is taking it because they have to - not because they want to. This means that there's no initial engagement and a professor can't call out the student in the 3rd row from the back that is starting to fall asleep.

This can work really well for the people who want to learn it. However, it potentially adds to people who don't want to become competent in the material falling further behind.
Well said. However, a counter culture can't diverge too far simply because otherwise it will disappear in the fringes of society with only a handful of followers.

A lot of hippies were not vegetarian or accepting of gays, they just wanted to do drugs and rebel against authority.
I had to click through. I thought this was about neuronal deactivation in "smart" artificial hands, playing the phone game too much causing some kind of fatigue.

It's about how limbless creatures emerge under genetic pressure from evolution, from the common fetal form which includes information to develop limbs.

How in the name of sweet balrog did a genetic process get called sonic hedgehog?
And even more ambitiously, WinFS: https://en.wikipedia.org/wiki/WinFS
You don't need to "turn off the bad features" because they are opt-in to begin with.
Time is not a dimension of the same kind as spatial dimensions. It has a different metric and you can’t move freely back and forth on it. When you rotate on the XT plane, it doesn’t mean the same thing as rotating on the XY plane. It is not a good candidate for the sort of fourth dimension we’re interested in.
Do they use the same methods to define "island"?

The section for Australia seems very broad: "Australia itself dominates the islands around its coastal fringe, which range in size from smaller rocks that are not covered by water at high tide to ..."

While it says the US has 18,617 islands, I struggle to find an official source for that very precise number.

I also see how https://en.wikipedia.org/wiki/List_of_islands_of_Florida says "The U.S. state of Florida has a total of 4,510 islands that are ten acres or larger", suggesting that ten acres is the minimum sized used for "island" in the US.

https://en.wikipedia.org/wiki/List_of_islands_of_Maine says "Maine is home to over 4,600 coastal islands, ranging from large landmasses like Mount Desert Island to small islets and ledges exposed above mean high tide."

Clearly these are not using the same definitions.

I managed to find the Global Islands data set at https://www.sciencebase.gov/catalog/item/63bdf25dd34e92aad3c... with an explorer at https://rmgsc.cr.usgs.gov/gie/ which should have exactly what I want, except 1) it only lists ocean islands, not inland ones, and 2) I can't figure out how to get the data by country.

It categories things as "Big Islands (greater than 1 km2), Small Islands (less than or equal to 1 km2 and greater than or equal to 0.0036 km2), and Very Small Islands (less than 0.0036 km2)." "There are 21,818 big islands in the database. The remaining 318,868 islands are all less than 1 km2 and are classed as small islands.'

I give up.
Same.energy – Visual Search Engine
I strongly suggest the opposite. Collect everything and do on a personal site, do good seo on your pages, expose your content. Go totally anon for anything you don't want exposed of course. But you should expose as much of yourself as you're able and control the conversation.
If you think a jury is unreliable, you can opt for a bench trial instead. In a bench trial, a judge hears the evidence, determines the facts, considers the legal issues that arise, and decides whether a defendant is guilty or not guilty. There is no jury involved in a bench trial. Fact-finding moves from the jury's duty to become part of the judge's duty. Jury trial is a right as to shield one from being targeted by a system or dictatorship that is corrupt all the way down. If you think your peers are idiots you can waive that right and put the trial in the hands of a judge who does this for a living. Pick your poison. But at least you get options in the US system.
Are these Dells?

Some Dells have a "feature" where something, somewhere, in their mess of a UEFI/iDRAC stack will get corrupted and will stay wrong through power cycles until you physically unplug the servers from power and hold down the power button to discharge a capacitor and clear out the NVRAM where the corrupted value is.

Most recently this impacted a PowerEdge R7525 server we have where the iDRAC was enforcing a power cap of ~300 watts leaving the system to be less than 1/10th as performant as it should have been. Manually setting a new power cap did nothing except update the values displayed in the UI. Multiple six minute (because of their mess of a UEFI/iDRAC stack) reboots of both the server and the iDRAC did nothing.

Dell was less than useful except for the fact that they hosted the answer. After raging against their CSA script/LLM auto-reply bullshit for days an aggrieved user with the same issue looking for help in their forums finally posted that he did the cap drain trick and it worked.

Saved me tons of wasted time. Thanks, anonymous fellow frustrated dell customer!
"Humble". "Simple private jet". Right...

But it turns out to be ChatGPT "musings". If that's your thing, I suppose that's fine, but it's not really what HN is here for.

pshapiro99: What can you write? Not "what can you get ChatGPT to write", what can you write?
Is this another one of those pandemic era propaganda pieces (shoplifters are causing store closures!) designed to (A) get the public to demand more police and (B) allow corporations to raise prices to increase profits under false pretenses?
Just wanted to say that was a fascinating read thank you.
The Measure of a Man is one of those episodes that drives me nuts. I re watched that season recently. The debate about artificial life is an important one but the framing is terrible: Data already being so far beyond the argument. Sure, someone might want to dismantle him but the idea that a court case would need to weigh it up for more than 30 seconds is preposterous. And the idea of the bridge crew accepting that Data would be dismantled if the court case succeeds rather than starting with the position of "if you go near our friend we'll shoot you with guns" to make it clear it would be a pr disaster for the federation.
a lot of good points but i feel like one of the biggest i've learned is missing...

leaning toward functional techniques has probably had the biggest impact on my productivity in the last 10 years. some of the highest cognitive load in code comes from storing the current state of objects in ones limited memory. removing state and working with transparent functions completely changes the game. once i write a function that i trust does its job i can replace its implementation with its name in my memory and move on to the next one.
Slaughterbots – if human: kill() [video]
You can reduce your Java boilerplate to annotations or succinct XML or whatever. Code generation is used a lot on the JVM.

Can you show a real compiler message about such a semicolon?
My (14yrs older) brother stared a business on the back of our rural property and later build a home on acreage next door. The biz was a mixed bag for my mom and us. I had steady work from 9-19 (along w/ all of my friends) but all the peace and quiet went away.

That slowly became a schism between our already chaotic households (his wife, my mom) It culminated with him buying my 100yo birth home, suddenly evicting us and then razing the house to make sure we never returned. I was 19 and homeless. Also, my mom had terminal cancer.

Nevertheless, my best Christmas memory is just me and my brother and a walk in the woods. There isn't much to it other than an exceptional moment where having a brother felt like a good thing.

When I was 16, we (Wash DC region) had a rare white Christmas. My brother called the house early and invited me to walk. No families, just us, the snow and the woods (the land was my childhood and is all gone now). Mostly he called me because he had coke and wanted company. (His wife didn't know; he did quit after.)

For that hour or so, we were happy and unburdened by everything we'd ever done to each other. The morning felt like a gift. Probably our last one.
This sounds more like a case where you need a “break-the-glass” like procedure where some checks don’t apply. Or the checks should be non blocking anyway.
A function that needs so many parameters is already a no go.

If it doesn't return anything, then it's either a method in a class, or it's a thing that perform some tricky side effect that will be better completely removed with a more sound design.
There is another slaughterbots video that's worth watching, https://www.youtube.com/watch?v=HipTO_7mUOw

There's also a real video by anduril industries about this not anymore fictional scenario
https://m.youtube.com/watch?v=EEXI6r08908&pp=ygUSYW5kdXJpbCB...
Query keyword expansion works quite well for that without semantic search (although it can reduce precision).
My 14 year old daughter and her female friends call each other "bro" all the time.
Exactly. I think this is a massive problem, and also as someone that works on one of Ubuntu distributions, I always wonder how much strain it introduces together with flatpaks and snaps.
Aye, but the joiners may need prompting as well as getting listened to.

In each place where I've seen something wildly wrong, the problem has been clear in the first few weeks — sometimes even in the first few days* — but I always start with the assumption that if I disagree with someone who has been at it for years, they've probably got good reasons for the stuff that surprises me.

Unfortunately I'm not very convincing: when I do finally feel confident enough to raise stuff, quite often they do indeed have reasons… bad reasons that ultimately prove to be fatal or near-fatal flaws to their business plans, but the issues only seldom get fixed once I raise them.

* one case where the problem was visible in the interview, but I was too young and naive so I disregarded what I witnessed, and I regretted it.
I remember reading somehwere about the optimal size for human groups to be efficient, but I can't recall the source. If anyone has any pointers, I'd appreciate it!