MurphyA/hacker-news huggingface dataset:
by josephg | 2025-11-30 01:02:43+00:00
> I don't think these rewrites will ever be mainstream.

Forever is a long time. And there's always a huge appetite amongst smart young developers to create their own ecosystem. After all, you don't become Linus Torvalds by contributing to linux. You become linus torvalds by creating your own operating system from scratch.

Whether or not new implementations become valuable and get maintained over time is an open question. But the energy is definitely there. (Even though its not necessarily pointed in the direction of economically useful, long lived software.)

> typically ports focus on the 90% that is easy to write and neglect the remaining 10%.

I hear a claim like: "The current C version of most tools is the only place, and only project which will ever bother solving its chosen problem properly." I'm not sure if tahts quite what you mean, but its a wildly bold claim. Even in C and C++, this seems already false. There's several good, solid, standards compliant SQL databases. And OS kernels. And compilers. And web browsers. If there's room for several C based OS kernels, do you really think there'll never be a viable OS kernel in rust, Zig or Odin? Or a web browser or compiler?
by mastazi | 2025-11-30 01:03:13+00:00
People who are not new Linux users might prefer a distro which is part of the same "family" of distros they are already familiar with.

Steam OS I believe is based on Arch. Bazzite is based on Fedora. Personally I have experience with Debian distros so if I wanted a gaming-focused distro I would pick maybe something like Pop OS.
by AngryData | 2025-11-30 01:04:23+00:00
The top end may not be limited by money, but the bottom of education is, especially when it comes to public k-12 schools.

I doubt most people would even believe the differences until they saw them, I wouldn't of believed public school could vary that much until I personally saw it. Going from some middling school with a half dozen rich properties around, versus a truly poor rural school, showed me how true it is. The better middle school was teaching topics that the poor rural school didn't even broach until senior year. Our civics book from the late 2000s talked about the civil rights movement as an ongoing and building issue too keep an eye on, and half the school books had kid's grandparents name signed in them. Our calculus class, which was downgraded to pre-calc after a few years because so many kids failed college calc entrance exams, had a teacher bragging about how it only took her 3 tries to pass calc 102 in order to qualify for that teaching position. You certainly didn't get very many good teachers when they pay was that far below the national median wage, and it was sad to watch them struggle to afford things as simple as whiteboard markers, or copy paper in order to print student assignments on, because yes the school couldn't afford and didn't supply copy paper for teachers to print assignments on other than a literal single ream of paper to last the entire year.
by hellcow | 2025-11-30 01:05:28+00:00
You promoted Omarchy repeatedly on Twitter (much moreso than other distros) and DHH repeatedly promoted Framework in kind. You sent DHH a development device for Omarchy. It's worth noting that DHH is also the chair of the board of the Rails Foundation.

So whether it's a sponsorship on your list or not, it's much cozier than I would care to be with someone who holds these views.
by NoMoreNicksLeft | 2025-11-30 01:06:49+00:00
>But they're not willing.

This is bullshit.

>And they'll often just cause more damage/loss than they provide in benefit to the company.

That's for the company to decide.

>Even the most benign drug which people claim is fine is one that makes you lazy and slow.

If you need someone hyper to do it, then hire the meth freaks.

>Why would you employ someone so addicted to

You seem to have misread my comment. I haven't deleted it, go back and check. I didn't say "companies should be forced to hire them". I promise that's not what you saw. But no need to take my word for it, move your eyes upward about 2 inches and check it out.

>"Piss tests" filter out a lot of anti-social behavior.

No, it literally causes people to steal copper wiring and pipes, turning salvageable houses into wrecks, causing millions in property damage, and in some cases causing deaths. Piss tests let them decide to not hire people who were borderline enough that the only way they could tell they were using drugs was to use piss tests. And I don't know how you can't see this, you're being irrational.
by mips_avatar | 2025-11-30 01:07:15+00:00
I think your last point captures it, for various reasons (RL, inherent structure of code) iterative grepping is unreasonably effective. Interestingly Cursor does use embedding vectors for codebase indexing:

https://cursor.com/docs/context/codebase-indexing

