MurphyA/hacker-news huggingface dataset:
by ch4s3 | 2025-07-24 15:38:42+00:00
That's not true either[1]. Neither he nor his mother were customers of or covered by United. Again, his parents are very wealthy people who own a cut rate nursing home, they are the kind of villains he was claiming to attack.

[1] https://www.cnn.com/2024/12/13/us/ceo-shooting-luigi-mangion...
by elcritch | 2025-07-24 15:38:43+00:00
There's many fields where paying 10% extra on parts is more than worth it for shorter and more reliable supply chain. Not to mention probably better for the environment as well. The price for parts is often a small piece of the overall costs.

Seems other agree with me on that:

> And while many companies fear that moving their manufacturing to the U.S. would cost significantly more, some experts estimate that wafer production at the Arizona site is only about 10% more expensive compared to Taiwan. Despite that, the company says that its customers are willing to pay a higher price, with production already sold out until late 2027.

Also interesting that many of the new tariffs settle down to around 10%. That seems like a good balance for the US, and also similar to what European tariffs have been for many industries.

IMHO, the idea of entirely free trade is as dumb as excessive trade barriers. It's like trying to model people as purely rational agents. We're not. It's a decent starting point but we need perturbative models based on empirical information of human biases.

The ideal solution for tariffs is likely a distribution function with a peak around 5-15% with a steep drop off toward 0% and a longer tail for higher tariffs. Because 0% just leaves you open to any market manipulations of malicious foreign actors and corporations looking to offshore for a few cents of profits while higher tariffs lead to increasing protectionism and local companies becoming lax and inefficient.

That would just so happen to align well with these extra cost to manufacture in the USA in this instance.
by andrewflnr | 2025-07-24 15:39:08+00:00
Let me quote your previous comment:

> An intelligence without emotions would be a psychopath. Empathy is an emotion

"Empathy is an emotion" was, in fact, an essential part of your syllogism.

Regardless, we're potentially talking about something sufficiently inhuman that the term "psychopath" can no longer apply. If there was an ant colony that was somehow smart enough build and operate machinery or whatever and casually bulldozed people and their homes, would you call it a "psychopath", or just skip that and call it "terrifying"?
by bko | 2025-07-24 15:39:15+00:00
Sure he cuts back his calories, but 70 hotdogs is about 21k calories. I don't think he goes into a 21k calorie deficit over the next few weeks. That's an insane deficit. That would be the equivalent of not eating for 8.5 days, which is not possible since it would mess with his training. He probably cuts it back some fraction of that, say 10k and his body's increased metabolism adjusts for the rest.
by masklinn | 2025-07-24 15:39:21+00:00
Also forget about that bit:

> They should add some “brake cleaning” mode to temporarily disable regenerative braking.

Some manufacturers do that (iirc tesla calls it burninshing, others will switch regen off completely if you switch to neutral or something).

I've read that Audi and Porsche will use regular brakes once or twice at the start of every drive instead of regen, I assume using electronic control to imitate the current state of regen braking.
by iambateman | 2025-07-24 15:39:45+00:00
Using an LLM is also thinking, when used as such.

This morning I asked ChatGPT a question about how Quickbooks handles charts of accounts compared to NetSuite. It answered my question better than anything else would have.

Also, I'm currently using Claude Code to fix some bugs -- it's handling the heavy lifting while I think about what needs to happen.

I'm in favor of human writing as an underrated tool of culture-making...but the scope of what counts as "thinking" is expanding.
by somenameforme | 2025-07-24 15:40:10+00:00
> "This is btw. usually all before I even established if the content is what I was looking for, or is at any way useful to me (often it is not)."

