MurphyA/hacker-news huggingface dataset:
by shermantanktop | 2025-06-09 02:50:15+00:00
Sure, after determining that the offered definition of “house” using the wire didn’t apply. That’s not a trick, that’s the system at work.

The legal system and morality and all areas of any complexity require judgment and decision making.

It might satisfy a certain type of person to have explicit, highly detailed mechanistic rules for human conduct, with no exceptions. But even where that’s been tried, 50 years passes, and now someone has the job of interpreting how those rules apply to modern life.
by cap11235 | 2025-06-09 02:50:45+00:00
Right, after the Sonnet 4 release it was the first time I could tell an agent something and just let it run comfortably. As for the tool itself, I think a large part of its ability comes from how it writes recursive todo-lists for itself, which are shown to the user, so you can intervene early on the occasions it goes full Monkey's Paw.
by mardifoufs | 2025-06-09 02:51:56+00:00
Yes exactly, I completely agree! I was about to say that, but even with that rather restrictive definition it still doesn't make sense to want things like QUIC anywhere else but in userland.

But whenever I hear about "philosophy" in a discussion about kernels, I just default to assuming that they mean "whatever Linux does is the right way™".

But hey, I should've just skipped my kernel courses since they didn't teach me a lot about "kernel philosophy" lol.
by xcrunner529 | 2025-06-09 02:52:05+00:00
I like snapraid for media drives. As long as it’s something without lots of deletes and changes, I bet more space and can use mixed drives and get a bit of a backup too since it’s a manual sync to create or update the “parity”. And the added advantage that any drive taken out or they dies you still can read any if the content on the other drives at any time.
by necubi | 2025-06-09 02:52:22+00:00
Fascinating article! I have many fond childhood memories of the IMAX (I guess Omnimax? Although I’ve never heard it called that) dome theater at the Tech Museum in San Jose. I probably saw “Everest” half a dozen times.

I’m also slightly embarrassed to just now learn that the opening sequence where the speakers and backing structure for the screen are shown looked so real because…it was. They weren’t projecting an image, just turning on lights so you could see back through the perforated metal screen!
by ArtixFox | 2025-06-09 02:52:26+00:00
Im pretty sure valgrind and friends can be used in zig.

Zig is still not 1.0, theres not much stability guarantees, making something like Frama-C, even tho it is possible is simply going to be soo much pain due to constant breakages as compared to something like C.

But it is not impossible and there have been demos of refinement type checkers https://github.com/ityonemo/clr

Beyond that, tools like antithesis https://antithesis.com/ exist that can be used for checking bugs. [ I dont have any experience with it. ]
by wtallis | 2025-06-09 02:52:37+00:00
The drive in question is a low-end consumer part using QLC NAND and a DRAMless controller. It's hard to conclude much about the scalability of an operating system's IO stack when using a single drive that has such limited performance potential. It also appears the test methodology didn't take into account the impact of SLC caching on write tests: it's usually a good idea to limit the test to a specific quantity of data rather than a specific runtime, and to have substantial idle time between test runs to allow the drive to flush the cache back to a consistent starting state. On a drive like this, it's also important to ensure that the OpenBSD and Linux tests had the drive at about the same state of fullness.

All that notwithstanding, it does look like the defaults for fio on Linux have real, significant performance advantages. The logical next step would be to analyze what IO engine fio defaults to on each OS (ie. what API is used to perform IO), and what kind of caching and prefetching each OS does by default. On Linux, io_uring makes it possible to saturate a drive with just one thread submitting IO to the OS, so you can stress the OS and drive without burning a ton of CPU cores on application-level overhead and context switches.
by danielhep | 2025-06-09 02:53:15+00:00
What are the practical uses of a self hosted LLM? Is it actually possible to approach the likes of Claude or one of the other big ones on your own hardware for a reasonable budget? I don’t know if this is something that’s actually worth it or if people are just building these rigs for fun or niche use cases that don’t require the intelligence of a hosted LLM.
by hosh | 2025-06-09 02:53:22+00:00
There's an entire semi-formal language on promises, called promise theory. This includes promises autonomous agents (humans, back when this was conceived) make for other autonomous agents. Promise Theory was the basis for CFEngine, which spawned Puppet and Chef, but it's applicability is much broader. The kind of promises examined within this article can be described and analyzed by promise theory.

