MurphyA/hacker-news huggingface dataset:
by jph00 | 2025-10-04 19:05:02+00:00
Yes I think you've done a good job of capturing the key ideas. Thank you for taking the time to look into it!

I think you might be somewhat under-estimating the amount of novel ideas in, and the significance of, the solveit platform. But "chatgpt + vscode editor + jupyter + a persistent Linux server" is a reasonable starting point for thinking about what it consists of.

It's totally fine to disagree on the philosophy. I suspect it'll turn out that both the approach you describe and our very different approach can both work, and are probably suited for different kinds of people and tasks.

It's very early days and there's no established methodologies for AI-assisted software dev. I know our approach works and scales across a team of 10 and over a period of >1 year (and across multiple connected projects), since that's what we do in-house.
by Wowfunhappy | 2025-10-04 19:05:11+00:00
You're making the same mistake that lots of people do, looking at the big events that make the news instead of actual crime stats. The former doesn't really tell you anything about crime rates.

This is a big problem that leads to things like these surveillance measures, because people think crime is really high even when it's the lowest it has ever been, because of the media environment.
by jerf | 2025-10-04 19:05:13+00:00
By the prime counting function, there are about (2^4096)/ln(2^4096), or close enough to 2^4085 prime numbers under 2^4096, which is close enough to 10^1360 to not sweat the piddly factors that may be off by.

I'd tell you to "go ahead and start computing that and tell me when you're done", however, I like the universe I live in, and the entire information content of the boundary of the observable universe is something like 4*10^122 bits [1]. So you're talking about creating a black hole vastly, vastly, vastly, 10-to-the-power-of-thousand+ times larger than the observable universe, which some of your fellow universe residents may find to be a hostile act and we probably aren't going to let you finish.

While you can define such a table as having "O(1)" lookup properties in the sense that on average the vast, vast, vast, vast, vast, dwarfing-the-observable-universe-by-hundreds-of-orders-of-magnitude light years you'd have to travel for the answer to a given query can be considered "O(1)" since it's on average pretty much the same for all lookups, it's constant in a rather useless sense.

[1]: https://math.ucr.edu/home/baez/information.html
by f33d5173 | 2025-10-04 19:06:00+00:00
It would be interesting if instead you added a syntax whereby a module could declare that it supported lazy importing. Maybe even after running some code with side effects that couldn't be done lazily. For one thing, this would have a much broader performance impact, since it would benefit all users of the library, not just those who explicitly tagged their imports as lazy. For another, it would minimize breakage, since a module author knows best whether, and which parts of, their module can be lazily loaded.

On the other hand, it would create confusion for users of a library when the performance hit of importing a library was delayed to the site of usage. They might not expect, for example, a lag to occur there. I don't think it would cause outright breakage, but people might not like the way it behaved.
by strangattractor | 2025-10-04 19:06:04+00:00
"Flock safety currently solves ... %10 of the crime Nation Wide"

Pretty bold statement without citing data to back that up. I have already received a speeding warning letter from one of these things. Does that count as a crime Flock solved?

I tire of all this binary thinking. It is true that surveillance helps victims. It is also true that the same surveillance can endanger civil liberties. We should have some say in how much we will allow our liberties to be endangered.

Sounds like someone watched too much Person of Interest

https://www.imdb.com/title/tt1839578/
by smcin | 2025-10-04 19:07:20+00:00
It wasn't ever "Powell’s “Yellow Cake” fairytale". It was Bush-Cheney's. And the scandal is not merely that it was fake, but was publicly known to be fake in spring 2003.

The "Iraq tried to buy yellowcake in Niger" claims [0] were a story pushed by the DIA (Defense Intelligence Agency) which was set up Cheney-Rumsfeld-Wolfowitz intentionally to bypass the CIA's assessment and stovepipe unproven claims in order to cobble together a casus belli. Powell refused to have anything to do with it. Former Ambassador Joseph Wilson said it was BS. CNN reported it was BS. And on, and on.

And even at that, Bush still had to use Tony Blair's admin's name to try to inject the claim into discourse, the famous Sixteen Words in the 2003 SOTU "The British government has learned that Saddam Hussein recently sought significant quantities of uranium from Africa."

