skysight-inc/HackerNews huggingface dataset:
If it wasn't for the radioactive fallout, it wouldn't have been a bad idea. It took time to understand how bad the fallout was. And perhaps ultimately, we came to an overestimate of how bad it is for various reasons... people are generally unaware that about 500 surface nuclear bombs have been set off for testing, and I think a lot of people would think that that is already enough to render Earth uninhabitable or something. (Although over the course of decades, not all in one construction project.) From a strictly rational perspective it is probably something that could be done reasonably, but, the world is what it is.
>If you mean Trump I don't "trust him", I am just highlighting that they don't seem to be in the position or want to interfere with the voting process.

I'm really unsure what to say about people who are this willfully ignorant. He literally tried everything he could to subvert the voting process in 2020. Like most of his followers, I'm assuming you buried your head on this one and decided not to read it because it's so damning:

https://en.wikipedia.org/wiki/Trump_fake_electors_plot
If someone says branching without qualification, I have to assume it’s incoherent. The branching mechanics might have lower overhead today, but the basic physics of the situation is that throughput on each side of the branch is reduced to the percentage of active threads. If both sides of a branch are taken, and both sides are the same instruction length, the average perf over both sides is at least cut in half. This is why the belief that branches are slow on GPUs is both persistent and true. And this is why it’s worth trying harder to reformulate the problem without branching, if possible.
That’s an interesting step back, but stepping back further we can recognize that there is no single metrics to let us evaluate if some society is going up or down.

And also that "ceteris paribus sic stantibus" might be indispensable for growing scientific approaches, but irreconcilable gaps in world perception between generations is better taken as an anthropological constant across time than a minor insignificant detail.

https://fr.wikipedia.org/wiki/Ceteris_paribus
Beavers maintain their dams. Abandoned dams are reclaimed by other beavers, quickly. They are more trustworthy than municipal budgets, by far.

I've lived with beavers for a long time. If you and a beaver agree on the location of a dam, you should be grateful because they will do all the work.
Programming languages where you are not allowed to access directly any shared variables, but only inside protected data structures, so that complete thread safety is enforced, have existed already a half of century ago, e.g. Concurrent Pascal.

I have not noticed yet anything innovative in this aspect of Rust.

As explained in the article SPARK detects such double free or use after free, even if the standard Ada compiler does not.

The separation between Ada and SPARK in the power of detecting unsafe memory uses is just a market segmentation mechanism, not something intrinsic to the Ada language.

The SPARK development tools must be bought, while the free Ada development tools have less comprehensive error checking.

This is the main disadvantage of Ada vs. Rust. It is a question of money, not of technical qualities.
Show HN: Global 3D topography explorer
I made a web app to generate 3D models of real places on earth from land cover and elevation data.

Click anywhere on the map to get a polygon, and then click "generate".

It should work at most scales, but if your watershed or region selection is too large, the result can be less exciting because it's so flat.

As a warning, the 3D models can sometimes be too much for my phone. It's nicer on desktop. I'm still working better on mobile support.

The land cover data I'm using gives a cool effect, but at some point I'd like to add in global imagery and clouds.

The backend is a Python thread running on an old Lenovo Thinkcentre in my closet, so if it goes down, this is why. (I also sometimes need to restart it when the network card stops working... I really should figure out why sometime.)

If you find a really cool island or watershed, let me know and I can add it to the "favorites".
> This is essentially what p-hacking is. By organizing variables in a certain way, you can create statistically significant results to say basically whatever you want them to say.

Do you know what statistically significant results means?
It isn't, but changes that require additional staffing simply aren't going to be tolerated. If you add more staff, that directly translates to higher ticket prices because passengers directly pay for most of the TSA costs. If you expand facilities, that takes away from the valuable real estate the airport would rather use to sell you magazines and duty free. It also harms their Clear revenue stream, who pays airports to make security lines worse as a means to convince people to sign up.
The maneuvers here are completely different and require different muscles, skills and practice to pull off.

