skysight-inc/HackerNews huggingface dataset:
> Will the verification be automatic?

Yes, and furthermore, there's already built-in support for ledger monitors to ensure the honest and integrity of their log.

The whole point of Key Transparency is to keep the server honest. Publishing may be centralized, but verification is decentralized. This is literally a problem space I'm working in right now! https://soatok.blog/category/technology/open-source/fedivers...

> Repeat after me: The server matters. A lot. Even if you don't want it to.

The only thing the server can influence is availability:

1. Whether or not you can participate in the network to begin with (which is mostly to prevent spam, and is the only component you still need a phone number for today)

2. Deciding whether messages are delivered or not, to everyone.

Signal can't selectively censor users, they can only stop the operation of the entire service at once. Sealed Sender and zkgroup address this.

With key transparency, Signal couldn't even mislead users about which public keys belong to each user if they wanted to.

There is no other powers, besides basic availability, that the server needs to provide.

Just because you're used to technologies where the server has more power than the clients, and where some clients can continue to use OMEMO 0.3.0 in 2025 while the rest of the ecosystem is on 0.8.3, doesn't mean your experience is necessarily relevant here.

As noted elsewhere, Signal has offered reproducible builds since March 2016. If you care that much about about client security, why not check that yourself and blow the whistle if the binaries mismatch?
You’re jumping to some pretty big and possibly unsupported conclusions about citation gaming, which is what that blog post is about. People gaming citations are likely trying to fly under the radar and don’t want to draw public attention. Maybe also pay attention to what fields these are in too; gaming in social science might be less impactful than gaming in medicine. One of the examples in the blog post you cited was ghost authors in medical journals which means people who contributed but were not listed; this is almost the opposite problem of what you’re worrying about and it does not amount to bad science.

Medicines aren’t created from the results of a single paper, especially an obscure one with unexplained obscure citations. There are checks and balances. Medicines go through trials which don’t depend on citations. We’ve had ineffective medicines in the past, and it’s happened for other reasons. Notably, consider that the portion of ineffective and actively harmful medications were dramatically higher 50 and 100 years ago than today. If you’re worried about the effectiveness of medicines, then spend your limited time worrying about the anti-vax crowd. They are doing far more damage than people gaming academic citations.

There will always be lines of research that lead nowhere, that’s an inherent feature of the system. Experimental research into unknown topics carries risk, and it should, otherwise it’s not research. If we knew the answer, then we wouldn’t need research.

For the same reason, there will also always be lines of research that don’t get funded. Citation gaming might have a small effect, but there are dozens of other ways human behavior affects what gets funded. And things that work tend to attract people that feel strongly and tend to attract research, so citation gaming doesn’t necessarily lead to strong research getting pushed out.

Gaming of papers is definitely a problem for academics and their careers, and it’s a problem that does need to be fixed, but it’s premature to think the sky is falling. Good science isn’t ending just because some people do bad or mediocre science.
I actually use bc a lot and the fact it's just the big rationals was annoying which is why I set off on the route that ended with my crate `realistic`

Amusingly one of the things I liked in bc was that I could write stuff like sqrt(10) * sqrt(40) and it works -- but even the more-bc-like command line toy for my own use doesn't do this, turns out a few months of writing the guts of a computable reals implementation makes (* (sqrt 10) (sqrt 40)) seem like a completely reasonable way to write what I meant and so "Make it work like bc" faded from "Important" to "Eh, whatever I'll get to it later".

If you'd asked me a year ago if "fix edge case bugs in converting realistic::Real to f64" would happen before "Have natural expressions like 1 + 2 * 3 do what is expected" I'd have said not a chance, but shows how much I knew.
https://static.lenovo.com/ww/docs/sustainability/list-of-len...

