MurphyA/hacker-news huggingface dataset:
by dlapid | 2025-09-01 16:42:29+00:00
We're building the serverless platform that powers millions of developers at the edge. Looking for passionate engineers to shape the future of edge computing.

Engineering Manager, Workers Runtime - Lead our multi-language support (JS/TS, Node.js, Rust, Python). Drive technical vision while building an incredible team. https://rb.gy/kmjt2b

Principal VM Engineer, Workers Runtime - Optimize V8 usage and JS/WASM virtual machine capabilities. Push the boundaries of what's possible at the edge. https://rb.gy/00o7a4

Senior Software Engineer, Workers Runtime - Key contributor across our technical domains. Help us innovate and scale the platform powering the modern web. https://rb.gy/095923

We're at the heart of distributed systems, runtime optimization, and developer experience that impacts millions worldwide. Feel free to reach out directly or apply through the links.
by EastLondonCoder | 2025-09-01 16:42:33+00:00
I’ve been using git for remote collaboration music production for 5 years. We sometimes use branches as well when we are working in let’s two ideas for a bass line. We’ve not really had any issues other than that we need git lfs.

The workflow is based on having the same software, ableton and plugins are largely mirrored.

We communicate over FaceTime which is good enough to assess ideas. When then record track for track and build the songs that way.
by TylerGlaiel | 2025-09-01 16:43:18+00:00
yeah that, include is a textual replacement, so anything placed before the include is seen by all the code in the include. Not just other preprocessor stuff and pragmas but all of the other function definitions as well. There are some cases where this has legitimate use, but also is one of the main reasons why compilers can't just "compile the .h files separately and reuse that work whenever its included, automatically"

you define #import as "include but no context leaks into it" and that should on its own be enough to let the compiler just, compile that file once and reuse it wherever else its imported. That's like 95% of the benefit of what modules offered but much much simpler
by thw_9a83c | 2025-09-01 16:43:35+00:00
> To describe the necessary relations, you need to add several more kinds of dependencies, and I'm not off-hand sure which dependencies ended up with which labels.

It's:

relaxed, consume, acquire, release, acq_rel, seq_cst

Nicely described here: <https://en.cppreference.com/w/cpp/atomic/memory_order.html>
by aredox | 2025-09-01 16:43:39+00:00
>So it will be quite a long time before people have sufficiently "done their own research" (by dying).

And even then, it may not be enough. Antivaccine is as old as vaccines, with the same arguments forever, and I would argue that the mass adoption of vaccination in the 20th century has as much to do with social and cultural forces such as post-war optimism, fascination with science and trust in modernity, as with hard data like "efficacy" and having your kids escape illness.
by busymom0 | 2025-09-01 16:44:00+00:00
The time picker is implemented using a UIPickerView.

Tutorial for "UIPickerView - Loop the data" involves "simply create a picker view with a large enough number of repeating rows that the user will likely never reach the end".

I guess Apple didn't think OP would reach the end.

https://stackoverflow.com/questions/26063039/uipickerview-lo...
by toast0 | 2025-09-01 16:44:59+00:00
Yes I'm serious. My managed host took several of our machines offline when racking machines under/over ours. And they said it was because the new machines were longer and knocked out the power cables on ours.

We were their largest customer and they seemed honest even when they made mistakes that seemed silly, so we rolled our eyes and moved on with life.

Managed hosting means accepting that you can't inspect the racks and chide people for not cabling to your satisfaction. And mistakes by the managed host will impact your availability.
by jasonjmcghee | 2025-09-01 16:45:05+00:00
I would pick rust for doing async over python every time, if it's the only consideration.

In python there are hidden sharp edges and depending on what dependencies you use you can get into deadlocks in production without ever knowing you were in danger.

Rust has traits to protect against this. Async in rust is great.

I'd do something like:

