skysight-inc/HackerNews huggingface dataset:
But that's, imo, not a reason to ban it. When it comes to media, yes curated media like magazines, journals, newspapers, and social media, Americans have the right to consume whatever media they want (minus exceptions like CSAM). If Americans want to watch hours of CCP-edited brainrot scrolly videos, that's 100% our right. We were never supposed to be a country like China or India who bans websites just because they don't like them and because they think people are too stupid to surf the web on their own.
Addition: Comments also have IDs (and are essentially the same as posts), and if you're referencing a specific comment or thread, that should similarly be highlighted in the email subject.
They didn't vote for this. I bet the majority of those voters cast their vote trying to get better egg prices. They aren't going to get that.
the estate tax should be 100% of anything over $20 million. If property taxes on homes and land are legal then they should also apply to anyone who ones more than $20 million in shares of public companies.
So the modern version of traversing the world for silver would be energy used to mine? Like hypothetically the US building tons of nuclear power plants to "win" at mining? Of course that wouldn't add to the supply of bitcoin (harder than silver), so I'm not convinced your analogy stands. I don't know much about 16th century history, so I'm not trying to be too snarky.

You might think about the long game where no more bitcoin is issued and only transaction fees are awarded to the miners. How much energy will bitcoin consume then? There will be an equilibrium somewhere between energy prices and transaction fees.

I'm not even saying we should abolish fiat currency, or that the USD has to be fully backed by a hard asset. Individuals will hold whatever asset/currency/whatever they think will be the best choice for them.
>and the compiler will prove to you that your functions are upholding the invariants

From the article and only vague background Rust knowledge, I'm under the impression that the opposite is true: the compiler does not prove that. Hence why it's "assert_unchecked" - you are informing the compiler that you know more than it does.

You do get panics during debug, which is great for checking your assumptions, but that relies on you having adequate tests.
Cultures evolve and signs change meaning

Not much news herw
That is actually the defining characteristic of legal tender: “money that is legally valid for the payment of debts and that must be accepted for that purpose when offered”

https://www.merriam-webster.com/dictionary/legal%20tender
Have you seen the litter that piles up late at night in many Japanese cities? People simply leave their trash everywhere but the city cleans it up by morning. Tokyo is one of the most littered cities I've seen at midnight compared to any western city.
There should be a park for adults with bunch of these machines. Beats therapy.
Do the same rules apply to the government entities luke law enforcement and security services?
Diagrid (maintainers of the Dapr Open source project) | REMOTE (global) | https://jobs.ashbyhq.com/Diagrid

Hiring:

1) Customer Support Engineer - Open Source remote position in India (or similar time zone) to suport growing Asian customer base.

2) Senior Site Reliability Engineer for our SaaS offering - likely North America or Europe

3) Senior Software Engineer - Dapr OSS - likely North America or Europe

4) Enterprise Account Executive - North America or Europe
> 2. Basically Ruby code seems to favour magically generating methods and variables based on other strings, which makes them impossible to search for.

You might be talking about Rails here and not Ruby per se.
Alternatively, `uv tool`
Their goal was to prevent The Vice President from certifying Biden's electoral college victory as the US constitution mandates. That is a VERY BIG DEAL.
Deflation is bad because it’s literally your economy shrinking. It’s not prices dropping, it’s less spending across the board. Depending on your demographics you end up with huge unemployment numbers or a standard of living for the older generation that can’t be sustained by the new generation.

If you’re arguing a fringe point of view please make that clear up front. If I knew you think deflation is good I wouldn’t have ever replied.

And by the way, you say Japan is an economic success story because of deflation, but I guess you never bothered looking up their 300% debt ratio that they have been running for decades, exactly because they didn’t want deflation to ruin their economy.
My style might be plain shirts, yet I can never find those, they just aren't a stable configuration of atoms.
> some people with a lot of wealth will have a lot less certainly.