This is the huge one for me. If you search for something in natural language, the results you get on any search engine completely suck - yet ironically the AI overview is generally spot on. Search engines have been stuck in ~2003 for decades. Now the next 'breakthrough' is to use their LLMs to actually link to relevant content instead of using pagerank+ or whatever dysfunctional SEO'd algorithm they're still using.
by florianherrengt | 2025-07-24 15:40:13+00:00
You're describing exactly what I distinguish as legitimate AI use, not vibe coding. You're an experienced dev who understands your system deeply, making architectural decisions ("no locks, pass messages instead") and using Claude to implement specific, well-defined tasks faster. The key difference: you could do everything yourself and Claude is doing the typing for you. When you say "None of the above would stump me as an experienced dev", that's the opposite of vibe coding. You're using AI as a typing accelerator for a codebase you understand, not as a replacement for expertise you never developed.
by recursivedoubts | 2025-07-24 15:40:47+00:00
Type systems, like any other tool in the toolbox, have an 80/20 rule associated with them. It is quite easy to overdo types and make working with a library extremely burdensome for little to no to negative benefit.

I know what a UUID (or a String) is. I don't know what an AccountID, UserID, etc. is. Now I need to know what those are (and how to make them, etc. as well) to use your software.

Maybe an elaborate type system worth it, but maybe not (especially if there are good tests.)

https://grugbrain.dev/#grug-on-type-systems
by tonymet | 2025-07-24 15:40:51+00:00
They address this briefly in the article (though inadequately) , that tire particles are heavier and doesn’t end up in the air like brake dust.

But you do raise a good point at the holistic condition, and assessing a broader population with less than ideal configuration.

They are looking at lightweight EVs at lower speeds. But Americans drive heavier EVs at highway speeds. The rotors & pads are huge.
by mariocandela | 2025-07-24 15:41:49+00:00
Hello everyone

I wanted to share a project I've been working on that I think you'll find really interesting. It's called Beelzebub, an open-source honeypot framework that uses LLMs to create incredibly realistic and dynamic deception environments.

By integrating LLMs, it can mimic entire operating systems and interact with attackers in a super convincing way. Imagine an SSH honeypot where the LLM provides plausible responses to commands, even though nothing is actually executed on a real system.

The goal is to keep attackers engaged for as long as possible, diverting them from your real systems and collecting valuable, real-world data on their tactics, techniques, and procedures. We've even had success capturing real threat actors with it!

I'd love for you to try it out, give it a star on GitHub, and maybe even contribute! Your feedback, especially from an LLM-centric perspective, would be incredibly valuable as we continue to develop it.

Let me know what you think in the comments! Do you have ideas for new LLM-powered honeypot features?

Thanks for your time!
by sczi | 2025-07-24 15:42:21+00:00
Also the referenced post is about them acquiring plataformatec, not about using elixir. Jose Valim (the creator of elixir) left plataformatec after the nubank acquisition in order to continue developing elixir, I've never heard of nubank using elixir, afaik they're solidly a clojure shop with no plans on changing.
Ask HN: Should HN have a "Limited Offers" tab where posts can be deleted?
by amichail | 2025-07-24 15:42:26+00:00
It's important to be able to delete a post with a limited time and/or quantity offer, since keeping it up permanently would devalue your product.

In particular, your product would show up in Google searches with the old offer, and people would then be reluctant to pay full price.
by mariocandela | 2025-07-24 15:42:26+00:00
Hey folks

Imagine your AI agent getting hijacked by a prompt-injection attack without you knowing. I'm the founder and maintainer of Beelzebub, an open-source project that hides "honeypot" functions inside your agent using MCP. If the model calls them... BEEP! You get an instant compromise alert, with detailed logs for quick investigations.

Zero false positives: Only real calls trigger the alarm.

Plug-and-play telemetry for tools like Grafana or ELK Stack.

Guard-rails fine-tuning: Every real attack strengthens the guard-rails with human input.

Read the full write-up → https://beelzebub-honeypot.com/blog/securing-ai-agents-with-...

What do you think? Is it a smart defense against AI attacks, or just flashy theater? Share feedback, improvement ideas, or memes.

I'm all ears!
by bbkane | 2025-07-24 15:42:31+00:00
I was doing this and used it for a year in https://github.com/bbkane/warg/, but ripped it out since Go auto-casts underlying types to derived types in function calls:

Type userID int64 func Work(u userID) {...} Work(1) // Go accepts this

I think I recalled that correctly. Since things like that were most of what I was doing I didn't feel the safety benefit in many places, but had to remember to cast the type in others (iirc, saving to a struct field manually).
by bombela | 2025-07-24 15:43:16+00:00
Google search has worsened so badly. That right know it's impossible to resist using one of those free for a taste LLM service.

