MurphyA/hacker-news huggingface dataset:
by Dylan16807 | 2025-08-04 01:11:48+00:00
> seek government approval before

There's a neighboring comment that used almost the exact same wording that I already replied to.

In short: No.

> What if Google wanted to hire me and 3 buddies from our startup but didn’t want to hire the secretary or more realistically they only needed the backend developers. But didn’t care about hiring the web developer?

Is your startup like 10 people? Worth much less than a billion dollars? Then it's not big enough to be a problem.
by serf | 2025-08-04 01:12:55+00:00
depends on the methodology really.

if you're doing TDD style work but with an AI it's not uncommon to one-shot a function and then throw it against your battery of tests.

it's also pretty doable if you're writing smallish scripts or trying to follow functional coding paradigms; with functional stuff it's often easy to pick apart the specific modules for testing against criteria.
by NischalM | 2025-08-04 01:14:40+00:00
I have found this to be true as well. Although I exclusively used python and R at work and tried CC several times for small side projects, it always seemed to have problems and ended up in a loop trying to fix its own errors. CC seems much better at vibe coding with typescript. I went from no knowledge of node.js development to deploying reasonable web app on vercel in a few days. Asking CC to run tsc after changes helps it fix any errors because of the faster feedback from the type system compared to python. Granted this was only for a personal side project and may not be true for production systems that might be much larger, I was pleasantly surprised how easy it was in typescript compared to python
by cameldrv | 2025-08-04 01:14:43+00:00
Expectations are a factor, but also practicality. Back then you could get a decent job with a high school education or even less. If you had a good job, you could afford a house and a car with one income.

My uncle worked in the GM plant for many years, owned a nice house and a car and a bass boat and is comfortably retired. His wife never worked. I remember my aunt telling us that we shouldn’t get him books for Christmas presents because he couldn’t read very well.

Now to do this you need both parents working. They both need degrees that need paying off, and they need to live in a major metro area, because they both need to have good paying, specialized jobs. In the old days you might move to some little town so the dad could work at some factory, but now the mom has to also find a job in her specialty, so you need to be in a big city to find jobs for both of them within commuting distance.

In this context, everyone is bombarded with social media telling them that they should have fancy cars and houses and vacation in Bali, and they’re stretched to the breaking point and can’t have any kids.
by JoshTriplett | 2025-08-04 01:15:18+00:00
> "A cold" doesn't usually totally incapacitate someone working from the comfort of their home, down a paracetamol, drink hot liquids, take a nap, don't need to be 110% productive but still can manage to get some job done.

A cold can absolutely do that. Expecting people to work while they're sick is an unhealthy work culture, don't inflict that on other people.
by duskwuff | 2025-08-04 01:15:27+00:00
It's not just the system prompt that's responsible; RLHF training based on user feedback can end up overly reinforcing "agreeable" behavior independently of the prompt. That's a big part of what got blamed for ChatGPT's sycophantic streak a few months ago.

> But there are other domains where it is catastrophically wrong, e.g. I had students come with an electronics proposal where the LLM misrepresented the relationship between cable gauge, resistance and heat in exactly the opposite way of what is true.

Since you mention that: I'm reminded of an instance where a Google search for "max amps 22 awg" yielded an AI answer box claiming "A 22 American Wire Gauge (AWG) copper wire can carry a maximum of 551 amps." (It was reading from a table listing the instantaneous fusing current.)
by ggm | 2025-08-04 01:16:27+00:00
I think this latter design pattern is what the m.2 6 sata cards do. It's typically something like an ASM1166 chip. (the example below) or a Jmicron equivalent.

They say the bandwidth far exceeds the individual SATA port speeds. But, there's little to no visible buffer on the card.

It's not an HBA, as much as a port "multiplier"

https://www.newegg.com/orico-pm2ts6-bp-pci-express-to-m-2-ca...
by xorvoid | 2025-08-04 01:18:21+00:00
Agreed. I don’t use social media of any kind. Not even on the desktop. I always run with Downtime on. All new apps are disallowed from running or notifying unless I whitelist them explicitly.

