MurphyA/hacker-news huggingface dataset:
by UncleMeat | 2025-12-23 15:30:29+00:00
The signatories have spent years attacking free expression. A particularly acute case is when it comes to things like advocating for the end of israeli occupation in palestine, but there are many others. Whining about BLM is a particularly common approach for Thomas Chatterton Williams.

The signatories have generally continued to complain about censoriousness from the left even while the right wing is detaining people for their speech, insisting that media personalities be fired for their speech, insisting that people (including naturalized citizens) be deported for their speech, cancelling grants because they are too "woke", and straight up passing laws banning the teaching of certain topics in secondary and postsecondary school.

Weiss herself is a participant with UATX, a expressly right wing university that has fired people for not being sufficiently critical of DEI efforts.

Weiss also has a long history of efforts to stifle the public debate that the signatories claim to support. The first thing that got her notoriety was an effort to get various professors at Columbia fired for their speech.
by dfaiv | 2025-12-23 15:30:34+00:00
Shameless repost - I'm so sad that JetBrains seems to be floundering. VS Code still doesn't match it in little "oh my gosh, how did it know I wanted that" moments, but the whole JB experience is now just so clunky, especially in a modern WSL2/poly-lang env.

https://news.ycombinator.com/item?id=45846798
by bgbntty2 | 2025-12-23 15:30:38+00:00
Years ago when paying with PayPal, there were 2 choices - for them to convert currencies or to rely on my bank to convert them. There was a warning that if I chose the second option, it could cost a lot. Turns out, with my bank the conversion was good and with PayPal's conversion I'd lose like 10%.

Stuff like that is what I say "years ago" - I haven't used PayPal for a while now, and I won't use it again.
by hluska | 2025-12-23 15:31:05+00:00
I can’t figure out why you’re being simultaneously argumentative and dismissive. But you’re being argumentative and dismissive while talking about a totally different subject than the person you’re replying to.

EU citizens would have reason to be concerned about this. It’s not clear how an EU citizen would deal with this nor is it clear this would even be prohibited since there have been some recent rulings that muddy this. Nor is it even clear there would be a UK response since certain kinds of analytics are fine under UK GDPR.

You’ve taken something very interesting and open to interpretation and reduced it down to circular arguments. That’s boring.
by knorker | 2025-12-23 15:31:35+00:00
Is this some snarky reddit comment?

Yeah, there are literally billions of people in the world who don't speak English. And yet HN is de facto English.

Do you see many people commenting on HN in French? How's that working out for them? Are they succeeding or failing to communicate?

It seems that people are, for the most part, succeeding in tailoring their message for their audience.
by happytoexplain | 2025-12-23 15:32:10+00:00
As usual, I don't think the conclusion of the survey is fully supported by the way the questions were worded. I'm not sure I've ever felt differently about a survey, in fact.

For example, if I was asked the second question, I honestly don't know which way I would have responded before being told the answer, because clearly the answer is in between the two options. Obviously it is not intended to "largely replace" your income, but also obviously it is not intended to only keep you above the poverty line, since it is based on your income during your life. So yes, it very concretely "replaces" your income, but only partially, not "largely". If it was only intended to keep you above the poverty line, it would be based on the poverty line.

Even the government phrases it as "replacing" income:

https://www.ssa.gov/pubs/EN-05-10024.pdf

> Social Security replaces a percentage of a worker’s pre-retirement income

Reading survey questions drives me insane.
by cjbgkagh | 2025-12-23 15:32:18+00:00
Ah yeah, you got me, I do get a bit triggered by boomerisms.

As a millennial I could already see the ladder being pulled away and was luckily enough to grab on to the bottom rung. Young people are so ready to burn down the system that they’re just waiting for the opportunity to do so and I don’t blame them. At this point it only seems to be a matter of time. I try to warn boomers that they should be more sympathetic because they’re going to have to ask the young people for a bailout and as bad as it is doing deliveries for minimum wage as a young person it’s infinitely worse doing that as a old person.
by reallydoubtful | 2025-12-23 15:32:48+00:00
Most of them have feeds.

