MurphyA/hacker-news huggingface dataset:
by JuniperMesos | 2025-11-27 03:53:25+00:00
You know what else isn't cool? Working at GitHub!

More seriously: I probably wouldn't have called every single current employee of GitHub a "loser", but more because I think truly cool people don't define themselves by where they happen to work at any given time. I'm sure the vast majority of people at GitHub are just tech employees trying to earn a living and don't particularly care whether the Zig guy thinks they're cool or not. What actually matters is that GitHub is a big centralized platform run by Microsoft for their own ends, and it's good to be free of it.
by dllu | 2025-11-27 03:53:26+00:00
Very sad that HDDs, SSDs, and RAM are all increasing in price now, but I just made a 4 x 24 TB ZFS pool with Seagate Barracudas on sale at $10 / TB [1]. This seems like a pretty decent price even though the Barracudas are rated for 2400 hours per year [2] but this is the same spec that the refurbished Exos drives are rated for.

By the way, interesting to see that OP has no qualms about buying cheap Chinese motherboards, but splurged for an expensive Noctua fan when the cheaper Thermalright TL-B12 perform just as well for a lot cheaper (although the Thermalright could be slightly louder and perhaps be a slightly more annoying spectrum).

Also, it is mildly sad that there aren't many cheap low power (< 500 W) power supplies for SFX form factor. The SilverStone Technology SX500-G 500W SFX that was mentioned retails for the same price as 750 W and 850 W SFX PSUs on Amazon! I heard good things about getting Delta flex 400 W PSUs from Chinese websites --- some companies (e.g. YTC) mod them to be fully modular, and they are supposedly quite efficient (80 Plus Gold/Platinum) and quiet, but I haven't tested them out yet. On Taobao, those are like $30.

[1] https://www.newegg.com/seagate-barracuda-st24000dm001-24tb-f...

[2] https://www.seagate.com/content/dam/seagate/en/content-fragm...
by Jweb_Guru | 2025-11-27 03:54:28+00:00
The reason people had these assumptions is because people have been trying (unsuccessfully) to find a constructive interpretation of this stuff for a very long time. Even very fundamental results in measure theory like the Heine-Borel theorem typically require some extension to traditional constructive axioms. Like I absolutely get where you are coming from, but there are a large number of "nice" classical results that definitely do not have constructive counterparts. It's cool that descriptive set theory is not one of them but it's not obvious by any stretch of the imagination, and the pattern you're using to say that it's probably true ("Curry Howard maps nice to nice") is not great process IMO since it would fail in a lot of other cases.
by ChrisArchitect | 2025-11-27 03:54:51+00:00
[dupe]

Earlier:

Ilya Sutskever: We're moving from the age of scaling to the age of research

https://news.ycombinator.com/item?id=46048125

And one of the recent LeCun discussions:

https://news.ycombinator.com/item?id=45897271
by theamk | 2025-11-27 03:55:31+00:00
For the hobbyist, the best part of the modern embedded chips with few MB of RAM (including ESP32) is that they _don't_ run Linux.

I maintain a few devices at home, both Linux and non-Linux, and the non-Linux are just so much nicer from operation perspective. Everything is described by a few files checked into git, and there is literally no way to sneak any other state in. If the device breaks, or I want another one, or I want to see what changed, it's just a few text files to examine.

Compare it with typical Raspberry Pi, which started with huge microsd image, then there were unknown "apt-get install"'s and some system files modified... Unless you are very, very good with documentation, each one is a special snowflake. The best you can do is to run backup script on them, and restore on rebuild, but it's much worse experience than having a single "pio run -t upload" in the git repo.

(I know there are ways to create immutable Linux system and push it from main PC, just like with microcontrollers - but this is not very well documented path. And much bigger size of the Linux system makes this impractical for rapid iteration)