I mean, this alone makes whatever you are proposing a non-starter in America, surely you realize that
Location: India. UTC +05:30
Remote: Yes (only).
Willing to relocate: Not in general. But open to consider based on interest.
Technologies:
1. Professional: Elixir, Go, Java, C#, Scala, Postgres, graph database, Kubernetes, Docker and a little bit of Helm, Terraform.
2. Personal: Lua, Fennel, Rust, Racket, SML.
Résumé/CV: https://drive.google.com/file/d/1NQOUQ2T20oi0tn8m-P1OwflwgdpttY5N/view?usp=sharing
Email: (available on the linked resume)
Interesting take. Therefore they needed a bridge between the deflationary BTC and a low-inflationary day-to-day note. Is there an obvious fix, my liege?
If redditors were simply complaining about things like the attempts to stop birthright citizenship, then I would agree that it’s left leaning.

What makes it far-left are the calls for violence all over the place, and the rejection of opinions from more moderate democrats.

When even the hyper sensitive ADL can admit that musk did not do a Nazi salute, but your users cannot, you’ve become a far-left echo chamber.
The US government owes about 2.5 years of median salary to every American, but when an average work lifecycle is 40 years, it isn't too bad.
My toddler is absolutely obsessed with excavators.

We've seen the famed "no-name diesel-powered Chinese mini-excavator bought at auction for $5,200" and I'd be lying if I say the thought hasn't crossed my mind ;)

An all electric excavator seems even cooler... now to leave the city.
Brenger | Senior Data Scientist | Amsterdam, The Netherlands | ONSITE (hybrid) | visa sponsorship | https://www.brenger.nl

Come join Brenger to build the transportation platform that solves the surprisingly unsolved problem of shipping bulky goods economically, optimizes the utilization of vans on the road, and reduces CO₂ emissions along the way!

We are looking for Data Scientists (with Data Engineering skills) to build the foundation for our new data platform, processes, and team.

Apply here: https://careers.brenger.nl/o/senior-data-scientist
Would it have made sense for the military to pay them some amount yearly just to keep the production line ready to build new planes if the need arose? Otherwise, what happens if/when existing C-17s are destroyed or damaged beyond repair? Does the military just live with having one fewer C-17, until they eventually have none left? (And hope that there is some replacement plane that's being produced by the time they're starting to feel the shortage?)
Not an up or down here, but I’d be curious to see some sources for this claim:

> Properly prompted LLMs yield much better results and are already helping human translators produce better translations than they could on their own.
Nobody gets an MRI for fun.
Musk also thinks it's funny we all have to say "DOGE" because he is a petty moron with the sense of humor of a spoiled 13 year old gamer from the year 2000.
The original industrial revolutions were explosions of productivity. We aren't going to get that again by onshoring jobs from low cost regions unless we again seriously explode productivity again, and even fully automated factories are unlikely to see the same gain as going from all goods being handmade to having factories.
USAID is not a US foreign aid agency. It is a US propaganda and soft power agency, opposite China's Belt & Road initiative. President Trump has named Marco Rubio as temporary head (so Secretary Rubio has two roles).

The President does have the authority to stop the agency's actions, and make it answer to the Secretary of State. Dissolving it altogether or making it part of the State Department likely requires Congressional approval.
ssh user@rsync.net git lfs install
Password:
Git LFS initialized.

... so far so good ...

ssh user@rsync.net git clone https://huggingface.co/deepseek-ai/DeepSeek-R1
Password:
Cloning into 'DeepSeek-R1'...

... success.

Done in the spirit of the Streisand Effect but I suppose the protest is watered down by the fact that this account is in Zurich ...
Confinity is the company that developed the PayPal website that survived that merger. Elon Musk was not on the Confinity side, he was trying to pivot his x.com bank into a PayPal clone and buy users ($30 per signup) faster than them until they merged to avoid running each other out of cash. The two startups were operating out of the same building at the time. After the merger, Musk was named CEO but ousted from the company just 5 months later, in part for being absent much of the time (including at the time of his firing), and in part because the PayPal engineers had circulated a petition to the board asking them to remove him. The board agreed.
Interesting context and history here: http://basalgangster.macgui.com/RetroMacComputing/The_Long_V...
Secret witnesses aren't allowed to testify in the US. Not that these were court trials.
there's a whole lot to unpack here, and none of it is good. at the end of the day, you can consider Musk an outside contractor. how exactly is that treason? also, in which part of the constitution does it say anything about the federal payment system? that's not an article I'm familiar
This has been a known pattern for millennia. Democracy as it is today in the US suffers from the same ills Plato discussed. It is not a good nor sustainable system. It is not the system the founding fathers put in place.