* https://engineering.fb.com/feed

* https://netflixtechblog.com/feed

* No feed for stripe

* https://www.uber.com/en-GB/blog/london/engineering/rss/

* No feed for LinkedIn

* https://engineering.atspotify.com/feed

* https://tailscale.com/blog/index.xml

* https://careersatdoordash.com/engineering-blog/feed

* https://dropbox.tech/feed
by close04 | 2025-12-23 15:33:35+00:00
A 4-years cycle is also nowhere near enough for any long term project. This is the cost of democracy where you have to give people short term wins in order to win an election.

Infrastructure projects can take decades. The country’s budget is a 0 sum game. Developing something expensive will lead to cuts or shortages somewhere else and those people suffering will make you pay in the next election because they won’t care about the greater good from 20 years from now.

Your opponents will exploit any perceived failure and use it against you. And they will equally take your victories and sell them as their own if your long term project happens to bear fruit on their term. So everyone focuses on what looks good inside a term of a few years to sell in the next election.
by tgtweak | 2025-12-23 15:34:08+00:00
This actually looks surprisingly straightforward for what the function is doing - certainly if you have domain context of image editing or document placement. You'll find it in a lot of UI code - this one uses bit shifts for efficiency but what it's doing is pretty straightforward.

For clarity and to demonstrate, this is basically what this function is doing, but in css:

.container {

position: relative;

}

.obj {

position: absolute;

left: 50%;

top: 50%;

transform: translate(-50%, -50%);

}
by tarxvf | 2025-12-23 15:34:09+00:00
~~I am not seeing that, why do you say that?~~
Update: answering my own question. It's the ††.

https://www.fcc.gov/supplychain/coveredlist

The new addition: Uncrewed aircraft systems (UAS) and UAS critical components produced in a foreign country†† and all communications and video surveillance equipment and services listed in Section 1709(a)(1) of the FY25 National Defense Authorization Act (Pub. L. 118-159)

††:
For purposes of inclusion of UAS and UAS critical components, we incorporate the definitions included in the associated National Security Determination

https://www.fcc.gov/sites/default/files/National-Security-De...
by ZeroGravitas | 2025-12-23 15:34:23+00:00
It's not clear if you aren't familiar with the political history or if you just disagree that it's a good idea.

Historical context:

https://en.wikipedia.org/wiki/Energiewende

As to whether it was good idea, a quote from that article:

> The coalition government introduced an intermediate target of a 55–60% share of renewable energy in gross electricity consumption in 2035. The targets were described as "ambitious"

In 2025 they'll be around 56% (and as I said, this is with clear sandbagging by people who are politically opposed to this transition).

And them blazing this trail enabled other nations like Hungary to go from zero to 30% solar in a decade.
by rkomorn | 2025-12-23 15:34:43+00:00
I don't fly with them, and likely never will, simply because a coworker once showed me their checkout flow (back in 2011) and I found the amount of dark patterns to try and get you to accidentally spend more than you meant so disgusting I swore I'd never do business with them.

Being cheap is one thing, trying every trick in the book to try and make money the customer didn't mean to spend is another thing altogether as far as I'm concerned. That is worthy of hate.
by softwaredoug | 2025-12-23 15:34:43+00:00
How? Congress has given tremendous discretion to POTUS. This President is actually using it.

Congress assumed

- it had a legislative veto (any committee could override an agency)

- independent agencies existed.

So it gave broad authority with those assumed checks.

SCOTUS declared legislative veto unconstitutional in 1982. And administrative state is actively going away.

So POTUS can do a lot of damage using the law itself.

This is the new system. Dems need to use it too.
by dmaa | 2025-12-23 15:34:57+00:00
If by 'the gutter' you mean cheaper - thanks Ryanair! I don't like the experience of flying either, but there is no denying that it is accessible to anybody today, 20 yrs ago it was still a luxury.

Regarding the destinations, yes, Emirates does not fly from Memmingen to Stanstead. But why would anybody, unless they live in the village next to either.
by freakynit | 2025-12-23 15:36:58+00:00
No worries.. even if it were copied, it would have made me feel proud. Nevertheless, I saw it now that's its actually fully vibe-coded... so, high chance my product's webpage was part of it's training data..

