MurphyA/hacker-news huggingface dataset:
by tombert | 2025-06-01 00:00:40+00:00
I love Erlang but the performance of BEAM has become a bit of a bottleneck for me lately. I thought I could get away with some fairly advanced audio reencoding stuff in pure Erlang, and at least my naive implementation (which admittedly is not nearly as optimized as it could be) is going like 50-100x slower than a roughly equivalent C version.

No doubt that if I went through the code and rewrote large chunks of it, I could almost certainly eliminate a few copies and avoid a few unnecessary computations, but I figured at that point I might as well write it in Rust and use a NIF or port where even a naive implementation is likely to be fast enough. At some point I might see if I can create good NIFs around existing GMP and DCT libraries so that they can be easily used by other people more generally, but not today.

I am pretty sure that if I had written similar code in Java (or even Clojure), it would have been fast enough out of the box, probably around 2-5x slower than the C version, which would have been in my tolerance.
by paulcole | 2025-06-01 00:02:00+00:00
Get the attention of a small business (30 people or fewer) and offer to contract. Look into the process and use Deel — explain to them how to do it. This will make it easy for them to pay you in USD. Explain that the cost to them will be roughly $75 a month on top of your very reasonable rate compared to 20% on top of US employee salaries.

Find people on LinkedIn to reach out to.

You should use LinkedIn Recruiter Lite — ChatGPT will create good searches for you. Think of yourself as a recruiter in reverse. You need to not just sell yourself but also the idea of hiring a remote contractor.

Make Loom videos to pitch yourself. Actually PITCH yourself, dont just talk about yourself. Show how you can help them and why you want to work for them. Get a good camera and mic setup and don’t use a phony background. Do not ever mention your desire for a remote job or a desire to work for a US company.

You’re gonna hear 100 nos before your first yes.
by AndrewKemendo | 2025-06-01 00:03:35+00:00
This is exactly how it’s going down

Companies that needed to hire 10 people to grow, only need to hire 9 now

In less than 5 years that’s going to be 7 or 6 people

I’m doing more with 5 engineers than I was able to do with 15 just 10 years ago

Part of that is libraries etc have matured too but we’ve reached the point from a developer perspective that you don’t need to build new technologies, you just need to put what exists together in new ways

All the parts exist for any technology to be built, it’s about composition and distribution at this point
by SOLAR_FIELDS | 2025-06-01 00:04:00+00:00
GIS are particularly prone to these sort of human caused accidents. Example is that some GIS take coordinate input as LatLon and some take LonLat.

Another good example is that very often when working with GIS you collate data from multiple sources, as a sibling comment indicates. These sources may be available in all sorts of different coordinate systems and projections and it’s extremely easy to get bad results that are difficult to verify they are bad by these types of bugs.
by masot | 2025-06-01 00:04:11+00:00
(Author:) thanks for the kind words!

And yep --- one way to interpret the technique is that we're carrying out structurally inductive proofs on imperative code. It's (comparably) easy to do structural induction on functional code (think Coq, Lean) because functional code is (usually) pure and written in an explicit structurally inductive style: match on the input, do some loop-free work, then tail-recurse on the rest of the structure.

In this setting we're working with imperative code that mixes loops, side effects, in-place heap mutations, etc., so automatically recovering a valid structurally inductive proof from that messy soup of impure imperativeness presents some unique challenges.