let (tx, rx) = std::sync::mpsc::channel(); thread::spawn(move || { // blocking request let response = reqwest::blocking::get(url).unwrap(); tx.send(response.text().unwrap()); });

Or

let (tx, mut rx) = tokio::sync::mpsc::channel(100); tokio::spawn(async move { let response = client.get(url).send().await; tx.send(response).await; });
by sbenitez | 2025-09-01 16:45:44+00:00
Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity

At Formal [0], we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is to write a new programming language to replace eBPF and build the world's first serverless networking infrastructure.

We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo. We are currently hiring for the following four positions:

- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification (≥ $200k + ≥ 0.5%)

- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.25%)

- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.2%)

- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages (≥ $5k / month)

Please see [5] for general information. To apply, email us at (work at formalstack dot com) and let us know how your experiences fit the role and its requirements.

[0]: https://formalstack.com [1]: https://formalstack.com/jobs/09-2025/staff-software-engineer... [2]: https://formalstack.com/jobs/09-2025/formal-verification-eng... [3]: https://formalstack.com/jobs/09-2025/software-engineer-v.pdf [4]: https://formalstack.com/jobs/09-2025/formal-methods-phd-inte... [5]: https://formalstack.com/jobs/09-2025/info.pdf
by ashvardanian | 2025-09-01 16:46:24+00:00
I don’t know how I forgot to post this library and write-up on HackerNews. It’s an unusual thread-pool implementation that focuses entirely on simultaneous multithreading, skipping task queues, futures, and asynchrony. That makes workload distribution much cheaper than in Taskflow (C++) or Rayon (Rust), while getting closer to OpenMP in raw performance.

The design avoids memory allocations, focuses on lock-free and CAS-heavy atomics, and leans on modern hardware instructions for busy-waiting and NUMA-friendly execution. It still needs polishing, and I’m always open to feedback on how to push it further.
by bigbadfeline | 2025-09-01 16:46:43+00:00
> Often times it feels very hard to feel any hope for this country, and possibly humanity if nobody can stop us.

I wouldn't rely on other countries to do something positive for humanity although they might play a positive role if there is some movement in that direction in the US itself.

For better or worse, only the US can lead the way, no matter up or down.
by dguest | 2025-09-01 16:46:57+00:00
In order of [already happening] -> [inevitable] -> [might happen]:

- Many PIs are writing grant proposals with the help of AI

- Most grants are written by AI

- Grants are reviewed by AI

- Adversarial attacks on grant review AI

- Arms race between writing and reviewing AI

- Realization that none of this is science

Where it goes from there is anyone's guess: it could be the collapse of publicly funded science, an evolution toward a increasingly elitist requirements (which could lead to the former), or maybe some creative streamlining of the whole grant process. But without intervention it seems like we're liable to end up in a situation worse than we started in.
by EmilLondon | 2025-09-01 16:47:19+00:00
Citymapper by Via | London, UK | Onsite or Hybrid (London, UK and New York, USA) | VISA

We are building the ultimate technology for mobility in cities. We are hiring

- Engineering Manager (London): https://job-boards.greenhouse.io/via/jobs/8001882002 - Director of Engineering (London): https://job-boards.greenhouse.io/via/jobs/8074378002

More roles at https://job-boards.greenhouse.io/via

Backend tech stack includes: AWS, Python, some C++, some Rust, EKS, Terraform.
by hombre_fatal | 2025-09-01 16:47:26+00:00
> On the other hand, nobody asked Cloudflare to be the unelected leader of the internet.

Except for everyone who pays them for their services.

Conditionally allowing some bots seems like another obvious service.

Maybe tcp/ip could've been changed to eat the lunch of Cloudflare before Cloudflare ever existed, but that never happened, so now you need to pay Cloudflare to fill the gaps in naive internet architecture to stop the shitstorm of abuse on the www. Yet it's never the abusers who get the HNer's wrath, only the people doing something about it.
Change Tracker: Monitor+revert file edits from Claude/AI agents(in-memory VCS)
by ankit95742 | 2025-09-01 16:47:52+00:00
I’m building a small Java app called Change Tracker that works like a super lightweight version control system in memory.

It automatically detects file edits whether they come from you, Claude, or any other AI/code agent, so you don’t need to explicitly “commit” or even know a change happened.

