MurphyA/hacker-news huggingface dataset:
by ZephKeks | 2025-09-20 12:11:03+00:00
Thanks for the detailed insight, i've added your comment verbatim to the report so it doesn't get buried. i'd plainly over-weighted on the GPE path it self and missed that this could also be happening completely. I've taken a bit of a deeper look as a result to both the SSDT/DSDT files and i saw that under _SB.TPM there's a SystemIO OpRegion at TSMI(SMIA,1) with an 8-bit SMI field and several _DSM case writes (SMI assert via the SMI command port im assuming), there's also an EXBU scratchpad with FSMI,ACPF,ALPR ... and so on which i assume is some kind of mailbox used bby the SMM/EC plumbling. Beyond that, I don’t see anything that would immediately stand out in the PEG* scopes themselves, would love to know your thoughts on this, here's the full SSDT/DSDT decompiled code:

https://limewire.com/d/SoEOd#hEZzJ4PWAr
by alephnerd | 2025-09-20 12:11:34+00:00
> Warsaw is generally more expensive than other cities in Poland, so you don't need to limit yourself to one city in your search

Yep! Krakow, Lodz, and the other various cities have become cost effective and built hiring pipelines as well.

You see this all over the CEE and India as well, such as Czechia (Brno, Ostrava), Romania (Cluj thanks to the Transylvanian government, Timisoara) and India (BLR/Pune/Hyd/Gurgaon to Tier 2/3 cities)
Show HN: Latchor – Tang-compatible NBDE server written in Elixir
by err931 | 2025-09-20 12:11:36+00:00
Hi! I've been learning Elixir for a while and wanted to build something more challenging than the usual tutorial projects. Tang, the network-bound disk encryption (NBDE) server used with Clevis, caught my eye because the protocol is small, well-defined, and practical — but I couldn't find an implementation in Elixir. So I decided to write one.

It sticks closely to the Tang protocol, but I replaced the file‑based key storage with a SQLite‑backed design to make key rotation and cleanup safer. For the ECDH key exchange, I opted to call the same jose CLI Tang uses.

The repo includes a development log describing the design decisions, trade‑offs, and a few lessons learned from trying (and failing) to get an LLM to write code.

I believe this compatible implementation could also be useful as a reference for implementations in other programming languages.

FYI, I'm not a native English speaker, so please forgive any awkward phrasing.
by skydhash | 2025-09-20 12:12:59+00:00
> Tracking variables, remembering syntax,

That's why you have short functions so you don't have to track that many variable. And use symbol completion (a standard in many editors).

> trying to think through every edge case, avoiding off-by-one errors.

That is designing, not coding. Sometimes I think of an edge case, but I'm already on a task that I'd like to finish, so I just add a TODO comment. Then at least before I submit the PR, I ripgrep the project for this keyword and other.

Sometimes the best design is done by doing. The tradeoffs become clearer when you have to actually code the solution (too much abstraction, too verbose, unwieldy,...) instead of relying on your mind (everything seems simpler)
by bell-cot | 2025-09-20 12:13:00+00:00
"If Anyone Build IT..." is a cool-sounding trope. Which pushes lots of human emotional buttons. Making that trope a great thing to push, if you goal is to get ahead in our attention economy.

From my PoV, our "shortish-term profits are the ONLY metric that matters" global techno-capitalist system is vastly more dangerous than AI.
by hennell | 2025-09-20 12:13:10+00:00
I think a lot of this depends on if you read the article as the scream cipher being specifically the exact listed substitutions or just any substitution with forms of As. Also depends on how you define encoding, cipher and the overlaps between the two. Plus questions on the relevance of intent, transformation of data, plus changing of meaning and definitions over the years. Some people say morse code is a cipher, but braille isn't - definitions can depend on way more than the black and white logical "but it does this" you're using.

You'd do better debating this with a real life friend over a pint, rather than wasting your time trying to argue with multiple people here.
by pluc | 2025-09-20 12:13:45+00:00
Do you know of any such automated systems or are you just making that up? I've never heard of application systems or ATS that looks for a linkedin URL in PDFs, extracts it along with employment information and validates it against what's in the resume, or a form that validates that a given entry leads to a valid LinkedIn profile, and that the profile corresponds to the one that was submitted. Recruiters; yes, and those will show up - and they haven't.
by hypito | 2025-09-20 12:13:52+00:00
A11y is a field with a high economic potential and with an incredibly supportive community.