The central insight is understanding that promises are not obligations, and why and how that matters. From there, interesting things can be analyzed -- using types and contracts in a development team, unit tests, integration tests, specs, user interface and user experience, compliance, signaling, APIs, etc.

I think it is particularly useful now in the age of LLMs, agenic AIs, and autonomous robots that have to navigate spaces shared with humans.

https://markburgess.org/promises.html
by ArtixFox | 2025-06-09 02:55:01+00:00
I guess formal verification tools? That is the peak that even rust is trying to reach with creusot and friends. Ada has support for it using Spark subset [which can use why3 or have you write the proofs in coq] Frama-C exists for C. Astree exists for C++ but i dont think lone developers can access it. But it is used in Boeing.
by Ferret7446 | 2025-06-09 02:55:35+00:00
> But Apple does not buy the apps and then resells them

In a sense they do. You can think of it as Apple buying a license and then selling the license to the end user.

I don't disagree that morally Apple is problematic in holding a monopoly on apps on their devices, but charging fees for their shop is not inherently problematic as a standalone issue.
by thephyber | 2025-06-09 02:56:32+00:00
Horseshoe Theory is stupid.

It’s based on the flawed assumption that politics can or should be understood on a single axis. It can’t and shouldn’t be. That heuristic is wrong.

If viewed on a 2d axis, the “cohorts that appear similar” on the ends of the horseshoe are still on opposing ends of one of the axes, despite being near each other on another axis.
by kcplate | 2025-06-09 02:56:58+00:00
> often you can pay by card at the pump.

That’s definitely an innovation that creates convenience but does it really change the commercial function of the station much? You are still essentially transacting for fuel, which is what gas stations have done for decades. My guess is while a lot of stations provide that ability out of customer demand, but the owners would probably rather the customer come in and buy the over priced soda and Doritos along with the gas purchase. I don’t think owner-operators make hardly anything on the fuel sales.

With my comment I was thinking more along the lines of overall footprint of the station and what products are being sold. I think self-service pushed the ability for stations to service more pumps and with a person anchored to a register inside instead of outside attending to the pumps, it allowed the ability of stations to expand to more a mini-mart concept easily where more profitable products (to the station owner) are sold.

EV charging might help bring people into the food, but i suspect you don’t “turn tables” fast enough to make EV charging beneficial enough to bringing enough people inside to warrant devoting a lot of space to that activity.
by mcpherrinm | 2025-06-09 02:57:26+00:00
Yes, ISPs absolutely do deep packet inspection.

With cleartext DNS, your queries may never reach your chosen server. Plenty of ISPs are configured to just answer any DNS query, regardless of its destination. Using a nonstandard port might help, but you’d be much better off deploying one of the DoH / DoT / DoQ / etc secure protocols.
by summer_glue | 2025-06-09 02:58:01+00:00
Today's world have people working for 8 hours a day (minimum) / 5 days a week while making little to no progress on their overall livelihood, and at the same time people (read - the privileged) have more "consumables" yet no one is ever truly happy anymore, resulting in insane concentrations of wealth and power in the hands of a few.

Also, the past isn't just defined by slavery. There are plenty of examples we can learn from the people before us.
by noufalibrahim | 2025-06-09 02:58:03+00:00
This is interesting. We recently built a similar machine to implement a product that we're building on a customer site.

I didn't buy second hand parts since i wasn't sure of the quality so it was a little pricey but we have the entire thing working now and over the last week, we added the llm server to the mix. Haven't released it yet though.

I wrote about some "fun" we had getting it together here but it's not as technically detailed as the original article.

https://blog.hpcinfra.com/when-linkedin-met-reality-our-bang...
by geysersam | 2025-06-09 03:01:09+00:00
> If we agree that users shouldn't touch the private variables, why not just have the language enforce it?

Thing is, I don't have an opinion about what users should do. That's entirely up to them and the trade offs they make in their contexts. There are scenarios where you might want to access a private field.