Not Colin Powell. If you read between the lines of writings by Powell and others, he believed the neocons in the Bush-Cheney admin could not be deterred from taking the country to war on false premises; Powell was to that process like Robert Reich was to Clinton's NAFTA deal ("the train's going to leave the station whether you were on it or not").

Historians can decide whether Powell should have protested more strongly, e.g. resigning (as Tony Blair's Foreign Secretary Robin Cook did) and denouncing the thing, instead of playing along it at his UNGA address.

If Powell had not complied with Rumsfeld, he would have been trashed as completely as Major General Taguba for actually writing a full and truthful Abu Ghraib Report [1]).

[0]: https://en.wikipedia.org/wiki/Niger_uranium_forgeries

[1]: https://en.wikipedia.org/wiki/Taguba_Report
by stonogo | 2025-10-04 19:07:32+00:00
And the problem with that premise is the company clearly does not honor the local controls. Ask Evanston about it. I don't understand why you're defending Flock so hard when you can get the same product from e.g. Axon without all the we're-smarter-than-you bullshit from the vendor. Not all ALPRs come with Flock baggage, but you seem to treat them interchangeably.
Show HN: I decoupled FastAPI dependency injection system in a simple package
by eric-hermosis | 2025-10-04 19:07:42+00:00
When building FastAPI endpoints, I found the dependency injection system such a pleasure to use that I wanted it everywhere, not just in my endpoints. I explored a few libraries that promised similar functionality, but each had drawbacks, some required Pydantic, others bundled in features beyond dependency injection, and many were riddled with bugs.

That's way I created PyDepends, a lightweight dependency injection system that I now use in my own projects and would like to share with you.

It does just that, inject dependencies, nothing more. No type checking, no automatic casting or pydantic requirements. Sync and async mode, all implemented in a single file.
by dimal | 2025-10-04 19:07:50+00:00
I lived in Oakland and Berkeley for about eight years and left a few years ago. As someone originally from New York, I’m baffled at this idea that there’s no place left to build in the Bay Area. The East Bay still has large swaths of land with nothing on it. SF has plenty of options for building upward. There’s open land to the south. The political gridlock in Bay Area politics is the problem. I’ve never seen more dysfunctional government in my life.
by zoecarver | 2025-10-04 19:07:55+00:00
This solver treats ARC-AGI-2 as a search problem inspired by Grover's search algorithm. The approach uses program synthesis with multiple iterations where each iteration generates candidate solutions, grades them against training examples (similar to an oracle), and rotates the context window to place the best attempts last (most recent in context). Preliminary results on 60 sample problems from the ARC-AGI-2 evaluation set show 38% success rate.
by mkovach | 2025-10-04 19:08:05+00:00
Thanks for pointing that out, seriously.

For a while, I was inflicting baseball history on the unsuspecting readers of Pitcher List[1], until the twin boulders of professional and personal life demanded I focus on pushing them.

One persistent frustration is that my writing voice never quite captured how I meant to express myself. So, this past year, I've been working (sometimes stubbornly) to close that gap, assuming I take the time to think and edit. Your kind words mean a lot.

Most days, pray for a recent sabbatical, I try to post a daily baseball history note[2]. I hope to resume this ritual after this weekend, assuming the stars (and schedules) stay in proper hyperdrive alignment and maintain the boulder automation.

As the chaos of my life dwindles, a blog, or book (or both) remains a possibility.

--- [1] https://pitcherlist.com/author/mat-kovach/ [2] https://bsky.app/profile/siddfinch.xyz
by watwut | 2025-10-04 19:08:13+00:00
I would point out that male on male bullying absolutely exists. Sometimes were sever one. It also frequently involves mocking the other guy and no it is not friendly.

Sometimes those women are actually making very accurate observation about relationships of involved guys.

It is not exactly rare when "it was just a joke" is entirely dishonest and when went on was actually attempt to put down another guy.
by p_l | 2025-10-04 19:08:41+00:00
It was often used to supplement memory available in cheaper ways or otherwise more flexible. For example many hardware solutions allowed connecting more RAM than otherwise possible to be accessed by main bus, or at lower cost than the main memory (for example due to differences in interfaces required, adding battery backup, etc.)

