skysight-inc/HackerNews huggingface dataset:
Appreciate the feedback—and you’re right, pricing should be easy to find. The reason we left it out initially was that app stores adjust the price by country, so listing one number could be misleading for a lot of users. That said, we hear you. We’ve added the US pricing to the site so people at least have a ballpark.
I'm not saying don't have reproducible builds; it's just that this is an unimportant justification for them, almost unnecessary.

Reproducible builds are such an overhelmingly good and obvious thing, that build farm security is just a footnote.
The code is written the same way it is logically structured. `let` takes 1+ arguments: a set of symbol bindings to values, and 0 or more additional statements which can use those symbols. In the example you are replying to, `bar-x` and `quux-y` are symbols whose values are set to the result of `(bar x)` and `(quux y)`. After the binding statement, additional statements can follow. If the bindings aren't kept together in a `[]` or `()` you can't tell them apart from the code within the `let`.
Does the Constitution provide for due process to persons? Or only citizens?

If non-citizen have been human trafficked without due process, what additional protection against it is provided to citizens? Where is that stated?
Make more Routers with the right IP Address
I login daily and see none of that.. I follow tech nerds and only see that type of content
I wanted to point out their username
yes to all of this. i actually think my cat thinks i am dumb, because she often mimes out the thing that she wants me to do in increasingly unsubtle ways as she gets more and more frustrated as i don't get it-- like she is playing charades and i'm the useless teammate that isn't getting it (which i find absolutely hilarious every time, even if it is often something that is objectively annoying were i to forget that she is a cat and not a human). she also has an astonishing "vocabulary" of very different meow... tambres?... that it is very hard for me to think don't have _some_ purpose-- if they didn't, why wouldn't she just make the same or similar noises every time?
More anecdote: a bunch of contractors were being fired (or whatever it should be called) because the project they were working on was a horrible shit show. I don't know what went wrong, but it was a lot of money that produced nothing and was publicly canceled.

A friend knew a hiring manager and was a quiet shoo-in for a job. HR dragged their feet for half a year and then, suddenly, moved at absolute light speed to get the job posting up, closed, and the shoo-in to be approved as much as possible.

It was because the contract was ending soon. Laid off workers (including contractors), veterans, and people with disabilities are given priority during the hiring process (which makes some kind of sense), but these contractors had such a stink associated with them that the HR people who presumably didn't want to work with the manager suddenly did, just to avoid hiring the contractors.
Good question! We didn’t mean to hide the pricing. The reason we left it off originally is that app stores adjust prices by country, and we didn’t want to confuse people by listing just the US price or trying to maintain a huge list of 150+ regional prices. That said, we get that having a ballpark is better than nothing, so we’ve now added the US pricing to the site.
I have filled plenty of paperwork for customs, my employer explained me what I had to do, because I imported stuff on behalf of my employer. I could have also just tried to hide it in my luggage, but then it wouldn’t surprise me if my visa was revoked as well. Why would you mess with customs, in particular if you do this not for your personal fun?
Hey, it's okay. Even more, I empathized a lot with your struggle with "screens", so there's that. I'm sorry if my reply came out a bit harsh.
Thank you and please share it with your friends.
Huh? This is a paper published in Nature, and it does cite Olof Kindgren and SERV in the references: https://www.nature.com/articles/s41586-025-08759-9#Bib1

The paper itself is behind a paywall so I can't see it, but it looks from the references like they provided proper attribution.

It's unfortunate that some of the articles around it don't mention that, but it seems like the main point of this is discussing the process for building the transistors, and then showing that can be used to build a complete CPU, not the CPU design itself which they just used an off-the-shelf open source one, which is designed to use a very small number of gates.
> An business should be able to buy cheap Android phones in bulk, install Linux

Good luck with that. Unless you settle for Android middleware underneath your OS (like some existing projects do), it's a massive undertaking. You still need to invest a lot into R&D while you lose what's differentiating you in the process (in case of Librem 5, there are things like hardware kill switches, PGP card reader, replaceable M.2 modules etc.) so you can chase SoCs that will already be considered obsolete once you're done with the software anyway. Even Purism with their prices couldn't afford to use an unsupported SoC and relied on NXP's upstreaming efforts.