But it's also a question about simplicity, adding private to the language makes it bigger without imo contributing anything of practical value that can't be achieved with convention.
by lmm | 2025-06-09 03:02:08+00:00
> after determining that the offered definition of “house” using the wire didn’t apply. That’s not a trick, that’s the system at work.

> The legal system and morality and all areas of any complexity require judgment and decision making.

I don't think it requires much real judgement to say that a wire does not make a home and that whole area is not a single big home. This is not some finely balanced call that requires the greatest legal minds. Judges can and do strike or ignore definitions that pervert the meaning of a statute too far from the plain reading, and they're right to do so.

In areas of law - or of everyday life - that we take seriously, we would not tolerate such a twisted reading of a rule.
by AdieuToLogic | 2025-06-09 03:02:36+00:00
> Generally though I don't think this adds much to the known existing problem that any MCP tool that you install could do terrible things, especially when combined with other tools (like "read file from your filesystem").

I agree. This is pretty much the definition of a supply chain attack vector.

Problem is - how many people will realistically take your advice of:

Be careful what you install!
by twoodfin | 2025-06-09 03:02:41+00:00
What the film makes clear (to me at least) was that General Magic desperately needed a product person.

They had the right tech, maybe a hair too early, but manageable, and the smart folks to build on it & iterate.

What they were missing was anyone who could take the freedom of wireless and marry it to the constraints of mid-90’s hardware & networks.
by kjellsbells | 2025-06-09 03:03:48+00:00
WWI makes no sense (or perhaps, we understand it better) because over a hundred years have passed, and the highly emotive propaganda of the time no longer persuades us. If you were listening to your pastor thundering in the village church about (say) nurses in Belgium in 1914 you might not have had the emotional distance, or education in cold politics, to recognise that what was really going on was the death throes of the Austro-Hungarian empire and the fight for hegemony in the empires that remained. (Not to diminish the crimes in Belgium, btw, but they were part of a bigger picture that would have been hard to read in 1914.)
by tangotaylor | 2025-06-09 03:03:53+00:00
My favorite findings:

* Fig 2b: the cycle time drops slightly around June and July. I have no idea why this is but it's amusing.

* Fig 3: more coding days has very diminishing returns on cycle time. E.g. from eyeballing the graph, a 3x increase in the number of days per week spent coding (from 2 days to 6 days) only has a ~25% boost to cycle time.

* Fig 7: more comments on a PR means vastly slower cycle time. I can personally attest to this as some controversial PRs that I've participated in triggered a chain reaction of meetings and soul searching.
by surfmike | 2025-06-09 03:03:53+00:00
The founder of parrotpal (another AI calorie tracking app, supporting both text and photos) points out that using photos is one of the least accurate ways for tracking food: https://www.instagram.com/parrot.pal/reel/DAB9NtfM250/

Users also seem to like using photos less than text for food tracking: https://www.instagram.com/p/DBoSeQzM3bQ/

The author of this article seems to be against the concept of calorie counting as a whole too, but calorie counting does work well for many people. They also bring up intuitive eating as an alternative, but intuitive eating is not intended for weight loss while that's what calorie tracking is usually used for (though it can also be used for maintenance and for weight gain).

Personally, after using MyFitnessPal for a couple years, switching to ParrotPal made calorie counting way less time-I just need to give it a quick text (or voice) description and it does a surprisingly good job of estimating. There are a few times when I need to adjust it, I mostly try to overestimate. It's not perfectly accurate but it gives me enough accuracy to have successfully lost and kept my weight off.
by FilosofumRex | 2025-06-09 03:04:19+00:00
San Altman's lack of scruples, notwithstanding, I find the distinction between democracies (USA, Israel, India) that oppress, occupy and murder hundred of thousands, and autocratic regimes (Saudis, China, N. Korea) who censor, imprison, or execute a few dozens of their opponents, to be a distinction without a difference.
by alex43578 | 2025-06-09 03:07:25+00:00
I get $9K can be a hit, but is the expectation that tens of thousands or hundreds of thousands of dollars in medical care is just free?