RAMsan line for example started in 2000 with 64GB DRAM-based SSD with up to 15 1Gbit FC interfaces, providing a shared SAN SSD for multiple hosts (very well utilized by some of the beefier cluster SQL databases like Oracle RAC) but the company itself has been providing high speed specialized DRAM-based SSDs since 1978
by squigz | 2025-10-04 19:09:12+00:00
> What people don't get about this is that a lot of normal, reasonable people see these cameras as a very good thing. You can be upset about that or you can work with it to accomplish real goals. We got upset about it.

An alternative is you can try to convince those people that, while their desire to reduce crime is perfectly understandable, this might not be the way to do it effectively, to say nothing of the potential avenues for abuse (and in current day America, I'd be very wary of such avenues)

It remains an issue of trust for me. You not only have to trust your police and government(s), but you have to trust Flock too - and that trust has to remain throughout changing governments and owners of that company. I have a healthy distrust of both, particularly lately.

Just as importantly, but more to the point, is still the question of whether they're actually useful. To that end, does not the same logic apply to being able to pressure nearby municipalities to remove the cameras?

In any case, while I remain fundamentally opposed to such surveillance, you raise very good points, and I appreciate you taking the time to explain your position in this thread.
by yongjik | 2025-10-04 19:09:51+00:00
It's a problem entirely made up from America's insistence on guns. IMHO that's like when you have a website that serves a few requests per second, and then someone has the bright idea of using Kafka and Kubernetes because reasons, and now you have a horrible mess that requires multiple developers to support and, instead of questioning the original technical decision, everybody instead piles up technical "solutions."

At least nobody actually says "The founding engineers knew everything, our job is protect their original technical decisions, because otherwise our great company will fall."

Regulate guns and all these problems go away. As a bonus, you'll find out they were neither necessary nor useful for defending your rights.
by plainOldText | 2025-10-04 19:09:54+00:00
Your example also gets evaluated at comptime. For more complex cases I wouldn't be able to tell you, I'm not the compiler :) For example, this get's checked:

let ageFails = (200 + 2).Age Error: 202 can't be converted to Age

If it cannot statically prove it at comptime, it will crash at runtime during the type conversion operation, e.g.:

import std/strutils stdout.write("What's your age: ") let age = stdin.readLine().parseInt().Age

Then, when you run it:

$ nim r main.nim What's your age: 999 Error: unhandled exception: value out of range: 999 notin 0 .. 200 [RangeDefect]
by ricksunny | 2025-10-04 19:10:05+00:00
Yes I was being a bit too glib in relegating atmospheric escape mechanisms exclusively to action by the solar wind. Lot of proposed mechanisms, uncertain how many of them are verified and quantified to what magnitude.

https://en.wikipedia.org/wiki/Atmospheric_escape

https://en.wikipedia.org/wiki/Hydrodynamic_escape