I suspect that if I was wrong and it was actually a viable path it would already be taken by someone. Maybe we'll see something appearing in coming years, as these days more vendors actually started to care about mainline support, but as it is today the landscape is still not that great, especially when it comes to SoCs that are actually targeting smartphones.
Lead acid batteries still offer far better performance in cold conditions, voltage stability, burst current capacity, and ease of charging.

You can overcome most of these issues, but it comes at a significant cost. I think it could be worth it, especially when you factor in that the lithium ion battery could theoretically pay for itself in longer lifespan, but most buyers would prefer the cheap, familiar, reliable option.
One thing I haven't seen being discussed is the BEAM internals becoming a little long in the tooth. We still have static reductions before the scheduler switches to another task, the priority system in scheduling is a bit dodgy, flipping vmargs is kinda complex, lock counting and crash dump tooling kinda suck, etc.

BEAM is great, although it's definitely missing something like pprof for go or java flight recorder.
Linux Swap Explained: Do You Need It?
* info (GNU textinfo) - an alternative TUI interface manpages

* KHelpCenter - KDE GUI alternative interface for manpages

* Hotspot - GUI for perf profiler - https://github.com/KDAB/hotspot
If you have dynamic IP´s use DNS
> The end result is detention or deportation of a highly skilled professional with ongoing employment in the US.

Agree. However, this kind of visa is not necessarily for highly skilled professionals, it can be for general cultural exchange, even for au pairs. They have to be "sponsored" by someone. As such, it can also be a vehicle to get people in the country and overstay the visa, I know someone who did that. Then, once it's cancelled, the general rule is you can't enter into the country. To a port of entry person a J-1 for a nanny for a rich family is just as good as J-1 for a Harvard researcher. Except the Harvard researcher now did break some rule so is in a much worse position.

> at least when it comes to graduate level research.

Most definitely. There should be someone looking here and saying maybe these should different visa types and the requirement to leave sounds excessive. It shouldn't be the default, I think. Maybe with the most visible cases like these, there is more of a chance to change the rules.

> Neither is it clear why you would ever want to deny a visa to such a person to begin with.

They broke a rule or law and seemingly tried to hide it. At that point I guess it depends on the mood of the person at the port of entry. It shouldn't be like that but it is. There is no general right to have a visa or some way to compel the US government to give you one. A lawyer through a court could make a case here. But in general you can't show up and say "You owe me a J-1 visa" or "you'll un-cancel the previous one".
What exactly did you mean by "globalists"? who do you refer to by "they"?

Sorry if I got your sentence wrong, but terms like these are routinely used by some truly awful anti-semites, and I sincerely hope Pro-palestinian folks stay clear of those people and their vocabularies.
Louisiana is using an algorithm to automatically deny parole applicants
It's not stealing when the original still exists. And art style is not copyrightable.

Our current laws are made to handle AI
An International Minimum Wage
I just picked this up. Curious if this will be one I can play with the kids while we are going to bed in the evenings. For a long time, that was prime time to play Slay the Spire, as it will get them to go to sleep. :D
Some of my favorite qualities in various managers:

- Deep technical knowledge. Someone you can respect as a fellow engineer.
- Really loud and forceful in meetings. Someone who can represent your work well to a team of other managers
- A good friend
- Super honest and transparent
- Combination of deep technical knowledge and passion/involvement in the team's mission. This was my favorite because I felt the manager could truly appreciate the work I did.
BlueSky can be brutal! I wonder how it got a reputation of being the kinder, gentler alternative?
Hacker News archive is hosted in ClickHouse as a publicly accessible data lake. It is available without sign-up and is updated in real-time. Example:

# Download ClickHouse:
curl https://clickhouse.com/ | sh
./clickhouse local