For recharging batteries, I warmly recommend to join the A11y Slack: use its search function, explore your idea further, or find interesting new contacts.

I’ve requested an invite link for you. When it gets accepted, you should get an email – feel free to click (or ignore) it!
by jaybrendansmith | 2025-09-20 12:14:33+00:00
I have been completely radicalized. I used to be a boring moderate; was a liberal when it came to social issues, but somewhat conservative fiscally. Now I find I am just an American, and it is no longer about left or right, it is about what is moral and immoral. I never would have believed so many in my country would have zero self-reflection and ignorance, but here we are. I suppose they have always been here, I just did not want to believe it.
by badlibrarian | 2025-09-20 12:14:38+00:00
Accepting donations to preserve internet pages then nearly getting sued out of business twice in two years over side projects that have nothing to do with your core mission would result in management change at any normal non-profit. Likewise leaking 30+ million patron communications at a library (including passports and driver's licenses) would get you bounced from a normal library.

Not to mention diversions like trying to start a bank and getting your ass handed to you by the feds.

https://ncua.gov/newsroom/press-release/2016/internet-archiv...

"Unwillingness to open accounts within the field of membership, make loans, and establish operations in the low-income community where the credit union was chartered to serve..."
by walleeee | 2025-09-20 12:15:47+00:00
> Why should you take the time to write back personally?

Because it's 3 sentences, if you want to be way more polite and verbose than necessary.

"I will close PRs if they appear to be largely LLM-generated. I am always happy to review something with care and attention if it shows the same qualities. Thanks!"

The idea is to get your coworkers to stop sending you AI slop, send them AI slop in retaliation?
by jffhn | 2025-09-20 12:16:15+00:00
Agreed. A program is made of names, these names are of the utmost importance. For understanding, and also for searchability.

I do a lot of code reviews, and one of the main things I ask for, after bug fixes, is renaming things for readers to understand at first read unambiguously and to match the various conventions we use throughout the codebase.

Ex: new dev wrote "updateFoo()" for a method converting a domain thing "foo" from its type in layer "a" to its type in layer "b", so I asked him to use "convertFoo_aToB()" instead.
by cleartext412 | 2025-09-20 12:16:58+00:00
> Java's explicit exception system is great at forcing developers to deal with potential failures, but in practice Java developers chose not to deal with exceptions so often that exceptions now get hidden.

Every time I see someone bringing up the idea of adding checked exceptions to a language (usually in these endless exceptions vs returning errors debates), it is met with "it won't work, look at Java", and it feels like a real shame. I'm sure complications of additional syntax would pay off just as fast as it does for regular type annotations.
by dogman1050 | 2025-09-20 12:17:15+00:00
For sure, but I probably naively think that those who have the gumption to take the back off a TV would know this. As a kid, I used to play with an old TV by connecting the second anode lead to a 50 ft extension cord and walk around our damp basement zapping spiders with inch-long sparks. Fun times.

My worst shock was from an old tube shortwave receiver when reaching over it and learning that the antenna lead was hot by touching it.
by aprilnya | 2025-09-20 12:17:44+00:00
Clearly you haven’t seen an older person’s Android phone. One time had someone come to me with an Android phone that played forced fullscreen unexitable ads every few seconds through some obscure permission that you can’t even prompt for (i.e. user has to go to settings and enable it in an unusual spot). I get why the overlay permission would exist but honestly it’s not worth it. I can’t imagine what would be done by even a single malicious app slipping through with a “literally see and control your entire phone” permission
by rauljara | 2025-09-20 12:18:16+00:00
“Sec. 2. The Gold Card. (a) The Secretary of Commerce, in coordination with the Secretary of State and the Secretary of Homeland Security, shall establish a “Gold Card” program authorizing an alien who makes an unrestricted gift to the Department of Commerce under 15 U.S.C. 1522 (or for whom a corporation or similar entity makes such a gift) to establish eligibility for an immigrant visa using an expedited process, to the extent consistent with law and public safety and national security concerns. The requisite gift amount shall be $1 million for an individual donating on his or her own behalf and $2 million for a corporation or similar entity donating on behalf of an individual”

Calling it a “gift” somehow manages to add an extra level of ick in my mind.
by jansan | 2025-09-20 12:19:01+00:00
It's a joke. In the original Bladerunner film they are using a so-called "Voight-Kampff" test to find out if someone is a human or a replicant (artifical humanoid), which has a similar purpose as these "I'm not a robot" tests. The quoted question is from a scene where the test was conducted on a replicant, who then shot the interrogator.

Here is the scene (violent at the end): https://www.youtube.com/watch?v=cIFMwObyst4

BTW, the movie is very worth watching IMO.
by matheusmoreira | 2025-09-20 12:19:58+00:00
> Compiler was in OCaml

Not exactly a common language...

I don't have a math or computer science background so the more academic publications are almost always quite unreadable to me. I learn a lot by exploring the source code of existing virtual machines instead, and most are written in systems languages.

Sometimes much smarter people than I randomly decide to write articles that democratize access to very complex areas of programming language development. Examples:

https://journal.stuffwithstuff.com/2013/12/08/babys-first-ga...

https://www.wingolog.org/archives/2010/02/26/guile-and-delim...
by inglor_cz | 2025-09-20 12:19:58+00:00
I don't think that human talent is completely homogeneous, there are certainly places where there is more of it than elsewhere.

That said, I think you underestimate many places. For example, Iran is one of the most ancient civilizations out there, and the Persian diaspora in the US is pretty productive, even though the country proper is a retrograde tyranny with very bad economy.
by JKCalhoun | 2025-09-20 12:21:15+00:00
Some funniness in here.

"Anyway, I’m not going to let him Liebniz my Newton here."

I like the idea of a whole series of Sangaku puzzles done in stained glass (but, yeah, these mathematicians need to refine their stained glass skills — I suggest trying to make the next piece 2 × s). I propose that the element you are trying to find an answer for (here, the small circle here whose radius is a mystery) be the only element in color in order to draw attention to the unknown. (I can already see a small red circle floating in a sea of white shards … not unlike the Japanese flag I suppose if the flag were square.)
by gkbrk | 2025-09-20 12:23:26+00:00
> a product that isn't remotely usable without 3rd-party plugins

That's not even remotely true. Obsidian out-of-the-box is very usable, covers pretty much all use cases for a note-taking software.

I've been using it for ages, and I haven't needed to turn on the Community Plugins switch for anything.

Usually the people I see with tons of Obsidian plugins are people who think "just one more plugin" is what stands between them and productivity.
by ZeroGravitas | 2025-09-20 12:23:30+00:00
There's stats about greenhouse gasses that adjust for exports and imports.

This has traditionally made China look slightly better and the countries that buy their exported goods slightly worse.

But if you buy an EV built in China you're investing some carbon and then every mile you drive reducing carbon compared with an ICE equivalent. Solar panels and wind turbines are similar.

I saw someone claim that Chinese green tech exports in 2024 caused a 1% drop in global emissions which is an absolutely wild number and presumably if counted towards China means they are already on the downslope of carbon and not on a plateau as they are if you consider only their territorial emissions.
by badlibrarian | 2025-09-20 12:24:38+00:00
The Reddit support groups are pretty enlightening. Many people think they're just adding things in to a public library and somehow this is all perfectly legal.

It's charming and reminiscent of the best old-school Wikipedia energy. People on the fringe (and probably some OCD people) finding something to do. Curation and contribution feels good, man.

But yeah, holy shit. Brewster Kahle and Jason Scott have said "upload away, we'll figure it all out later" -- then themselves uploaded hundreds of thousands of items to set an example.

"Please don't upload copyrighted material" would go a long way at the top of that PHP upload form. Better yet a checkbox: "This is copyrighted. Archive it but don't republish it." But I suppose where's the fun in that.
by rollcat | 2025-09-20 12:24:40+00:00
> You're answering rhetorical questions which, incidentally, are not about terminology, but about legal and social mechanics.

Yes, that's what I've tried to imply. You name things, so you can discuss them in more abstract terms, so you can form a social & legal framework around those concepts.

> My whole point is that not having to define such relationships and their expectations is a reason to forbid them culturally.

>> [...] not having to define [...] is a reason to forbid [...].

Suppress the concept. "We don't talk about that."

> How did that work before most people knew how to write?

How did people enter agreements?

> Personally, I'm more of the opinion that cultural features are memetic, and that memes are not uniformly successfully propagated.

Agree. It's also how dictatorships rise. Another form of oppression that concentrates power and fires back at the group who have initially supported it. Another lose-lose.

Societies often overoptimize for a local maximum.
by furyofantares | 2025-09-20 12:24:46+00:00
Those are different words for the same things.

I think the reason for the original wording, which I pasted from the post it was coined in, is to make it more accessible than this, more obvious what you need to look out for.

"Untrusted input" sounds like something I'm not gonna give an agent, "access to untrusted content" sounds like something I need to look out for. "Privileged access" also sounds like something I'm not gonna give it, while "access to my private data" is the whole reason I'm using it.

"Exfiltration vector" may not even be a phrase many understand, "ability to communicate externally" is better although I think this could use more work, it is not obvious to many people that stuff like web search counts here.
by altairprime | 2025-09-20 12:26:43+00:00
Someone else in society asked. This article considers a valid role of societies: prohibiting the expression of certain desires in service of the public good. “Certain” is defined by the society’s opinions, which are not expressed in terms of any single person (outside of dictatorships and the like). Some opinions form slowly, or never reach the level of regulation of individual behavior. The society’s members follow IDIC so the expression of unasked-for questions from unexpected people is a universal constant. And once in a while one of those opinions will be enshrined in new regulation.

Do you have a case to make against the argument that isn’t already being discussed in another thread, or is your objection that societies should not restrict personal liberties, or..?
by gus_massa | 2025-09-20 12:26:54+00:00
I'm not sure about the current state of the art, but microprocessors production is (was?) very bad. You make a lot of them in a single silicon wafer, and then test them thoughtfully until you find the few that are good. You drop all the defective ones because they are very cheap piece of sand and charge a lot for the ones that works correctly to cover all the costs.

I'm not sure how this translates to programming, code review is too expensive, but for short code you can try https://en.wikipedia.org/wiki/Superoptimization
by graycat | 2025-09-20 12:27:05+00:00
Supply and Demand:

(1) Big issue, barriers to entry: In the US, for plumbers, electricians, lawn maintainers, ..., they get little competition, i.e., no supply from more than, say, 100 miles away and, thus, none from Asia or Europe.

E.g., a guy down the street was injured so needed someone to mow his grass. My older brother had the job, was too busy with college, so I got the job. They kept asking me to accept a higher fee, but I was afraid I didn't deserve it and didn't want to disappoint my customer. The guy had a next door neighbor who called me to weed their garden. Another guy had an overgrown hedge and called me to cut it back. Another customer had a hedge about 3' high and for neighborhood status wanted it cut to a perfect box and asked me .... Didn't realize that customers were calling ME -- in business, a dream situation, but at 16 didn't appreciate that.

Instead, could have gotten some books on Horticulture 101. With a little marketing, e.g., business cards, a sign could display when working on a yard, a professional look, have the neighbors compete for the best looking yards and proud to be paying my high fees for status, .... Work by "Appointment Only", and maybe by the season only. In a few weeks could have made money enough for a year of college tuition, but college, already had a better career than college offered.

(2) In the US, during the Cold War and the beginning of computing, at least around DC, employers were desperate for anyone with talent, interest, and any experience at all in computing, demand was much greater than supply, and for a job just look in The Washington Post, ..., and have a job in a week.

(3) Still in the US, by the 1990s, some big companies would fire half their computing experts, then could send 1000 resumes and go for years without a job -- could wish could swap AI expertise, background in teaching computer science in college, relevant Bachelor's, Master's and Ph.D. degrees for a slot as an apprentice plumber -- literally, no exaggeration.

Evidence: For a career, a Ph.D., publications in AI, etc. can be worse than a felony conviction. Literally.

If 1000 resumes and more than a year looking for a job, then conclude no fish in that lake and need to look elsewhere.

But college is MUCH better than grass mowing? In the US, not necessarily!

Lesson: Start a business, maybe even one exploiting some aspects of computing and even with some barriers to entry or plumbing, grass mowing, ....

No joke, folks.
by wild_egg | 2025-09-20 12:27:23+00:00
The thing I'm stuck on is that, yes, the proof is correct.

But what guarantees do I have that the proof or theorem is actually representative of the program I'm trying to specify?

And beyond that, what guarantees are there that the resulting end program actually adheres to either the specs or what has been proven?

Like it seems the goal here is `English -> Lean -> Code in whatever language` instead of just `English -> Code` but there's no way to be certain the translation step on either side of Lean has actually been done correctly.

I've done a lot of experiments around this so far this year and theorem provers can certainly help provide LLMs with more context but there is no tooling to actually verify that the resulting Python fully covers the corresponding Lean that was fed in.
by zamadatix | 2025-09-20 12:27:27+00:00
I'm not sure which particular passage you're referring to, but keep in mind that page is basically a puff piece about the kings ceremonial roles. He does not actually control the government, act as the leader of the military, etc in the same way his title is "king" but any non-ceremonial rights belong to the elected prime minister. If he tried to name someone else as prime minister during the transition it wouldn't actually mean anything as it's a ceremony. Etc, unless you feel there is a specific passage which the role is not ceremonial, but it's difficult to explain how the whole thing is in response to a single link and no context.
by hackrmn | 2025-09-20 12:27:38+00:00
Why do they keep making them BIGGER and BIGGER? Our hands don't grow that fast, most adult males have been struggling using their phone with one hand. Only the vocal minority prefers to oversized phone-computer, most of us just want to use it briefly on the go before tucking it back into the pocket, without it tearing a hole in it (which my last two phones have done).

If anyone is listening -- can you put a cap on the dimensions? 5.5" screen is plenty, if I want the cinema experience I will either a) go to cinema or b) use some VR/AR device, for the rest of use cases, like watching a movie on a bus/plane/train, it doesn't weigh up against carrying a brick with you.
by yahoozoo | 2025-09-20 12:27:58+00:00
Overall “economic growth” of a country is not nearly as important to most people as is their own _personal_ economic growth, opportunity, and stability. Culture, language, and crime rates also typically take priority over the nation’s macro economic growth. Most people don’t care because they are beginning to think a lot of this isn’t worth being the #1 economy in the world, plus nobody has ever explained _why_ it’s a bad thing if the USA isn’t the world’s premier economy.
Bluntly for Anonymous Stories, Rants, and Confessions
by echo_vick | 2025-09-20 12:28:10+00:00
I just launched Bluntly — a publishing platform where people can post stories, rants, or confessions anonymously.

The idea is to keep the simplicity of Medium but remove the identity barrier, so people can express themselves more openly.

https://bluntly.site

Would love feedback from the HN community. What do you think about anonymous publishing in 2025?
by defrost | 2025-09-20 12:28:58+00:00
> We

There is no "we", it's you and your opinion- own it.

> i m surprised this isn't taken as common knowledge, but yes everything about cancellation culture started from leftist causes. I struggle to remember someone being cancelled for expressing "too progressive" ideas until recently.

We get it.

Not everybody is a UNIX coder of the 70s with clear memories of the 1960s and your limited world view is based on your own personal near term recollection and, seemingly, no actual reading of US history.

You might be interested to learn about the House Un-American Activities Committee and their attitude wrt cancelling progressives.

https://en.wikipedia.org/wiki/House_Un-American_Activities_C...
by hackrmn | 2025-09-20 12:29:49+00:00
And don't forget _overdimensioning_. Vendors love this because volume scales cubically with increase in any one of width, height and depth -- they're not the ones carrying the phone, but they can pack more features into one, quite literally. FOSS vendors more so since they need more ground to compete on (hardware being older and price being high enough because of economy of scale).