MurphyA/hacker-news huggingface dataset:
by lacoolj | 2025-09-22 17:05:06+00:00
Sounds like you may not be ready to read this tutorial just yet. Maybe get more experience in the terminal, and read docs on specific languages (elixir has good ones, for instance) or take a hands-on course (like Codecademy Javascript, etc).

Then, once you have more experience, you can go back to that tutorial and try reading it with more polished eyes.

What you've posted is the equivalent of me taking a new interest in cooking but applying to culinary school. If I haven't cooked in a real (production, high volume) kitchen, it's all gonna be Greek, overwhelming, and turn me off.
by Our_Benefactors | 2025-09-22 17:05:08+00:00
Go ahead and move the goalposts now... This took about 2 minutes of research to support the conclusions I know to be true. You can waste time as long as you choose in academia attempting to prove any point, while normal people make real contributions using LLMs.

### An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation We evaluate TESTPILOT using OpenAI’s gpt3.5-turbo LLM on 25 npm packages with a total of 1,684 API functions. The generated tests achieve a median statement coverage of 70.2% and branch coverage of 52.8%. In contrast, the state-of-the feedback-directed JavaScript test generation technique, Nessie, achieves only 51.3% statement coverage and 25.6% branch coverage. - *Link:* [An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation (arXiv)](https://arxiv.org/abs/2302.06527)

---

### Field Experiment – CodeFuse (12-week deployment) - Productivity (measured by the number of lines of code produced) increased by 55% for the group using the LLM. Approximately one third of this increase was directly attributable to code generated by the LLM. - *Link:* [CodeFuse: Generative AI for Code Productivity in the Workplace (BIS Working Paper 1208)](https://www.bis.org/publ/work1208.htm)
by glitchc | 2025-09-22 17:05:17+00:00
Please, just no. Anti-x means "opposite of" or "instead of" x. Its etymology is sourced from antonym which is rooted in ancient Greek and was popularized by the French "antonyme" based on a book published in the mid-1800s discussing opposites.

A design of something is in support of that thing, not the opposite of it.
by susam | 2025-09-22 17:05:55+00:00
Thank you! Glad you liked it! There are a few demos at the bottom of the help screen, which can be invoked by typing '?'.

You are right that that they could be better linked directly from the main interface.

In any case, here are the direct links to the demos available in the help screen:

https://susam.net/fxyt.html#XYxTN1srN255pTN1sqD

https://susam.net/fxyt.html#XYaTN1srN255pTN1sqN0

https://susam.net/fxyt.html#XYoTN1srN255pTN1sqDN0S

https://susam.net/fxyt.html#XYpTN1srN255pTN1sqD

https://susam.net/fxyt.html#XYN256sTdrD

Community demos are available here:

https://susam.github.io/fxyt/demo.html
by tracker1 | 2025-09-22 17:06:29+00:00
Yeah, I was going to mention, just upgrading between PG versions can be a bit of a pain. Dump/Restore really seems like a less than stellar option of you have a LOT of data. I mean you can stream through gzip/bzip to save space but still.

I often wish that Firebird had a license that people found friendlier to use as it always felt like a perfect technical option for many use cases from embedded to a standalone server. PG has clearly eclipsed it at this point though.
by 827a | 2025-09-22 17:06:30+00:00
Tbh, I can't speak to a lot of the regions on here, but the grouping of "Greater Appalachia" is so wild. The idea that mid-Indiana, west-Texas, and eastern Tennessee have anything in common, from a cultural, immigration, quality of life, anything perspective, has to have been an idea proposed by someone who has only read books about those regions.
by davis | 2025-09-22 17:06:33+00:00
Load growth for the last 15 years has been very small but load growth going forward is expected to rise due to electrification of all things to decarbonize the economy. This means home heating, electrical cars, heavy industries, obviously data centers and the list goes on. So even if we have more grid capacity than demand (this seems unlikely), it will be used before too long.
by ProofHouse | 2025-09-22 17:06:39+00:00
Not a single explanation of what ‘PlanetScale’ is, does (or how) on that landing page. A product, a service, a new offering or scaling paradigm, a cloud? Etc