I did download your product ans using it for postgres. Was using dbeaver earlier, but, it's tooooo messy in it's UI.

Thanks..
by ch4s3 | 2025-12-23 15:37:16+00:00
They literally aren't defending Bircherism ,they say that it would have been more productive to argue against them in public to discredit their ideas rather than letting them fester off in some dark corner. They're talking about how pushing bad ideas out of public view rather than arguing against them can exacerbate negative polarization and draw more people into bad ideas.

You have completely missed the point of the article. So you didn't actually read the article and you're making a dumb claim based on a misunderstanding.
by throwaway290 | 2025-12-23 15:38:04+00:00
"trump is accidentally friendlier to google because he likes to reverse things from biden" doesn't mean trump is friendlier to tech overall.

for example most of what Trump claims he invested in chip production was actually invested by Biden. Trump gives more promises and less actual money.

https://itif.org/publications/2020/09/28/trump-vs-biden-comp...
by triceratops | 2025-12-23 15:38:05+00:00
I don't know what "decline in industry" means here tbh. Emissions from industry went down, but GDP still went up. Does that mean there's "less industry" or "more industry"? How do you measure "industry"? Maybe their industry just became more efficient.

Total emissions also went down. Yeah GDP went up less than last year but that hardly matters when we're talking about an emissions reduction. Not "less emissions growth than last year", an absolute decrease.
by radarroark | 2025-12-23 15:38:11+00:00
Surprisingly, no it does not. Datomic has a more limited feature that lets you make an in-memory clone of the latest copy of the db for speculative writes, which might be useful for tests, but you can't take an arbitrary version of the db with as-of and use it as the basis for a new version on disk. See: https://blog.danieljanus.pl/2025/04/22/datomic-forking-the-p...

There's nothing technically that should prevent this if they are using HAMTs underneath, so I'm guessing they just didn't care about the feature. With HAMT, cloning any part of the data structure, no matter how nested, is just a pointer copy. This is more useful than you'd think but hardly any database makes it possible.
by almostgotcaught | 2025-12-23 15:38:20+00:00
> we need a tiled layout

You are presuming an existing tile IP - if you're already in possession of such an IP then the place and route is already coarse grained. There are lots of papers on this.

> (like the GPU does)

