MurphyA/hacker-news huggingface dataset:
by saghm | 2025-06-03 15:36:20+00:00
Yeah, this is where I went from being on the fence to just checking out entirely. Even if it did mean that the top earners make slightly less (which I'm dubious about) and I happened to be one of them (which I'm not confident in, but I could comfortably survive with a lower salary than I've actually received most of the time), I'd still be in favor of tech workers unionizing because the benefits outweigh the costs both personally and for the larger group.

I've been hired to a fully distributed team only to have the company decide to force everyone to "return" to the office within a couple years despite the team never having been in any office in the first place; I've had managers promise me raises that don't appear, only for me to find out later that they never actually talked to their superiors about it like they claimed; I've seen teammates get hired and laid off six months later the same week that we have someone else we just hired join the team. None of this stuff is reasonable, and for some reason we collectively just throw up our hands and say there's nothing we can do, and then apparently some of us scoff and look down at lower-paid workers banding together to try to get a semblance of the advantages we take for granted in our industry because they're "stopping progress"? Even if I did accept the premise that workers collectively organizing to win rights affected "progress", there's no reason to assume there's no middle ground between the extremes of "no progress" and "full-throttle progress without regard for consequences". It's farcical.
by pjc50 | 2025-06-03 15:36:25+00:00
> Can we make a place for the social ladder climber that's separate from a place where real learning happens, where nobody is tempted to cheat because there's nothing to be gained from cheating?

I don't think so. Let me suggest a set of hypotheses:

- the social ladder always exists; it's basically fundamental to human existence, especially when trying to do anything (see tyranny of structurelessness)

- people are always trying to climb the hierarchy

- the examocracy(+) was introduced by ancient Chinese and/or Prussia in an attempt to bring actual competence into the social hierachy, in large part to help the leader fight wars

- if there isn't a "fair" route to the top, competent outsiders will resort to unfair ones, which can be remarkably lethal and destructive

- the university provides its own small academic and intellectual hierarchy, but this exists in dialogue with the needs of a wider society and its demand for non-academic intellectually specialized work. Whether that's priests, lawyers, doctors, army officers, weapons designers, civil servants, or programmers

- this comes down to: does the wider society demand human competence in intellectual operations still, or does ALL of that get AI-automated away? Do we get "humans, but with a smarter Clippy" or do we get "AI runs the world for billionaires and everyone else is surplus peasantry".

- the secret third, worse, case is that AI destroys the concept of competence and things stop working on a large scale.

(+) I do not want to have a huge fight over the word "meritocracy"
by taylodl | 2025-06-03 15:36:30+00:00
It took the private sector 60 years to catch up to where NASA was, using the technology NASA developed. Everybody and his brother has a launch vehicle - that's no longer a differentiator. NASA is the entity building telescopes, rovers, explorers, and space weather satellites. The private sector isn't building any of that stuff. They're largely focused on joy rides to space and being NASA's pack mule.
by oceanplexian | 2025-06-03 15:36:44+00:00
> I didn't mention yet that if you flunked the same exam typically 3 times (depending on the university), you have "finally failed" (endgültig nicht bestanden), and are not allowed anymore to study the same degree course at every German university.

When Europeans wonder why they are falling behind the United States both economically and technologically (Especially in the AI race), here's a perfect example of why. A culture that turns you into a some kind of a permanent failure because you failed to check a box some arbitrary number of times isn't one that produces innovation.
by Nasrudith | 2025-06-03 15:37:13+00:00
It highlights an awkward apparent fact that 'ethics' and 'honor' are luxuries to maintain when one is on top and they will be thrown out the door as soon as they face an actual threat. Not saying that it is right but that it appears to be the predictable response.

I suppose it highlights axiomatically the terribleness of ethics when they must be defined in a might-makes-right manner. All very high minded and complex questions which leave the awkward question unanswered: what are we supposed to do?
by rob_c | 2025-06-03 15:37:21+00:00
> You should read the discussion. I was requesting for a different purpose, although this "rsync" issue is an alternative purpose. I wanted to compare file versions on snapshots and also the live version to find all unique file versions.

I have. I didn't need to. But I have.

And agree with the experts there and here... If you're struggling to follow I'm happy to explain in _great_ detail how you're off the mark. You have a nice idea, but it's unfortunately too naïve and is probably built on hearing "the filesystem stores checksums". Everything that is said as to why this is a bad idea is the same for btrfs too.

As I said, clear as day:

> If you want them to store the checksum of the POSIX object as an attribute...

This is what you _should_ be asking for. There are ways of building this even which _do_ recycle cpu cycles. But it's messy, oh god is it awkward, and by god it makes things so difficult to follow that the filesystem would suffer for want of this small feature.

If you're looking to store the checksum of the complete POSIX object _at write_, _as it's stored on disk_ for _that internal revision of the filesystem_ then it kinda by definition is turning into an extended POSIX attribute associated with that POSIX object.

Even if implemented, this is messy as it needs to be revised and amended and checked and updated and there will be multiple algorithms with different advantages/draw-backs.

I know because I work in a job where we replicate and distribute multiple 100s of PB globally. The only way this has been found to work and scale the way you want is to store the checksums alongside the data, either as additional POSIX objects on the filesystem, or in a db which is integrated and kept in sync with the filesystem itself.

People will and do burn a few extra cycles to avoid having unmaintainable extensions and pieces of code.

If you are worrying about data within individual records changing and replicating/transmitting/storing record-level changes (which would be the articles main complaint about rsync) ZFS has this in send/recv.

Again, as is being stated elsewhere here:

If you're concerned about data integrity handle it in the FS. If you're concerned about transfer integrity, handle it over the wire.

> Don't mix these up, it just leads to a painful view of the world.
by john_seattle9 | 2025-06-03 15:37:40+00:00
Adora AI | Senior Backend Engineer | Full-time | Seattle, WA | ONSITE At Adora, we're fixing performance marketing – an industry where brands get stuck with opaque algorithms that optimize for everyone except them.

Members of our team spent years at the big platforms and ad networks, and we know exactly how broken it is. Now we're building something better – a platform that finally puts brands in control with AI that works for them, not against them.

We recently raised our seed round led by Village Global (backed by Reid Hoffman, Jeff Bezos, Mark Zuckerberg). Real customers are already using our product and seeing results. Your work will directly impact how fast we can scale this thing.

What makes this interesting: • Daily work with cutting-edge AI tools, figuring out how to make them actually useful for marketers • Direct line to customers – you'll see your code impact real businesses immediately • Small team where your technical decisions matter and stick around

We're looking for someone who's shipped backend systems at scale and either loves the startup chaos or is ready to dive in. You'll own features end-to-end and have real autonomy over technical direction.

Python/MySQL/AWS/BigQuery is our current stack but we care more about your problem-solving approach.

If you want to work on hard technical problems with immediate business impact instead of yet another CRUD app, let's talk.

https://jobs.lever.co/adora/ Salary + Equity: $140K-$160k
by npteljes | 2025-06-03 15:38:04+00:00
Alright, let me try to connect those dots!

Question: "If a business, after unionizing, ultimately delivers more value per dollar to the end customer… then why would anyone even need to write essays arguing for it?"

Argument: This can happen because businesses are not rational. Businesses are not rational, because people run businesses, and people are not rational. People are not rational, because while they are capable of rationality, they are neither perfect, nor simply just rational - rationality is but one of the components that influence their decisions.

Evidence of people not being rational: the very lifestyle they end up living. Personal development demonstrably works to improve life outcomes, and yet people often give up on it.

Evidence for business being profitable despite heightened worker protections: McDonalds in Denmark. US routinely rejects increase to minimum wage or worker rights, citing economic unviability. But the very same businesses flourishing at places where such things were implemented demonstrate otherwise.
by acc_297 | 2025-06-03 15:38:10+00:00
Funny anecdote from the full article

"Equipment provided by Raytheon as part of a multi-million dollar contract broke the winter after it was installed. One U.S. official said most of the detectors had been designed by Raytheon for the desert environment of the U.S.-Mexican border. The Kazakhs, on their own initiative, sourced equipment designed to withstand Siberian winters from a Russian military supplier; it cost half the amount of the U.S. contract, and easily survived the winter."
by sfn42 | 2025-06-03 15:38:12+00:00
The thing that gets me about this autonomous car thing is that it shouldn't really happen. When a car has to swerve to avoid an accident it is typically because the driver was speeding and/or not paying attention.

Autonomous cars wouldn't speed and they are always paying attention. Maybe you could argue that it happened because the other driver was drunk or for some other reason swerved into your lane but this is still an incredibly niche situation and if it does happen just sue that guy. The vast majority of car-to-car accidents happen when both drivers are irresponsible. Autonomous cars will significantly reduce accident rates just by following the rules of traffic and being constantly aware.

The whole who should be sued thing is asinine, just have a national insurance fund for it or whatever. Cheaper than all the accidents it prevents.
by mandevil | 2025-06-03 15:38:12+00:00
Even with that level of target knowledge (I suspect the US has the investment in the sensor-targeting links to be able to use satellites to know within cm where planes were within a five minute window, but am not sure about other nations) you'd want to have some that were available for later re-targeting to handle misses. Nuclear weapons war plans solve this by relentlessly re-targeting again and again (declassified 1960's USAF war plans called for over 70 different missiles to hit Moscow alone) but with the smaller damage radius of conventional weapons you either end up with a second strike to make sure you get all the survivors of the first strike- or have a trained human who knows the targeting priority in the loop available to update targeting on the fly.
by felixheikka | 2025-06-03 15:38:40+00:00
It works well for products targeting founders since they're very active online. However, there's no problem to find social media communities of gardeners, lawyers, content creators, etc., to be active in.