Let's say that $9K OOP max is for a significant health event - like a badly broken leg. In the NHS, approx 4.5% of the person's income is directed to the NHS via taxes, and at an average income of 37,430 that's a yearly 1,684 going to medical expenses, or an equivalent $2,426 PPP. Are you having a health crisis every 4 years where the NHS system would be more manageable financially?

That's all even before you get into the write-offs, reductions, and relative unenforceability of US medical debt, especially for lower-income people. If you're in a place where you can't pay $9K, you're also medical "debt-resistant", really.

As for LTC, there is LTC insurance and Medicaid as a last resort. Ignoring the idea of a Medicaid trust, doesn't it seem fair that you would spend down your estate in exchange for this very expensive care you're receiving? I can only imagine the reaction from the left if a multi-millionaire's kids got to inherit the estate while the taxpayer picks up the tab for his care. In some other countries, euthanasia is increasingly being positioned as an alternative to long-term care because of the challenges with bed-availability, which seems equally unpalatable to the public.
by shakna | 2025-06-09 03:07:42+00:00
Tires contain carcinogens. That's not purely hypothetical, it has been known for a while.

The extent of impact is still being investigated, but we've known there is a carcinogenic link since before 2000.

[0] https://pmc.ncbi.nlm.nih.gov/articles/PMC6947500/
by avs733 | 2025-06-09 03:07:48+00:00
There’s a significant history of government effort to improve working with titanium. Construction physics wrote a nice review [0].

The current level of workability and cost and alloying is after that chicken and egg. Titanium is expensive because it is hard to manufacture, not just hard to work with, which limits demand. Titanium, to what we now know, is what it is. It’s the nature of the material not a lack of investment.

More realistically, the ROI isn’t there for most applications. Good aluminum is pretty darn good, massively easier to work, cheaper, etc. newer super steels have even made serious inroads on titanium parts because of workability and toughness.

[0] https://www.construction-physics.com/p/the-story-of-titanium
by mark-r | 2025-06-09 03:08:27+00:00
I would have thought such a simple combination would have been worked out much earlier. But I checked my 1993 copy of Robert Ulichney's "Digital Halftoning", and it only mentions 4. Floyd and Steinberg (1975), Jarvis, Judice, and Ninke (1976), Stucki (1981), and Stevenson and Arce (1985). Does anybody have a date for Atkinson's?
by BriggyDwiggs42 | 2025-06-09 03:08:50+00:00
If by hoi polloi you mean the masses… no? People may use that for commercial exchanges but there’s an obvious craving for social interaction that that doesn’t satisfy, which is part of what glues people to social media. If you mean the elite, then also no. They’ve been able to do this by using people as their buffers already, and they’ll probably continue to do so if they’re rich enough.
by josephg | 2025-06-09 03:09:05+00:00
My problem with this argument is that my user data is by far the most valuable thing on my computer. Almost nothing that gets protected by “root” really matters much. What I really want is a way to protect all my user data from rogue programs, but I have no way to do that on modern computers. Any program I run with my regular user account can steal or delete all of my data already. When my data is so trivially at risk, who cares if a bad program can also wipe my OS or something? I can reinstall Linux. I can’t get my data back if someone steals it.
by solumunus | 2025-06-09 03:09:33+00:00
FPTP is what makes Reform so dangerous though. They have a real chance of having a lot of power. In a proportional representation system where parties have to share power in coalitions these extreme parties actually have to be involved in government, at which point they’re exposed as completely incompetent. See the Netherlands right now for example. I would rather have these extreme positions represented, because they will be represented poorly. It takes wind out of the populist sails, where they can no longer simply promise everything until they’re in power and completely destroy the country.
by protocolture | 2025-06-09 03:10:00+00:00
In my experience Petrol stations are very smart operators that accumulate new business models very quickly.

My locals all:

Sell petrol

Sell snacks, meals and necessities (small convenience stores)

Sell firewood

Sell ice

Provide gas bottle swaps.

Sell large items that are convenient for ute tray transport (Slabs of drink and other items)

Provide free water and air, basic car wash facilities.

15 years from now I expect all of the above (It will take 20 years to get rid of petrol cars when the last one is sold)