# Attach the table:
CREATE TABLE hackernews_history UUID '66491946-56e3-4790-a112-d2dc3963e68a'
(
update_time DateTime DEFAULT now(),
id UInt32,
deleted UInt8,
type Enum8('story' = 1, 'comment' = 2, 'poll' = 3, 'pollopt' = 4, 'job' = 5),
by LowCardinality(String),
time DateTime,
text String,
dead UInt8,
parent UInt32,
poll UInt32,
kids Array(UInt32),
url String,
score Int32,
title String,
parts Array(UInt32),
descendants Int32
)
ENGINE = ReplacingMergeTree(update_time)
ORDER BY id
SETTINGS refresh_parts_interval = 60,
disk = disk(readonly = true, type = 's3_plain_rewritable', endpoint = 'https://clicklake-test-2.s3.eu-central-1.amazonaws.com/', use_environment_credentials = false);

# Run queries:
SELECT time, decodeHTMLComponent(extractTextFromHTML(text)) AS t
FROM hackernews_history ORDER BY time DESC LIMIT 10 \G

# Download everything as Parquet/JSON/CSV...
SELECT * FROM hackernews_history INTO OUTFILE 'dump.parquet'

Also available on the public Playground: https://play.clickhouse.com/
That'll change soon, don't worry.
I have no idea but I find it hard to believe that announcing government policy on a billionaire's platform is a really bad idea when a basic web page could do the same thing. How hard could it be to emulate a message stream on a .gov site that has the features of X? There have to be dozens of open source packages out there that could do it, and then they control it. At any point, twitter could shut down the stream and it would take weeks to months to set up a site to replace it.
Isn't writing barely 10,000 years old or so? For the longest time, humans memorized their stories and passed them down to younger generations by rote memorization.
I am not sure that linking to one post that agrees with your decision to provide your own title for the article (in contradiction to one of HN’s core rules no less) in order to intentionally steer discussion away from the subject of the article is that compelling of a way to convince people that your editorial decision here was correct. It certainly does nothing to address a valid concern about the precedent that this sets.

Rather than taking on the task of manually editing headlines to be more sympathetic to Israel perhaps the site could implement a filter that disallows the word from being used in titles or posts altogether? If that is the aim, it would save you time having to answer questions about it.
All positions. I've worked with many devs to executives that all were from Israel and had served in the IDF.
In the US, you can get a lead test directly through Quest Diagnostics, without going through your physician or insurance, if you are near a testing center. Probably costs less too.
if you play on PC through Steam, Steam at least has a notes function in the overlay nowadays: https://www.polygon.com/2023/4/28/23702656/steam-beta-update...
Seems like you could sue. You are paying into SS, and that should give anyone "standing" to open up a lawsuit. Seems like a great opportunity for a young law firm to make a name for themselves.
It's pretty obviously wrong though. People aren't zero-sum creatures of perfect balance.

There are plenty of slow coders who overlook more things than some fast coders. Plenty of people not working a lot who still struggle to nurture friendships, and so on.
We Gen X'ers fancied ourselves the Invisible Generation ever since we coined the term -- the entire point being that we didn't have an actual name of our own.

I will note that as far as the millennials are concerned, we are boomers. When they say "ok boomer" they include us. That's not entirely fair, but it's true that we didn't do a great job of preventing the boomers' excesses from creating the problems that now face the millennials.
Most of the code in most programs is not the part that is doing the I/O. It's doing stuff on a set of values to transform them. It gets values from somewhere, does stuff using those values, and then outputs some values. The complicated part is not the transfer of the final byte sequence to whatever I/O interface they go to, the core behavior of the program is the stuff that happens before that.
Edit: I'm deleting most of my post, to avoid politics part and only preserving my "point"

Basically I'm saying: Nobody has a right to free wide distribution of their thoughts on social media anyway, and also, those who provide these free ad-supported platforms have many reasonable motivations to remove content -- including the belief that the speaker is wrong/spreading lies and propaganda. That doesn't 'silence' them any more than not letting them into my house silences them.
It's really not a huge red flag. Co-founder breakups are incredibly common. In this case the company is also flailing and has been likely written off by their investors, so they're not going to care.