Not everyone who gave feedback ended up being an active user, but they were all part of our target audience. Otherwise their feedback would've been quite irrelevant.

"Feels like a group of people agreeing to follow each other on social media so they can tell others they have X followers." made me laugh not gonna lie, but it's actually a nice community of founders. Currently at 140k members.
by more-nitor | 2025-06-03 15:38:55+00:00
there's ("I'm hoping someone would...") phrase omitted here...

> (I'm hoping someone would) create `with_err` function: some_mayerr_func().with_err_log()

> (I'm hoping someone would) add 'newbie beginner mode(default)' / 'expert mode (optimized)' for rust

about: Adding an invisible, inaccessible, always-implicitly-initialized field sounds too weird and non-Rusty to me

maybe rust-devs are too focused on "zero-cost abstraction"? I mean, if I'm building for embedded sys, I have to make sure I don't waste any ram... but for other cases like web-server dev, it's much better to have some-cost abstraction that helps debugging

(this might actually be one of the reason rust isn't used a lot despite having an extremely good language basis/growth -- other one being async cancellation...)
by willdoenlen | 2025-06-03 15:39:11+00:00
Norm Ai | New York City (NYC) Hybrid | Multiple engineering roles | Full-Time | https://www.norm.ai

Norm is building AI that understands regulations for regulatory compliance. Our AI currently automates compliance determinations for federally regulated financial content, though our vision is to build a platform that can handle any regulation in any industry. As AI begins to permeate our society, Norm aims to become a critical building block for other AI systems that need regulatory intelligence. You can read more about our vision here: https://www.norm.ai/post/building-regulatory-ai-agents

We've raised $87m from top-tier investors to pursue this vision. We're growing very quickly and have major, household-name financial institutions as clients and investors. We're working on hard, interesting problems and want to push the boundaries of what's possible for AI-driven products. We're hiring for many engineering roles, including:

- Senior Design Engineer ($200-250k

- Senior/Staff Frontend Engineer ($200-250k)

- Applied AI Research Engineer ($200k-250k)

- Cloud Infrastructure Engineer ($175k-250k)

- Full Stack Deployment Engineer ($150k-250k)

- Full Stack Engineer ($150k-225k)

- Product Engineer - Integrations ($200k-250k)

We're also hiring for many non-technical roles as well. The best way to apply is online on our website (we review every application!). Full list here: https://www.norm.ai/careers.
by chrislebk56222 | 2025-06-03 15:39:12+00:00
Location: Ha Noi, Viet Nam Remote: Yes Willing to relocate: No Technologies: Java, Kafka, ElasticSearch, Linux, multi thread programming, non-blocking I/O Résumé/CV: https://www.upwork.com/freelancers/chrisl72 Email: lemanhcuong2221993@gmail.com

Hi, I'm Chris. I've worked on many kinds of projects:

- high level things like web service, application, apis...

- low level things like Kafka, database, network, thread modeling... And I have some successful projects with both types. Here are them:

- Kafka gateway: Led development of the Conduktor Gateway (Kafka proxy) from scratch, build a successful product, got a lot of client and make this company become famous (https://docs.conduktor.io/gateway).

- Arcturus Project: https://engineering.tiki.vn/arcturus-inventory- processing-system/ Built a stock management service handling 5,000 transactions per second, resolving Tiki’s hot deal scalability issue and improving success rates by 40%.

- Developed a Java client for an in-memory distributed database (VIMDB), achieving 600,000 transactions per second with 1ms latency and 99.99% of requests under 3ms.

If you find it fit your requirements, we can discuss more.
by simonw | 2025-06-03 15:39:15+00:00
For the first 15 years of my career I found reading code much harder than writing code. Then I invested a lot of effort in improving my code reading and code reviewing skills, with the result that code reading no longer intimidates me like it used to.

That's why I think reading is harder than writing: it takes a whole lot more effort to learn code reading skills, in my experience.
by zanfr | 2025-06-03 15:39:33+00:00
can't quite figure out exactly the ins and outs but it seems to masquerade as wireguard. which would make VPNs redundant as it would itself be a VPN.

this would mean, for instance, torrents that are wireguarded between peers by default. sure you will see tons of IPs connected via wireguard but who is going to bother intercepting them?
by bigstrat2003 | 2025-06-03 15:39:49+00:00
I'm really not excited for this one. 12 racers was already too many, let alone doubling that number. And I have no desire, at all, for an open world Mario Kart. I thought that the open world Zelda games were un-fun and didn't live up to the previous entries in the series, and I fully expect that Mario Kart will fare even worse.
by johnbender | 2025-06-03 15:39:57+00:00
Formal methods like TLA provide the highest value when you have a property of the system that is subtle but should be comprehensive, which is to say you need to know it’s true for all the behaviors of the system. (Aside: this is true even if you never model check the system because modeling is a good forcing function for clarity in understanding of the system)

With that in mind you don’t have to model your whole system as long as you’re comfortable with the boundaries as assumptions in any property/theorem you prove about it! For example, unconstrained variable in a TLA spec do a reasonable job of modeling an overapproximation of inputs from the outside world, so that’s one boundary you could potentially stop at supposing the your proof can go through in that chaotic context.
by kube-system | 2025-06-03 15:40:01+00:00
Zero. People who work on ad-tech build ad-tech all day long, that's the entire job.

Seriously, why do you think all of the unquestionable things humanity has built have been built? It's because it's all just part of the job, for somebody.

People working at ad-tech question the things they're building just like the people at McDonalds flipping a burger are questioning the cholesterol levels of their customers. They're not.
by StopDisinfo910 | 2025-06-03 15:40:18+00:00
> I'm sure it'll be fun, but I'm not thrilled about Nintendo bumping the price up to $80.

At that point you can live a perfectly happy life only playing games that are years old and buying them deeply discounted or second hands for peanuts.

It’s a mystery to me who spends 80 bucks on a game which is approximately the same than the previous one itself the same than the one before.
by bee_rider | 2025-06-03 15:40:26+00:00
This is pithy but actually I think it benefits too much from not defining with it is. I mean, it is a game, they are a game studio, if they “can” make a fun game with a reasonable amount of developer effort, they should. If they can’t they shouldn’t.

The quote relies on there being some horrible side effect of creating the thing without thinking whether or not they should do it. I think there’s no chance that this goes on to be a MOBA, which is to say I think it will never become fundamentally a force of evil.
Access LLM from Within Gsheet
by aidopper | 2025-06-03 15:40:32+00:00
I built a GSheet addon called PromptLab (https://promptlabco.com/) that lets you interact with LLMs (like GPT-4, Claude, etc.) directly inside your spreadsheet using a simple formula: =testprompt(input+prompt, llm_model)

It was born out of frustration from constantly copy-pasting rows into LLMs or scripts just to test prompts across different models. With PromptLab, you can:

Compare responses across different prompts and models side by side

Run LLMs on 100s or 1000s of rows just by dragging the formula

Debug and tweak prompts more efficiently when working with structured data

No more exporting CSVs, writing scripts, or juggling APIs, it's all inside Sheets.

Would love to hear your thoughts, feedback, or if this is useful to you. Still early, so very open to suggestions.

Best part: You dont need to add your own API keys. Just add the addon and start using.
by kamaal | 2025-06-03 15:40:54+00:00
>>I’ve always worked that way. In school (or in seminars), I ask questions that may have the whole room in stitches, but I always learn the lesson.

In my experience, if a question is understood well enough, it basically directly translates into a solution. In most cases parts of questions are not well understood, or require going into detail/simplification/has a definition we don't know etc etc.

This is where being able to ask questions and getting clear answers helps. AI basically helps your do understand the problem as you probe deeper and deeper into the question itself.

Most human users would give up after answering you after a while, several would send you through a humiliating ritual and leaving you with a life long fear of asking questions. This prevents learning, as a good way of developing imagination is asking questions. There is only that much you can derive from a vanilla definition.

AI will be revolutionary for just this reason alone.
by dragontamer | 2025-06-03 15:41:10+00:00
A big worry from the YouTubers is the long stretches of straightaways.

Mario Kart, like any racing game, has the bulk of its strategy in figuring out corners. Do you aim for the shortest path but lowest exit velocity? Do you prefer the longer, outside line, for a higher top speed when exiting the corner?

Every turn is a major decision. Doubly so since Mario Karts drifting mechanic gives a new way to change the speed vs distance calculation.

But with a long stretch of straightaway, that's all gone. I see that Mario Kart World has added traffic, boost zones and grinding to make the long straightaways somewhat different at least, but I have doubts it's as good as the traditional corner or turn.

-----------

That being said: simplifications to kart customizations and other clear improvements shows that Nintendo truly understands the game.

But it's... Bold. To try to design levels like this. I hope it works out but there's so many issues that could make things unfun.
by nonethewiser | 2025-06-03 15:41:18+00:00
>And surely the learning curve is not easier than Typst?

To be fair, (most) markdown is valid Quarkdown. Barrier to entry really doesnt get any lower than that. Of course the learning curve is not fully synonymous with the barrier to entry, but it's a significant part.

And "learning curve" is really such a subjective quality. Kinda fucked from the start once you put it in a comparison table. Explicit features are more objective but even then sometimes products dont NEED certain features because of their design.
by SoftTalker | 2025-06-03 15:41:19+00:00
I'd disagree with that. People build wild shit in Excel that only they can understand. It makes sense to them because they built it. Nobody else can use it.

Not all spreadsheets are like this but there are absolutely no guardrails to prevent it.

Building a good GUI takes thoughtful design by someone who understands what makes a good GUI and what the goals of the interface are from the user's perspective. Someone who can make it look like what the user is already used to, even if that isn't "beautiful" UI or doesn't follow the latest trends in whitespace and widget appearance.
by latchkey | 2025-06-03 15:42:23+00:00
These sorts of articles always seem suspect to me. Blame the miners is a great trope. There really aren't any valuable crypto's being mined on CPU/GPU any longer. After ETH switched from PoW to PoS, it decimated the whole mining industry. Nothing else has enough volume to really make a huge dent, so the incentive was destroyed. Sure a few people deep into it can make a few grand a day, but this isn't enough to drive a whole market.