This is largely a human controlling flight in a wingsuit while manipulating a handle and clips while flipping from prone-womgsuit to supine-wingsuit in midair.
What I found interesting was that some of the testing scenarios caused DeepSeek to crash, was there any clues to as why this happened?
What Was Life Like for Medieval Peasant Women? [video]
I had a friend who's last name was Hodgeson. Until this article I'd never really considered that that it meant "son of Hodge". "Hodge" turns out to be a medieval English nickname for "Roger": https://nameberry.com/b/boy-baby-name-hodge
I’m not surprised most of their usage is for coding tasks, but I wonder if that reflects a kind of selection bias.

HN and programming subreddits rave about Claude for coding, so it’s possible that a lot of developers use Claude for coding, but the average AI use case may weight differently on ChatGPT or Grok.

In my experience, if ChatGPT can’t solve a coding problem, I try again on Claude. Although this happens less frequently since upgrading to o1-pro and o3-mini-high. And I haven’t used Claude for anything else.
I may sound stupid here, but what is the problem? (Where I am, this would be a better option then anything I have available ).
Oh yeah, that's a known bug. You're right, the scroll event handler is waiting for you to finish scrolling. I'm looking into it though!
America has recently waved the security clearance process entirely for certain roles, so currently there isn't anything that is disqualifying right now.

Prior to that change, lying in the clearance process was the one thing that was absolutely disqualifying. As you noted candidates are incentivized to lie, and so "did you lie here, where it is likely to benefit you?" becomes an effective screening mechanism for people who are willing to compromise their ethics for personal gain.
The U.S. used to take pride in freedom of movement. In fiction, demands for papers were a classic sign of a government gone over the line. Now you need ID even for a Greyhound or Amtrak. I guess you can still walk or ride a bicycle.
100% correct. The only ones which had both a repo and a diagram that I've consistently found were AWS sample architectures. Their diagrams are usually pretty lacking, though: https://www.ilograph.com/blog/posts/better-aws-architecure-d...
You can of course - I think the point here is it's different people with different goals writing the CLI lib vs the application.

So it's often not the case that a single person who made the decision to have a message that says "you asked for help, but you did it wrong; before I give you help you have to ask correctly."
The Red Bull branding almost goes without saying at this point.
Show HN: HackYC – Free Tool to Draft Your YC AI Startup School Application
YC is hosting a 2,000-person AI Startup School this June, and I wanted to help folks navigate the application. Based on the industry insight of the Ivy League admission consultant, HackYC asks the right questions, uses AI to polish responses, and sends ready-to-submit (or at least ready-to-inspire) answers to your inbox. It’s 100% free and runs on my personal OpenAI API credits — happy to get your thoughts!
How Do We Escape the Panopticon?
It is not even rendering 1,000,000 notes; just those visible on screen. The illusion breaks pretty quickly as soon as you scroll a bit. I feel like it could be much faster.

Since you can't CTRL+F them, they're not rendered.

Also... who wants to render 1M notes? Maybe if you can CTRL+F them...
I frequently discover useful and/or thought-provoking and/or inspirational information on numerous small indie-dev blogs.

If you are the author of one of these or similar blogs: thank you, and please keep posting.
Understating who is using your product is wheel spinning?
Dick rhymes with Rick short for Richard
I feel it's impossible for me to trust LLMs can reason when I don't know enough about LLMs to know how much of it is LLM and how much of it is sugarcoating.

For example, I've always felt that having the whole thing being a single textbox is reductive and must create all sorts of problems. This thing must parse natural language and output natural language. This doesn't feel necessary. I think it should have some checkboxes and numeric entries for some parameters, although I don't know what those parameters would be.

Regardless, the problem is the natural language output. I think if you can generate natural language output, no matter what you algorithm looks like it will look convincingly "intelligent" to some people.

Is generating natural language part of what an LLM is, or is this a separate program on top of what it does? For example, does the LLM collect facts probably related to the prompt and a second algorithm connects those facts with proper English grammar adding conjunctions between assertions where necessary?