Something I've learned doing a startup and talking to a lot of other startup founders is that one of the biggest risks is sticking around for too long just because there's still money in the bank. Your most precious resource is time, and if it's pivot-hell for 18 months you're well into sunk-cost land.
For the government. The stats are based on employer, so even if you switch roles or organization, you are still counted in the same “federal employment” bin.
The US got dominance over the entire world's economy, an unprecedented amount of weal, and almost complete technological dominance with high taxation and direct intervention on the market. And even more, they then taught it to Japan who came and repeated basically the exact same actions with basically the exact same result. Oh, yeah, and then China did it...

Then they organized a bunch of morons to create an school teaching not to do that, celebrated them so they would teach every foreign school, and managed to stop most of the world from competing with them. But a couple of decades later everybody in a position of power there was a moron from that school.
what the US lost by not adopting the A system hurts my soul.
> How is this legal ?

Why do you keep asking this when these illegal acts have been happening every day for months? Genuinely, did you just awake out of a coma?

> Can I sue because of this as a non Twitter user ?

Good luck finding a lawyer, as they're almost certainly going to lose their job if the suit turns out remotely succesful.
That has been and I’d say still is a huge problem for them. They are not a software company at all and it hurts many thing.

PlayStation is the one exception. But they learned the wrong lesson from the PS2 (exotic hardware is great! No one minds!) and had to get a beating during the PS3 era for the division to get back on track.
I had a dog that you could ask to do complex tasks and he'd happily go about and do it.

"Go around the corner and get your toy out of the laundry basket".

He'd go around the corner and get his toy out of the laundry basket.