You really don’t need this “attention porn” in your life. Just turn it all off. Make friends IRL instead. So worth it.
by atomicnumber3 | 2025-08-04 01:18:54+00:00
What do you want to see, then? Colorful prose?

I and a few others really did save my company 10 million dollars one year. It was in EC2 spend for a hadoop cluster. I can tell you how we did it and who did what. Yes it was actual dollars we would have otherwise paid to AWS, it is not funny money calculated by looking at sticker rates and ignoring our discounts (which were large).

I'm proud of this and it was one of my largest impacts at the company. What would you have me put on my resume? "Decreased EC2 spend by a whole bunch!"? "Reduced EC2 spend"?

I don't get where this hatred of numbers on resumes is coming from. Is much of it probably bullshit? Yeah, just like most resumes. But I expect you to sort through it the same way you do the rest of the resume. Ask them about it. I can tell you the whole story of mine. I'd expect others can do the same. And if they stammer and crack, now you know how exaggerated it was.
by benreesman | 2025-08-04 01:18:55+00:00
I'm not aware of any rigorous study on it, but my personal anecdote is that I don't even bother with Claude Code or similar unless the language is Haskell, the deployment is Nix, the config is Dhall, and I did property tests. Once you set it up like that you just pour money in until its too much money or its stuck, and thats how far LLMs can go now.

I used to yell at Claude Code when it tried to con me with mocks to get the TODO scratched off, now I laugh at the little bastard when it tries to pull a fast one on -Werror.

Nice try Claude Code, but around here we come to work or we call in sick, so what's it going to be?
by raw_anon_1111 | 2025-08-04 01:18:56+00:00
The government caused the problem in the first place by making it harder for big companies to acquire smaller companies.

> It's about the property rights or lack thereof attached to "equity"

An employer has never had “property rights” to decide where I can and can’t work.

> Everyone would agree that if a giant public company sold itself to the CEO's cousin for a handful of glass beads and declared the existing shares worthless, that would be flat illegal

The CEO while working for the company has a fiduciary responsibility to the company. But doesn’t have the responsibility not to leave if another company offers it more money or if other employees that like the CEO, they are free to reach out to the CEO and leave too.

> At the other end of the spectrum we have startup stock options and RSUs and shit, much less negotiable. But the unwritten contract has pretty much always been roughly "if anyone gets rich, everyone gets something".

“Equity” in startups have always statistically been fools gold between dilution, preferred shares, etc.

> But the unwritten contract has pretty much always been roughly "if anyone gets rich, everyone gets something"*

See previous comments about only the naive or true believers (but I repeat myself they are one in the same) are naive enough to believe in anything promised or implied by startups more than you will get paid X amount in cash for hours you work (and sometimes not even that).

> And if the Valley can't figure it out in the family? Then we can dust off the law books, because the courts and regulators and maybe legislators will have to get involved.

So the solution is for the government to pass more laws to fix the problems that the regulations it already put in place caused?
by xelxebar | 2025-08-04 01:19:11+00:00
I feel like one of the lucky 10,000 today! Thanks for asking.

Jump up an abstraction layer.

Multiplication and addition are each commutative, but performing multiplication followed by addition is not the same as addition followed by multiplication (in the real numbers), so they don't commute. Said another way, the operation of composing multiplication with addition isn't commutative.

Similarly, we can perform various operations on random variables, one being expectation value and another being multiplication (or conjunction): E(X•Y) ≠ E(x)•E(y) unless x and y are independent, so E and • don't commute.

When we say "commute" we often are directly or indirectly thinking of commutative diagrams, which capture a very general which of commutativity and allows us to precisely write down all the above.

Fun fact: associativity is also just commutativity of binary operator composition.
by slwvx | 2025-08-04 01:19:25+00:00
I like the idea of simulating a society! I don't pretend to understand everything that you're doing, so please correct me where I'm wrong below.