That none of our rulers question it nor propose alternatives is very telling about who runs our society and what their end goals are. The only reason society appears to be improving (and it is on the whole) is due to our incredible technological advancement. That being said, we should be living in a utopia by now if our rulers weren’t parasites.
Why the hell should be trust that liar's opinion on what is "waste". He has absolutely no authority to stop any payments that Congress has authorized. Trusting any one person with that much power let alone someone as morally bankrupt as Musk is deeply stupid.
that's one ep that sticks out in my mind -
hardware hacking to dump a 2600 cartridge and build homebrew development hardware and then reverse engineering to figure out what's what.

Also the subtle flex of making the Donkey Kong girders on an angle when the 2600 is a 'race the beam' system where each scanline must be computed. Even modern homebrew remakes of Donkey Kong on 2600 have horizontal girders.
This is the reality nowadays. There's an abundance of candidates thanks to bootcamps.
What is undemocratic is suggesting that somehow the civil participation process just goes on hold between every election.

People are seeing a trajectory even worse than anticipated and sounding the alarm. The Trump administration is blasting off executive orders that many feel are unconstitutional, and the populace wants to pump the brakes.
If you have some evidence of their brilliance you can post it now.
And for bonus points he could square the circle.
ah yes countries doing their job of trying to protect their are a dystopia, sure
Yes. Lots of people in this thread have collective amnesia about 2020.
Yup. I was referring to the 1.58B quant which seemed to be performing alright and would be the smallest real-DeepSeek model. That requires ~140GB, which is just barely doable on a 128GB RAM + 24GB VRAM setup + a lot of patience. Others have made it work at 64GB RAM + a fast SSD.

The true minimally-quantized DeepSeek experience will need one or possibly two 8xH100 nodes, so well upwards of $100K in CapEx.
Rumor has it he's one of the engineers on the DOGE team.
This is public info in many states, by law as far as I am aware,

https://cthrupayroll.mass.gov/#!/year/2025/card/1

Federal pay is already supposed to be public knowledge and is highly regulated based on role https://www.federalpay.org/. Although who knows if that's true anymore. Seems like all precedent is up in the air nowadays
Did I say it's fine? Where? They too sometimes get overturned. I'm merely saying an opinion of a district judge is fairly small potatoes when it comes to the events of this magnitude.
Nothing about this is normal, goes by standard practices or procedures, and is being led by a capricious man-child who wasn't elected to office, nor confirmed by the senate, with extraordinarily dubious intentions and conflicts of interest, who has brought in a bunch of near-children to clandestinely infiltrate huge swaths of our government, none of which have the appropriate security clearances, training, ... to engage in any of these activities.

Have they explained what they are doing? No. If you ask them, would they tell you? Is there any kind of oversight available? No. As a matter of fact, prior to these actions, Trump dismissed the inspectors general responsible for this oversight, in violation of the law which was passed to prevent him from doing just that, again.

Who in their right mind would assume that everything "above board"?
https://sethabramson.substack.com/p/the-truth-about-musk-fro...
In case it's not clear, the article writer actually runs a business semi-customizing these from China, importing them, and selling in America (so yes, this is technically an ad).

The linked through site from the company says that they stock spare parts in the US (in Florida). Their warranty is for 1 year/1000 hours operation.
There are also a ton of other ethnic groups in China and the government just call them all Han Chinese. Tons of ethnic groups in Russia too. These are countries with very long histories that span a large area, with many areas that were multiple kingdoms, tribes, etc. Makes perfect sense that they would have a lot of different ethnic groups.
This is clever! I've been playing around with netns and TUN devices lately for a work project, and this idea is just so simple and clean.
You couldn't just have an 'audio' folder next to 'dungeons'?
Location: Taipei, Taiwan