I think USB device drivers are the _only_ reason to run Linux on the small device. If you don't need those, keep away from Linux. (not that ESP32-P4 would be any good on it - the spec mention "768 KiB SRAM", which is laughably small for Linux. And putting PSRAM on board will make it as expensive as other Linux computers)
by halJordan | 2025-11-27 03:56:04+00:00
The unfortunate truth is that this is where we are as a society. It doesn't reflect poorly on them. It reflects well. They're straightshooters. Theyre not afraid to speak candidly (your definition of candid may differ). They inject humor. You may not like it personally, but it doesn't reflects poorly even if it should.

We're at the tail end of a long decline.
by exidy | 2025-11-27 03:56:09+00:00
I agree with everything you say, however I would note that Singapore has a substantial resident (ordinary definition of the word) population on various types of work permits who, rightly or wrongly, don't feel so free to speak out as you do.

A substantial proportion of those would like to become PR or even citizens, but can't risk prejudicing an already-opaque process in doing so.
by gsf_emergency_6 | 2025-11-27 03:56:23+00:00
Sorry my wording was misleading. SolarReserves lived and died on the thermal storage hill. The point about mirrors being a hassle is still relevant, though:

>When the plant finally opened in 2015, solar panels had left the Concentrated Solar Power technology in the dust [desert sand?] in terms of efficiency and cost.

https://jpt.spe.org/becoming-obsolete-how-high-tech-solar-pl...
by addaon | 2025-11-27 03:56:52+00:00
> “hey Alexa I bought some Crocs shoes a year ago. Can you reorder it?”

But this is exactly what Amazon can't do. Basically all Crocs (crocss, croks, crox) on Amazon are counterfeit, and they don't even have a record of which ones they pulled out of the bin last year to send to you so they can try to grab the same countefeits; and the company that listed them a year ago is probably on their fifty-second name change since then, and the "Satan's anus green" that you chose because it was half the price of the other colors is now "Satin Annux Green" at 2x the price of the other colors…
by smackeyacky | 2025-11-27 03:57:18+00:00
I admire the confidence but a bunch of meat bags prone to bacterial and viral infection, impact damage and with limited use by dates would need some serious luck to survive a simple impact on earth let alone living in cans around the solar system. If we don’t mess our nest so much that we make it uninhabitable. We’re stuck here with short term horizon psychopaths pulling the strings remember.
by auxiliarymoose | 2025-11-27 03:58:18+00:00
I try them from time to time, but I have yet to see AI models produce a useful output for my work. The problems I work on are not well-represented in training data and internet-based resources, and correctness matters far more than speed.

For my work, it's important to form strong and correct mental models of complex systems so I can reason about them well. It's more about thinking and writing clearly than anything else. LLMs tend to include subtle mistakes or even completely incorrect information (and reasoning!) which disrupts this process.

On the creative industry side...well, you can produce some results that look fine by themselves, but producing large-scale cohesive artwork (games, movies, etc.)? It's mostly human elbow-grease for the foreseeable future.
by DrierCycle | 2025-11-27 03:58:28+00:00
I didn't repost anything form the previous post, I posted work that reflects the overarching view of neuropsychology that precedes that PFC work, which is neuroscience.

Mike Meager is a preeminent neurologist at Grossman/NYU, Jay Van Bavel is high-level academia. They didn't go looking for something to fit it into an argument, they used hard science to test the results.

The previous flagged posts are not "medical problems" it's hard science at Northwestern's brain lab, one of the premiere labs in the country.

This is fundamental, peer-reviewed research about how ideologies are developed. How fundamentalism and extremism as biases against flexible thinking are becoming epidemic now. The research is empirical, and it's built first in a theoretical approach (theory is evidence mapped in deeper hypothesis) and then developed through empirical results.

These are both decades of peer-reviewed approaches culminating in these papers, read the citations, check the academics, they are the highest caliber.
by JuniperMesos | 2025-11-27 03:59:29+00:00
It's completely fine for someone working on a programming language that is useful for some of the same things as Rust to compare that language to Rust, including in ways that make the language not seem as good. Indeed, this is useful information for someone who is using Rust and is considering using Zig (or vice-versa), or who is new to both languages and trying to figure out which is better for their use case.
Show HN: JW Tool Box – Free, privacy-first web tools (PDF, Image, Converters)
by kurokosama | 2025-11-27 03:59:44+00:00
I got tired of "free" online tools that may steal data or force you to create an account.