The right side of Fig 5a shows that your LLM tool has 80% tax for people making between 0 and $11.6k/year, then drops to about 30% for the next tax bracket, with other tax brackets moving around all over the place. This seems to be designed to induce people to NOT pay taxes.For all its faults, I think the US progressive system is fairly rational and does a pretty good job of inducing people to actually pay taxes [1]; specifically the (effectively) negative tax rate in the US for low-income people gets them in the habit of paying taxes. I.e. whatever underlying model of social welfare you are assuming to get the great social welfare on the right side of Fig 5a seems to not model real people. I wonder if some LLM hallucinations are going on under the hood to create the strange behavior in Fig 5a.

Some questions: You don't seem to model the US system of tax credits; is that right? Also, is there a Saez tax below $47.2k in Fig 5a? What about between $244k and $609k? I.e. is the Saez tax ever under the LLM tax?

[1] https://blogs.worldbank.org/en/governance/why-does-progressi...
by ggm | 2025-08-04 01:19:30+00:00
I dreamed of diskless, got 6 2TB SSD in SATA form factor. They run hot. I wound up with a noctua fan for the disks, the zimablade is fanless passive cooling. And now with an ATX psu and a mini pc case I have a power supply fan, and got a 6 disk chassis which has very quiet fans built in. But it is quiet at least.
by HocusLocus | 2025-08-04 01:20:12+00:00
Sea level rise (#2) is a 'crisis' for absolutely no one.

I set an alarm for (#1), "Preparing for the low pressure 12ft tidal/storm surge or the 18ft tsunami that could arrive as early as tomorrow and probably will within 10 years, unless one is incredibly dumb or has never lived near the ocean."

I did not set an alarm for #2.
by throw0101d | 2025-08-04 01:23:25+00:00
> If I want to use IPv6 to solve my IPv4 address shortage problem, and I want to communicate with you, I have to wait for you to also install IPv6.

Or you set up DNS64/NAT64/464XLAT on your IPv6 end of things, and those on IPv4 side don't have to do anything.
by gkanai | 2025-08-04 01:23:36+00:00
> More companies going public, earlier is better for markets and society.

I would disagree. Japan is a good example of a market where there are a lot of small public companies and they're largely held by the founders. There is not enough share holder pressure and these small public companies are often barely profitable and run poorly. I am sure there are other markets that are similar to Japan where there are publicly traded companies without enough buyers or liquidity or transparency, etc.
by Jimmc414 | 2025-08-04 01:23:47+00:00
“Dr. Donald Cameron subjected unwitting patients at Montreal's Allan Memorial Institute to CIA-funded experiments from 1957-1964, including forced drug-induced comas lasting up to 86 days, massive electroshock treatments at 30-40 times normal intensity, sensory deprivation combined with paralytic drugs, and 'psychic driving' where patients were forced to listen to repetitive messages up to half a million times. His victims, who had sought help for depression and anxiety, instead suffered permanent memory loss, regression to childlike states requiring relearning of basic life skills, and lasting psychological damage - with one victim's daughter describing how 'it took away her soul.'”

Cameron served as president of the American Psychiatric Association, the Canadian Psychiatric Association, and in 1961 became president of the World Psychiatric Association.
by usaar333 | 2025-08-04 01:24:22+00:00
The value of the equity package is 4x higher than the FAANG equivalent equity package (at preferred/market pricing) - that's not the same as saying the shares themselves are worth that.

To sum up the arguments:

* Employment packages allow things a shareholder cannot do (functionally recall their investment), so the high volatility leads to higher package returns.

* FAANG equity grants (RSUs) are taxed at much higher rates

* Expected return is in fact higher on startup equity than FAANG equity (and you generally have no way to invest in the good startups directly aside from working for them).
by david38 | 2025-08-04 01:24:36+00:00
When an employer demands the composition of the engineering team must match the composition of the nation in sex and race, with an exception allowed to favor anyone who is not a white or Asian male, that’s equality of outcome.

When white and Asian males are eliminated if they didn’t attend a top-20 computer science program, but the existence of a degree doesn’t matter for anyone else, that’s equality of outcome.

When the stated goal of HR during an all-hands is literally to facilitate equality of outcomes.
by sidebute | 2025-08-04 01:25:01+00:00
While we have a PDF internals expert here, I'm itching to ask: Why is mupdf-gl so much faster than everything else? (on vanilla desktop linux)

Its search speed on big pdfs is dramatically faster than everything else I've tried and I've often wondered why the others can't be as fast as mupdf-gl.

Thanks for any insights!
by lazyasciiart | 2025-08-04 01:25:45+00:00
OTOH I hugely appreciate my manager who makes a conscious effort to direct people to ask questions in public channels and not just ping “hey” in my DMs all day. And it saves them time too, because my response is going to be “you should ask in channel xyz”. (And yes, in that public channel I am likely to be the one who answers it, but not always, and it’s now visible for other people who also need to know - the exact problem you were so proud of solving!)
by forgotoldacc | 2025-08-04 01:25:47+00:00
Japanese cities aren't particularly tall, especially when compared to Chinese cities. Even the busiest parts of Tokyo often have buildings that are just a few floors tall and single family homes are everywhere throughout the city.

And once you're in other big cities, this becomes even more true. It's common to see single floor businesses and buildings right in the busiest parts of town.
by throw0101d | 2025-08-04 01:28:01+00:00
> what kind of p2p protocols are you thinking of ?

Skype was originally P2P, but because of NAT there had to exist "supernodes" which did STUN/TURN/ICE shenanigans to make it work (which caused scaling issues since there weren't enough of them):

* https://spectrum.ieee.org/skype-scuppered-by-problem-with-su...

* https://www.zdnet.com/article/skype-ditched-peer-to-peer-sup...
by beeflet | 2025-08-04 01:28:37+00:00
I was in the same position. here's what I did:

1) Got my own domain

2) Subscribed to an email service that lets you use your own domain (for example fastmail)

3) Forwarded all of my email from my gmail account to my new email/domain, and use my new email/domain in all correspondence.