I doubt that USA factory does much more than packaging, final assembly and customization of business computers/servers.
I'll believe it when he institutes a national Land Value Tax
Likely, none, zero, zilch. It will just cause inflation as it spreads across goods and domestic companies raise prices simply because they can.
Just an anecdote but my family member does university research and gets grants from NASA (also is ex NASA and left NASA due to too many rest & vest folks). In the last round of reviews there were 20+ NASA employees sent locally to review for a couple 1 hour meetings. Initial take from the outside is it looked like a seriously bloated process.
I wonder why this article didn't point out that SpaceX has received somewhere in the realm of 20 billion in federal dollars from government contracts over the past decade.

Shame no one is going to consider cutting those wasteful contracts.
Because of Boeing… the PRIVATE contractor who seems incapable of delivering an actual flight worthy craft. But don’t worry, we’ve all been told the private sector is the solution to every problem.
not really a thing on newer Mercedes

Which only goes to prove that it didn't need to be and should never have been "a thing".
You're way too smug for spewing what is clearly survivorship-bias.

All currently known profitable use-cases are competing on price. All the unicorn examples you're biased for had in their pitch deck the network effect of being the largest.

OpenAI, Grok, etc, have shown no unique value prop or an idea with monopoly potential.
Amazing collection. How did they get them all? Ebay?
SpaceX et. al. aren't really in competition with NASA. NASA's job is to discover and explore, not lift Joe's or the NSA's sat to LEO.
I agree 100%. The requirements might sound the same, but only until you dig in.

I've often received the same requirements for a system that already existed, and had to ask, why do you need a new one instead of the one you already have that does exactly what you're asking for? And oh boy does the answer to that get interesting.
I had generally the same thought, but it was more the lack of Recognition that “oh this actually isn’t like all the other projects I’ve done, maybe I’ll ask someone for help…”
You know and I know and everyone reading this knows the administration isn't laying off the bottom 10%.
They're laying off people perceived to be insufficiently loyal, or who are working on things the administration would rather not discuss.
The "probationary" designation does not mean entry-level,
nor does it mean people on some kind of Amazon-like PIP.
A probationary employee in the civil service could be someone with years or decades of experience who recently got promoted or transferred.
They are firing the folks with the probationary designation because they are the easiest to let go,
as career civil servants can't generally be fired.
Not sure in how many countries it would be ok to slash NASA personnel while having your own space company.
The brains that run and made SpaceX are anonymous engineers working long hours and passionately applying their expertise to a project they believe in. Elon is a man-child tweeting an average of 50 times a day (number not made up), pretending to reach max level in a popular video game and then bragging about it, constantly flying between Mar-a-Lago and the White House in his private jets. He has no time to actually manage "his" companies, of which he puts no work in whatsoever.

You have to finally break free of this myth of the billionaire self-made man, building his fortune at the sweat of his brows. At some point, you're simply so rich that however stupid you are, competent people will still manage your capital well and make you even richer. You can only fail upward.

Do not mistake the current events for anything but an acceleration of the theft of your country by billionaire oligarchs (or rather the people managing their wealth).
System76 laptops are built in China by a Taiwanese company (Clevo).

They did have plans to at least assemble laptops in America from Chinese parts (like they do for desktops), but it hasn't materialized yet as far as I know.
A better way is to do away with the quotas to stop all the gaming around it. Switch to a price-based system by imposing a tariff on a percentage of the salary either on the company or on the worker. This would ensure a certain wage premium for local workers to ease the political pressure. This type of policy is more flexible since the tariff can vary based on the nature of the job. After a certain number of years or amount paid the worker should be eligible for permanent residency to limit the leverage companies have over these individuals.
Well, I agree, but it's clear that Guinness did not when they registered Ben Lee's Flight of the Bumblebee.
Is Space X going to be getting at least 10% less per day?

They are at $8 Million a day from governement I think I read?

So privatize the profits, socialize the costs?

Is this still happening or are they going to write off everything now not exclusively white men as ZOMG DEI

https://www.bbc.com/news/science-environment-65165845
It's a race for AGI, a VC's wet dream.