So I built a suite of 40+ utilities that run entirely in your browser (client-side only). - No server uploads (Privacy first) - No login required - No paywalls

It includes PDF tools, image converters (HEIC/WebP), and developer utilities. Built with React, Vite, and WASM.

Feedback welcome!
Show HN: MakeSkill – The Intelligent Skill Builder for Claude
by thanhdongnguyen | 2025-11-27 03:59:51+00:00
Creating high-quality skills for Claude manually is complex, requiring specific technical knowledge of the file system structure (like SKILL.md), YAML metadata configuration, and precise prompt engineering to ensure the agent behaves correctly.

MakeSkill eliminates this friction by automating the technical implementation.

Instead of writing code and configuration files from scratch, users interact with MakeSkill's AI to refine their ideas. The platform then generates the complete, optimized skill package—following all best practices—ready to be downloaded and imported directly into Claude for immediate use.

Try it: http://makeskill.cc/
by kaashif | 2025-11-27 04:00:02+00:00
You're phrasing this a bit oddly. There isn't any immigration law saying he cannot leave the country.

There is a law saying that if you leave the country you abandon your green card application.

Combined with losing his visa and having to leave the country, this just means that the law says if you lose your visa, you lose your green card application too.

But you can always legally leave the country forever.
by jimmyed | 2025-11-27 04:00:21+00:00
I agree that the article is strongly worded, and Andrew seems quite angry/frustrated. However, it also gives me flashbacks of how it was back in the golden days, when Linus was calling wannabe kernel contributors idiots who should have died because they "couldn't find their mothers tit to suck on".

Having low patience is a quirk of our nerd culture, and now that the woke season has ended, it seems to be going back to how it has always been!
by woodruffw | 2025-11-27 04:00:37+00:00
The numbers aren’t looking great so far[1]: they’re not cracking 3 9s on their primary service, and their CI/CD isn’t even cracking 2 9s. And these numbers are much better than when I checked a few days ago!

(This should not be read to imply that I think that GitHub’s reliability is acceptable; it clearly isn’t.)

[1]: https://status.codeberg.eu/status/codeberg
by elmerfud | 2025-11-27 04:00:40+00:00
The most shocking thing to me is not that someone would do this but the Atlantic would post such an obvious bash against freedom of speech. Speech you agree with, the speech that the majority agrees with, doesn't need to be defended or protected. It's the distasteful and disgusting and the speech we disagree with that needs protected.

Any news outlet that is complaining about an AI generated future of content that they disagree with or find distasteful is not a news outlet worth keeping around or listening to. They clearly have failed competing on the merits of their ideas and are now asking for a limitation on what is allowed to be said.

The FCC was the first step for the transformation of freedom of speech to freedom to listen. Where the government decided what was acceptable and unacceptable speech on the airwaves. The internet has allowed for an actual resumption of freedom of speech but there are still those forces that want it to be freedom to listen to what has been deemed acceptable. Make no mistake this is the same thing. They want to decide for you what is acceptable and squash everything else.
by frumplestlatz | 2025-11-27 04:02:08+00:00
I am enjoined from providing that, and it’d be idiotic to risk my career for an HN ****-measuring contest. If one can’t understand these concepts without example code then this probably isn’t a discussion one can meaningfully contribute to.

Not being able to envision how it is in fact possible to write code with these invariants encoded in the type system is a fundamental fault in one’s ability to reason about this topic, and software correctness in general, in the first place.
by odysseas | 2025-11-27 04:02:10+00:00
[Bought cheapest Tesla Model 3 Nov 2022.] [Before that - owner of 2 consecutive Priuses] - before that 2 caravans 2 jeeps etc (I am 60+yrs old)

I have the answer to all these questions :-)

