MurphyA/hacker-news huggingface dataset:
by anonymousiam | 2026-01-01 17:36:24+00:00
I agree the article is junk.

DHS doesn't issue REAL IDs. They've delegated that ability to the States. Many states are actively defying Federal law, so how can they be trusted to comply with the REAL ID requirements?

As mentioned in the article; 'Lavoie's declaration says that the agents "needed to further verify his U.S. citizenship because each state has its own REAL ID compliance laws, which may provide for the issuance of a REAL ID to an alien and therefore based on HSI Special Agent training and experience, REAL ID can be unreliable to confirm U.S. citizenship."'

So the bottom line is that a state-issued REAL ID is only useful for confirming citizenship if the state that issued it complies with the DHS requirements. If the REAL ID was issued by California, Colorado, Connecticut, Delaware, Illinois, Maryland, Massachusetts, Minnesota, Nevada, New Jersey, New Mexico, New York, Oregon, Rhode Island, Utah, Vermont, Virginia, or Washington, then it's pretty much worthless.

Note that Alabama is not in the list above, so the plaintiff's REAL ID should have been enough to immediately validate his status as a US citizen. Instead, he was detained for a short period without just cause. The case for false arrest would actually be stronger if he had not produced his REAL ID, because the burden of proof is on the government and not on him.
by stackbutterflow | 2026-01-01 17:36:32+00:00
> Narrowness of mind is something that makes me uneasy about the tech world.

> The Bay Area has all sorts of autistic tendencies. Though Silicon Valley values the ability to move fast, the rest of society has paid more attention to instances in which tech wants to break things.

> There’s a general lack of cultural awareness in the Bay Area. It’s easy to hear at these parties that a person’s favorite nonfiction book is Seeing Like a State while their aspirationally favorite novel is Middlemarch.

It's refreshing to read someone addressing this aspect of the Mecca of the tech word.

For the reasons above the tech elites are the ones I trust the less and fear the most when they are involved in national and international politics. And I think the current state of the US is directly caused by the rise of post dot com Silicon Valley.
by cosmic_cheese | 2026-01-01 17:36:37+00:00
It’s definitely something that varies from person to person. I tried putting Graphene on a secondary Android device (an old Pixel 3XL) and compared to the stock ROM or more typical AOSP fork (e.g. LineageOS or Pixel Experience), I found it rather frustrating. I can’t imagine running it on my daily driver.

Similarly with Linux, the sheer number of rough edges, papercuts, and quirks is still too high (regardless of if I’m using a big name DE or hyper minimal tiling WM or somewhere in between) for them to serve as my main desktop environment.
by sethammons | 2026-01-01 17:36:40+00:00
Brainwashed? Try pasting your comment into an AI and ask for an analysis. Your weak argument is selectively true, historically shallow, and ideologically motivated. It reflects apologetics. It's not reflective of serious history.

You have a whole world of truth you are willfully blind to judging by your comments.

I am a fan of Dr. Dan McClellan, who uses the slogan “data over dogma.” He’s best known for his work in biblical scholarship and for presenting religious topics with an emphasis on evidence-based interpretation rather than theological assumptions.

Either his book or online content will challenge your views, and if you are honest with yourself, likely change your theological dogma.
by basisword | 2026-01-01 17:37:05+00:00
None of these are bad things.They're all great. But rejecting socialising with other humans due to a negative experience with some is the opposite of the enlightenment that can be found through meditation. If you only read about things rather than experience them you can't really know them. If you only travel alone you miss out on the joy of travelling and discovering with others. You can do both.
by jmyeet | 2026-01-01 17:37:05+00:00
The example I often end up pointing to is the "rise" in left handedness [1]. It didn't actually increase. We simply stopped punishing people for it.

There have been seismic changes in the understanding of autism (and ADHD) over even the last 10-15 years, let alone 30-40+. Once autism was considered only for people who were largely or totally nonverbal. It was only in the 2010s that the consensus formed that people could have both ADHD and autism. They were previously considered to be exclusive.