Sure you can click around to determine but this always annoys me. Like everyone should know what your product is and does and all you service names. Put it front and center at the top!
by jauntywundrkind | 2025-09-22 17:06:47+00:00
Webtorrent exists. It uses webrtc to let users connect to each other. There's support in popular trackers.

This basically handles every problem stated. There's nothing to install on computers: it's just js running on the page. There's no firewall rules or port forwarding to setup, all handled by the stun/turn in webrtc. Users wouldn't necessarily even be aware they are uploading.
by wang_li | 2025-09-22 17:06:54+00:00
The issue here is that people are treating reference materials as tutorials intended to cover your exact concern at the moment. You are expected to know what a narg is and what flargling means. In more real terms, the documentation for screen savers https://developer.apple.com/documentation/screensaver?langua... won't explain what a view is, what subclassing is, or what a Rect is. Those are required knowledge to consume the documentation and it's not a documentation failure that this is true.
by karmarepellent | 2025-09-22 17:06:55+00:00
This is why I've become a fan of StrictYAML [0]. Of course it is not supported by many projects, but at least you are given the option to dispense with all the unnecessary features and their associated pitfalls in the context of your own projects.

Most notably it only offers three base types (scalar string, array, object) and moves the work of parsing values to stronger types (such as int8 or boolean) to your codebase where you tend to wrap values parsed from YAML into other types anyway.

Less surprises and headaches, but very niche, unfortunately.

[0] https://hitchdev.com/strictyaml/
by stryan | 2025-09-22 17:06:57+00:00
The whole section around DC is..questionable. PG, Fairfax, and Loudoun counties are all in the Tidewater group that extends down to the NC triangle. Meanwhile Montgomery County, which is right over the Potomoc from Fairfax/Loudoun, is in a separate group that's shared with Philadelphia and Ohio? MoCo, Fairfax, and Loudoun are all incredibly similar both culturally and economically (i.e. wealthy DC suburbanites) and should either all be in the Tidewater category or in some separate "Capital Area" nation.
by kentonv | 2025-09-22 17:07:20+00:00
I generally agree that the .map() trick doesn't actually replace GraphQL without some sort of server-side optimizations to avoid turning this into N+1 selects.

However, if your database is sqlite in a Cloudflare Durable Object, and the RPC protocol is talking directly to it, then N+1 selects are actually just fine.

https://www.sqlite.org/np1queryprob.html
by zdragnar | 2025-09-22 17:07:31+00:00
I have this mental block that keeps me forgetting which is which when discussing sum and product types. I have to go back to thinking of them as operations on sets.

Almost certainly a lack of formal education in maths higher level than simple calculus, but "unions" and "interface" or whatever the latter might be called in the language of choice is just so much easier to remember.
by mixdup | 2025-09-22 17:07:31+00:00
Yeah, this weirdly splits the Atlanta metro area in half between two regions based on the counties, and while north Atlanta and south Atlanta metro have decidedly differing cultures (along mostly but not entirely racial lines) the split is completely arbitrary on county lines with Fulton County, GA jutting upwards as if the 10 miles across that county don't represent anything on either side of it
by cs02rm0 | 2025-09-22 17:07:33+00:00
The list of reasons really is too long to include. From the continued worsening of individual bits of tax legislation such as IR35, dividend allowances, employers NI, corporation tax, etc. to the stalling of real GDP per capita combined with an increased population and the consequentially stretched hospitals, transport, etc, the draconian policing of social media... it's pointless me trying to list it all really.

Dubai is a bit of a trigger for some people. Others I know are going/gone to Portugal, Malta, Cyprus, the US, Aus, Can, NZ, Singapore, France. Your mileage may vary - people leaving can generally give you similar lists of why, but where they go seems varied.