You could also ask him to get dressed (he'd get his rain coat and do his best to put it on) and you could ask him to get other dogs ready to go (he'd grab their leashes and drape the leash around the other dog's necks).

> Not independently developed in the wild.

I'm pretty sure the crows who live next to my house have a complex language. Different squawks for different circumstances. I can tell when one is addressing me vs when the male is calling to his partner.

> And even if they were, it would be language we taught them.

Humans smarted their way into a surplus of food, which allowed us to do lots of other cool things like have time for art, language, and spending years and years raising our young.

That doesn't mean we are inherently superior, it just means an excess of food allows plenty of time to do non-food related things.
I've played about an hour and am getting the feeling I won't see it through to an ending.

For anyone wanting a non-RNG puzzler set around a large building I highly recommend https://en.wikipedia.org/wiki/Lorelei_and_the_Laser_Eyes
Run LLMs Locally with Docker: A Quickstart Guide to Model Runner
Surely bad and blonde (not intended to imply gender) are just adjectives - a dancer who is bad (at dancing), or a dancer who is blonde?

Trust me, if you met me you would not be suggesting I am PC - but this really jumped off the page at me. Such a strange example for this context!
It's not a falsehood. The confidence of working at Ericsson and WhatsApp seems to have kept you both from just looking it up.
>who was in charge of “digital infrastructure” in previous governments

germany's digital infrastructure is a global laughing stock, this doesn't bode well.
Spotify only has about half of the music that I like. A lot of it is remixes and jams from Japan that can only be found on youtube, soundcloud, or in some cases it's actually only available on private trackers.
They do mention SERV in their references (38).

https://www.nature.com/articles/s41586-025-08759-9

Sadly I can't access the full article right now.
It's also contrary to a number of federal records act laws, conflict of interest and ethics laws, etc. Folks don't seem to care about that though...

Also good thing the primary audience for Social Security recipients is in the X user demographic? I gotta say this could have been an incredible opportunity to revolutionize technology for the people but it was squandered by self-dealing morons.
My friend does some trades in watch market as he gets access to limited editions from time to time (if you know right people in dealerships you can sometimes buy a watch out of line if the original "subscribed" buyer doesn't show up).
There are quite a few people who want to buy an expensive watch or two to show off on their social media. People just really like shiny status symbols.
Price, UX, and fixed hardware that can be heavily optimized for.
Thanks. So Erlang is really only about managing process lifetimes and simple RPC? In my experience processes often have meaningful internal state, meaningful in the sense that it matters if it gets lost due to a crash. If I understand correctly,
Erlang doesn’t provide any particular model or mechanisms for dealing with that?
but a human can injest some of the library of Alexandria, and then generate dollars for their employer regurgitating those books. You just mad at the scale in which it is done?
German only, sorry. Both are reputable news outlets (though the Spiegel has gone down quite a bit in recent years IMHO).

https://www.zeit.de/politik/deutschland/2013-04/baer-csu-geh...
https://www.spiegel.de/politik/deutschland/csu-politikerin-d...

She hired her future husband as an employee until immediately before their wedding. This position was paid by the federal German parliament, i.e. the taxpayer. It's illegal to hire a relative in such a position.
I'm not sure if the common core curriculum that came about in 2010 is proving you right or wrong, given the vehement "that's not mah math!" response that it got from the public.

But it's still the adopted standard in the majority of the US. https://en.wikipedia.org/wiki/Common_Core_implementation_by_...
it uses llama.cpp
The Chinese look to the future. America, barely looks past the next stock market report. Trump looks to some unidentified time in the past when daddy loved him.

Not having a high level, shared vision of the future dooms America, and the current political divide has the boat swaying worryingly side to side.
The fact Windows 2000 was peak Microsoft and OS X 10.5 was peak Apple is proof that the golden age of software is way behind us, unfortunately.
How is Meta getting sued standing up to anything?
> I know HN has a bit of a click-bait love relationship with Erlang/Elixir but it hasn't translated over to adoption and there are companies that are just burning money trying to do what you get out of the box for free with the Erlang stack.

Do you or the community have a sense why that is?
Excelling at creating paperwork... except now digitally. AUTOSAR is may favorite German software innovation. /s

That's the curse in Europe. Every European country has it's own ministry of digital innovation who's role is the grift of allocating taxpayer money to the right politically connected pockets while pretending to do innovation. Case in point, German fiber optic infrastructure is still lightyears behind Romania despite much higher costs. Means, somebody in Germany is making good money form that, even if there's nothing to show for.

Meanwhile the actuality innovative companies in Europe get real VC money from the US, then get incorporated in the US and become American companies, then EU has the audacity to complain about lacking tech sovereignty.
Interesting comment. Why ants? Do they use symbols to express complex ideas to each other?
Twitter has a Government EULA so agencies do have official accounts in line with regulation. That said, the agency itself is responsible for preserving its records in a way required by law, and is also typically required to post official requests and changes to the Federal Record.
Just wait: we also import a bunch of eggs. So this doesn't include tariffs, yet.

On the other hand... we export even more eggs, and other countries are going to levy actual reciprocal tariffs. So maybe we'll have a surplus of unsold eggs, and we'll just have to eat 'em ourselves.
Ancient LISP (caps deliberate) in fact had optional commas that were treated as whitespace. You can see this in the Lisp 1 Programmer's Manual (dated 1960).

This practice quickly disappeared though. (I don't have an exact time line about this.)
Alternative social media contains alternative personalities
so, per the article, they'll post a link to a PR in a tweet instead of informing media directly or via a "dear colleague" letter. Does anyone really care or am i supposed to be outraged? Was anyone in the general public getting these PR pieces or "dear colleague" letters directly from the IRS anyway?
I agree and I think that supports the idea that salary alone is a bad metric for skills. Many people will take a lower pay to support a mission they are passionate about. To claim that makes them lower skilled or that they couldn’t get a higher paying job elsewhere is an overly simplified mental model. Sometimes the job itself is what leads to the higher quality of life.
> And the events of the last 30-40 years have shown why this is a beyond foolish approach.

No. The events of the last 30-40 years have shown that extremism is beyond foolish.

Extremism on the other direction got much quicker and way more destructive results.