I've heard many stories from teachers who, when faced with an autistic pupil, will play a game of sorts to see which parent has undiagnosed autism. With a modern understanding, it tends to be pretty easy to spot.

[1]: https://www.reddit.com/r/dataisbeautiful/comments/s9x1ya/his...
by nextaccountic | 2026-01-01 17:37:15+00:00
I think the main thing is whether mmap will make sqlite lose data or otherwise corrupt already committed data

... it will if two programs open the same sqlite, one with mmap, and another without https://www.sqlite.org/mmap.html - at least "in some operating systems" (no mention of which ones)

https://www.sqlite.org/mmap.html

> The operating system must have a unified buffer cache in order for the memory-mapped I/O extension to work correctly, especially in situations where two processes are accessing the same database file and one process is using memory-mapped I/O while the other is not. Not all operating systems have a unified buffer cache. In some operating systems that claim to have a unified buffer cache, the implementation is buggy and can lead to corrupt databases.

Sqlite is otherwise rock solid and won't lose data as easily
by Aurornis | 2026-01-01 17:37:27+00:00
A meta-note on the title since it looks like it’s confusing a lot of commenters: The title is a play on Jeff Dean’s famous “Latency Numbers Every Programmer Should Know” from 2012. It isn’t meant to be interpreted literally. There’s a common theme in CS papers and writing to write titles that play upon themes from past papers. Another common example is the “_____ considered harmful” titles.
by centamiv | 2026-01-01 17:38:08+00:00
Apologies if it felt that way! I used OpenAI in the examples just because it's the quickest 'Hello World' for embeddings right now, but the library itself is completely agnostic.

HNSW is just the indexing algorithm. It doesn't care where the vectors come from. You can generate them using Ollama (locally) HuggingFace, Gemini...

As long as you feed it an array of floats, it will index it. The dependency on OpenAI is purely in the example code, not in the engine logic.
by skeeter2020 | 2026-01-01 17:38:45+00:00
You're both right of course, but it does seem to be an enjoyment filtered through the social media promoter lens, which makes me a little sad. Unlike say, the enjoyment I got listening to a record (and then CD) as I examined the liner notes and insert, this go-around feels like external validation by casual (or no) acquaintances. Historically this is not as valuable and can lead to some bad outcomes...
by tialaramex | 2026-01-01 17:38:49+00:00
Did I write that I hated somebody? I don't think I wrote anything of the sort. I can't say my thoughts about Bjarne for example rise to hatred, nobody should have humoured him in the 1980s, but we're not talking about what happened when rich idiots humoured The Donald or something as serious as that - nobody died, we just got a lot of software written in a crap programming language, I've had worse Thursdays.

And although of course things could have been better they could also have been worse. C++ drinks too much OO kool aid, but hey it introduced lots of people to generic programming which is good.
by mmooss | 2026-01-01 17:39:02+00:00
> men need activities more than women to bond. My wife can make friends just by randomly running into other women at events or my daughter's activities.

That describes you and your wife, and that's great to know yourselves. Why do you feel the need to generalize it to everyone else?

People don't need to justify needs by pointing to some greater power that compels them. People have needs; what's most important is understanding them and their loved one loving and supporting them. That one is yours.

Each person has needs; I have no data that it has to do with gender or sex, and why would it matter? The needs aren't predictable based on gender/sex (though socialization is, to some extent). It doesn't change what I do or how I think of it.
by crubier | 2026-01-01 17:39:26+00:00
> Can someone elaborate on how growth is aligned with the general interest?

Empirically, the past 200 years have seen high growth globally, and human well being has improved massively as a result. Life expectancy has skyrocketed, infant death, hunger have gone down to near zero, literacy has gone up, work is much more comfortable, interesting and rewarding, etc. But at a more fundamental level, our material quality of life is that of literal kings. The 1st decile poorest people in the US or Europe have much better living conditions than a king of 500 years ago. We are so lucky to benefit from this, yet we completely forgot that fact. You complain about congestion and advertizing, but with degrowth you would complain about hunger and dying from cold during winter.
by Rygian | 2026-01-01 17:39:26+00:00
Here's an excerpt from [1]:

> Step 1: Connect (CVE-20700/20701) The attacker is in physical proximity and silently connects to a pair of headphones via BLE or Classic Bluetooth.

> Step 2: Exfiltrate (CVE-20702) Using the unauthenticated connection, the attacker uses the RACE protocol to (partially) dump the flash memory of the headphones.

> Step 3: Extract Inside that memory dump resides a connection table. This table includes the names and addresses of paired devices. More importantly, it also contains the Bluetooth Link Key. This is the cryptographic secret that a phone and headphones use to recognize and trust each other.

> Note: Once the attacker has this key, they no longer need access to the headphones.

> Step 4: Impersonate The attacker’s device now connects to the targets phone, pretending to be the trusted headphones. This involves spoofing the headphones Bluetooth address and using the extracted link-key.

> Once connected to the phone the attacker can proceed to interact with it from the privileged position of a trusted peripheral.

[1] https://news.ycombinator.com/item?id=46454740
by prmoustache | 2026-01-01 17:39:38+00:00
CD didn't really killed cassette. They coexisted peacefully for 2 decades. CD was nice, transportable but cassette was still more convenient to carry around because a walkman was much smaller[1], wouldn't skip when running/jumping[2], a cassette was less fragile and it was simply so much easier to leave a cassette in a deck and record anything you would ear on the radio on the go. Virtually nobody could/would live burn a dj mix from the radio.

Napster + portable mp3 player and smartphoned did kilómetros ll the cassette.

[1] especially the late 90's early 00's ones that were barely bigger than a standard cassette case.