(There are some technical arguments for why the theory is formally closer to proof by infinite descent rather than structural induction, but I don't personally think the distinction is very important.)

FWIW this broader idea of bringing structural induction-like reasoning to analysis of imperative code has been slowly gaining steam over the past few years, especially the Chakraborty et al. and Ish-Shalom et al. techniques we cite in the paper. It works very well for this class of monotonic data structure operations, but unfortunately it doesn't really help for operations like sorting or rehashing, where there's a more "global" modification to the heap structure.
by Veserv | 2025-06-01 00:05:07+00:00
You know that is a nonsensical request. Why would a Linux LPE result in a guest to host escape?

That is like asking for the last 3 iMessage RCEs that that could be directly used to get a kernel compromise. You obviously leverage the RCE to get code execution in the unprivileged context then chain it with a LPE or unprivileged to privileged kernel escape. The RCE is very likely to be unrelated to the LPE and can likely even be mixed and matched if the RCE is good enough. You could do both simultaneously, and I guess some might exist, but that is just generally a poor, much harder strategy.

In this case the Linux Kernel LPE would only get you code execution in the unprivileged guest which you then need to chain with a unprivileged to privileged hypervisor escape.

Are you claiming that hypervisors or VMM systems are unhackable? That is a extraordinary claim that demands extraordinary evidence. Otherwise you agree there are VM escapes that can be chained with code execution in the guest which is my entire point.

Your security depends on the quality of your isolation boundary and there is no reason to believe the same class of people who gave us the awful security of the Linux Kernel are going to turn around and solve the same problem they failed to solve by calling it a hypervisor.
by tptacek | 2025-06-01 00:06:50+00:00
Heritability is an extremely slippery statistic, best thought of as a new framing for a question than an answer. Sometimes genes are causal, sometimes they're corollary; you don't have a "lipstick-wearing" gene, but it's highly heritable. Broad complicated behavioral things like "music perception" are much more likely to do with culture (and culture's stratifying effect on genes) than on some polygenic causal structure.

(That said: music is an interesting case study, given the biology of audio perception.)
Reduced OpenAI RAG costs by 70% by using a pre-check API call
by Kong91 | 2025-06-01 00:08:07+00:00
I am using OpenAI's RAG implementation for my product. I tried doing it on my own with Pinecone but could never get it to retrieve relevant info. Anyway, OpenAI is costly, they charge for embeddings and using "file search" which retrieves the relevant chunk after the question is embedded and turned into vectors for similarity search. Not all questions a user asks need to retrieve context (which is costly). SO, I included a pre-step that users a cheaper OpenAI model to determine whether the question asked needs the context or not, if not, the RAG implementation is not touched. This decreased costs by 70%, making the business viable or more lucrative.
by zdc1 | 2025-06-01 00:08:41+00:00
The triggers can be quite stiff. If you're unfamiliar it's easy to try to incrementally add pressure and still go from 0-100 with them.

Another option is to adjust the water connection valve at the start of the host so its not fully open, but by the time you notice the valve, you're probably already familiar enough to aim straight.

The water pressure can also be startlingly strong, but you also get used to that.
by jhp123 | 2025-06-01 00:10:24+00:00
> Given the enormous amounts of resources the west has poured into the poorest places on earth, when do we see the positive results?

The impact of aid programs is well studied. Here is one of hundreds or thousands of studies showing a measurable positive impact in terms of lives saved: https://www.kff.org/global-health-policy/issue-brief/assessi...
by sbm_au | 2025-06-01 00:10:42+00:00
AlphaGo beating the top human player was in 2016. To my memory, that was one of the first public breakthroughs of the new era of machine learning.

Around 2010 when I was at university, a friend did their undergraduate thesis on neural networks. Among our cohort it was seen as a weird choice and a bit of a dead-end from the last AI winter.
by BearOso | 2025-06-01 00:11:11+00:00
And I read a study a while back that researched this, and analyzed several fatberg deposits. They concluded that there was no trace of biodegradable wipes. And that follows purchasing patterns--99.9% of those bought aren't the biodegradable kind. People just don't care and continue to flush wipes, diapers, fats, cat litter, and who knows what else.
by codingdave | 2025-06-01 00:12:02+00:00
This is not a topic so complex to need investigative journalism. Just call an attorney and ask. They'll give you the same answer that is in the article, after KSL did exactly that: "Nobody is obligated to take any inheritance... We all have that right to refuse it.”

I mean sure, estates are a hassle. And it is a lousy reason to have to be dealing with attorneys and paperwork. But that doesn't make it a big mystery.
by notepad0x90 | 2025-06-01 00:12:22+00:00
I meant they were designed to degrade liberties of women by law makers, regardless of the intent of the voters and people who supported those laws. Even within the legislature, the people that designed the laws are a smaller subset of those who voted on the laws, that's what I meant by regardless of anyone's intent: regardless of the intent of those who crafted the law (which is bad-faith and malicious intent) or everyone else's intent which I won't presume to know.
by geerlingguy | 2025-06-01 00:12:50+00:00
I've been testing various GPS/GNSS antennas indoors for the past year, and unless you're in a multistory building or have a full metal roof, there's a good chance you'll pick up 4+ satellites, good enough for a decent time.