As a layperson I see our current epistemological state as long on models, and short on empirical verification (because we're talking about a difficult phenomenon to verify).

I think I mostly wanted to offer counterpoint to the original comment that 'this atmosphere can't stay long' i.e. even under elevated temperatures.

(I'll probably update my prev comment with those wikipedia links.)
by garethrowlands | 2025-10-04 19:10:37+00:00
On strings in Ada vs Rust. Ada's design predates Unicode (early 1980s vs 1991), so Ada String is basically char array whereas Rust string is a Unicode text type. This explains why you can index into Ada Strings, which are arrays of bytes, but not into Rust strings, which are UTF8 encoded buffers that should be treated as text. Likely the Rust implementation could have used a byte array here.
by tptacek | 2025-10-04 19:11:12+00:00
I'm fine that we took the cameras down. As you can see from my first comment on this part of the thread: they weren't working, and before we stopped our PD from responding to stolen car alerts, they were actively doing harm. But I disagree with you about the long-term strategy. I'd have kept the cameras --- locked down (we had an offer from Flock to simply disable them while leaving them up, so that they wouldn't even be powered up) --- and written a formal ALPR ordinance. Then I'd have worked with the Metro Mayors Caucus and informal west suburban mayor networking to get other munis to adopt it.
by asdefghyk | 2025-10-04 19:11:18+00:00
Hamas has written they want to kill all Israel. Israel is fighting for its existence Hamas build military infrastructure beneath hospitals and schools making them valid military targets. Hamas uses Gaza people as sacrifice to their cause. Hamas uses aid money to built tunnel network costing $Billopns. This money should have been spent improving lives of people in Gaza. Some of the older teenagers would have been Youth combatants - maybe not all that many/ the number is unknown . Hamas also shares responsibility for the death toll in Gaza This war was triggered by Hamas attack on Israel people the slaughter, rape, torture of civilians children and baby’s - so should mention these 1200 too. Also the the abduction of hostages too 200. Both sides would be releasing propaganda too It’s very sad for the children in Gaza What puzzles me is why no neighbouring countries accept people from Gaza temporarily from the war zone.
by macarc888 | 2025-10-04 19:11:56+00:00
It's not quite that simple. While the codebase is open source, the website could provide binaries that were not built from the open source code (e.g by patching to add tracking). So it is necessary to trust Muse Group if you're installing from the recommended source (which the vast majority of users will be doing).

Even if there is no tracking at the moment, there is always the worry that Muse Group will "go bad" and start adding tracking, or make the later versions closed-source, etc. One could argue that it's still better than a fully closed source company - sure - but what happens to Audacity/MuseScore then?

Reliance on a single company developing code has huge benefits: as discussed in this video, the centralisation really helped with vision and planning; but it does make me slightly uncomfortable. The development is no longer "open", in the sense of community driven. The application now has a different goal (to make money for Muse Group), not necessarily aligned with what users want/need. It cuts to the core of what we actually want from free software - lack of profit motive? transparency? Of what exactly?
by Quekid5 | 2025-10-04 19:12:50+00:00
Yeah, the "problem" with reduce is that it can do anything, and so doesn't offer much over a traditional for loop with mutable local variables to accumulate into. Of course, if you can replace a reduce() with a filter and/or map or whatever (which more clearly states intent), by all means do so!

If you really need arbitrary computation, I'm not sure there's any real readability benefit to reduce() over local mutation (emphasis on local!). Sure, there's immutability and possibly some benefit to that if you want to prove your code is correct, but that's usually pretty marginal.
by jph00 | 2025-10-04 19:12:54+00:00
Everything is recorded so it doesn't matter at all if you catch up later. Some people in the preview course didn't start until we finished! Obviously you'll get better interaction with the community if you're following along at the same time, but that's the only real issue.

I'd say budget a minimum 4 hours homework + 3-4 hours lesson watching time.
by watermelon0 | 2025-10-04 19:12:58+00:00
I can recommend Stalwart [1] which is a complete mail service contained in a single binary, that doesn't really have any external dependencies, and is really easy to install and update.

I've looked (and tried) a few other projects in the past, but Stalwart was the easiest to setup, and I haven't had any issues with it so far.

[1] https://github.com/stalwartlabs/stalwart
Dexfile: One-Click PaaS Deployments with Dockerfile-Like Syntax
by dexfile | 2025-10-04 19:13:02+00:00
Deploy your containerized apps to PaaS in one click—no multi-step Dockerfiles or tedious build scripts. Dexfile uses familiar Dockerfile syntax, so you can start instantly without learning a new language. It automates dependencies and buildpacks while keeping full visibility and control over your deployments. Ideal for developers, startups, and teams who want to ship features faster without sacrificing reliability. With Dexfile, your apps deploy consistently, predictably, and securely, whether it’s a prototype or production system. One file. One command. Instant deployment.
by rustystump | 2025-10-04 19:13:04+00:00
I think this article completely misses a critical point at staff level, being a force multiplier cross functionally.

Api is slow, api wasnt being gzipd, good snack, give snack to other eng, find more snack.

Oh look product doesnt have metric, get product the metric, now team look good because boss see what team do.
by rixed | 2025-10-04 19:13:49+00:00
> The original creators lose money because now they have actual competition. Users, though? They get more options, lower prices, and reliability in the form of replacements if the original creators stop selling.

Yes unless the next projects of the now bankrupt creators is proprietary because it's too hard to make a living out of open designs?

> > If there is a sure way to reach a world of open design and user freedom, I sure don't know what it is. > Use an actual open source license

Many have been doing this for the last 30 years, during which user freedoms have shrinked: 20 years ago I had a working open source daily phone, an open design mips-based laptop that ran only free software, and all this was technically ahead of the competition; today I'm not allowed to login to some government website unless I use an apple or google device, community maintained distros are moribund and the free software movement became irrelevant. I believe more nuanced tactic than just "use that license" are called for.
by albertpaulp | 2025-10-04 19:13:56+00:00
Author here. FlixJoy helps you avoid option paralysis when you are choosing a film. It suggests one movie at a time based on your preferences and mood. You swipe to like or pass, and it learns from your feedback to improve later picks.

Highlights

- Simple swipe interface that gets you to a choice fast

- Filters for genre and mood

- Trailers, critic scores, plot, cast, and crew in one place

- Streaming availability by region

- Watchlist and swipe history

- Watch Party to find a film together with your partner and agree on a match

Notes

- iOS app, free to use with optional upgrades
Ask HN: What's the secret sauce behind Claude Projects ?
by excitednscared | 2025-10-04 19:14:02+00:00
so the main feature of claude project is its ability to have internal knowledge and a set of custom instructions (which mostly affects how it answers questions) Isn't this basically just uploading the files to a vector db and attaching it to the llm ? Plus a simple system instruction which asks it to follow the provided custom instructions when answering, and use the vector database as long term memory ? Is it really this simple or am I missing anything ? Like what's the hype really about ?
by spwa4 | 2025-10-04 19:14:45+00:00
https://en.wikipedia.org/wiki/Department_of_Government_Effic...

Your spacex contracts thing is bullshit too, but first the more important stuff. I think you'll agree many of these affect poor americans greatly, as well as poor people worldwide. A partial list of what Musk did with DOGE:

* Mass layoffs across the government. Especially education is badly affected.

* USAID shutdowns

* DOE downsizing (ie. killing education)

* Sabotaging student loans (purposefully cutting the infrastructure and personnel for getting a student loan)

* Killing off local Social Security access by closing offices

The list goes on. Next time Elon Musk says he needs engineers, I hope someone has the courage to ask him why he seriously and purposefully damaged education for Americans.

As for the spacex contracts: a cheaper price only helps if it actually leads to less spending. Since the US cannot risk spacex being the only access to space, it cannot cut funding to ULA contracts. Therefore spacex is more expensive, despite the cheaper sticker price.

Think of it this way. Let's say there's 2 cars. One is 40,000 USD (thanks to Musk and Trump's tariffs). One is 20,000 USD. But due to law you can only buy the 20,000 USD car if you ALSO buy the 40,000 USD car, there's no other way. So the real price is:

* the "cheaper" car: 60,000 USD total price

* the "expensive" car: 40,000 USD total price

See the problem here? Spacex is not actually cheaper. Only by not counting a bunch of costs because they come out of a different budget is spacex cheaper. A fact ("deception" I would say) that keeps repeating in mr. Musk's businesses. The sticker price on Tesler cars, for example, has similar problems: EXPENSIVE mandatory maintenance means the price of Musk's electric cars is far more than the competition, despite the sticker price sometimes being cheaper. Of course, now even the sticker price is far from the best.
by mindcrime | 2025-10-04 19:15:32+00:00
> Regulate guns and all these problems go away.

Firearms are regulated in the United States. Quite heavily, in fact. This goes back to the National Firearm Act of 1934, carries through the Gun Control Act of 1968, then loops in the Firearm Owners' Protection Act (FOPA) of 1986 (which included the famous Volkmer-McClure amendment that all but outlawed fully automatic weapons for civilians) and runs through at least the Brady Act of 1993. And that's without getting into the smorgasbord of state, county, and municipal laws that also apply.

The idea that the US is still living in the Wild West era with regards to firearms is a complete myth.

> As a bonus, you'll find out they were neither necessary nor useful for defending your rights.

That's not an experiment I'm willing to indulge in personally. As the old saying goes "I'd rather have my guns and not need them, than need them and not have them."