Seems like sometimes Cursor has a better understanding of the vibe of my codebase than Claude code, maybe this is part of it. Or maybe it’s just really marginally important in codebase indexing. Vector dbs still have a huge benefit in less verifiable domains.
by cyberax | 2025-11-30 01:08:17+00:00
Your intuition is right. There is a general algorithm for finding the antiderivatives: https://en.wikipedia.org/wiki/Risch_algorithm Its simplified form can solve pretty much all the undergrad antiderivation problems.

I'm a math major, but I consider the time spent learning the tricks for antiderivation to be kinda useless.
by tempest_ | 2025-11-30 01:08:41+00:00
It isnt so much tinkering vs learning how it works.

Part of the reason new users struggle so much is because they forget they have spent 10 years or whatever using windows / macos and linux is definitely not those.

As much as Linux has become far more user friendly in the last couple years it still has its warts and a quick boot camp like installing arch can be very beneficial.
by dwohnitmok | 2025-11-30 01:09:07+00:00
This approach seems entirely unworkable.

You're saying that RUNTIME should be a built-in function, but then all the paragraphs succeeding that demonstrate that RUNTIME cannot be a function. All the typing judgments I can think of that would let RUNTIME become an actual function would lead to being able to prove false.

Moreover, RE

> RUNTIME for certain cases, and the theorems you generate must be inequalities, not equalities.

this is impossible under Isabelle's logic. I can easily turn any theorem about an inequality into a theorem about equality via an existential statement. E.g. given `RUNTIME f y <= n` I can easily write

definition my_constant :: "nat" where "my_constant = (THE x. RUNTIME f y = x)"

which must logically exist by the classical nature of Isabelle. And now I get to work with `my_constant`. But I can always arbitrary force `my_constant` to be `1` or `0`. Because e.g. I can always just find another function `g` equal to `f` everywhere but just hard coding the answer for `y` (such that `RUNTIME` proves it to be less than or equal to `1`) and then prove `f = g` and then substitute it in, proving `my_constant` to be less than or equal to `1`.

In fact based on this definition of RUNTIME and Leibniz equality I could "prove" that every function runs in constant time. Because e.g. I can always make another append function `append_m_n` that hard codes what the result of `append` is on lists of constant size `m` and `n` and then I prove that `append_m_n` is equal to `append` and then I get to substitute it in every theorem because of equality so on and so forth.

Going down automatically generated `RUNTIME`s seems like a dead end. It seems to be missing some form of quantification over the implementation of a function, not just the function itself. And to the extent that functions do not have implementations, it doesn't seem you can retrofit formal runtime analysis.
by fragmede | 2025-11-30 01:10:30+00:00
I'm on team "I wanna get rich" and also team "I want you to get rich". I'm also on team "I'm a programmer and not a CPA and definitely not your CPA". I pay a money person so I don't have to deal with this stuff because it's not interesting to me, but for those who do find it interesting, game on!

I will say though, that the most important thing someone ever pointed out to me was 100% of $0 is $0. Even just 65% of $really big number is still > $0
by Ukv | 2025-11-30 01:10:43+00:00
> The fact that one can ferret out what someone perhaps meant to say from what they did say doesn't change the fact that what they did say was wrong, and can be rightly criticized for being wrong.

kruffalon said something ambiguous, with the intended interpretation (of that ambiguous part) being true and a secondary unintended interpretation being false - both interpretations grammatically valid.

querez tried to clarify the misinterpretation being made, but it looked as though their point was missed so I made it more explicit.

> It's weird how some people who didn't even make the misleading misstatement are so desperately trying to defend it for no good reason

I just saw some confusion so chimed in to try to clear it up. Only motive is that I feel like it's useful in a discussion for people to know what others mean, rather than arguing against a phantom point caused by miscommunication.
by noselasd | 2025-11-30 01:11:23+00:00
Is it an advantage though ? One of the main objections in the article is exactly that.

There's no atmosphere that helps with heat loss through convection, there's nowhere to shed heat through conduction, all you have is radiation. It is a serious engineering challenge for spacecrafts to getting rid of the little heat they generate, and avoid being overheated by the sun.
by ianburrell | 2025-11-30 01:11:48+00:00
OpenAI has over 1 million GPU.