Features so far:

Real-time monitoring (detects changes from humans or AI agents)

Change history with timestamps

Revert specific edits instantly

Respects .gitignore patterns

CLI now, UI coming soon

Limitations:

In-memory only (history disappears when you stop)

Single project support

Simple diffs (not git-level smart)

Curious:

Do you face issues with AI assistants silently changing files?

Would you want persistence (keep history across sessions), or would that overlap too much with git?

What other pain points around AI-driven edits should I solve?
by modeless | 2025-09-01 16:48:01+00:00
Zapcc speeds up incremental builds of a single translation unit. And it speeds up clean-cache builds that include the same headers in multiple translation units. Ccache does not. Yes, this is a huge advantage in real situations.

Frankly your attitude in this whole thread has been very condescending. Being condescending and also not understanding what you're talking about is a really bad combination. Reconsider whether your commenting style is consistent with the HN guidelines, please.
by nradov | 2025-09-01 16:48:14+00:00
NIH officials involved in writing a paper in 2020 about the origin of SARS-CoV-2 actively suppressed consideration of a lab leak hypothesis and exaggerated the evidence for a natural origin. Some of their communications have been released and others involved have testified to that under oath.

https://theintercept.com/2023/01/19/covid-origin-nih-emails/

https://www.politico.com/news/2023/03/08/trumps-cdc-director...
by raxxorraxor | 2025-09-01 16:48:20+00:00
Of course the browser still is an attack vector but the relevancy of that vector is lower today. Same goes for these examples. These are exploits and they will always exist, sandbox or not. A few years ago you could log in to MacOS as root without a password. Meta just released a memo two days ago that Whatsapp exploits compromised Android and iOS devices. Guess it was sandboxed, but all users allowed the app to access files and contacts anyway.

Today the main problem is social engineering and scams. The disadvantage of mobile OS are too great to justify bad approaches to desktop systems or security in general. And for browsers that means the security threat isn't some arcane media decoder, it is the well made phishing site.

But my argument is more that perhaps I don't want window privacy because it doesn't fit my security needs and reduces functionality and access. And one assumption in that is that one compromised app can compromise the whole system in the worst case and believe risks must be mitigated elsewhere. In case of doubt, I can reasonably sandbox something I execute myself, if the need is warranted.

I would love a good file explorer for my mobile device. But file access is restricted. How many hours wasted to bad security...
by lyu07282 | 2025-09-01 16:48:57+00:00
> People having different opinions isn’t a bad thing.

No I think that is a bad thing and a failure of our society if there are still people around repeating talking points from 1850s British colonial rule for christ sake!

Its like saying the Roman empire was great because it brought Aqueducts to the savages or something, like that is just education/knowledge of history + basic moral principles. The genocidal barbarism of colonialism should be something we left behind collectively. Or do you think whether or not the holocaust was good or bad is a matter of opinion too?
by highwaylights | 2025-09-01 16:49:11+00:00
If you go Google something right now you’re not doing a web search like you were even a year ago - the first thing that comes up (and takes up most of the screen depending on your device) is a Gemini response to your query.

At the least it can be inferred that Google has fundamentally changed their main product to mimic a competitor, which is something you just don’t do if everything’s OK.
by kgwgk | 2025-09-01 16:49:43+00:00
> What they don't understand is probability.

Exactly. As the first reply to the first comment explains “The problem is that we don't know p(you're told at least one is a girl | they aren't both girls).”

It’s funny that the same commenter who writes that “to get the right answer you must be careful about conditional probabilities” finds that doing so is “splitting hairs about something boring and irritating.”
by etherealG | 2025-09-01 16:49:49+00:00
I think I might enjoy the CPS scenario... let them call CPS, and wait for CPS to arrive, and then discuss with CPS who is endangering the child, the parent or the school. I'm pretty sure a judge will quickly decide whether their rule makes sense or not, and I think judges in child protection cases are going to quickly side with what's important for the child.