Plus more common ev charging. Maybe battery swaps.
by karar01 | 2025-06-09 03:10:47+00:00
My prediction: 1) Yes, It'll sell gas but it'll also have electric stations. 2) Basic snacks and food but maybe more electric cigarettes lol 3) Only chips (either on your credit card, phone or under your skin) 4) Simplistic and white modern look 5) Cleaner restrooms as the robots clean every 30 min and no staff, more cameras with AI to detect anamoly and call 911 quickly.
by sillywalk | 2025-06-09 03:16:04+00:00
> USAF was proud to publicly announce they’d successfully transitioned the US nuclear arsenal to be floppy-free. I don’t know if they said publicly exactly how they did it,

They only said a “highly-secure solid state digital storage solution”. At least that's all I could find.[0] The article indicates that things get repaired down to the "component level", but specialist civilians.

And this bit was interesting as well:

"While SACC’s hardware is decades old, its software is constantly refreshed by young Air Force programmers who learn software development skills at Offutt’s Rapid Agile Development Lab. Most work on the software and interfaces seen by end-users like intercontinental ballistic missile launch crews, rewriting legacy code to make it more modern and sustainable, said Master Sgt. Travis Menard, 595th SCS’s programming section chief."

[0] https://www.c4isrnet.com/air/2019/10/17/the-us-nuclear-force...
by heylook | 2025-06-09 03:16:38+00:00
Exactly. The President of the United States held up a terribly photoshopped picture of some tattoos and claimed it clearly showed membership in MS13. Half the country immediately decided that was good enough proof for extrajudicial rendition. Authoritarians only care about a thin enough veneer of evidence to give them just enough cover with just enough people to get away with what they want and then move onto the next thing.
by oblio | 2025-06-09 03:20:32+00:00
Apparently OpenAI is losing money like crazy on this and their conversion rates to paid are abysmal, even for the cheaper licenses. And not even their top subscription covers its cost.

Uber at a 10x scale.

I should add that compared to the hype, at a global level Uber is a failure. Yes, it's still a big company, yes, it's profitable now, but I think it was launched 10+ years ago and it's barely becoming net profitabile over it's existence now and shows no signs of taking over the world. Sure, it's big in the US and a few specific markets. But elsewhere it's either banned for undermining labor practices or has stiff local competition or it's just not cost competitive and it won't enter the market because without the whole "gig economy" scam it's just a regular taxi company with a better app.
Companies doing QC on boards should be held accountable for not soldiering
by sdrawkcabsti | 2025-06-09 03:20:41+00:00
I just don't get it. I keep seeing product after product that I have to repair, the manufacturer supplies those points for soldering and YET the assemblers don't solder it, it breaks. If its an internal part MAYBE, but many of these are USB and HDMI ports. Also, why the heck are so many chargers missing half of the safety circuit? Does QC really ok this stuff, if so quality really has gone down. I see a "QC OK" sticker stuck to a shorted plastic mold which is covered by the sticker LOL. How any Quality Control would be OK with their test piece being half-assembled is beyond me. The only thing I can think of is that people are ordering from shady places that operate in a rented space for 30 days and then move to another city and change names. Gotta be right? no legit business could get away with this...? At least, I hope not!
by defrost | 2025-06-09 03:21:38+00:00
> Do [ other groups ] get similar perks of using public space

Yes, it's public space.

> and encroaching on others?

An eruv wire looks just like any other wire strung on a pole, save it's and thinner, doesn't carry electricity or communications .. so it "encroaches" on your life just as much as any other utility wire .. even less if you spend little time in jewish neighbourhoods that actually string such things.
by jemmyw | 2025-06-09 03:22:23+00:00
They banned the Brave user agent I use, for a transgression from many years ago and hasn't reoccurred, and has nothing to do with the way I use that browser. That's their choice of course, but not one I respect - different if it was an ongoing issue. Why don't they ban Chrome or Firefox for their various and more recent privacy violating problems?
by ehnto | 2025-06-09 03:22:27+00:00
The same thing happens with cars. There's a somewhat predictable spike in used car prices for what become cult classics. Cars that are otherwise pretty mundane, and have since been well surpassed.

It's the people now with full time employment, who couldn't afford them when they were 16. Now they can, and the cars in good condition are more scarce.