What exactly does the GPU do? Yes there are tiles but it's up to you to now tile your workload. You understand this is the exact same problem you're bemoaning re place and route - you need to figure out how to shuffle individual bits efficiently through an existing fabric (roughly it's the same thing as routing 32 wires at a time).

> we need for this to happen is for the companies making the FPGAs to open up the board layout file spec

What exactly is this going to do for you if you're placing tiles? Also you can already recover this by exhaustively enumerating all a->b paths (yes people really do this).

To anyone else that thinks they just absolutely are certain of the silver bullet for digital design: download a copy of Vivado and report back what you discover!
by gizmo686 | 2025-12-23 15:38:20+00:00
Having an individual account does not mean that money earmarked for you is sitting in a vault. E.g, our banking system gives everyone an individual account, but does not have enough cash to pay everyone back; and occasionally their other assets fall, resulting in them not being able to satisfy their obligations to account holders. This has happened often enough, that bank accounts are not required to be insured against it.

There has also been a common talking point of Congress stealing from social security to fund other expenses, which could also explain how it would not be able to pay even with individual accounts.
by jwr | 2025-12-23 15:38:45+00:00
Fellow (solo) bootstrapper here. Congratulations to the author(s) of the article, and to all the other bootstrappers here. Remember, even if your business is smaller or doesn't have the incredible stellar growth numbers that these people posted, it's still YOUR BUSINESS. You are doing right by your customers (because they keep paying you), you have your own business, you do not depend on VCs, and you don't have to fake anything. This is incredibly liberating and should be cherished!
by gnabgib | 2025-12-23 15:39:02+00:00
Related:

Debian adds LoongArch as officially supported architecture (113 points, 3 days ago, 29 comments) https://news.ycombinator.com/item?id=46334333

Loongson 3A6000: A Star Among Chinese CPUs (98 points, 2024, 135 comments) https://news.ycombinator.com/item?id=39726124
by 9rx | 2025-12-23 15:39:23+00:00
Trouble is that TDD, and formal proofs to much the same extent, assume a model of "double entry accounting". Meaning that you write both the test/proof and the implementation, and then make sure they agree. Like in accounting, the assumption is that the probability of you making the same mistake twice is fairly low, giving high confidence to accuracy when they agree. When there is a discrepancy, then you can then unpack if the problem is in the test/proof or the implementation. The fallible human can easily screw either.

But if you only fill out one side of the ledger, so to speak, an LLM will happily invent something that ensures that it is balanced, even where your side of the entry is completely wrong. So while this type of development is an improvement over blindly trusting an arbitrary prompt without any checks and balances, it doesn't really get us to truly verifying the code to the same degree we were able to achieve before. This remains an unsolved problem.
by constantcrying | 2025-12-23 15:39:33+00:00
As a European I am not particularly invested in how the US legal system wants to protect non-citizens "rights". I just hope that the EU learns how effective immigration deterrence looks and can make the appropriate legal changes, here in Europe we do not have attachments to centuries old legal concepts, so I think this issue just does not appear here.

One idea which should be explored, both in the US and the EU, is that all lawsuits against immigration decisions have to be paid, either ongoing or up front, by the person who would be affected by the immigration enforcement.
by mindcrash | 2025-12-23 15:39:46+00:00
Framework Laptop 16 already supports desktop GPUs through its USB 4.0 ports.

Tests in the wild have shown that the best performance can be gained in combination with the currently wildly popular enclosures with the ASM2464PD chip from ASMedia due to its really great compatibility with AMD chipsets. This chip has been integrated in the AG02 enclosure from Aoostar (which supports USB4, but also supports Oculink) and the UT3G/UT4G enclosures from ADT-Link (which only support USB4):

https://egpu.io/best-egpu-buyers-guide/

You also need a really fast videocard with > 40 Gbps throughput to make Oculink worthwhile, as even a AMD Radeon 9070XT performs nearly the same (and pretty great!) on USB4 as Oculink, through the Aoostar dock, on the Framework 16.
by steffoz | 2025-12-23 15:41:05+00:00
In general, we try to keep things extremely simple. And then we simplify some more. If you're very strict on this basic rule and apply it at every level, from the start, you can go a long way with a small but stable team.

Regarding k8s: EKS is a very different beast compared to managing your own cluster in terms of complexity. We invested months into understanding a lot, yes, but then the day-to-day operations are not that heavy. At least, that's our opinion after 6 months; we'll see!
by exasperaited | 2025-12-23 15:41:26+00:00
Othering gun fetishists.

By the time the opportunity arises to actually do anything about it, a whole load of "conservatives" will be furiously denying that they ever were. In some cases to tribunals and commissions.

Nobody should give the slightest respect or deference to those ideals if invoked by anyone who supported the Republican party after "very fine people on both sides". There is nothing "conservative" about 99% of people who claim the label, and there's nothing moral about their position.

They can either organise with the gun fetishists or take the opportunity to separate from them. But there's no reason to suggest that conservatism in its true form has anything to do with looney gun fetishists who pose with guns in Christmas cards.

All of this can be done without changing the fundamental right to bear or own guns.
by ndiddy | 2025-12-23 15:41:59+00:00
What would you expect to happen? Photoshop 1.0 is an almost unusably basic image editor by modern standards. It doesn't even have layers (they were introduced with Photoshop 3.0 4 years later). Even if the code was licensed in a manner that allowed distribution of derivative works (which it isn't), it's written in Apple's Pascal dialect from the mid-80s and uses a UI framework that's also from the mid-80s and only supports classic Mac OS. CHM didn't even release the code in a state that could be usable out of the box if you happen to have a 40 year old Macintosh sitting around. Here's a blog post showing how much work it took someone to compile it: http://basalgangster.macgui.com/RetroMacComputing/The_Long_V...