The beauty of a failed investment is that it never goes below zero. So upside is the only thing they care about. Why invest in a near-zero chance for a random SAAS to take off, when you can invest in a near-zero chance of creating superhuman artificial life?
These are not the sort of uses we need to make this thing valuable. To be worthwhile it needs to add value to existing products. Can it do that meaningfully well? If not it's nothing more than a curiosity.
Did you take pictures?
The only bright side here is that the grossly over-subsidized regime of Alabama, where the local economy is 95% government science "overhead", is going to get kicked in the face by DOGE boot, and no state deserves it more.
The only way that a 10% tariff could bring jobs back would be if the difference between paying someone in the US to do it is less than 10% more than paying someone outside the US to do it. Otherwise it will still be profitable to do this outside the US, and this is just a tax hike on Americans, who don't generally seem to understand that tariffs are taxes.
I think you missed the point. WhatsApp and Telegram don't offer the safety or security Signal does.

They removed SMS to preserve that safety and security. It isn't a for profit business. We are the ones motivated to help them get adopted. if donations don't correlate with increased users Signal actually can't tolerate growth.

Do whatsapp or telegram have the same models? Can you tell if you are the customer or the product with them?
> Fixing the deficit is the opposite of looting, actually.

I think this has two errors.

First, I don't agree that he's fixing the deficit. I think that's an assumption not in evidence. We'll see in a few years time, though. I'd be willing to bet in 4 years the deficit is > 0, and likely larger than it is today.

But let's assume arguendo that he is fixing the deficit. It's still possible to loot the treasury while fixing the deficit, which shows that they aren't actually the opposite.

Consider this example with completely made up numbers:

Before

- Revenue: $1T

- Defense Spending: $500B

- Benefits Spending: $1T

- Public Services Spending: $499.9B

- Government Contracts with Musk's Companies: $100M

The before scenario has $1T in revenue, and $2T in spending, for a deficit of $1T. Now, let's allow hypothetical Musk to have free-reign to "fix the deficit"

After

- Revenue: $800B

- Defense Spending: $300B

- Benefits Spending: $300B

- Public Services Spending: $100B

- Government Contracts with Musk's Companies: $100B

In this scenario the deficit has been reduced to $0, while Musk has enriched himself and his companies with $99.9B in government funds. This would be an extreme example of Musk looting the treasury, while still completely resolving the deficit.
It’s not like Grok3 didn’t have precious work to build on either, but point taken.

I think the situations are a bit comparable given timelines however.

A perfect analogy for AI … your ability to replace talent with money. And if you don’t have the talent, it’s gonna cost you 100x more.
How did you customize the output?
System76 desktops (Thelio) are manufactured in Colorado.
Broadcom, TSMC eye possible Intel deals to split storied chipmaker
Reducing trade with China (and sure, tariffs work for that purpose, why not?) is one of the only things I agree with as far as policies Trump has actually taken action on (both terms).

... I think it'd be more effective and less painful if we weren't signaling to other liberal democracies that we're an unreliable trading & security partner at the same time, but hey, it's something.
It sounds like they're firing the wrong 10%.

From what I've heard, the problem at NASA is it has a lot of lifers who justify their positions through bureaucracy.

This reduction gets rid of the people at NASA who actually get stuff done. People who get stuff done can easily find jobs in industry, so are more likely to accept buyouts. It also gets rid of the young probationary employees who are still idealistic and have not yet been corrupted by the system.
Would be interesting to see if SpaceX headcount grows in near future.
Cronenberg also turned down an offer to direct Top Gun believe it or not
ChatGPT and LLMs have had a significant impact on my wife's life. She's a second language speaker, and having ChatGPT available to draft and proofread professional sounding emails and text messages has drastically increased her self-confidence and ability to communicate with colleagues. I think that's amazing.

