MurphyA/hacker-news huggingface dataset:
by anitha_sniffr | 2025-11-06 11:24:19+00:00
We built Sniffr ai, an AI-powered code reviewer that plugs into GitHub, GitLab, and Azure DevOps. It doesn't just look at syntax — it analyzes intent, architecture, and requirement alignment.

Motivation: Our sprints were constantly delayed in "Pending Review." Automated tools caught syntax issues but missed logic and product intent. So we built a reviewer that maps PRs to Jira stories, blends static analysis with LLM reasoning, and feeds metrics into DORA dashboards.

Current results: • ~50% faster PR turnaround • ~30% fewer QA defects • Real-time review health metrics

We’re running an open benchmark: if another AI reviewer gives clearer or more useful feedback than Sniffr ai, we’ll happily send a $100 Amazon Gift Card as thanks for proving it. (Details on our site.)

We’d love feedback from the HN community: – How do you automate code review in your CI/CD? – What metrics actually reflect review quality?
by cpfohl | 2025-11-06 11:24:36+00:00
We had the diagnosis before I started with the LLM. The radiology showed the problem and the surgeries worked. Down to an ultrasound a year now!

We took him to our local ER, they ran tests. I gave the LLM just the symptom list that I gave to the ER initially. It replied with all the things they tested for. I gave the test results, and it suggested a short list with diagnostics that included his actual Dx and the correct way to test for it.
by PretzelJudge | 2025-11-06 11:25:09+00:00
The sentiment here is right, but redis does make a difference at scale. I built a web app this year on AWS lambda that had up to 1000/requests/second and at that scale, you can have trouble with Postgres, but redis handles it like it’s nothing.

I think that redis is a reasonable exception to the rule of ”don’t complicate things” because it’s so simple. Even if you have never used it before, it takes a few minutes to setup and it’s very easy to reason about, unlike mongodb or Kafka or k8s.
by Trev123 | 2025-11-06 11:25:20+00:00
This post hits close to home, I've run into all of these myself.

On checksums: Incremental updates are the path of least pain only if the packet’s checksum is valid and not CHECKSUM_PARTIAL. With modern offloads (TSO/GSO/GRO/checksum offload), the checksum visible to XDP is often zero/garbage because the NIC fills it later. In practice, either disable offloads for that traffic or recompute from scratch with bpf_csum_diff() plus bpf_l3_csum_replace() / bpf_l4_csum_replace().

The verifier: This is a fun one, when you make a small change and suddenly the verifier won't allow it.

And the moment you start modifying packets too much yourself, you're on the hook for everything the kernel used to do for you.

I once went down the rabbit hole of building a minimal TCP stack, and the experience was exactly as you'd expect. Getting to 95% done felt quick, but that last 5% was a nightmare (if 100% is even achievable)
by lxgr | 2025-11-06 11:25:36+00:00
> Yet at the same time google have the worst offering of all the major players (all starting up out of thin air) in this space.

Is that so? Gemini Models (including Nano Banana), in my experience, are very good, and are kneecapped only by Google’s patronizing guardrails. (They will regularly refuse all kinds of things that GPT and Claude don’t bat a weight at, and I can often talk them out of the refusal eventually, which makes no sense at all.)

That’s not something Apple necessarily has to replicate in their implementation (although if there’s one company I’d trust to go above and beyond on that, it’s Apple).
by MrsPeaches | 2025-11-06 11:25:44+00:00
I didn’t say, nor do I assume, people are inept at repairs. I said that the communities that are being targeted with off-grid solar don’t currently have the skills or infrastructure required to maintain these systems.

It’s something I’ve seen with my own eyes and that I’ve read in academic literature as a widespread problem. Cross and Murray 2018 [1] being one the first papers to talk about it, I saw it myself for the first time around that time in Tanzania.

I stayed in a village where each house had at least 2 broken solar lanterns stored in a corner (like those old routers people love to keep).

The next closest repair shop was first 30min motorbike ride then a 2 hour bus ride away.

This was a village of 8,000 people.