I used to live in Saudi for a time (25+ years ago), and actually really liked much about it then and it had changed markedly when I've been back more recently. I've visited Iraq, I've been detained in Oman under suspicion of espionage and still see virtues in the place. Dubai is positively liberal by comparison and becoming more liberal, while the UK is becoming more authoritarian and despite the official crime statistics, I'm not sure it's as safe as it once was.
by arrowtrench | 2025-09-22 17:08:33+00:00
Is local-first bad / more difficult for collaboration because of conflict resolution? (E.g., two users edit the same document when they're offline and then, during syncing, they find that their versions diverge too much for them to be merged cleanly.) If so, isn't it possible to mark certain assets as "undivergable" which would effectively mean that the program would act like a traditional cloud-first type of app for that specific asset? This middle ground could introduce too much complexity and some inconsistency, but it could prove useful in certain cases.
by doctorpangloss | 2025-09-22 17:08:52+00:00
^ maybe the most knowledgable person in the world about these gritty details

RPC SDKs should have session management, otherwise you end up in this situation:

"Any sufficiently complicated gRPC or Cap'n'Proto program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Akka"
by xpe | 2025-09-22 17:08:54+00:00
> I read a paper yesterday where someone had used an LLM to read other papers and was claiming that this was doing science.

I'm not trying to be facetious or eye-poking here, I promise... But I have to ask: What was the result; did the LLM generate useful new knowledge at some quality bar?

At the same time, I do believe something like "Science is more than published papers; it also includes the process behind it, sometimes dryly described as merely 'the scientific method'. People sometimes forget other key ingredients, such as a willingness to doubt even highly-regarded fellow scientists, who might even be giants in their fields. Don't forget how it all starts with a creative spark of sorts, an inductive leap, followed by a commitment to design some workable experiment given the current technological and economic constraints. The ability to find patterns in the noise in some ways is the easiest part."

Still, I believe this claim: there is NO physics-based reason that says AI systems cannot someday cover every aspect of the quote above: doubting, creativity, induction, confidence, design, commitment, follow-through, pattern matching, iteration, and so on. I think question is probably "when", not "if" this will happen, but hopefully before we get there we ask "What happens when we reach AGI? ASI?" and "Do we really want that?".
by SilverElfin | 2025-09-22 17:09:01+00:00
The reason not to move to WA is the capital gains tax in WA is unpredictable. Someone else had explained that it’s actually against the state’s constitution but was upheld by the one sided state courts. And the legislators adjusted the rates upward once already even though it’s a very new tax. The state budget is in a bad shape and expected to get worse, so it’s likely they’ll keep increasing the tax every year.
by kingstnap | 2025-09-22 17:09:03+00:00
It's a ridiculous amount claimed for sure. If its 2 kW per it's around 5 million, and 1 to 2 kW is definitely the right ballpark at a system level.

The NVL72 is 72 chips is 120 kW total for the rack. If you throw in ~25 kW for cooling its pretty much exactly 2 kW each.
by KaiserPro | 2025-09-22 17:09:28+00:00
There are two types of study.

A peer reviewed study, with published data and methodology. (it might even be accurate, unless you're a sociologist)

then there is a "study" created by a think tank, PR firm pretending to be a think tank, or a dipshit company pushing something or other.

The latter a good for seeing which rich prick, or group of pricks has the time and money to push a specific agenda. and not much else.
by alexisread | 2025-09-22 17:09:47+00:00
Oof, I forget that most forths are a bit mind bending with the compiler STATE. There are 2/3 alternatives to using compiler state aka IMMEDIATE.

https://github.com/dan4thewin/FreeForth2 This uses a two-pass search, for macros` and after that immediate words.

The most interesting one is Able forth https://github.com/ablevm which uses flow control to defer execution, aka quotations. I find using quotations instead of immediate modes easier to understand.

With both of these, they always compile expressions before executing them, so IF/THEN/ELSE can be used at any time.
by legacynl | 2025-09-22 17:09:50+00:00
Im a dev (who knows nothing about nftables) and I don't understand your instructions. I think maybe you could improve your situation by formulating them as "when creating new groupnames use the semantic actions and token names as defined in parser_bison.y" I.e. with if conditions so that the correct rules apply to the correct situations. Because your rules are written as if to apply to every line of code, it might unnecessarily try to incorporate context even when it's not applicable.
by pjmlp | 2025-09-22 17:10:45+00:00
Original BASIC did not fit into tiny space, that is why while Dartmouth BASIC always compiled into machine code before execution, everyone that learnt BASIC in 8 bit systems thinks it was originally interpreted and compilers only came later, which was the compromise to make it fit into a few KB.

Jupiter ACE had its followers, and it was common to see ads on Your Sinclair and similar magazines for ROM replacements using Forth instead of BASIC.
by genewitch | 2025-09-22 17:11:02+00:00
It'd take something like encouraging through monetization the replication of papers / experiments, with completely transparent methods (i.e. a video archive, or such).

However i presuppose that we can also fix greed, payola (and other bribery), litigation of results that some don't like, and so on. I don't think those are solvable (in my lifetime, probably.)

So an alternative would be for a non-profit with large funding to open laboratories around the planet and run replication experiments; this would need to be their only purpose. You'd have to figure out how to convince people to do the thankless work of proving or disproving others' experiments, designs, and so on. Even if you somehow could assign prestige for being the hardest-nosed re-researcher in the program...

And even then, you'll still have people that believe outlandish, patently unbelievable things. You'll still be unable to be 100% sure that something is correct.
by ProofHouse | 2025-09-22 17:11:17+00:00
I mean add a 1-2 sentence description of the HOW to this paragraph. Cause like great, but how. This is just marketing fluff and a user has to navigate the site to then understand what PlanetScale itself does (and how), if not familiar;

What is PlanetScale for Postgres?

Our mission is simple: bring you the fastest and most reliable databases with the best developer experience. We have done this for 5 years now with our managed Vitess product, allowing companies like Cursor, Intercom, and Block to scale beyond previous limits.
by ndriscoll | 2025-09-22 17:11:28+00:00
Anyone capable of reading and writing proofs can also read/write propositions. That's step one. Writing propositions in formal language is exactly why there's no mismatch: it proves what it says it proves. There is no ambiguity. There's nothing else to believe.

Like if you have some f:R->R, a:R in context and write ∀ϵ>0,∃δ>0 s.t. x: R, |x−a|<δ ⟹ |f(x)−f(a)|<ϵ, no one is confused about what you mean.

If you instead write ∃δ>0 s.t. ∀ϵ>0 x: R, |x−a|<δ ⟹ |f(x)−f(a)|<ϵ, you've written something different. Everyone in the field knows this, and actually it's even more obvious when you look at types in something like Lean: roughly ϵ -> (δ, h) vs. (δ, ϵ->h).
by thomas_moon | 2025-09-22 17:12:01+00:00
The only viewpoint I really agree with in this article is the "use it or lose it" mentality. Skills are developed and maintained by practicing them, but if all the author really wants to do is write code, then LLMs are literally an answer to their prayers!

You can enable virtually free test driven development. Write the test names down and let the LLM implement them for you. You save 50% of your time and you get to go to town on implementation and or optimizations.

You can have the LLM take the non-tech-counterparts description of a bug and have it point you at precise lines of code to investigate rather than grepping around a codebase you might not know well.

You can onboard to new languages, frameworks, repositories extremely fast by having a partner (the LLM) explain implementation patterns and approaches on demand! You don't even need to talk to another human being! Get your questions answered in seconds and start coding!

You can rapidly prototype. You can get immediate code reviews. You can rubber duck. You can visualize business/logic flows and code branching to better understand existing implementations. You can even have the LLM write an implementation plan for you then write the code yourself!

If you cant find a way to write more code with LLMs, its either an imagination or skill issue.
by ruszki | 2025-09-22 17:12:33+00:00
The falling shrinkage is a good indicator, although it’s imperfect for obvious reasons. Of course, there are anomalies like COVID, but otherwise the trend is clear. Also when some entity like supermarket chains or their advocacy groups tried to split up shrinkage by its causes in the past decades, even the shoplifting part fell. So there is no better statistics, and that tells that shoplifting is probably falling.

Of course, you cannot know, but statistics is quite clear that shoplifting decrease is way more probable than increase, and you need some other reasons to advocate for increasing shoplifting. So when somebody does that, it’s highly probable that not because shoplifting is actually increasing.
by jjk166 | 2025-09-22 17:12:48+00:00
If your principles don't stand up to scrutiny, you shouldn't hold them. Some of the greatest evils ever committed were done by people certain they were acting according to upstanding principles. There is a middle ground between forcing all people to adopt your viewpoints and accepting all viewpoints as equally valid. Oftentimes you can agree to disagree, but there are certainly times you can't.
by KaiserPro | 2025-09-22 17:13:02+00:00
I think its an issue of fairness.

I, as a rich techbro, but not an Uber rich techbro, have to pay ~46% of my income in tax. (even though the majority comes from the US in USD) Don't get me wrong, I earn a fucking kings ransom, and I don't mind paying that amount of tax.

but. If I was earning maybe 4x that amount, I could probably avoid a whole bunch of tax. It doesn't seem correct that the richer you get, the more optional tax is.
by TulliusCicero | 2025-09-22 17:13:09+00:00
> However, because nothing is ever profitable enough

This is a wrongheaded way of looking at it, since in a competitive market, those cost savings will eventually be passed onto the consumer.

If you think they just kept those new profits forever -- where did they go? Because grocery is an infamously low-margin business to be in, even now.
by cj | 2025-09-22 17:13:12+00:00
"GPUs per user" would be an interesting metric.

(Quick, inaccurate googling) says there will be "well over 1 million GPUs" by end of the year. With ~800 million users, that's 1 NVIDIA GPU per 800 people. If you estimate people are actively using ChatGPT 5% of the day (1.2 hours a day), you could say there's 1 GPU per 40 people in active use. Assuming consistent and even usage patterns.

That back of the envelope math isn't accurate, but interesting in the context of understanding just how much compute ChatGPT requires to operate.

Edit: I asked ChatGPT how many GPUs per user, and it spit out a bunch of calculations that estimates 1 GPU per ~3 concurrent users. Would love to see a more thorough/accurate break down.
by Symbiote | 2025-09-22 17:13:41+00:00
I left a Linux ISO (possibly Ubuntu) seeding on a lab computer at university, and forgot about it after I'd burned the DVD. You can see this was a while ago.

A month later an IT admin came to ask what I might be doing with port 6881. Once I remembered, we went to the tracker's website and saw "imperial.ac.uk" had the top position for seeding, by far.

The admin said to leave running.
by Noughmad | 2025-09-22 17:14:03+00:00
You can go back to requiring home assignments be written by hand. It won't completely fix the AI issue, because you can still ask ChatGPT and then rewrite it, but it helps because it's very tedious and time consuming, so the benefit is much lower.

If that is not enough, we may have to stop grading take-home papers. Which is a good idea anyway.
by acdha | 2025-09-22 17:14:21+00:00
I read that differently: we’re starting from the current world where anyone publishing online is seeing expensive traffic volumes from companies whose goal is not to send user traffic back. Cloudflare seem to be arguing that site owners should easily be able to charge for agent access independently from regular user access, but since that is always under the control of the site owner it seems like the opposite of your “opt-in” complaint.
by kentonv | 2025-09-22 17:14:53+00:00
The protocol explicitly blocks overriding `toString()` (and all other Object.prototype members), as well as `toJSON()`, to prevent the obvious ways that you might accidentally invoke a callback when you weren't expecting to. How else might you invoke a callback by accident?

That said, type checking is called out both in the blog post (in the section on TypeScript) and in the readme (under "Security Considerations"). You probably should use some runtime type checking library, just like you should with traditional JSON inputs.

In the future I'm hoping someone comes up with a way to auto-generate type checks based on TypeScript types.
by landl0rd | 2025-09-22 17:15:00+00:00
Nvidia has consistently done this with Coreweave, Nscale, really most of its balance sheet investments are like this. On the one hand there's a vaguely cogent rationale that they're a strategic investor and it sort of makes sense as an hardware-for-equity swap; on the other, it's obviously goosing revenue numbers. This is a bigger issue when it's $100B than with previous investments.

It's a good time to gently remind everyone that there are a whole pile of legal things one can do to change how a security looks "by the numbers" and this isn't even close to the shadiest. Heck some sell-side research makes what companies themselves do look benign.
by retrac | 2025-09-22 17:15:50+00:00
I volunteer at a non-profit employment agency. I don't work with the clients directly. But I have observed that ChatGPT is very popular. Over the last year it has become ubiquitous. Like they use it for every email. And every resume is written with it. The counsellors have an internal portfolio of prompts they find effective.

Consider an early 20s grad looking to start their career. Time to polish the resume. It starts with using ChatGPT collaboratively with their career counsellor, and they continue to use it the entire time.