Remote: Yes

Willing to relocate: No

Technologies: Swift, Objective-C, Git, iOS development, project management

Résumé/CV: https://www.linkedin.com/in/tainelson/

Email: chiahsien@gmail.com

Extensive experience in iOS app development since iOS 4, proficient in software architecture optimization and refactoring, well-versed in MVVM architecture and Reactive Programming. Rich experience in cross-department and multi-scale team collaboration, contributing to projects across various stages of company growth, from startups to established enterprises.
To me its inevitable. And just a matter of time. Any year there could be a breakthrough that quickly leads to missing math.
> National security is such a huge brush you could paint anything you want.

This exactly!

i think the tiktok ban ought to be considered unconstitutional.

Unless proof can be found that tiktok is being used by foreign actors to manipulate votes or some other shady shit (and only via tiktok itself, rather than a broad scheme that uses all social media), tiktok should not be banned. It is against the free speech that the US stands for.

If algorithmic manipulation of voters is considered a threat, then pass a law to social media companies that they must explain the algorithm etc, and audit it. It's exactly what GDPR mandates, in their automated decision making and profiling clauses (https://gdpr-info.eu/art-22-gdpr/). Therefore, this is not without precedent, and is also more effective at regulating social media, not just tiktok.

Therefore, the tiktok ban is performative. Like how the claims for DEI and such are performative.
What gave you the impression that Trump was libertarian/pro free market? As far as I know, he's always been a fan of protectionism.
I'm trying to sort out whether this article is relevant to a problem I've been working on the last few days. (It's staggering how deploying AI changes time scales.)

We need "Centaur" documentation that can efficiently transfer information formerly targeting humans, to AI. To fit within current token windows, one needs semantic compression. What data representation would be ideal for this?

This seems so obvious once you consider it, it becomes impossible to explain why OpenAI or Anthropic or Cursor or Windsurf don't offer "knowledge packs" that can transfer their documentation to AI. Of course, it's frequently the case that people who make tools don't "get" them.

My immediate need is to condense the Lean 4 website into a Claude 3.5 Sonnet context window. No AI can code in Lean 4 reliably (not that many humans either ;-) but I don't want the Lean / AI choice to be either / or.
I never doubted these were real stories, I just doubt they’re particularly relatable.

On Waco: I do not see how this fits in with the others.
Agree completely, it’s not challenging work and it’s so reparative
"Those who don't understand ASN.1 are doomed to reinvent it, poorly."

That said, it could be much worse --- JSON, or XML.
Trump's first term is responsible for a large portion of the debt. He should take accountability and step down.
there are many parks, be the change you want to see in the world
Not very "liberal", at least not in the classical sense.
> How could libertarians support banning an app?

because they calling themselves libertarians don't make them stand for liberty!

Libertarians might actually want authoritarianism, but it's their authority!
Edward Abbey and his desert-austerity is so far gone it's bizzare. The denizens of his legacy went on to demand organic coffee shops, free-trade twine-made boho jewelry, and the worst, interpersonal soap opera instead of beautiful silence.

The commodity in this case is real estate.
There’s always been commercial artists who create for the market. It’s nothing new.
See also: "A history of Tetris randomizers":

https://simon.lc/the-history-of-tetris-randomizers

via: https://news.ycombinator.com/item?id=20872110
I once looked into this and there's actually more than a handful of theme parks like this, one of which even has a few locations:

https://en.wikipedia.org/wiki/Diggerland
Don’t forget buying drugs online! Which is mostly what I use it for…
Yes! That's my one good use! :)

Seriously, that's all I got.
Here is some much needed background on how we got here

https://www.google.com/search?client=firefox-b-1-d&sca_esv=1...
Tech is evolving fast, and while current AI struggles with nuance, humor, and emotional weight, future advancements might surprise us. Maybe the best approach isn’t ‘humans only’ but a synergy where AI handles structure and humans refine the feel?
It's an interesting question. The president's powers are supposed to be limited and checked. That was the whole point of the American Revolution.

One of the ways the president is limited is that the he can't authorize people to commit crimes. e.g. he couldn't instruct his AG to open an investigation into his political opponent under false pretenses in order to hurt his electoral chances. If the AG were to do that, it would be a crime. So the question isn't whether the president has authorized Musk to do something, but whether or not the president even has the power to do the thing he delegated.

And what is the power in question? It's control over spending appropriated by Congress. And that's where separation of powers comes in. Congress is supposed to control the purse strings, and the president is supposed to make sure the money is spent on the priorities of the people, taking care of prosecuting fraud and abuse. The point of giving Congress this power is to give the people a mechanism to set their priorities on how their own money is spent. It shouldn't be the case that one guy comes in and then gets to decide how to spend all our money.

But that appears to be what they are trying to do, in claiming that their cuts are all under the guise of reducing fraud and abuse. But really what they're trying to do is do an end-run around Congress. They want all the money, but they don't want to have Congress vote on it, because they don't actually have the votes to implement the agenda they want to, since Congress is so divided. So instead they're just taking the funding they have and allocating it in ways that support only the agenda items they want to see implemented.
I considered making a Tetris 99 bot for a while just for the sake of doing it, but interfacing with the switch sounded like a huge pain. Cool to see someone actually went through with it.
Hi Michael, stoked to see you here!

I am a fullstack developer based in Downtown Toronto.
As a longtime Shaker (fluxxmojo), I really appreciate how you're making crypto more accessible to Canadians. I wanted to ask if theres room on the team for a junior/entry level? I'm also a big believer in the "little bit of slope makes up for a lot of y-intercept" philosophy, and have always dreamed of joining the team at Shakepay. I’m more than willing to fill any gaps and learn whatever is required.
> Why do you think the USD has so many orders of magnitude usage? Nobody missed the question, that was the point: for currencies, stability is what makes them useful.

Hint: cause and effect. You did miss the point and still do probably.
I think that the issue with what's happening on reddit is that it's hard to know what's real or what's not. I think that there is a lot that this administration could be criticized for but the criticism has to be precise and targeted, such that most of the energy goes to the topics that are important.

Here is one example of an overblown piece of news: https://www.reddit.com/r/europe/comments/1ib9csy/donald_trum...

A lot of comments and energy were expended there. Everyone talked as if it were the end of NATO and that the U.S. was abandoning Europe. In reality, it was just a 20% reduction in force (which was the first sentence in the linked article).

On the flip side, the trade war with Canada deserved heavy criticism—and luckily, it was well covered (I count that as a win).

From the list you just shared, I don't really have a good sense of the relative severity of each and I think it's because there is no place where these topics could be discussed (even HN isn't immune as you can see from one of the comments below)
I think such people will align their own values with his. If Elon did it, it was the right thing to do.
Until there social security checks stop coming. Then they will riot.
Accel backs Indian AI startup building 'ChatGPT for presentations'
They're trying to validate that you're using a trusted version of AGESA.
This is probably intentional, the AMD bulletin[^1] mentions this (ie. for Milan):

> Minimum MilanPI_1.0.0.F is required to allow for hot-loading future microcode versions higher than those listed in the PI.

Now that runtime loading of microcode patches cannot be implicitly trusted, the machine should not attempt to prove AMD's authorship of the newly-loaded patch without a concrete guarantee that the current microcode patch is trustworthy.

Presumably (load-bearing italics), the contents of an AGESA release (which contains the patch applied by your BIOS at boot-time) can be verified in a different way that isn't broken.

[^1]: https://www.amd.com/en/resources/product-security/bulletin/a...
> How many thousands of young people are worth incarcerating indefinitely and without legal recourse for the benefit of society at large?

You can actually do the math for that. If the number of innocent people harmed by the gangs is more than the number of innocent people caught in the legal cross-fire then it is worth it.