Yes, the person with a diploma from the local technical college can fix a lot of things but they live in the local town with grid electric etc. They don’t live in these remote rural regions where off grid is so important/impactful.

[1] https://www.sciencedirect.com/science/article/pii/S221462961...

Edit:

The solution is to teach more people how to design, build and maintain solar energy systems so that the skills are embedded in off grid communities and give them the tools to carry out the work. You can do a lot with a soldering iron and good grasp of electronics!
by forgotpwd16 | 2025-11-06 11:25:45+00:00
Regarding goals, from a quick check on both, the essential difference is Cure has dependent types with SMT-backed validation. So, as mentioned in homepage, is oriented towards domains requiring correctness over convenience, whereas Gleam targets general development. (Beyond goals for anyone that hasn't heard Gleam before, Cure appeared out of nowhere recently and seems like AI slop, Gleam exists for few years and people are using it to make actual projects.)
by anthk | 2025-11-06 11:26:57+00:00
There's Florb, a client for Open Street Maps written in FLTK, almost like a DIllo's cousin in concept.

Pro: as light as Dillo. Cons: You need OCaml's OMake in order to build it, but DIllo's author it's OFC aware of it and he might migrate the OMakeFile to a single Makefile.

https://github.com/shugaa/florb
by kragen | 2025-11-06 11:27:15+00:00
To do this as efficiently as possible, it's probably worthwhile to use a higher radix and shorter macro names. For example:

$ cc -E - <<. > #define A(x) x x x x x x > #define B(x) A(x) A(x) A(x) A(x) > #define C(x) B(x) B(x) B(x) B(x) > C(Noooooo) > .
by NYCNews | 2025-11-06 11:27:32+00:00
By Dan Gesslein Bronx Voice November 5, 2025

BRONX LOCAL NEWS - The NYPD is looking for a man for allegedly groping a female rider on a Bronx MTA bus. The suspect also broke the victim’s phone when she tried to take a photo of the suspect.

The NYPD is asking for the public’s help identifying a man wanted in connection with a forcible touching incident that took place on Halloween morning in the Bronx.

According to police the incident took place around 10 a.m. on October 31, aboard a BX19 MTA bus as it approached East 149th Street and Brook Avenue — within the 40th Precinct.

Investigators say a 36-year-old woman was on the bus when an unidentified man came up from behind and repeatedly pressed his body against her over her clothing.

When the victim tried to take a photo of the suspect, police say he knocked the phone out of her hand, causing a small cut on her finger. The man then took off on foot in an unknown direction. The woman refused medical attention at the scene.

The suspect is described as a male who was last seen wearing a dark-colored sweatshirt, a black vest, gray sweatpants, and blue-and-white sneakers.

If you recognize this individual or have any information about the incident, you’re urged to contact the NYPD’s Crime Stoppers Hotline at 1-800-577-TIPS (8477). Spanish-speaking callers can dial 1-888-57-PISTA (74782). Tips can also be submitted online at crimestoppers.nypdonline.org or via X (formerly Twitter) at @NYPDTips.
by duckmysick | 2025-11-06 11:27:51+00:00
> Companies like SunCulture (who used to be a customer of ours) started maintaining all their customers on spreadsheets. But with high volume low-value sales, you need to have good software to manage this.

That's pretty interesting. Can you tell us more what kind of problems your software solved and how you convinced them to move from the spreadsheets?

I tried something similar (in another industry) and it's a mixed bag. Companies often straight up refuse to move past the spreadsheets even though it creates a significant backlog on their side.
by macspoofing | 2025-11-06 11:27:59+00:00
>It's sure a corny stance to hold if you're navigating an infrastructure nightmare daily, but in my opinion, much of the complexity addresses not technical, but organisational issues: You want straightforward, self-contained deployments for one, instead of uploading files onto your single server ...

You can get all that with a monolith server and a Postgres backend.
by dale_glass | 2025-11-06 11:28:47+00:00
Where I think TUIs had a niche GUIs don't quite reproduce is in the very particular way DOS TUIs processed input.

An old school DOS TUI reads keyboard input one character at a time from a buffer, doesn't clear the buffer in between screens, and is ideally laid out such that a good part of the input is guaranteed to be fixed for a given operation. They also were built without mouse usage.

So an operator can hammer out a sequence like "ArrowDown, ArrowDown, ENTER, Y, ENTER, John Smith, ENTER" and even if the system is too slow to keep up with the input, it still works perfectly.

Modern GUIs almost never make this work near as well. You need to reach for the mouse, input during delays gets lost, the UI may not be perfectly predictable, sometimes the UI may even shift around while things are loading. Then also neither does Linux, I find that the user experience on DOS was far better than with ncurses apps that have all kinds of weirdness.
by crote | 2025-11-06 11:28:56+00:00
Also from The Netherlands, this is 100% condescending and patronising to me. I read this as corporate-speak for "go fuck yourself". Let's go through it line-by-line:

> I'm sorry for how you and the Japanese community feel about the MT workflow that we just recently introduced.

"We have zero regrets about the changes we made and have no intention of making any changes - the problem is how you feel about them".

> Would you be interested to hop on a call with us to talk about this further?

"I can't be bothered to engage with the points you already raised. You can do some venting in a Teams call, but we don't want there to be a record so we can't be held to any promises we might accidentally make."

> We want to make sure we trully understand what you're struggling with.

"You are the problem: you haven't embraced our glorious changes yet. Accept our "help" to adapt to your new reality, or get out"

So no, that's not what you'd write if you genuinely wanted to help: that's what you write when you want to get rid of someone who is bothering you.

If they genuinely wanted to help, the response would've read something more like this:

> Dear marsf, > It is shocking to me to learn that our recent rollout of sumobot has caused enough friction to make a 20-year veteran of our community quit. Our intention has always been, and will always be, to use new technology like sumobot to help our communities - not harm them. Reading your report, we have clearly failed at that. > To prevent it from doing additional damage, we have chosen to pause sumobot for the moment. We still believe that it can become a valuable tool, but it'll remain paused until we have discussed its modes of operation and the impact it has on the way you contribute with representatives of the various communities. We'll work out an approach over the following weeks. > I hope this is sufficient for now to change your mind about leaving - people like you are essential to open-source applications like Firefox. If you wish to discuss it face-to-face, my team and I am more than happy to hop on a call with you to make sure we are doing the right thing.
by jimbo808 | 2025-11-06 11:29:14+00:00
Do you not realize how much of a constant, non-trivial challenge identifying foreign nationals is for immigration officials? Forged identities, corrupt/bribed document offices, stolen identites, state-backed agents, etc are all a constant threat. These are not citizens, these are foreigners electing to seek the privilege of entering a country that is not their own. Using technology to mitigate these very real threats should not be controversial. We do it with fingerprints.
by adornKey | 2025-11-06 11:29:17+00:00
This article is a good starting point for researching stupidity. Nowadays stupidity is big on the rise to power, so I appreciate anything going into researching it. The article calls the stupid unpredictable, but I think most of them are very rational emotion maximisers.

Motivation for stupid people is often an imaginary gain. They think they do something for society or themselves, but the payment is only in emotions. From the outside this looks stupid, but for the stupid the gains are often very measurable feelings.

In the end the psychology of stupidity isn't that different from normal rational psychology. Adding emotions to capitalistic thinking can also be used to explain "Stupidity in large groups". The stupid get good vibes from others around while just causing a total loss for everyone. Maybe this is a starting point for counter measures...

I think the most dangerous people out there are the good helping stupids that just want to help - and just make everything worse. They get a lot of gain from the emotions that they did something good.
by sjamaan | 2025-11-06 11:29:34+00:00
Sounds like the best type of place to work for me. Instead of being a replaceable cog in a meat grinder that doesn't even pay well, working with boring tech, you get to work with talented people in an actually interesting language and get decently paid.

And best of all, you don't feel the need to keep chasing after the latest hype just to keep your CV relevant.
by actionfromafar | 2025-11-06 11:30:22+00:00
I know people who can wrangle k8s and set up rules in whatever it's called to spin up and down the whole kaboodle of services effortlessly. It's like they know a whole level of programming I'm not familiar with, at all. I know the dotnet stuff pretty well, after many years fiddling with it. I do stuff in dotnet now I didn't have even terminology to talk about before. What they do in k8s and friends reminds me of that.

I personally don't care for it and if I design something I make it so it avoids that stuff if I can at all help it. But I've come to see that it can have real value.

The thing is though, that then you really need someone to be that very competent ops person. If you're a grug like me, you don't get many shots to be good at something. I probably don't have the years in me to be good at both ops and "pure" programming.

So if you are a startup and you're not some kind of not only very smart but smart, fast and with taste, maybe pick your battles.

If you are great at the ops side, ok, maybe design it from that perspective and hire a bunch of not-made-of-unobtainium regular middle-of-the-road coders to fill in what the microservices and stuff should contain and manage those. This requires money for a regular hiring budget. (Or you are supersmart and productive and "play pretend enterprise" with all roles yourself. But I have never seen such a person.)

Or focus on a tight design which can run without any of that, if you come more from the "I'm making a single program" part of the world.

Tinkering syndrome can strike in any kind of design, so you need personal maturity whatever path you choose.
by inferiorhuman | 2025-11-06 11:30:47+00:00
the hot water can damage the water softener in your dishwasher

Most dishwashers in the US don't come with water softeners. AFAIK European made American market Bosch 500/700 series ones do, but the American made ones do not. Both would be designed for connection to a hot water supply.

As heated air drying (in the US) has fallen out of favor, hot rinse water will help things dry faster. To that end my Bosch dishwasher has an option to increase the temperature of the rinse water.
by kaon_2 | 2025-11-06 11:30:52+00:00
Yes and no. You are right that indoor cooking (or outdoor on wood) is indeed one of the biggest causes of death worldwide. It dwarfs deaths by malaria. And where people don't die, it causes respiratory issues. I don't know the math but it is similar to smoking X cigarettes a day.

- sidenote - You always learn that in centuries past, people didn't grow old. I never knew why but my current suspicion is that air pollution by stoves and hearths was probably the top 3 cause.

However, cooking isn't (yet) solved by solar. Making heat from electricity is hard! Clean Cooking solutions often use propane, butane, or wooden pallets. Clean Cooking companies face all of the same issues as the Off grid solar companies of this article. But you'd be surprised that it is really considered a different industry. Customers and price plans are the same, but funding often comes from different sources.

Making affordable, electric, clean cooking solutions would be one of the most impactful inventions of our generation. Even then, challenges remain: No cultural activity is as steeped in tradition as cooking, and convincing people to change this, resulting in different tasting meals, is hard. Particular if it is the man deciding on the money, and the woman doing the work.
by p_l | 2025-11-06 11:31:13+00:00
The references to "budget line" were from contemporary sources, and that it was heavily reduced in cost - while terminal sequences were more of "simple matter of programming" ;-) My understanding that some of the features like changing cursor shape were related to the rudimentary custom font feature which was retained from more expensive 3xx line and which accepted IIRC sixel-encoded bitmap fonts.