Starlink satellites would be pointless for doing computation because they are spread across the Earth resulting in horrible latency. AI companies spend lots of money on super fast connects within a datacenter.

Starlink with GPU might have some advantage for running edge GPU. But most Starlink customers are close to ground station and it makes a lot more sense to have GPUs there. It is a lot easier to manage them than launching new satellites which could take years.
by underlipton | 2025-11-30 01:12:38+00:00
>3. Using screens at night is bad for everyone, but especially above the age of 40, both focus and iris (light balance) response take longer. Using a screen changes your focus and blows out your night vision.

On that note, if anyone with Uber, Lyft, DoorDash, et al. would like to revisit the way their apps handle ride assignment - specifically, the way platforms generally refuse to assign orders when the car is stationary, but then inundate contractors with notifications that must be responded to immediately when the car is in motion - it'd be much appreciated.
by throwup238 | 2025-11-30 01:12:39+00:00
> And how hard is it to make such controlled studies on prison populations (where both sun and food intake is also a known value)?

Very hard. Not impossible, but even something as low risk as a dietary study with Vitamin D supplements would come under very heavy scrutiny and likely be rejected.

Prisoners are considered a vulnerable group with diminished autonomy so there is no such thing as “voluntary as it's for people outside“ in prison. Full stop. The Nuremberg Code, Belmont Report, and Declaration of Helsinki all explicitly spell that out.

Even ignoring the obvious “ethical issues” that have been settled since the Nazis, they’re also legally protected. See 45 CFR 46 Subpart C [1]. Even if the experiment got past the academic ERBs, the HHS ones will likely shut it down.

[1] https://www.hhs.gov/ohrp/regulations-and-policy/regulations/...
by fritzy | 2025-11-30 01:13:04+00:00
SteamOS is only going to support other hardware by coincidence. Valve is unlikely to put in resources beyond the hardware that they want to support. It's also unlikely to change the whole "firmware restore, entire drive" approach. They're not going to put in the resources or support work into making and maintaining a full distro by themselves.

A community distro (be it a console-like gaming focused distro or not) is going to be the way to be the way to go for the foreseeable future. I'm pretty happy with running EndeavorOS w/ KDE, Steam, and Heroic. The Steam client with Proton is where most of the magic happens in Linux anyway. If I wanted to get fancy, I could set up GameScope with Steam Big Picture to take a SteamOS/Bazzite approach.
by roarcher | 2025-11-30 01:13:35+00:00
I would argue that the degree to which you owe something credit for your success is the degree to which it guarantees that success. If my society/group/family guarantees my success, no matter my actions, I owe it everything. If it makes no difference at all, I owe it nothing.

If it merely improves my odds, then I owe it something, but there must have been at least one other factor at play, and that factor is also owed credit. I presume you would call that factor something like "luck". No doubt that that plays a role, but credit for luck belongs neither to the society nor the individual. All that is left, then, is individual choice, and so the rest of the credit belongs to the individual.
by theamk | 2025-11-30 01:13:40+00:00
All of the controllers do that! But then battery starts to self-discharge, eventually a controller detects "huh, the battery is no longer charged" and start charging again.

Over years, this can accumulate enough charging cycles so battery gets worn down.. And old batteries have even higher self-discharge, so the cycle accelerates. If you are lucky, the battery lasts long enough. If you are unlucky, you end up with "spicy pillow". If you are super unlucky, and charger's temperature sensor fails (or was never installed), or battery gets punctured - you got a fire.
by K0balt | 2025-11-30 01:14:15+00:00
Ok so, turns out there are a lot of MCUs like this, including a riscV triple core lockstep with ECC lol. No super cheap ones, but microchip makes the AVR-SD which leverages a pair of their AVR8 cores in lockstep with ECC flash and RAM. It’s ~$1, so I think I’ll pick that as my next toy project to play with. Turns out, Simpsons already did it.
by kragen | 2025-11-30 01:14:16+00:00
Wordpress is kind of a pig, yeah. But unless you're running WebSocket or server-sent events or some other Comet thing from Wordpress, you can solve the concurrent-connections problem just by limiting the number of concurrent PHP processes your server runs (MaxRequestWorkers in Apache), which may or may not be set to a reasonable default like 20 normally. Additional burst clients will either pile up in the kernel's connection queue or have to retry their SYN packets if the kernel's connection queue is full.