And the feeling is similar to how using Google on the 2004-2014 web was.

It used to be Google would return a huge list or relevant links. Loading all of them was quick. Skimming the content was quick.

Now every search is a massive ad. Every site is slow to load full of ads and useless slop. Slop which was written manually at first, then accelerated with Markov chains, now at light speed with LLMs.

So an LLM is required to filter through the LLM slop to find the tiny bit of real content.
by tekkk | 2025-07-24 15:43:41+00:00
Hah. Sure buddy, Mr. Sr Dev. Sorry if I offended you and your vast experience. Without types there definitely aren't type bugs, I grant you that, and JVM languages are quite different to TS. I don't know if your argument on type erasure is any better than advocating for dynamic typing but it definitely happens when you just start throwing anys.

And look, I'm first to admit that TS type system isn't perfect (and it can cause some devs to go overboard) but I have read my share of Python scripts that were read-only from the minute they were born.

It sounds like you’re really trying to justify something and that’s great for you. I’m really happy for you. Keep it up. May you soar where no junior dev has dared to soar before. God speed.

And please, your condescension just sounds insecurity to me. It's highly amusing though that you try to play me down as a silly junior dev, I'm quite satisfied that my original assessment was correct.
by kyle-rb | 2025-07-24 15:43:46+00:00
There's a company, currently called Tie (meettie.com), formerly known as Revenue Roll, who promises to "de-anonymize your highest value web traffic", which in practice means that they give you an email address for retargeting, for a user who visited your site without ever explicitly providing any identifying info.

The old site had a blog post [0] where they explicitly said they were using fingerprinting, and even called it "privacy-compliant".

I'm sure they're not unique in the service they provide, but that was the first time I'd seen someone brag about browser fingerprinting.

[0] https://web.archive.org/web/20240527125312/https://www.reven...
by cryptonector | 2025-07-24 15:44:03+00:00
Does hyperb compile PB types into something like a byte-compiled or AST description of them that it then interprets at run-time?

EDIT: Yes https://github.com/bufbuild/hyperpb-go/blob/main/internal/td...

This is very cool. The ASN.1 compiler I [sort of] maintain has an option to generate C code or a "template", and the "template" is just an AST that gets interpreted at run-time. I did not come up with that idea, but the people who did did it because it's faster to do the AST interpretation thing than to generate lots of object code -- the reason is that the templates and the template interpreter are smaller than the object code for the alternative, and cache effects add up.
by IAmGraydon | 2025-07-24 15:44:11+00:00
This seems to have been mostly lost as it isn't a popular technique anymore, but copywork used to be commonly used in learning how to write. Basically, learners copy out high-quality material word-for-word. The goal isn't just rote repetition, but to internalize structure, style, and rhythm, observe expert-level decisions, and build muscle memory for good habits.

Yes, it works, and it's a great way to approach learning to code as well.
by apercu | 2025-07-24 15:44:13+00:00
I was hoping for more about music in the article. I have played electric bass and guitar for a long time. It did't take long to realize that you'll find a a few patterns:

- Players have tendencies that they repeat

- Genres have vernacular which you need to learn in order to sound right

- Often original sounding bands and artists "found" their sound by trying to emulate something else (another artist or band).

I don't read a lot of code these days, but I do remember some of this from back in the day - we all have style tendencies (e.g., tabs, spaces or where we start parens, etc.).
by josephg | 2025-07-24 15:44:15+00:00
Yep. For this reason, I wish more languages supported bound integers. Eg, rather than saying x: u32, I want to be able to use the type system to constrain x to the range of [0, 10).

This would allow for some nice properties. It would also enable a bunch of small optimisations in our languages that we can't have today. Eg, I could make an integer that must fall within my array bounds. Then I don't need to do bounds checking when I index into my array. It would also allow a lot more peephole optimisations to be made with Option.

Weirdly, rust already kinda supports this within a function thanks to LLVM magic. But it doesn't support it for variables passed between functions.
by taeric | 2025-07-24 15:44:32+00:00
I think it is safe to say that 10-15 hours of cardio a week is far far more than most people get. Hick, 6-10 hours of exercise a week is almost certainly multiples of what most people do. :D