Funnily enough, the one VT510 I had for some time actually came from a VHS rental place that for reasons unknown to me ran Blockbuster Video customized VAX 6.1 on Alpha (which I also grabbed). BBV was not very well known in Poland, but this specific machine had unwiped disks and logs showing it was used from 1996 to 2000, then it was found lying in a corner when a moving service was asked to clean out a location after a tenant that came in after the video rental.

There was probably a DECserver missing somewhere in the pile before I got my hands on it ;)
by anthk | 2025-11-06 11:31:34+00:00
I run OpenBSD 7.8 under an i386 ATOM netbook, n270 CPU and 1GB of RAM. I hav no Rust, but I have C++, JimTCL, nim (I compled Chawan). Go runs, too. Maybe I can't compile LLVM in my netbook, but a tuned up machine with 2-4GB of RAM might be able to do such task with a bit of swap in a SSD and boosted up login.conf limits.
by rsynnott | 2025-11-06 11:31:34+00:00
This is largely a function of their brand positioning. There are about 20 models of car under about 6 brands on the VW MEB platform, all, well, very similar (except the weird microbus thing). Tesla has instead chosen to go for two models under one brand.

Both are _valid_ approaches, and you see both from other companies (eg GM leans into the many brands thing fairly heavily, BMW is single brand few models), but it does make claims of "this is the best selling vehicle" rather uninteresting.
by tux3 | 2025-11-06 11:31:35+00:00
In this case AlphaEvolve doesn't write proofs, it uses the LLM to write Python code (or any language, really) that produces some numerical inputs to a problem.