The reason you need more than one concurrent connection (again, barring some kind of Comet) is that some clients take a significantly nonzero amount of time to finish receiving the response, at which point PHP has generally already finished executing but is still taking up RAM, which is what limits the number of concurrent connections you can handle with Wordpress. But really all you need to do is not go into swap when you hit an overload, and Bob's your uncle.

Depending on how it's configured, Wordpress may still not be able to answer new requests as soon as they come in, but that's not a problem of the number of concurrent connections; it's a problem of the number of hits per second.

You can decouple the number of concurrent connections from the amount of RAM you're burning in PHP by using FastCGI, or just plain old CGI, or nginx (with probably FastCGI), or putting a reverse proxy in front of Apache, or just about anything except mod_php, but you very rarely need to. There just aren't that many people on 14.4kbps modems any more, and your web server has literal gigabytes of RAM.

You don't need Cloudflare unless you're getting DDoSed.
by SamDc73 | 2025-11-30 01:15:04+00:00
I’ve been using it for a couple of months on my main dev machine (I don’t game much). It’s my first exposure to immutable systems.

I love the idea, but honestly, juggling all these package managers gets annoying really fast; for now what I use is rpm-ostree (which you really shouldn’t touch unless you absolutely have to), Flatpak, Homebrew (some package are mac only or mac first), and distrobox (with arch).

Every now and then I think of going back to arch cause they are the only distro that made it very convenient to install some obscure packages that is only used by handful of people

Like yesterday, I tried setting up Flutter with the Android SDK command-line tools and the rest of the Android dev stack, and it took me almost 2 hours to get everything working; On Arch? That’s just a few packages, all sitting right there in the main repo or the AUR.
YouTube Recommendation Algo
by solarized | 2025-11-30 01:15:31+00:00
YouTube’s recommendation system tends to reinforce viewing patterns.

* If someone watches constructive content, it continues suggesting similar topics.

* The same happens with less constructive material.

Which can gradually push users toward more polarized content.

Would it be beneficial if YT and friends occasionally introduced content from broadly respected science communicators or educators (NDT, Feynman, Asimov, Or even Carlin), to promote more balanced perspectives?

Curious what others think.
by majormajor | 2025-11-30 01:15:36+00:00
> It's said that his mom being on the same board as IBM's CEO at the time was a more instrumental factor to his eventual success than his family's wealth, and his own effort of course.

This sounds a lot like "his family's wealth was a more instrumental factor than his family's wealth" since "being on a board" is pretty rarified air. It's not Gates-himself-level wealthy, but what percentile is that? 90th? 95th? 99th?
by pandaman | 2025-11-30 01:15:55+00:00
So you are arguing that people you know only had their whole bikes stolen and not wheels/saddles/etc ? I don't think it's a good argument, tbqh. Even if the people you know made a meaningful sample of Chicago population (they don't) they still get bikes stolen and it still means the law is not enforced well enough.

And CPD can investigate all they want, CPD, like any other police department, cannot put people in prison. The DA has to press charges and prosecute in the court, which won't happen with any DA in any major city against homeless (otherwise all homeless would have been already in prison).
by slashdave | 2025-11-30 01:16:23+00:00
It's a poor extrapolation. The issues with the ML community have more to do with the exponential growth of the "AI" industry, the resulting flow of capital, and the outsized role these conferences provide for establishing a researchers value to the industry. These conditions are fairly unique.

I would propose that the evolution you speak of is more related to our technology (and I am not just saying AI, far from it) and how it is now possible to perform the very minimum requirements of a task with little effort.
by jcranmer | 2025-11-30 01:16:27+00:00
Strictly speaking, the thermosphere is actually much warmer than the atmosphere we experience--on the order of 100's or even a 1000 degrees Celsius, if you're measuring by temperature (the average kinetic energy of molecules). However, since particle density is so low, the number of molecules is quite low, and so total heat content of the thermosphere is low. But since particle count is low, conduction and convection are essentially nonexistent, which means cooling needs to rely entirely on radiation, which is much less efficient than other modes at cooling.

In other words, a) background temperature (to the extent it's even meaningful) is much warmer than Earth's surface and b) cooling is much, much more difficult than on Earth.
by shinycode | 2025-11-30 01:16:35+00:00
I second that, trust is broken if there is ads. The line of great ads to weird ads to pushy-borderline-scam ads into personal context is thin. Hopefully the price of local will go down and maybe apple will be able to push most of it on-device. The day chatGPT push ads in a conversation I stop using it.