I believe that is important to understand before we can even consider whether "logical reasoning" is happening. There are formal ways to describe reasoning such as entailment. Is the LLM encoding those formal methods in data structures somehow? And even if it were, I'm no expert on this, so I don't know if that would be enough to claim they do engage in reasoning instead of just mapping some reasoning as a data structure.

In essence, because my only contact with LLMs has been "products," I can't really tell what part of it is the actual technology and what part of it is sugarcoating to make a technical program more "friendly" to users by having it pretend to speak English.
You say they are distinguishable. How would you experimentally distinguish two systems, one of which "goes through personal experience" and therefore is doing "real reasoning", vs one which is "sifting through tokens and associating statistical parameters"? Can you define a way to discriminate between these two situations?
What will fail?
Who do you think does most of the work in LLVM for example?

It is full of PhD paper contributions.

For example, research students doing internships at Embecosm (https://embecosm.com), as many others, plenty of material from LLVM Developers Meeting sessions.
Not until recently as such. In Denmark it became illegal to form them from the fathers name in 1828.
In this specific case, it's a crappy IoT device supporting only TLS 1.1. So when my browsers "helpfully" redirect me from the http:// interface to the https:// interface, they then "helpfully" refuse to work because TLS 1.1 is icky and end-of-life and browsers have decided that means "tell the user to fuck off."

At the end of the day, I worked around all of this browser helpfulness by using Firefox and re-enabling TLS 1.1 in Firefox's settings. I never actually managed to force any browser to use http:// despite trying many proposed solutions in this thread and on the web.

But all that aside, it doesn't really matter why I want to use unencrypted HTTP. I am commanding my computer to do it, and I expect it to carry out my command. My computer is a tool. It should do what I want it to do, even if that might hurt me. If I type in sudo rm -rf /usr, I expect it to do what I tell it to do. Not ask "Why do you want to do that?"
And dick used to be short for detective, and used by private investigators like Dick Tracy. Then there is the implied Dick pun, like "Magnum" PI, where Magnum is a "Big Dick"
So people say. I suspect that as they are made in the same buildings over the decades or even centuries that the yeasts eventually become part of the local ecology and are thus quite stable.
That's fair, but it can be done in ways drastically different from the Jones Act. The Jones Act fails in large part because it is so indirect. If you instead e.g. buy surplus production (like say we do for farming today), it tends to not totally kill off the industry.

If the Jones Act had worked it would have looked genius because it didn't require spending money by the government. It didn't work though.
To everyone here being dismissive of AI: you have no idea how it feels like to know you have something wrong, but receiving nothing but shrugs from the experts that are supposed to help you. I have experienced the very same thing: an orthopedist looked at my joint and wrist pain, the endocrinologist checked hormones, the rheumatologist ran their own tests. If I had to rely on my primary doctor to help, I would be taking ibuprofen and some other anti-inflammatory of their favorite big pharma.

I did a large amount of tests, including RSI and carpal tunnel, chasing what could be the source of my issue. I was only able to find out that I have Ankylosing spondylitis by talking to other people online, and asking my primary care doctor to test me specifically for the HLA-B27 antigen. I was just lucky to receive help from a random person on the internet: "why don't you check for X".

I imagine all the other people out there that were not lucky as me, or did not have access to that information. If AI can help with this, then it is great.
Trust me, men can have the same experience. For whatever reason, these difficult-to-diagnose conditions affect women more, but the experience of being shunted around, given inappropriate treatment, being referred to PT as a way to get rid of the patient, it all happens to men too.

I’ve concluded that most doctors are highly credentialed decision trees, they all start at the top of the tree no matter your history, and if they hit a dead end you’re going to told you are the problem, directly or indirectly.
If these hires exist (and I'm doubtful they do, at least at any scale beyond "this one kid is an actual genius!"), are they then given the "keys to the kingdom"? Musk/Trump wanted this kid to have what amounts to superuser access to the government purse, which is unheard of for any new hire, let alone one with this kid's background.
I agree with this, but would also point out that many junior engineers I've worked with completely give and ask for help if the program doesn't do what they want it to and prints out many lines of help. Even if there is a clear message at the top of the large output, they get overwhelmed.
TBH it didn't really crash, but enter endless loop with our prompt and instruction , the script itself crashed :)
The world is propped up by the brave few who read https://news.ycombinator.com/newest
> The models keep getting better at an exponential.

Isn't it the opposite? Marginal improvements require exponentially more investment, if we believe Altman. AI is expanding into different areas, and lots of improvements have been made in less saturated fields, but performance on older benchmarks has plateaued, especially relative to compute costs.

Even if you focus on areas where growth is rapid, the history of technology shows many, many examples of rapid growth hitting different bottlenecks and stopping. Futurists have predicted common flying cars for decades and decades, but it'll be a long, long time before helicopters are how people commute to work. There are fundamental physical limitations to the concept that technological advancement does not trivialize.

Maybe the problems facing potential AGI have relatively straightforward technological solutions. Maybe, like neural networks already have shown, it will take decades of hardware advancements before advancements conceived of today can see practice. Maybe replicating human-level intelligence requires hardware much closer to the scale of the human brain than we're capable of making right now, with a hundred trillion individual synapses each more complex than any neuron in an artificial neural network.
The biggest microcode attack in our history is underway
I have previously brought you a plain and obvious example of a contradiction, and you denied that it was a valid example.

Now you want this poster to believe that if they were to just bring examples, you would be interested for reasons other than arguing against their validity.
I think broader acceptance of trans people has increased as long as you view acceptance as "do whatever you want with your body."

The big wedge trans issue I've seen is with children and puberty blockers which is much more complicated and I don't think can be boiled down to "acceptability of trans people."
> But to be clear, these facilities require surface support - they are not self-sustaining. Which is perfectly fine (the ISS is not self sustainable either.)

Who made any claims of self-sustaining? And in any case, the water cycle means land and sea are intertwined—life on land is not self-sustaining as much as life at sea is not.
It's strange as I typically think the opposite - you don't really understand something until you can measure and quantify it. e.g. we don't have a handle on consciousness yet as we can't reliably measure it.

However, when it comes to a "deep" understanding, then maybe numbers aren't enough and we need to be able to intuit what's going on that creates those particular numbers.
Part of it is selection bias, Claude is much less general-audiences than ChatGPT. But any lawyers using LLMs in 2025 deserve to be disbarred:

"A Major Law Firm's ChatGPT Fail" https://davidlat.substack.com/p/morgan-and-morgan-order-to-s...

"Lawyer cites six cases made up by ChatGPT" https://arstechnica.com/tech-policy/2023/05/lawyer-cited-6-f...

"AI 'hallucinations' by ChatGPT end up costing B.C. lawyer" https://www.msn.com/en-ca/news/world/ai-hallucinations-creat...

The list goes on and on. Maybe there's a bespoke RAG solution that works...maybe.
> DeepSeek's next-gen models are already outperforming us, especially in reasoning and long-context capabilities

This is interesting - this is the first time I heard someone claim that DeepSeek may excel at long-context capabilities. All public benchmarks show that DS-V3 isn't very good at dealing with longer inputs, but maybe OAI had better evals internally?

In short, I don't believe you and I think there's some technical details that do not add up.

And yes, before you say it, I am sure I am a Chinese spy /s
What mechanism would allow the executive branch to replace sitting judges? Impeaching a federal judge isn't something they can wave a magic wand to accomplish.
Just as a matter of language: I have only ever seen the word "Leftist" in contexts meant to connote "traitor" or "moron" or something similar. I'm reluctant to explain anything in such a context.

The recommended left-wing, progressive approach to such things is to be kind, patient, informative, and reasonable. Personally, I believe this is the reason we regularly get destroyed in elections, and if there's ever a way to get back, it's to respond to hatred with hatred. Reasonableness bores people; hate is exciting.
> European airports don't bother with shoe removal.

They do, just kind of “at random”. I had it sometimes a bit of everywhere in Europe.
> Microsoft highlights the advantages of Edge on the page, including features such as Microsoft Widgets, Copilot Chat, or Bing Search.

Funny how those "advantages" are all examples of things I actively don't want in my browser.
The universe is a poet. Live by the sword, die by the sword.
I still search quite a bit, but with Kagi. I've been increasingly using their quick answer feature (sufficing a query with a question mark), which prompts a RAG (I think) LLM response. It blows my mind that Kagi's output with their AI responses is just so much better than the Google ones. It cites it's sources and then I can click in and go to the specific article to verify. For really simple things that accuracy being only 95% being fine, it's been an absolute dream.

My favorite example is asking for the release date of some media. We've had to sift through ten paragraph articles filled with nonsense for years, just to see at the bottom that "the release date has not been announced yet".
Oh nice! Does Upton follows the same pattern?
The other part of the optimization issue is that you can't take to long to try anything and everything. Most of the optimizations happen on the driver side, and anything that takes to long will show up as shader compilation stutter. I can't say currently if this is or isn't done, it's just always something you have to think about.
A lot of old nicknames don't really make a lot of sense at first glance. The short answer is rhyming slang, and the long answer is there simply used to be a lot less names in English that were acceptable and commonly used. So, for instance, Richard being shortened to "Rick" is pretty straightforward, but you probably knew several Richards and Ricks, and you want to call them different names. So instead of Rick, you call them by a rhyming nickname, in this case "Dick." The same is true of "Rob" being short for "Robert," but "Bob" was too. Because "Bob" rhymes with "Rob".

One of the oddest in this vein is Peggy, which is short for Margaret. Because Margaret would get shortened to Meg, and then rhymed with Peg, and then somehow lengthened back again to Peggy. ¯\_(ツ)_/¯
They don't. The complication -- in both directions -- is "record of hand or face geometry"

If I take a photo of you, that's a record of face geometry.

The Meta FAIR demos turned on my webcam because I didn't notice that was enabled when allowing audio. They grabbed a photo of me without my permission, with no purpose as far as I can tell. That should be illegal.

However, posting a photo of a public space in a news article? That seems to fall under the same provision.
There is relatively high general awareness of the concept! Just remember that we all live in bubbles. And the slice of life you see and know is going to have its own little biases that are not nationally reflected. For an easy one in tech, did the majority of people you know (who voted) vote for Trump?
Yes which is still not very popular. The poll I’m looking at on 538 puts his disapproval and approval rating as almost finally meeting for once.
It’s running on the remote machine, so these do not apply by default. Sudo requires a password.
Hm, this is cool but I’m not seeing the speed. I loaded this on my phone and did one scroll flick with my thumb. Immediately saw white screen and took multiple seconds to render the items.
iOS iPhone 15 pro.
I’ve run into this same problem before using tanstack virtual table and it’s usually do to a few things:

- Too much on band calculation blocking the renderer when the new items come into view.

- Not enough preloading of the items off screen

- Incorrectly calculating the virtual scroll height which causes inefficient re drawing during render.

Not sure what stack you’re running but it seems the table could use some optimization.
What Seen does is render notes off-screen first, then pack them up in the container. So yes, it does use a hidden div in a way. Some CSS styling does not let you measure the height, which is why Seen uses an off-screen div.
cline [1] is pretty good, I've been using this instead of Cursor recently.

[1]: https://github.com/cline/cline
Interesting article relating Adam Unikowsky asking for Claude to decide a Supreme Court case: https://blog.plover.com/tech/gpt/presidential-emoji.html

"Claude is fully capable of acting as a Supreme Court Justice right now."
The best crash is the one being avoided - I had my modern car save me from slipping 2 times with the ESC. (stability control)