That's also the only use of LLMs we've found.
He's wrong, there's no other sector of the economy with growth potential and there's so much capital desperately seeking returns. Also anxious capital terrified of being disrupted. The tech industry will just move on to the next hype cycle when this one burns out.
Well, the answers are simple. Congressmen and senators, and sometimes presidents (Orion was George W's baby), demand that NASA spend money on stupid shit that NASA doesn't actually want to spend money on, and also demands that NASA spend that money in specific districts around the country to maximize the dollars they claim they brought to their district while minimizing NASA's efficiency.
That's great. Was it done in a way that is in accordance with the law, or are we trying to run government like a business, which it definitely should not be?
All of your points can be summed up as "Congress refuses to do their job".

Breaking all the laws to bypass the government does not "actually address and fix systematic problems with the US government", that is an absurd position. Caesar did not fix the Roman Republic.

And opposition to DOGE is not on the basis that people don't care about government efficiency. It's on the basis that the shit they're doing has nothing to do with government efficiency. There's not even a pretense of trying to calculate the "benefit" part of the cost-benefit equation with the cuts they are doing, they are just slashing and burning without any concern for outcomes as a power play and messaging tool. Elon is famous for doing this at Tesla and Twitter and all evidence points to it being incredibly harmful.

This isn't efficient! https://www.washingtonpost.com/dc-md-va/2025/02/15/return-to...

And not everything is about efficiency. Laying off veteran's crisis hotline workers or refusing to pay for the USAID employees you've just abandoned to be extracted (or in one case, medevac'd after a medical emergency) from the places they were sent to is just cruel (and again, illegal).
...and it all started with https://thesecatsdonotexist.com/

5 years on: this court case does not exist. who could think?

if that is called human progress, i'll become a MAGA right winger
Wouldn't an expansion of NASA benefit SpaceX, not the inverse? They don't exactly compete.
Bringing it all back to North America isn't going to help much, since its almost impossible to locally source every single component that goes into a modern computing device. There there is the cost of labor.
>According to sources, about 750 employees at NASA accepted the "fork in the road" offer to take deferred resignation from the space agency later this year. This sounds like a lot of people, but generally about 1,000 people leave the agency every year, so effectively, many of these people might just be getting paid to leave jobs they were already planning to exit from.

The culling of "probationary" employees will be more impactful. As it has done at other federal agencies, the Trump administration is generally firing federal employees who are in the "probationary" period of their employment, which includes new hires within the last one or two years or long-time employees who have moved into or been promoted into a new position. About 1,000 or slightly more employees at NASA were impacted by these cuts.

Just in case anyone thinks this could tighten up performance, the layoffs are being targeted at the most mobile and the best.
The last reliable laptops I had were IBM T40 (my first one) and IBM/Lenovo W500. I ran a bootstrapped software company and they didn't fail me. After that I briefly had a Samsung ultrabook (that was semi-reliable) and then a Dell XPS 13 that one day had a screen crack when I opened it. Then I switched to MacBooks when M1 came out: first keys got stuck in my M1, then the screen bezel spontaneously cracked on an M2 just when the warranty ended and I was in Europe. Apparently now Apple laptops are luxury items, you have to wipe the keyboard from dust before closing the lid.

I do not care about cost, I just need something that won't suddenly break when I am abroad and need to do something important. I miss those American IBM ThinkPads.
Because Nasa is renowned to be an efficient organisation which has in recent times made good decisions? The space shuttle springs to mind.
The “Ready to Get Started?“ section on the Cot site is line-breaking awkwardly on mobile.
It's good to have a few to differentiate the different sources, call, txt, signal, random app, etc.

Plus different people hear different tones differently,

and different tones or patterns are better in different environments. An otherwise ideal sound might be very difficult to hear in someone's work environment, and some other sound that is functionally equivalent but just at a different pitch or with a different speed of repeating pattern or pulse would stand out much better.

There's lots of reasons for a wide variety that are hard practical functional and not expressing individual style.

A long time ago on a Treo my favorite was a bird chirp, because it was a natural sound that carried (for the same reason it carries for actual birds) but mostly because it clearly contrasts from all the artificial sounds I was surrounded by. It's nothing like any other beeper from a microwave or dead battery or open fridge or anyone else's phone for that matter.
It's remarkable to me how "Web3 is a grift" has seemingly become tribal consensus here, without any real basis in reality. I think the last administration's explicit efforts to block crypto legitimization played a big part in this. It's clear that if you tried to follow the law and operate as a legitimate player, you risked being debanked or legally targeted by the SEC—and they made little to no effort to answer questions or help you work within the law's constraints. They wanted to sue first. As a result, those who ignored the law ended up dominating the space. This reflects policy failures, not issues with the tech or its legitimacy. I'm hoping the Trump administration shifts this dynamic, but now there's a reputation problem that needs correcting as well.
I've had the exact same experience you did. Burned a bit of appearance of having "technical wisdom" on that one, won't be pushing anyone anywhere anytime soon.
For the vast majority of laptops that aren't made by Apple all profit margins are entirely erased (and then some) by these tariffs. So yeah the manufacturers could eat the cost... as long as they don't mind losing money on every sale.
Tesla FSD's approval in China could be used as bargaining chip in trade war
Are you saying, if the supplier's cost goes up by 10-25% due , they should absorb it, and sell the product at the old price? Is that what you would do if you were building a product to sell?
You also removed the giant pole stuck up your ass?
You forget to also mention the Gaza Riviera...

The US should become the 11th province of Canada. "South Saskatchewan" might be a good name for it.
we have 0 evidence that's what is actually happening
As the only tax without deadweight loss, a LVT is fundamentally different from a tariff. And in fact the devastating economic effects of tariffs are one of the primary reasons the LVT gained traction a bit more than a century ago.
Catalytic computing taps the full power of a full hard drive
To your point, this may trigger AL Congress Critters. I see that as a good thing, if we're going to have to suffer under President Musk and Princess Trump.
> Much of the space community has been puzzled

No one is puzzled. Everyone knows why, Congress mandated it.
Letting go of all probationary employees (hired in the last year) is precisely the wrong way to do any of this.

I suspect we will also be hearing about the long time experts that are the only ones who maintain or know about certain systems being rehired desperately..

DOGE is frankly ruining the reputations of Silicon Valley and software engineers in a way I didn’t think possible.. they’re being very stupid about what they’re doing.
The Tokyo Subway Attack [video]
Individually.

In Germany for private residences you often only have a general contractor if you're building a new house.

Alternatively, an architect often takes over coordinatation for renovations like this as well. They usually work on % basis though so they can add significantly to the expenses.
Show HN: Chirpier – Zero-Ops, Real-Time Visualizations at Million-Event Scale
Chirpier makes it a breeze to visualize and monitor data streams in real-time. Even at millions of events per second. With just a few lines of code and no messy infrastructure to manage, you get automated charts in a web browser, alerts, and a smooth UI. Perfect for modern, high-scale applications. Check it out and let me know what you think!
Don't rewrite history. Amazon had a million times more books than my shitty local library. ChatGPT is at best the equivalent of a junior that you have to supervise all the time and replaces all your thoughts. It's a very different scenario unless those LLMs can improve very fast which I doubt. And when they reach a senior level, the damage will already be done.
He could go one step further and admit that his involvement with any sort of government personnel or logistics decision-making is a mistake until Congress gives his cadre of interns a statutory mandate to do what it's doing.
Then think of all this talk about Mars or O'Neill cylinders or whatnot as a step toward interstellar travel, and truly off-site backups.
FWIW, the joke is presented as a joke, not a philosophical proof. Nonsense tends to be a component of humor.
lol I think the Diablo Rakki was determined to be a hoax but I did find this interesting paste of Things Elon Musk launched or unveiled in less than 10 years:

Boring Co.
Crew Dragon
Cybercab
Cybertruck
DOGE
Falcon Heavy
Falcon 9
FSD
Grok 1,2,3
Megapack
Model 3
Model X
Model Y
Neuralink
OpenAI
Optimus
Powerwall
Roadster 2.0
Robovan
Solar Roof
Starlink
Starship
Tesla Semi