The thing is with llm, it went so fast to get that many users, it means people are used to adopt new stuff as well. With proper marketing and specific feature I won’t be surprised to see people switch service as easily they start using it in the first place because the barrier is so low.
by satvikpendem | 2025-11-30 01:16:58+00:00
Sadly Triplit is web only, the one place I'd least have expected people needing offline access because...they can access the website from the browser. CRDTs are primarily useful in mobile or desktop apps, and yes Electron and React Native exist but it's better to have a language agnostic API, or something straight in the database like Postgres that any app regardless of implementation language can use.
by majormajor | 2025-11-30 01:17:23+00:00
I wouldn't assume size of success is correlated with "having success or not." It's notoriously hard to predict what business ideas will succeed at all, let alone be mega-billion-success-stories. Many things could've gone differently leading to Bezos being a ten- or hundred-millionaire vs a multi-billionaire even in worlds where Amazon was successful. AWS, for instance, was not in the original plan.

I think the strongest correlations would be between:

"has safety net" and "has success" - one major factor here is not having a poverty mentality that would lead to panicking and quitting early

as well as between "has safety net" and "takes multiple swings if no initial success", for the direct reason of "can afford to do so."
by ENGNR | 2025-11-30 01:17:52+00:00
How does that work in practice?

If you're bootstrapped, borrow a bunch of money to pay tax because your company got to $10M val. But then the market shifts and it goes back down to $0 in later years, do you get the money back?

Even if you do, it sounds weird taxing someone for the right to create something, especially when they're still in the middle of creating it.
by nerdsniper | 2025-11-30 01:18:10+00:00
In some states, it is the law that officers can order you to step out of the vehicle during any valid traffic stop, regardless if it is criminal or civil.

In some states it is the law that if you are from out of state and get a speeding ticket, you either have to pay the officer in cash while you are stopped or they can take you to jail until money is posted or it is your court date.

This happened to a friend of mine from Wisconsin, visiting me in Michigan about ten years ago. I was shocked to learn this was actual Mochigan law, and could hardly believe it even after verifying it. He felt very “lucky” to have had several hundred dollars in cash to simply hand over to the officer. Michigan only just rescinded those laws in 2019: https://landline.media/michigan-laws-end-roadside-cash-payme...
by mertleee | 2025-11-30 01:18:43+00:00
This community is laughably caustic and abusive. My friend attempted to create a simple tutorial site and their org harassed him for over a year. He didn't even mention the word "meshtastic" and they made dozens of false trademark claims that his site could be "confused" with an official site.

I was previously a fan, but I'd never seen behavior like that from an "open source" project.
by Hizonner | 2025-11-30 01:18:47+00:00
Yeah no. That's not what any of this is about. This is exactly what they claim it is: more power for domestic law enforcement.

Your apocalyptic vision is very, very far from certain, but also...

> This move improves counter-intelligence

Evading any kind of mass surveillance is basic tradecraft for spies. You're not going to get a lot of counterintelligence out of it. Especially because it's all structured to filter the information through mostly-non-spooky operators of communication services before your counterintelligence people get to see it.

What it does improve is good old fashioned non-counter intelligence for the other side. A lot of intelligence targets don't have the kind of OPSEC that spies have. And with adversaries at that level, you can't assume you control who has access to your back doors.