They just try out the inputs on the problem they care about. If the code gives better results, they keep it around. They actually keep a few of the previous versions that worked well as inspiration for the LLM.

If the LLM is hallucinating nonsense, it will just produce broken code that gives horrible results, and that idea will be thrown away.
by grvdrm | 2025-11-06 11:31:53+00:00
Your reply reminds me of a work situation at a prior start up.

CEO seen as brilliant. On the tail in your words.

I was talking to head of sales about the CEO and his statement was this: these types of people are the easiest to manipulate.

Not exactly what you said but similar idea. It’s stuck with me that the smartest person in the room might also be the most vulnerable in numerous situations. That doesn’t mean I prefer lower IQ. But it’s helped me normalize how I communicate with people.
by qsort | 2025-11-06 11:33:01+00:00
We don't, but the point is that it's only one part of the entire system. If you have a (human-supplied) scoring function, then even completely random mutations can serve as a mechanism to optimize: you generate a bunch, keep the better ones according to the scoring function and repeat. That would be a very basic genetic algorithm.

The LLM serves to guide the search more "intelligently" so that mutations aren't actually random but can instead draw from what the LLM "knows".
by rsynnott | 2025-11-06 11:33:06+00:00
Even discounting the economics, leaning into something which is liked by 20% of the population and loathed by everyone else is poor brand positioning.