4) Made a separate google account for every google service I used. For example, I made a separate account from my gmail for google play, google cloud and youtube.

It's a bit of work but this allowed me to slowly ease myself out of gmail, and derisk my account activity. Even if fastmail screws up, I can always point my domain at another email provider like protonmail.

Oh, also:

5) Use syncthing for file storage. It's cheap and I can back up TB worth of stuff from decades ago.
by linkage | 2025-08-04 01:28:44+00:00
This claim needs to be backed up by evals. I could just as well argue the opposite, that LLMs are best at coding Python because there are two orders of magnitude more Python in their training sets than C++ or Rust.

In any case, you can easily get most of the benefits of typed languages by adding a rule that requires the LLM to always output Python code with type annotations and validate its output by running ruff and ty.
by smallerize | 2025-08-04 01:30:40+00:00
Since 2009, it has not been that hard to create a collision (where you control both inputs and only care that they end up with the same hash as each other). https://archive.org/details/pocorgtfo14/page/n45/mode/1up After reading this article, scroll up to the top and see that the PDF has its own MD5 hash on the cover.
by freeopinion | 2025-08-04 01:30:51+00:00
I somehow don't get your point.

The following seems cleaner than either of your examples. But I'm sure I've missed the point.

fetch(url).then(r=>r.ok ? r.json() : Promise.reject(r.status)) .then( j=>console.log('Fetch Data:', j), e=>console.log('Fetch Error:', e) );

I share this at the risk of embarrassing myself in the hope of being educated.
by stirfish | 2025-08-04 01:31:01+00:00
For tools, I buy the cheapest one. If (when) it fails, I replace it with one that is better along the metric that the original failed in.

For hobbies, they say "buy once, cry once", but there are so many ways to be unhappy! I won't limit myself! I say buy all, cry all, and learn all the different ways to cry. I don't ski, but for the analogy, I'd try short ones, long ones, cross country ones, racing ones, red ones, blue ones, etc and then only buy really nice ones once I understand exactly what the nice ones do that the others don't. There's a good chance that I'll learn I like skis more than I like skiing, and that's okay.
by em-bee | 2025-08-04 01:31:16+00:00
more fun stuff. the terminal bell does not work under wayland. because On Wayland systems, which have no system beep function, it does not produce a sound. which is of course an entire logical solution. blame wayland instead of just playing a sound.