I think Adobe decided to release the code because they knew it was only valuable from a historical standpoint and wouldn't let anyone actually compete with Photoshop. If you wanted to start a new image editor project from an existing codebase, it would be much easier to build off of something like Pinta: https://www.pinta-project.com/
by joncrane | 2025-12-23 15:42:28+00:00
>is it that they're in on the grift and everyone understands that she's just there as a wink-wink-totaly-not state censor, or do they genuinely fall for her schtick?

It's both. That's one of the things that's difficult to suss out and therefore have a plan to engage. There's plausible deniability on both ends of that spectrum. Even in the high positions in the administration, there's a smattering of True Believers in amongst the grifters.
by DetectDefect | 2025-12-23 15:42:29+00:00
"the stall next to us sold excellent dried beans. I’ve never used dried beans before" seems contradictory. Would it not make more sense to read a book or even brief article about beans first? How can people develop such an interest in an LLM, which effectively just repeats what you say back, while completely ignoring the very principles of what they mean to accomplish?
by linsomniac | 2025-12-23 15:43:15+00:00
I was luke-warm about codex when I tried it 2-3 months ago, but just recently tried it again last week, running it against claude code, both of them running against the same todo list to build a docusign-like web service. I was using loops of "Look at the todo list and implement the next set of tasks" for the prompt (my prompt was ~3 sentences, but basically saying that):

- Codex required around 30 passes on that loop, Claude did it in ~5-7.
- I thought Codex's was "prettier", but both were functional.
- I dug into Claude's result in more depth, and had to fix ~5-10 things.
- Codex I didn't dig into testing quite as deeply, but it seemed to need less fixing. Still not sure if that is because of a more superficial view.
- Still a work in progress, have not completed a full document signing workflow in either.
by Juliacar-16 | 2025-12-23 15:43:21+00:00
PEVA (Polyethylene Vinyl Acetate) plastic film products are gaining popularity due to their eco-friendly properties and versatility. These products are widely used in various applications, including household items, food storage, and industrial uses. This article explores some of the top brands that are leading the market with their innovative and sustainable PEVA products.https://info.fengpaifilm.com/top-brands-of-peva-plastic-film...
by anon-3988 | 2025-12-23 15:43:55+00:00
Before we start writing Lean. Perhaps we can start with something "dumber" like Rust or any typed program. If you want to write something correct, or you care about correctness, you should not be using dynamic languages. The most useful and used type of test is type checking.

Type errors, especially once you have designed your types to be correct by construction, is extremely, extremely useful for LLMs. Once you have the foundation correct, they just have to wiggle through that narrow gap until it figures out something that fits.

But from what I understood and read so far, I am not convinced of OP's "formal verification". A simple litmus test is to take any of your recent day job task and try to describe a formal specification of it. Is it even doable? Reasonable? Is it even there? For me the most useful kind of verification is the verification of the lower level tools i.e. data structures, language, compilers etc

For example, the type signature of Vec::operator[usize] in Rust returns T. This cannot be true because it cannot guarantee to return a T given ANY usize. To me, panic is the most laziest and worst ways to put in a specification. It means that every single line of Rust code is now able to enter this termination state.
by zilvestro | 2025-12-23 15:44:41+00:00
Depends a bit on your stage. Personally, I’d lean towards monthly pricing, since rev share can quickly become more expensive once things pick up. That said, I totally get that +$50/mo can feel like a lot when you’re just starting out and not seeing results yet.

If you’re early-stage, maybe take a look at Affonso, it’s more affordable.
by constantcrying | 2025-12-23 15:44:55+00:00
>In our country, someone who hasn't been convicted or otherwise adjudicated of a crime is called innocent.

Total nonsense. This only applies to the state. Individuals are totally free to believe that a person not convicted of a crime or even proclaimed innocent by the state, is in fact not innocent.

If your legalistic fiction of innocence was correct, then individuals would have to believe that the law is the infallible representation of morality, which is an abhorrent claim. What I meant by the quotes around innocent is that the state has not yet deemed them criminal, but I disagree with the state on that assessment.