Its very simple. I was about to answer "me too - i have no clue why the germans say that" (to all the (real) tesla owners here that explain that their car was by far the most reliable car they ever drove..

But then I forced my mind to truly remember. None of the two priuses had any issue that required repair in its first 60K miles.. - I remember saying that because the caravans were not like that.I never bought a over-engineered german car - but I am guessing they are not far behind.

But really the tesla - had some issues: - taking the car to fix an erroneous TPMS alert (tire pressure measuring system) (twice) - replace headrest - headrest "bubbles"

My mind doesnt really recorded the above as repairs.. because they were totally painless... the second was a mobile visit - I opened the app - service - asked me for photos - it told me sorry - we will fix for free - because its the first time - they asked me to leave the car outside the garage - the next day found the car fixed

As for the TPMS it involved a 4 week out visit to a tesla - and even though nothing was perfect... i left that place feeling i have visited a utopia were car dealerships are friendlier than anthropology and more trust worthy than your accountant. Most importantly though i never did anything else for the Tesla. no oil service nothing. For 3 yrs I just commuted in it - occassionally washed it - and last month i changed its tires... Not even refilled the water. Every other car (included the priuses) involved the time investment of visiting a dealership twice a year - were someone would make sure the car was alright. They wouldnt charge me - because they made me buy with extra $K the free service while the car in warranty package.. .. But still in my head I must have counted this as an actual service penalty. So thats the diff in the apples to oranges german comparison. They compare german cars that are being regularly service with Teslas that never do. I may be right!!!

odysseas
Show HN: Flux2.cloud – Free, unlimited Flux.2 AI image generator (no account)
by console-log | 2025-11-27 04:02:55+00:00
Flux2.cloud is a free, no‑signup Flux.2 image generator. It’s fast, privacy‑focused, and supports multiple aspect ratios (square 512x512, landscape 768x512, portrait 512x768). No credit card; no rate limits for typical usage.
by chickenegg | 2025-11-27 04:03:32+00:00
> Nobody is clicking the Google ads at the top because they know those are ads, not research. They only do it accidentally

I think you're evaluation of how many people click on Google ads and for what reasons is quite off. I'm sure you and most of the people in your circle are like that, but that's not how the vast majority of internet users behave. Google isn't generating $200 billion annually of accidental clicks.
by cranberryturkey | 2025-11-27 04:05:13+00:00
i didn't touch the code at all really. i think i modified 1 or 2 lines in a few files.

Usually if something is broken i tell claude to fix it.

There is a bunch of docs in the github repo ./docs folder.

but basically every transaction gets an HD address/wallet we control to handle the .5% commission split and forwards the remainder to the merchant's deposit address.

when you vibe code you no longer write code but you do become the architect, product owner and manual QA tester. :)
by varenc | 2025-11-27 04:05:36+00:00
> Longevity can be calculated based upon a simple concept entitled the “power consumption index” (PCI = t x I/C, where t is a constant of 1 hour, I is the current required by the device and C, its battery capacity).

So basically current draw over battery capacity? Or just amps / amp-hours, then * 1 hour to cancel the unit; needlessly IMHO. Surprised this isn't already a standard metric.
by someperson | 2025-11-27 04:05:44+00:00
Country of birth does determine the "priority date" waiting list. Specifically for Philippines, Mexico, India and China. Due to demand. Everyone else is in the rest of the world bucket.

For those countries (especially India) the wait can be more than a decade.

Moving to a points based immigration system without country of birth consideration may one day happen.

Depending on what contributes to points it would encourage better English language abilities and skill sets from immigrants (eg winners being China and India, losers being Mexico)
by dbalatero | 2025-11-27 04:06:35+00:00
I researched a bunch of cases recently and the Jonsbo, while it looked good, came up as having a ton of issues with airflow to cool the drives. Because of this, I ended up buying the Fractal Node 804 case, which seemed to have a better overall quality level and didn't require digging around AliExpress for a vendor.
by vineyardmike | 2025-11-27 04:06:41+00:00
Apple said from the day that they made lightning cables that it would be supported for 10 years. They literally contractually guaranteed that to third party manufacturers in exchange for them creating a massive availability of cables for Apple users.