I HATE this kind of nonsense, and threatening you as a parent is only making things worse. Why not offer a way to handle this on a simple website? It would have lower cost to the school and be more accessible to anyone with any device able to access websites. Nonsense.
by SpicyLemonZest | 2025-09-01 16:50:23+00:00
The original commenter got flagged for his response, so I'd like to ask you more politely. Dr. Fauci did not in fact work for the CDC, and as you acknowledge this statement does not even say that the lab leak hypothesis is untrue. Are you trying to argue in favor of the original commenter's assertion that "they branded the lab-leak hypothesis a conspiracy theory", or just trying to explain what comments people are interpreting in bad faith to support that assertion?
by tgtweak | 2025-09-01 16:50:31+00:00
We had single-datacenter resiliency (meaning n+1 on power, cooling, network + isp, servers) and it was fine. You still need offsite DRS strategy here - this is one of the things having that hybrid cloud is great for: you can replicate your critical workloads like databases and services to the cloud in no-load standby, or delta-copy your backups to a cheap cloud provider for simplified recovery in a disaster scenario (ie: entire datacenter gets taken out). The cost of this is relatively low since data into the cloud is free and you're only really incurring costs in a disaster recovery scenario. Most virtualized platforms (veeam etc) support offsite secondary incremental backups with relative ease, recovery is also pretty straightforward.

That being said I've lost a lot of VMs on ec2 and had entire regions go down in gcp and aws in the last 3 years alone, so going to the public cloud isn't a solves it all solution - knock on wood the colo we've been using hasn't been down once in 12+ years.
by ryandrake | 2025-09-01 16:51:15+00:00
The over-arching good reason is simply: I don't want it. That should be good enough! As the user, I should be able to command my computer to output what I want it to output, and to not output what I don't want it to output. The user should have the final say over what computation does or does not happen on his computer, not the web or application developer. And we don't need these "Take it or leave it" ultimatums from developers. Using a computer should not be some faustian bargain, where you have to sacrifice something in order to have it precisely follow the commands you issue.
by andrewjl | 2025-09-01 16:51:24+00:00
As long as the Obj-C and Swift are in separate source or binary targets, SPM supports them being in the same package.

There was a Swift Evolution proposal at one point to go all the way and bring in support for mixed Obj-C and Swift targets [1] but it was returned for revision. It talks about the multiple target workarounds:

> Distribute binary frameworks via binary targets. Drawbacks include that the package will be less portable as it can only support platforms that the binaries support, binary dependencies are only available on Apple platforms, customers cannot view or easily debug the source in their project workspace, and tooling is required to generate the binaries for release.

> Separate a target’s implementation into sub-targets based on language type, adding dependencies where necessary. For example, a target Foo may have Swift-only sources that can call into an underlying target FooObjc that contains Clang-only sources. Drawbacks include needing to depend on the public API surfaces between the targets, increasing the complexity of the package’s manifest and organization for both maintainers and clients, and preventing package developers from incrementally migrating internal implementation from one language to another (e.g. Objective-C to Swift) since there is still a separation across targets based on language.

The upshot is that SPM has a better interoperability story with Swift and C++ [2] and maybe that can serve as a foundation for getting to the same level of interop for Obj-C.

[1]: https://github.com/swiftlang/swift-evolution/blob/main/propo...

[2]: https://www.swift.org/documentation/cxx-interop/
by ddingus | 2025-09-01 16:51:29+00:00
Painful!

How does one get shut out?

Perhaps a story of his life now could be told to whatever politician may make sense? (I just do not know that for your part of the world)

Seems to me there must be some basic government run thing to manage this. Using corporations has too many problems.

And you may tell me BankID is government! Hope not.
by eszed | 2025-09-01 16:51:35+00:00
I mean... Yes? That looks correct to me°, but it's been a minute since I worked with Temporal, so I'd run it myself and examine the output before I cut and paste.

Or have I missed your point?

---