But it can come and go, especially as there are other sources of interference in the 1-1.5 GHz range indoors, and reflections off various surfaces and objects make the signal way harder to distinguish.

But for by far the best chance of success, you should have the antenna outside, ideally with a clear view of most of the sky.

If inside, you could put it near a window or exterior wall, but a lot of modern construction materials can block things pretty badly.
by SilentLambda | 2025-06-01 00:15:53+00:00
I think the HN title was completely appropriate.

Linus was not jusy yelling - (i.e.): "You seem to have actively maliciously modified your tree completely." - Linus Torvalds.

Linus didn't even use the word 'potentially' - yet the HN title did.

So get off the back of the person who created the HN alert!
by bediger4000 | 2025-06-01 00:17:02+00:00
I left the aerospace industry in 1992. Before that, I did some work with a program called "BOSOR5" - "Buckling of Shells of Revolution" (https://shellbuckling.com/BOSOR5.php). The X,Y coordinates appears as Y,X in the output. Very confusing, lots of problems because everyone habitually reads X first, then Y, left-to-right.

Imagine how much trouble it was to work on a Saturn 5: https://oikofuge.com/coordinate-axes-apollo-saturn-1/ If you have a type system with different types for all the axes, you will incur far fewer programming-domain errors.
Show HN: Patio – Rent tools, learn DIY, reduce waste
by GouacheApp | 2025-06-01 00:17:25+00:00
Hey HN!

I built Patio to make DIY more accessible and sustainable.

It’s a community-powered platform where you can:

Rent tools from people nearby

Learn DIY through curated tutorials and guides

Find or list surplus materials to save money and reduce waste

Browse home improvement news in one place

It’s early, but live — would love your feedback on the experience, especially around search, learning, and marketplace usability.

Thanks! — Julien
by seanmcdirmid | 2025-06-01 00:17:43+00:00
Do you have decent central heating? Japanese households didn’t (and still don’t, it’s not required by law even in Tokyo), so heated toilet seats and heated water is considered essential. There is a reason kotatsus never caught in the states I guess. You won’t encounter nozzles in southern China either because the winters are too cold and they have even less heating than northern China (which is why everyone is wearing winter jackets indoors).

Even in the US, I can’t imagine installing a nozzle here in Seattle, but we also don’t have central heat (just a heat pump with remote units in a couple of rooms).
Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot
by zekone | 2025-06-01 00:19:57+00:00
Figured I'd track the popular coding agents to see merge and approval rates. At first I was tracking Opened vs. Approved, but realized most people aren't approving; they just merge.

I haven't found a way to reliably track the other agents (Jules, Devin, etc), since they don't have a standardized branch naming convention. Interesting to watch this over time. Open to ideas.
by mmooss | 2025-06-01 00:23:58+00:00
> A trial was not required for the city to issue you a ticket.

A trial is not required for the police to arrest you for murder, which you can contest in court or not.

> Courts overruling some laws and some procedures does not change the definition of "due process".

It does when they overrule them for omitting due process, as I said.
by ponta17 | 2025-06-01 00:31:29+00:00
Thanks! Great question.

TurtleSim itself doesn't simulate real-world physics — it allows instant position updates when needed. In this project, the goal was to create a digital turtle artist, not to replicate physical realism. So when the agent wants to draw something, it puts the pen down and moves physically (i.e., using velocity commands). But when it doesn't need to draw and just wants to move quickly to another position, it uses a teleport function I provided as a tool.

That's why in the rainbow example, you might see the turtle "jump" between arcs — it's skipping the movement to get to the next drawing point faster.
by Dylan16807 | 2025-06-01 00:32:21+00:00
You average 1000x returns in a year but you won't reinvest because it would be less fun for the entire two years it would take you to win tens or hundreds of millions.

There's no very specific situation where you're technically getting that money but you can't scale it up, your original statement gave an accurate impression, you're that good but don't want the money.

I don't know if you're lying to us or lying to yourself.
by zrobotics | 2025-06-01 00:32:25+00:00
FYI for anyone that uses wet wipes: please don't. If you have to, ignore any marketing they have about the wipes being flushable. They absolutely are not, and cause major issues for sanitation operators. Even the ones labeled septic safe really aren't, from what I understand the 'septic safe' marketing just refers to them not containing chemicals that will poison a septic system. They don't break down in a septic system like paper will.
by markerz | 2025-06-01 00:33:03+00:00
I think this is in competition to the EV air taxis. The vertical take off and landing is for dense urban areas. Basically the Uber of the sky. Like Uber Helicopter but electric.

Not sure it’s the future or anything like that. I just noticed they’re in the news more in the last few months. There’s some in CA, Texas, Las Vegas.

https://simpleflying.com/evtol-air-taxis/
by kouteiheika | 2025-06-01 00:34:04+00:00
They probably mean the algorithm, but nevertheless the YOLO models are relatively simple so if you know what you're doing it's pretty easy to reimplement them from scratch and avoid the AGPL license for code. I did so once for the YOLOv11 model myself, so I assume any researcher worth their salt would also be able to do so too if they wanted to commercialize a similar architecture.
by 0x53 | 2025-06-01 00:34:51+00:00
Love the idea and hope you are successful. I really think there is a lot of value to be unlocked in sharing/renting tools. In my area we have a tool library which is handy.

Some ideas: - I would focus a lot of effort on making it incredibly easy and intuitive to list things. This is one of the primary barriers to me when using these types of apps. - maybe future idea would be to list things from Home Depot or other stores to expand the number of rentals that are available.
by jandrewrogers | 2025-06-01 00:35:25+00:00
> Dose rates at the surface of the pacemaker are approximately 5 to 15 mrem per hour from the emitted gamma rays and neutrons.

Where are these gamma rays and neutrons coming from? The decay chain for Pu-238 is via alpha emission (Pu-238 -> U-234 -> Th-230 -> ...) which won't penetrate the casing.
by atleastoptimal | 2025-06-01 00:36:09+00:00
If by quantitative evidence you mean that very few have made it to series A, that doesn’t preclude the overall economic impact or potential of AI, solely that its a crowded field where the exact niches haven’t been ironed out yet. This is the same for all nascent industries, but to assume such implies it is all a scam with no economic viability feels more like wishful thinking than a reasonable inference from trends.
by jokethrowaway | 2025-06-01 00:37:24+00:00
You can build a pipeline where you use: GroundingDino (description to object detection) -> SAM (segmenting) -> Stable Diffusion model (inpainting, I do mainly real photo so I like to start with realisticVisionV60B1_v51HyperVAE-inpainting and then swap if I have some special use case)

For higher quality at a higher cost of VRAM, you can also use Flux.1 Fill to do inpainting.

Lastly, Flux.1 Kontext [dev] is going to be released soon and it promises to replace the entire flow (and with better prompt understanding). HN thread here: https://news.ycombinator.com/item?id=44128322
by neom | 2025-06-01 00:41:42+00:00
It professes to be able to do the business side of business (not literal product or technology development) - they did not have any agents to code or design, mine didn't either but has agents that can call tools, I don't think mine can build a product, but I believe mine can build, operate, and grow a business around one, I presume theirs will be able to also.
by jandrewrogers | 2025-06-01 00:47:43+00:00
This is kind of what I am talking about though. The whole point of async scheduling is that semaphores, locking, etc are unnecessary because you strictly control the CPU schedule and can dynamically rewrite the schedule such that the need for such mechanisms largely doesn't exist. This provides a qualitative performance boost for quite a few analytics and other workloads, which is the only reason we do it (since it is considerably more complex to implement).

If you aren't bothering to write a real scheduler then it becomes less clear why you would bother with true async. Lots of hassle for not much payoff.
by jaybrendansmith | 2025-06-01 00:49:15+00:00
You are arguing for the thing you are claiming to dislike. You think the college professor can't get a job at AWS? You think the college dropout deserves more respect than the professor? What's a lane? I would argue against lanes. This country should avoid having lanes, and classes, and castes. It should have as big of a middle class as possible, to allow for maximum numbers of college dropouts to become elite billionaires. Too bad killing colleges will destroy the middle class. Oh, well.
by david-gpu | 2025-06-01 00:49:59+00:00
Thanks for the link. I did have a quick look at the github repo yesterday, trying to find where this "default pytorch implementation" lives, but it wasn't immediately apparent due to the layers of abstraction in the code.

There's little doubt in my mind that the authors of the blog post went after the largest performance delta between their best AI-generated code and the default pytorch implementation, without looking into real-world nuances like "picking a good kernel out of a zillion options" or "production-quality output accuracy". It's cool that this sort of thing is being researched, but the results need to be taken with a grain of salt. Maybe I'm too jaded.
by wonderwonder | 2025-06-01 00:51:10+00:00
yeah, I thought the same thing. Steel tariff announcement is the first real test. Announcing the US Steel merger? / purchase? at the same time I think is part of the plan. I think he is going to stick this one out to prove them wrong. Would be interesting to see if TACO is even real, I could see someone on wall street opening a ton of puts, making the story up and then leaking the fake story to the reporter.

Mission accomplished.
by plentysun | 2025-06-01 00:51:23+00:00
Hey HN, author here.

I know the title is a bit provocative, so let me clarify the main idea. The point isn't that new grads should write bad code. It’s that focusing only on code perfection in your first year is a trap. The more important, higher-leverage skills to develop early on are understanding the people, the business context, and the existing systems.

The post itself is a no-fluff playbook for new grads covering three areas:

Navigating the Job: How to be a "human sponge" instead of just a code-writer. Building Wealth: The simple, automated money moves to make with your first paychecks (401k match, emergency fund). Personal Growth: A framework for growing without letting the job consume you.

I wrote it because it’s the advice I wish I had when I started out.

For the experienced folks here: what’s the one piece of non-technical advice you’d give a new grad?
by Lu2025 | 2025-06-01 00:51:37+00:00
> me too-ism from CEOs following Musk after the twitter reductions

I see evidence of a collusion. My friends at several tech companies (software and hardware) received very similar sounding emails in similar time frame. I think the goal was "salary compression". Management was terrified of the turnover and salary growth so they decided to act. They threw a bunch of people on the labor market at once to cool it down. It would normalize eventually but you don't need long. Fired H1-B holders have to find a new job within 2 months or self deport.
by jazzyjackson | 2025-06-01 00:51:42+00:00
That would be a nice way to tag it as context the bot should be aware of without eliciting a response from it, have it respond only when its a direct recipient.

Would be nice to have a natural language stack to tell a bit what I want it to do with each email. I spent way too many hours with Microsoft Power Automate just to say "when an email is from X and the subject line starts with RFQ\W+, download the attachment and save it as the matched name and add a row in a spreadsheet grabbing the tabular data from the email body" (pretty handy that I could insert data into spreadsheets without having to worry about auth, benefits of working within an ecosystem)
by __MatrixMan__ | 2025-06-01 00:51:59+00:00
I think it makes more sense if it's people that we find trustworthy, rather than websites. So there would need to be some place the client could look to find all of that person's content, regardless of which site it was posted on (something along the lines of https://solidproject.org/). Or if not a copy of the content, then at least a hash and a signature.

So for instance if you're browsing reviews on amazon you could filter to reviews in your trust network, and your browser would match the content to what your peers have published and verify that yes indeed, they wrote that review. It's gotta be hosted elsewhere so Amazon can't tamper with it.

Also, in order for it to have enough reach I think it would have to be recursive, so it's not just the stuff your explicitly trusted peers have posted/endorsed, but all the stuff from their peers, and their peers, and so-on. Sometimes this implicit FoaF chain could be quite long without being a problem, but if you start running across harmful content, you could explicitly prune the tree in those places, and your explicit distrust would persist so that those parties couldn't reach you thereafter.