The EU “forced them” to switch to the standard they helped develop (USB C) on the 11th year after developing lighting. I’m sure it was all the EUs doing.
by agreeahmed | 2025-11-27 04:07:17+00:00
Appreciate the feedback. This work happens in all frontend "cultures" (a phrase I will be lovingly borrowing, thank you). But a payment provider can't really take this work off a developer's plate unless it provides an SDK that works inside of that culture. So yeah, we hope to ship the best payments experience for React. But eventually also for Svelte and Vue. Because that's what you'd have to do to solve this problem.

And the problem goes substantially beyond billing UI. There's all the unseen tedium that devs need to implement in order to derive proper app behavior based on their customers' billing state. Most of this work is transposing billing state (and its derivatives) and then lugging it to the client where it will be used to show upgrade buttons, gate feature access, show outstanding usage balances, etc.
by quadrium | 2025-11-27 04:08:20+00:00
It's required to overstay, and for the case of student visas, you must abandon the visa when petitioning to adjust status. The terms of the student visa are that you cannot have immigration intentions.

When this happens, you're present without a visa, but it's not illegal. You're on a "stay authorized by the attorney general".

I'm not sure if that has changed, but the " authorized stay" thing is the defense to being present without a visa.

It does make a lot of paperwork more difficult, like getting a drivers license, when as you can't prove status.
by wewewedxfgdf | 2025-11-27 04:08:51+00:00
Very questionable decision.

You're running what aims to be a major programming language - have it where people expect and live with your gripes about the platform.

In retail you set up your store in the biggest mall with the most customers walking past - sure you can go set up in some back alley but don't expect customers to come to your store. This remains true even if the mall owns forget to mop the floor.

This feels immature and does not give confidence in the project/language leadership.
by elmerfud | 2025-11-27 04:08:51+00:00
Of course EA wants this. They are one of the most consumer hostile software companies there is. This includes Oracle in that mix. I'm not generally in favor of the benevolent dictator philosophy but Steam has done a pretty good job.

They have enforced transparency and accountability for game manufacturers. Steam understands that if you make a marketplace that caters to the corporations you may alienate all of your users. If you make a marketplace where the users want to be corporations will come regardless. Steam is not perfect but single-handedly they have done more to reduce software piracy than any other organization in history. They didn't do it by beating the users over the head they did it by providing a place that was welcoming and supporting.

So why would anyone listen to EA over Steam?
by DrierCycle | 2025-11-27 04:09:01+00:00
My previous flagged entry was a trio of papers detailing this, I'll repost them here, they're quite amazing. We talk about them quite a bit on our team of devs studying the political rhetoric.

Biological and cognitive underpinnings of religious fundamentalism Zhong https://pmc.ncbi.nlm.nih.gov/articles/PMC5500821/

A neural network for religious fundamentalism derived from patients with brain lesions https://www.pnas.org/doi/10.1073/pnas.2322399121

The neural underpinning of religious beliefs: Evidence from brain lesions https://pmc.ncbi.nlm.nih.gov/articles/PMC9583670/
by voidhorse | 2025-11-27 04:09:41+00:00
I think most people are in complete agreement.

What people don't like about LLM PRs is typically:

a. The person proposing the PR usually lacks adequate context and so it makes communication and feedback, which are essential, difficult if not impossible. They cannot even explain the reasoning behind the changes they are proposing, b. The volume/scale is often unreasonable for human reviewed to contend with. c. The PR may not be in response to an issue but just the realization of some "idea" the author or LLM had, making it even harder to contextualize. d. The cost asymmetry, generally speaking is highly unfavorable to the maintainers.

At the moment, it's just that LLM driven PRs have these qualities so frequently that people use LLM bans as a shorthand since writing out a lengthy policy redescrbiing the basic tenets of participation in software development is tedious and shouldn't be necessary, but here we are, in 2025 when everyone has seemingly decided to abandon those principles in favor of lazyily generating endless reams of pointless code just because they can.