°Missing a TZ assertion, but I don't remember what happens by default. Zulu time? I'd hope so, but that reinforces my point.
by antonvs | 2025-09-01 16:51:54+00:00
Fortune telling for profit is illegal in several big US states and other jurisdictions, including e.g. Pennsylvania and New York, for the same kinds of reasons being discussed. It’s not ok to make things up to make a profit unless you’re doing so purely for entertainment, i.e. it’s understood that the statements are fictional.

The Google disclaimer should probably be upfront and say something more like, “The following statements are fictional, provided for entertainment purposes only. Any resemblance to persons living or dead are purely coincidental.”
by cosbgn | 2025-09-01 16:52:36+00:00
Hi everyone, this is a very early version of what I am building: an AI accountability coach.

I know many of you will be skeptic, but in reality one of the hardest things to do is to remember to keep track of progress. A simple automation which calls me after my gym sessions and logs everything in a virtual diary could be a great help.

It's built using elevenlabs, twilio, openai (for the extraction logic) and gemini (for the call).

It's still a beta as I have some fixing to do, but it's free for the first 30 days, so feel free to try it and share your feedback with me!
by const_cast | 2025-09-01 16:52:49+00:00
Fun fact along this line of reasoning: all those dump trucks with the "not responsible for broken windshields" stickers? Yes, yes they are responsible.

You can't just put up a sticker premeditating your property damage and then it'd a-okay.

No, the sticker is there to deter YOU from suing in small claims court. Because you think you can't. But you can! And their insurance can cover it!
by mothballed | 2025-09-01 16:53:05+00:00
Well the judge will likely rule the app is bullshit, but in the meantime CPS will argue they need to go into your house, look to see if you have a dirty dish, or the wrong proportion of snacks to vegetables, or maybe take notice your child is playing independently outside while they come around. Then they will portray that in the most insane way possible, and since it is a civil and not criminal process their is no requirement anything is shown beyond a reasonable doubt.

There's also the problem that once they have your kid, the tables are completely turned, rather than them showing why they should take them, now you have to show why you should get them back and that is a process that can be dragged out for over a year.

Unfortunately CPS has wide latitude, secret courts, and the ability to unendingly fuck with you, so it's better just to not "invite" them in your life if you can. And if they do manage to snatch your kid, note they give so little fucks for the kid that their contractors will leave a kid in a hot car to die because apparently that's safer than being with their parents.[]

[] https://abcnews.go.com/US/3-year-dies-hot-car-custody-contra...
by ska80 | 2025-09-01 16:53:47+00:00
Location: Bishkek, Kyrgyzstan Remote: Yes (US or EU time zones if needed) Willing to relocate: Yes Technologies: Java, Common Lisp, C, PostgreSQL, Redis, Kafka, RabbitMQ, AWS Résumé/CV: upon request Email: ska80 [at] gmx [dot] com
by amluto | 2025-09-01 16:53:57+00:00
If you use a cloud, you need a solution for security (ever heard of “shared responsibility”?), global delivery (a big cloud will host you all over, and this requires extra effort on your part, kind of like how having multiple rented or owned servers requires extra effort), storage (okay, I admit that S3 et al are nice and that non-big-cloud solutions are a bit lacking in this department), orchestration (the cloud handles only the lowest level — you still need to orchestrate your stuff on top of it), fixing breakage at 3 a.m. (the cloud can swap you onto a new server, subject to availability; so can a provider like Hetzner. You still need to fail over to that server successfully), patching stuff (other than firmware, the cloud does not help you here).
by dowakin | 2025-09-01 16:54:09+00:00
9 Mothers Defense | Robotics Eng. & Computer Vision / Data Scientist | Hybrid (Austin TX) | Full-time

Building AI-driven turrets that stop hostile drones. We need sharp, hands-on engineers:

Embedded Robotics: Python on Jetson, CAN (+ EtherCAN / EtherCAT) drive buses, high-speed cameras, real-time PID/servo control, ROS, TensorRT

Computer Vision / ML: detection + tracking, transformer-based visual models, TensorRT tuning on Jetson

US persons only (e.g. green-card, citizens). Shoot your résumé / GitHub and a quick note on why you're good fit to jobs@9mothers.com