But, yeah, I was meaning volume as well as certain types. As I understand it, at the elite levels, you actually have to train your body in how to consume enough to stay active for the full event. It isn't like you can just down a few cheese burgers and then head off to a race.

Ice cream remains an amusing one, to me. People are convinced it is among the worst snacks you can do, and yet I have yet to meet a very active person that doesn't love some form of ice cream on a regular basis.
by firesteelrain | 2025-07-24 15:44:38+00:00
I'm not going to be all high and mighty then say that tests should have caught this since Apache has tests. I am not sure why RewriteCond expr is even valid at all since expr typically needs an expression to come after it like RewriteCond expr "'cache/%{md5:%{REQUEST_URI}?%{QUERY_STRING}}.html' =~ /(.+)/".

The bug appeared to be introduced on July 7 with a backport from trunk:

https://github.com/apache/httpd/blame/ed99ef021de902363c36af...

It took me a second but the fix addresses the case where rc==0. If statement is less than 0. Therefore, rc==0 should indicate no match. https://github.com/apache/httpd/commit/8abb3d06b23975705ebcf...

I suppose because there is also the conditional for err?
by jedimastert | 2025-07-24 15:45:11+00:00
When I was tutoring freshman computer science, I used to do some live coding demos on their computer, but use swear words for pretty much every variable and string. They saw the code, they would have to attempt at least to understand the code, and then they would have to destroy the code so they wouldn't accidentally send the professor something laden with swear words. Good times
by reverendsteveii | 2025-07-24 15:45:12+00:00
the concept is the same: do you do work in advance and bear the cost of storing it and maybe not using it, or do you do work as-needed and hope that the additional cost of trying to deliver immediately is less than the cost of storage and overrun? the answer seems to be the same, too, "depends on whether you have resources to spare and whether the environment is stable enough to count on immediate delivery"
by hiAndrewQuinn | 2025-07-24 15:45:17+00:00
I agree with your point. In the name of promoting basic numeracy:

"""

Sign up for GitHub Sponsorship and create the tiers: Small organization (< 20 people): $10/mo Medium organization (20-100 people): $40/mo Large organization (> 100 people): $60/mo

"""

You are beyond 'cash strapped' if $10/month for something as fundamental as this breaks the bank. The fully loaded cost of a single US software developer is already above $100/hour.
by Lonestar1440 | 2025-07-24 15:45:23+00:00
Overall US Energy production has been expanding, faster, each recent year. https://www.eia.gov/energyexplained/us-energy-facts/. This is all before you factor in the recent attention to Nuclear, which could come online within the next decade.

The ice caps may be worse off for it, but there's little reason to think the USA will cease to "lead in energy" anytime soon.
by slashdev | 2025-07-24 15:46:04+00:00
How would this work differently? As soon as you encounter a checksum failure, you can't trust anything from that point on. If the checksum were just per-page and didn't build on the previous page's checksum, you can't just apply pages from the WAL that were valid, skipping the ones which were not. The database at the end of that process would be corrupt.

If you stop at the first failure, the database is restored to the last good state. That's the best outcome that can be achieved under the circumstances. Some data could be lost, but there wasn't anything sensible you could do with it anyway.
by ta1243 | 2025-07-24 15:46:06+00:00
> you want every supporter to be able to have some reasonable hope.

The England game a couple of nights ago. On paper England were better before hand, but Italy were winning until the last minute of injury time. Some England fans had already left the stadium, then in goes the goal, then extra time, then just as it looks like another horrendous penalty shootout there's a foul in the box and England take it, then the goalie stops it, but then it goes in.

Certainly a rollercoaster for both sets of fans.
by bcrosby95 | 2025-07-24 15:46:15+00:00
Using basic types for domain concepts is called 'primitive obsession'. It's been considered code smell for at least 25 years. So this would be... not being primitive obsessed. It isn't anything driven development.