fortunately, wezterms scriptability allows for a workaround:

wezterm.on('bell', function(window, pane) wezterm.background_child_process({ '/usr/bin/play', '/usr/share/sounds/gnome/default/alerts/click.ogg' }) end)
by MBCook | 2025-08-04 01:32:51+00:00
I suspect you’re probably right, but also that it goes back further.

Think well-made solid mixer, like an old KitchenAid stand mixer, versus a similar thing made of plastic. It wouldn’t be anywhere near as heavy. And it’s obviously much cheaper and wouldn’t feel as solid.

I guess I’m with you that it sort of came from the plastic age maybe? I wonder if it was really much of a thing before that.

then again it’s also easy to tell that a solid oak desk, or some other heavy wood, is better than something made of press-board or balsawood. so maybe it is even older.
by alganet | 2025-08-04 01:33:30+00:00
I guess you answered the question (you don't believe in it), but I find "ability to remember" a poor description for what such skill might actually be.

For example, the ability to recognize that something is not remembered and how to deal with the discrepancies might be underestimated in how humans interact with their own memories.

We all have this, right? If I tell you that there are 11 digits in the decimal system, you know there's something wrong. There's a whole system in your head that expects the decimal system to have 10 digits. At some point, it was memory, but then it became something more.

Of course, the number system is something simple. My question extends this kind of thinking to possible different areas.
by lmm | 2025-08-04 01:33:34+00:00
IME this is exactly backwards: type safety is mostly about names, everything else is a nice-to-have. Yes, you can bypass your name checks if you want to, but you can bypass any type check if you want to. Most relevant type relationships in most programming are business relationships that would be prohibitively expensive to express in a full formalism if that was even possible. But putting names on them is cheap, easy, and effective. The biggest win from typed languages comes from using these basic techniques.
Show HN: QuantumFlow Toolkit – An open-source framework hybrid quantum workflows
by realjjhaxnews | 2025-08-04 01:33:39+00:00
Hey everyone, I'm excited to share a new project I've been working on: QuantumFlow Toolkit.

This project is an open-source framework designed to help developers build and deploy hybrid quantum-classical applications. It's a bit like an orchestrator for your quantum and classical code, allowing you to seamlessly integrate tasks from different frameworks like PyTorch, Cirq, Qiskit, and PennyLane into a single workflow.
by IOT_Apprentice | 2025-08-04 01:36:17+00:00
Oof. From a manager’s perspective why don’t you focus on getting this information being in place for your team so that they are productive? You could feed that content into a platform the is searchable, categorized and part of onboarding. Utilize utilities that will automate collecting information, rather than discouraging learning.

Focus on eliminating tribal knowledge, implementing a learning culture.
by herrington_d | 2025-08-04 01:36:38+00:00
The logic above can support exactly the opposite conclusion: LLM can do dynamic typed language better since it does not need to solve type errors and save several context tokens.

Practically, it was reported that LLM-backed coding agents just worked around type errors by using `any` in a gradually typed language like TypeScript. I also personally observed such usage multiple times.

I also tried using LLM agents with stronger languages like Rust. When complex type errors occured, the agents struggled to fix them and eventually just used `todo!()`

The experience above can be caused by insufficient training data. But it illustrates the importance of eval instead of ideological speculation.
by nicomt | 2025-08-04 01:37:21+00:00
Google suspended my payments account a few months ago without even notifying me. I never received a reason for the suspension, but I suspect it's related to a failed game refund from Stadia, as I see a refund error in my payment notifications. Dealing with Google Support has been a Kafkaesque loop where I have to explain the same thing over and over, only to get the same scripted instructions that take me nowhere. After this dance, they finally say they will "escalate" the issue and then close the case. At this point, I've given up and am in the process of de-googling my life.
by eru | 2025-08-04 01:38:15+00:00
The alternative to newtypes is probably to go the same route as OCaml and have people explicitly bring their own instances for typeclasses, instead of allowing each type only one instance?

I think OCaml calls these things modules or so. But the concepts are similar. For most cases, when there's one obvious instance that you want, having Haskell pick the instance is less of a hassle.