Also, I feel like "I wasn't going to buy this, but the CEO did a Nazi salute and I like Nazi salutes so I'll buy it" is a much weirder and less probable phenomenon than "well, I was going to buy this, but the CEO did a Nazi salute so fuck no". Political affinity isn't really enough to make people buy what they otherwise weren't going to buy, but political anathema _will_ be enough to put people who were potential buyers off.
by anthk | 2025-11-06 11:33:28+00:00
Rust it's worse for that; for full reproducibility you almost need to create a release-centipede from an old GCC-rs (or GCC) compilable release to the current one. At least that's the norm under Guix.

On cproc, cparser, I meant that we have no lightweight c++ compilers and sadly the closest to cparser in lightness it's clang++, because it's either that or the g++ behemoth.
by jobigoud | 2025-11-06 11:34:15+00:00
I don't understand some of these comments. Start firefox, pick profile, opens a window in the selected profile.

The only weirdness is when you have multiple windows of different profiles opened at the same time and you open a link from a different application it may open it in the last used window which may not be the one you wanted. But then you can of course just drag and drop the tab from one window to the other.
by bregma | 2025-11-06 11:34:23+00:00
> counter circuits were shared with the refrigerator

Ouch. Code here (Ontario) is that not only does the fridge need a separate circuit, but counter outlets need two separate circuits: each socket on the duplex outlet is required to be on a separate circuit (although multiple outlets can all share the same two circuits, but you're supposed to alternate top and bottom).

Of course, if your home is older than I am or it's a handyman special, all bets are off. If I run the microwave while someone is vacuuming in another part of the house it'll trip the breaker.
by simonw | 2025-11-06 11:36:44+00:00
I didn't author this piece. I quoted it from an amusing TikTok, which I linked to at the bottom. Here's that TikTok in full: https://www.tiktok.com/@belligerentbarbies/video/75683800086...

I've been quite entertained at how quoting a (very funny) joke on TikTok has resulted in a 400+ comment thread on Hacker News.