Different people draw the line in different places for this. I've never tried writing code that takes every domain concept, no matter how small, and made a type out of it. It's always been on my bucket list though to see how it works out. I just never had the time or in-the-moment inclination to go that far.
by eulers_secret | 2025-07-24 15:46:18+00:00
Hyundai/Kia use a traditional 6-speed auto in their hybrids. I drive one, the engine stays at a few RPM stepping points during most driving (it likes ~1600RPM, ~2200RPM, and ~3600RPM). I had a Prius previously, and I like this different setup because it reduces "engine droning noise", which was terrible on the Prius.

Though H/K have recently introduced a new hybrid system with a CVT, so maybe 2026 or 27 model years will be different.

Since I'm only making one comment, I also want to say hybrid cars are better than ICE because there are fewer belt-driven accessories. Aircon in particular on an electric motor is a big improvement. Without the idling engine producing heat, hybrids are much nicer in hot stop-and-go conditions!

Also my Prius made it its whole life (200k miles and ~20 years) without ever changing the brake pads... amazing!
by pajuhaan | 2025-07-24 15:46:25+00:00
I totally agree; the inability to experimentally falsify most quantum gravity theories is indeed a huge pain that has haunted theoretical physics for over 80 years.

But here's a thought: what if a completely new approach emerged, one that didn't start with 11-dimensional strings, M-theory, or quantizing General Relativity directly? after all, 100% quantum gravity candidates still assume the standard 4-dimensional spacetime as described by GR +smt extra, then attempt to quantize it!

But imagine if we had a fundamental theory from which gravity and GR themselves emerged naturally and effortlessly—making General Relativity merely an emergent phenomenon of something "much simpler"

Wouldn't a theory like that be worth more than 50 cents?
by mcflubbins | 2025-07-24 15:46:45+00:00
I've actually seen this before and didn't realize this is exactly what the goal was. I just thought it was noise. In fact, just today I wrote a function that accepted three string arguments and was trying to decide if I should force the caller to parse them into some specific types, or do so in the function body and throw an error, or just live with it. This is exactly the solution I needed (because I actually don't NEED the parsed values.)

This is going to have the biggest impact on my coding style this year.
by apples_oranges | 2025-07-24 15:47:25+00:00
I haven't been to Dubai but I went to Cuba, seemingly the opposite kind of state, and I think some things described in this post would apply there, too. But can't really judge.

I would think, however, that there is no rich cultural heritage to be expected from a relatively new city of the rich.. it's not Paris or Rome after all.

And finally, anecdotal, I know a family that went there with their kids and they loved that holiday.
by MoreQARespect | 2025-07-24 15:47:43+00:00
I've recently been following red-green-refactor but instead of with a failing test, I tighten the screws on the type system to make a production-reported bug cause the type checker to fail before making it green by fixing the bug.

I still follow TDD-with-a-test for all new features, all edge cases and all bugs that I can't trigger failure by changing the type system for.

However, red-green-refactor-with-the-type-system is usually quick and can be used to provide hard guarantees against entire classes of bug.
by mattbee | 2025-07-24 15:47:44+00:00
Yep in the same way it would allow `var u userID = 1` it allows `Work(1)` rather than insisting on `var u userID = userID(1)` and `Work(userID(1))`.

I teach Go a few times a year, and this comes up a few times a year. I've not got a good answer why this is consistent with such an otherwise-explicit language.
by amendegree | 2025-07-24 15:47:51+00:00
Again, read that article lol, it doesn’t actually support the thing you’re saying. It has a claim by a soldier without any supporting proof. Same with the CNN article, there is literally zero video evidence supporting your claim in the most recorded war in history, ask yourself why that is? Why do we have video of hamas shooting their own people, video of basically every single missile landing, but this event that has apparently resulted in 500+ deaths has literally no video evidence. You would think if it was happening someone would be pointing cameras at the idf position and just watching, but somehow they’re never seem to have any evidence of it. All we have are drs making claims in hospitals… somehow the drs in field hospitals know where all their patients came from and exactly what happened to them, but no one else has any idea.

As always the question is for you: why do you hate Jews so much? Why do you want all the Jews to be killed?

Just so we’re clear I showed an actual video of Hamas with fresh fruit, the UN just shared a video of literal tons of aid they’re refusing to distribute. you shared a paywalled article quoting an anonymous source with zero verification.