[2] there was buffering for discmans but it wasn't 100% effective if skipping happened for longer than the buffer
by wiml | 2026-01-01 17:39:46+00:00
I think (I am not a mathematician) that depends on whether you accept non-constructive proofs as valid. Normally you reason that any mapping from natural numbers onto the reals is incomplete (eg Cantor's argument), and that the sets of computable or describable numbers are countable, and therefore there exist indescribable real numbers. But if you don't like that last step, you do have company:

https://en.wikipedia.org/wiki/Constructivism_%28philosophy_o...
by rubymamis | 2026-01-01 17:39:46+00:00
You can see on the website: https://www.get-notes.com/pricing

You can pay for the Pro version to use advanced blocks such as kanban, images,Drop cap. Also, the free version limits you to 10 notes.

BUT, I'm planning to change that very soon, I will make all the current Pro features free and the only thing that will cost money will be cloud storage with real-time sync when I'll release the new mobile app.
by pm90 | 2026-01-01 17:40:21+00:00
Did they ever learn to compete then? The only thing that protected them then was that Japan was a US “ally” and could be “persuaded” to go along with protectionism. China has no such need.

I would argue that the 70s were a trial run for whats happening today but instead of becoming more competitive the automakers focused on lobbying for Government help; a playbook that won’t help them today.

And even more stupidly, traditional American carmarkers are discontinuing EV models and shutting down factories JUST when they finally had an edge over their japanese competitors.
by shellac | 2026-01-01 17:41:01+00:00
Academic publishing is _notoriously_ profitable. Authorship and the bulk of the editorial process is done by others for free, and these days you often aren't even creating a physical copy. Their overheads are really pretty minimal. What the money (subscriptions and / or APCs) gets is the kudos associated with the publication.

It is reasonable to say: well if they aren't providing anything of value then the market ought to bypass them. The reality is that the publishers have been very canny in protecting their position, and sharp practice is rife.
by nativeit | 2026-01-01 17:41:41+00:00
In my experience (which is limited, personally, but I have several writers/editors/publishers in the family), writing a book is something one feels compelled to do, irregardless of financial incentives, or even tangential incentives like notoriety/influence. I would compare it to my own endeavors writing/recording music. I would do it even if I know for certain nobody else will ever appreciate it. Because the drive is internal. It’s what I do to make myself fulfilled. The fact that others may find some meaningful value within that work is a nice knock-on effect, but wasn’t involved in my choice to create it.
by kamranjon | 2026-01-01 17:42:32+00:00
Just wanted to maybe provide a slightly different perspective, but I recently went through this process of pulling back from being socially active and it was for more than just one reason.

I wanted to focus on my health, both mental and physical, this meant going to the gym every morning and making time to read and getting rid of social media.

I also wanted to reduce my consumption of alcohol which typically was fueled by social events and always seemed to throw a wrench in taking care of my health (hard to get to the gym in the morning when you were drinking the night before, and for me it was even after just 1 drink).

What I realized was that many of the people I was spending time with, they oriented their communal time around drinking and for me that's pretty detrimental to my goals. After pulling back from social activity, I've felt so much healthier, happier and optimistic about life.

I get the same exact phone calls as you're describing, and I generally weigh the events I'm being invited to with what the focus of the event is - if the goal of the event is to just get together at a bar, I don't go. I think many of my friends feel that I've lost my way, but it's difficult because I sort of see them in the same light.

What I do hope to do eventually is to cultivate some new friendships, because I am missing that social aspect of my life, but for now I've sort of got a good thing going and I'm not too concerned about rushing it into being.
by cosmic_cheese | 2026-01-01 17:42:57+00:00
Most cross device stuff in the Apple world actually works via P2P Bluetooth and WiFi and functions without an internet connection or even a shared WiFi network. Mac and iDevice WiFi hardware is even designed with this in mind and is capable of maintaining P2P connections to other devices and a WiFi network simultaneously without rapidly switching between the two like many commodity WiFi cards have to.
by Rendello | 2026-01-01 17:43:27+00:00
> there’s only so many times you are willing to let a human wrecking ball into your life.

I understand this deeply. On the other hand, I do believe that community is essential for a good life (for 99%+ of people). It's a struggle for me, as I want community, but I've had many wrecking balls and anchors (and been them), and so I tend to be defensive.

> Other people [...] are generally emotionally messy, unwilling to tolerate people with radically different views/values, and either intellectually lacking or overly predictable in their interests.

I also feel this. But I suspect a large part of this is that defensiveness, people are meant to live in harmony with those (fairly) different from them. But especially with regard to differing values, sometimes it feels like no one around you shares the same framework. I think that's one reason people move to new places.
by eudamoniac | 2026-01-01 17:43:45+00:00
All this advice is mostly harmless and not contraindicated, though some of it is incorrect, but point 5 in regards to soreness is harmful advice. Soreness is not a goal and does not indicate anything other than that you did a lot of eccentric lifting to which you were not recently adapted. Soreness means you waited longer than what was necessary to exercise that muscle group again. If you are getting sore beyond the first few workouts, it is a sign that your programming is suboptimal.

Progress is the weight on the bar increasing. Progress is not you being sore. Excess soreness is counterproductive during training, and should only be sought after if you are exercising as a penance for sins instead of training for some goal.
by mands | 2026-01-01 17:44:14+00:00
I’m not convinced that “single binary” really matters in practice. What actually matters is how easy it is to install, run, and update an application, and that depends entirely on the target user.

For end-user apps, this is basically solved: use jpackage to ship an installable app with a bundled, trimmed JRE. Better yet, distribute via the OS app store so updates are handled for you (on Linux, Flatpak is probably the right answer today).

For CLI tools, you’re already assuming a more technical audience. At that point you have two real options:

- ship everything bundled (Go/Rust static binaries, pyinstaller, jpackage)

- ship just the app and rely on a smart launcher/runtime manager (npx, bunx, uvx, jbang), and assume your technical audience can install that first

The real question isn’t "is it a single binary?", it’s "how do users install, run, and update it?". In practice, that’s already been solved by developer package managers like brew and scoop. All the Go and Rust CLIs on my machine are installed via brew, not manually downloaded from GitHub releases.

You also want CLIs on PATH or inside a dev environment (mise, direnv, etc.), so whether that executable is a true single binary or a symlink to a bundle is mostly irrelevant.

So the trade-off becomes, do you support `brew install foo-java-tool` with a bundled JRE, or do you ask users to `brew install jbang` and then `jbang install foo-tool`? Either way, the end result is the same, you run `foo-tool`.

Note, Claude Code for instance supports both options (curl | bash, brew cask, and npm -i), isn't a single binary, and that still hasn't stopped it from being the most popular CLI tool released this/last year.

There’s definitely room for improvement in Java’s packaging story, I just think the focus shouldn’t be on "single binary" as the primary goal.
by rose-knuckle17 | 2026-01-01 17:44:59+00:00
yes. you get it. They want a national id system that is weak enough that they can arbitrarily deny or revoke based on appearance or demeanor.

Most US citizens couldn't prove they are citizens, at least without a fingers-crossed records search IF they can remember the county they were born in. Stats say only around 10% of americans could easily put their hands on their birth certificate. Almost no one can produce one at a checkpoint if demanded, and its rare for people to even have one in their possession at home.

A passport proves citizenship, but its absence doesn't disprove it.

Voting cards and social security cards aren't identification. State issued cards like drivers licenses, state ID cards or even realID cards do not prove federal citizenship (although they do prove identity).

Sources:
https://www.brennancenter.org/our-work/analysis-opinion/mill...

https://en.wikipedia.org/wiki/Identity_documents_in_the_Unit...
by re-thc | 2026-01-01 17:45:07+00:00
> so they have to have reasonable pricing that actually reflects their costs instead of charging more than free for basic services like NAT

How is the cost of NAT free?

> Cloud services are actually really nice and convenient if you were to ignore the eye watering cost versus DIY.

I don't doubt clouds are expensive, but in many countries it'd cost more to DIY for a proper business. Running a service isn't just running the install command. Having a team to maintain and monitor services is already expensive.
by modeless | 2026-01-01 17:45:26+00:00
I've never seen a comment simultaneously be so right on some things and so wrong on others.

> The ban on selling lithography AND chips to China is massively backfiring

Agreed. We will be screwed once China surpasses us in chip fabs, and they will. The idea that we can get a "durable advantage" by reaching AGI a few years before China is ridiculous. Using that to justify bans that only slow them down a few years at the cost of creating a chip fab juggernaut later is folly.

> Tesla is a trillion dollar company that was created entirely by government subsidies that only continues to exist because of the tariffs

Tesla is not supported by subsidies significantly more than any other car company and less than many including BYD obviously. They also compete directly with BYD without tariff protection worldwide and in China and do well. They are worth a trillion dollars because of the potential of their self-driving software which is far ahead of any other car company's including those in China.

> Tesla is completely dependent on Chinese rare earth exports for its products.

Tesla has rare earth free alternatives. There is no urgent need for them right now but they can switch if necessary.
by corrode2711 | 2026-01-01 17:45:30+00:00
I'm the author of this repo. I see some really angry comments, some of them even personal. Obviously I didn't think that just by tinkering with a compiler, I'd get personally attacked, but anyway, fair enough.

For those of you confused: yes, this started as a satirical project with the corroded lib. Then I thought "why not just remove the borrow checker?" without any real motivation. Then I just went ahead and did it. To my surprise, it was really simple and easy. I thought it would be heavily tangled into the rustc compiler, but once I figured out where the error emitter is, it was pretty straightforward.

I'm not sure about my long-term goals, but besides the joke, I genuinely think for debugging and prototyping purposes, I'd like the borrow checker to shut up. I'm the kind of guy that prints everything while debugging and prototyping. Maybe you're using a debugger, okay, but I don't. I don't like debuggers. It's just more convenient for me. So what constantly happens is I run into issues like: does this implement Debug? Can I print this after it moved? The borrow checker won't let me access this because of some other borrow. Stuff like that.

Another point is, as you guys are well aware, the borrow checker will reject some valid programs in order to never pass any invalid program. What if I'm sure about what I'm doing and I don't want that check to run?

In the repo there's a doubly linked list example. Without the borrow checker it's fairly simple and easy to implement. With it, you know how complicated and ugly it gets.

Anyway, have a good new year, and don't get angry over compilers, you know.