MurphyA/hacker-news huggingface dataset:
by jasonvorhe | 2026-03-09 17:55:07+00:00
To my knowledge you have some proprietary firmware blobs, drivers, HAL and the Trusted Execution Environment shipping with GrapheneOS. But replacing Pixel's stock Android with GrapheneOS doesn't expose you to more proprietary components but instead reduces it (by sandboxing Google Play Services for example) and improves upon Android security overall (memory allocation, etc).

So yeah, GrapheneOS isn't 100% OSS, as far as I'm aware. But it doesn't expose me to more proprietary stuff like Jolla would.
by delecti | 2026-03-09 17:55:39+00:00
In the 56 years since UTC was established, there have only been 37 leap seconds. At that rate it would take more than 5400 years before it would affect solar noon more than DST does. I'm more than okay kicking the can that far down the road in the name of avoiding all the ridiculous solutions that are needed to accommodate leap seconds. We've endured these headaches to potentially solve a problem for people who might not even still be using UTC.

Compare that to removing the leap day, where the start of seasons would be noticeably affected within just a few decades. Hundreds of years ago, a pretty insignificant headache was invented which is providing constant payoffs.
by gruez | 2026-03-09 17:56:03+00:00
>To your point though, as I'm running my plex server on an old ~midrange laptop, 4K is pretty rough for me to stream as well.

Unless you're doing reencodes processing power shouldn't matter. You can serve 4K video on a 2010s router if you wanted to. If you're doing reencodes, why bother? Download an encode that's appropriate for how you're watching it. 4K for the big screen and 1080p for mobile. Skip reencoding altogether.
by cucumber3732842 | 2026-03-09 17:56:09+00:00
>I see your point, but these are civil tickets rather than criminal charges.

Yeah that's what they said when ICE was unilaterally kicking in doors.

The way I see it anything that would prompt the government to use violence upon you without you taking action to escalate deserves the same level of protection for the accused as a "real" criminal matter.

Yes I'm aware this includes just about everything beyond library late fines and would break the system at least for awhile. Worth it. The government shouldn't be able to assess the same penalties (fines) and threaten the same enforcement actions (forfeiture of property, arrest for nonpayment, etc, etc) as they do in criminal matters and side step people's rights simply because they say it's civil. The rights and procedural protections are what they are not to prevent the application of a label, but to prevent abuse at the hands of the government.
by patall | 2026-03-09 17:56:41+00:00
I never understand those calculations. You can buy houses in Berlin from around 350k. Maybe not in that area you are looking but still. With something like 600 to 800 sqm ground, house around 100 sqm, quiet neighborhood, 10 min walking to S-Bahn (i.e my grandmothers neighbors house that was sold a few month ago). Probably add 100k for renovation. But with 3.5k of savings a month (from 6.5k easily possible), you have paid it of in ~10 years.
Show HN: OpenClix, Agent friendly, open-source retention tooling
by jace_yoo | 2026-03-09 17:56:54+00:00
Hi HN,

I’m sharing OpenClix, an open source toolkit for running mobile engagement and retention flows directly inside your app.

The motivation came from repeatedly seeing the same pattern when teams try to improve retention. They end up stitching together push providers, experimentation tools, analytics pipelines, and backend services just to ship simple onboarding nudges or re engagement reminders. The setup becomes complex very quickly.

OpenClix takes a different approach.

Instead of a hosted platform or heavy SDK, it provides config driven engagement logic that runs on device. Campaigns and rules live in a simple JSON config and react to app events locally. You can trigger notifications, schedule follow ups, or suppress messages based on user behavior without needing a backend control plane.

A few core ideas behind the project:

• Local first execution. Engagement logic runs on the device, which removes a lot of infrastructure and latency.
• Source vendoring instead of SDK lock in. The code can live directly in your repo so you can inspect and modify it.
• Config driven campaigns. Triggers, guardrails, and messaging logic are defined in a simple config file.
• Agent friendly workflows. The project is structured so coding agents can safely generate and modify campaigns or rules.

Typical things people use it for:

• onboarding nudges
• streak or habit reminders
• re engagement after inactivity
• retention experiments without a full growth stack

I’d love feedback on a few things:

• Does the local first approach make sense for engagement logic?
• What types of campaigns would you want to run this way?
• What analytics or integrations would make this more useful?

Happy to answer questions and discuss how others handle retention tooling today.
by 7777777phil | 2026-03-09 17:56:58+00:00
On a meta note, I like that Tao is publishing his failed attempts alongside the successful one. Two prior recordings didn't work out, one because the machine crashed mid-run, one because he forgot to screen share properly.. and he just tells you that upfront. Most people would quietly delete those and only show the clean take.

For me the interesting part of this video isn't really the AI though. It's how Tao breaks the work apart. First attempt was "just do the whole thing." Ran 45 minutes, crashed the machine, burned through the token budget, produced nothing. Second time he decomposed it into steps and got it done in 25 minutes. By this third attempt he'd written out a whole recipe beforehand:

>I decided to write up here a step-by-step recipe for what we're going to do

Imo that recipe is where the actual value is. He's figured out which subtasks he can hand off and which ones need his eyes on them. At one point he's manually fixing a proof step while Claude skeletonizes the next lemma in the background. That's not "AI did my homework," that's just.. two workers on separate parts of the same job.

>it didn't mind that I was editing something else. It just went ahead and implemented these edits independently, which is great

Thing that surprised me: the agent handled the high-level formalization fine but choked on the mechanical low-level steps.

>it actually struggles a lot with the lowest level steps of the proof actually, which is surprising because I would have thought that would have been the easiest part

He also said something that tbh I keep coming back to when I look at how firms adopt these tools:

>you do need to keep doing that. Otherwise, if you rely too much on these tools and something goes wrong, you may have no idea what to do

I see this constantly. The people getting the most out of coding agents, in my world it's usually quant or strategy work, are the ones who stay close enough to catch when things go sideways. The ones who fully check out just get quietly worse at their jobs in ways that don't show up until something breaks. There's no magic automation dial you set to the right number and forget about. You kind of have to keep adjusting it task by task.. and honestly that judgment call is the hard part, not the tooling.
by wtallis | 2026-03-09 17:57:12+00:00
I think it's arrogant to call this merely "arguing aesthetics" unless you can point to real usability studies that say removing color from icons does not impair their legibility and recognizability, or that reducing contrast does not similarly have detrimental effects.

What really matters is not how the screenshots look, but how easy it is to use the software in action, with low error rate and without having to spend more than a fraction of a second finding the controls you need.
by Matl | 2026-03-09 17:57:25+00:00
I can only guess but I'd think maybe it's more for playing out scenarios i.e. in such and such situation, if x, y and z are true on the ground, how would you expect this to play out, while playing with x, y, z and then maybe working to get x, y, z as close to be what we roleplayed on the ground before going in, rather than an exact 'how to'.
by cubefox | 2026-03-09 17:57:47+00:00
> Claude was asked to implement a public API, not an entire codebase.

Allegedly. There have been several people who doubted this story. So how to find out who is right? Well, just let Claude compare the sources. Coincidentally, Claude Opus 4.6 doesn't just score 75.6% on SWE-bench Verified but also 90.2% on BigLaw Bench.

It's like our copyright lawyer is conveniently also a developer. And possibly identical to the AI that carried out the rewrite/reimplemention in question in the first place.
by lbihari | 2026-03-09 17:58:10+00:00
I noticed a gap in the industry: teams were either reviewing specs manually — inconsistent and unscalable — or delegating to LLMs that produce different feedback every time. Neither approach gives you a reproducible quality baseline.

Requirements engineering has 40+ years of proven research — IEEE 830, ISO 29148, readability formulas (Flesch, Gunning Fog), cognitive load theory. We took that body of work and made it operational as a CLI tool.

`understanding` scores specs across 6 categories using 31 metrics:
- Structure (30%) — atomicity, passive voice, pronouns
- Testability (20%) — quantifiable constraints, boundary coverage
- Readability (15%) — six classical formulas
- Cognitive (15%) — sentence complexity, negation load
- Semantic (10%) — actor/action/object presence
- Behavioral (10%) — scenarios, state transitions

Same input always gives the same output. Runs in ~500ms. No cloud, no API keys, everything local.

There's also an experimental energy mode that uses a tiny local model (SmolLM2-135M, 270MB) to find ambiguity hotspots at the token level — a second pair of eyes beyond the rules. The idea is based on Hinton's energy framework: high-energy tokens are "surprising" to the model, which correlates with vague or oddly worded requirements.

Install: `uv tool install git+https://github.com/Testimonial/understanding.git --with "spacy>=3.0.0"`

Happy to discuss the metrics, the research foundations, or the case for deterministic analysis over probabilistic approaches.
by downbad_ | 2026-03-09 17:58:21+00:00
What do I need?

Right now I mainly need financial help (2,000 usd), to cover some important basic expenses in my life while I continue searching for work.

What's stopping me?

I'm a freelance web developer. I've been actively applying, reaching out, and trying to line up new work, but the gap has lasted longer than I expected and my savings ran out.

Why aren't I thriving?

Mostly timing and the unpredictability of freelance work.

I'm accepting USDC (BEP20) at:

0x9357fc346afe270faab8f873400a39cc9cdc6b3b

Thank you for the kindness.
by scoofy | 2026-03-09 17:58:30+00:00
Imagine a consumer packaged goods fund that focuses on premium consumer packaged goods, like the kind of more cutesy stuff you may have seen on the shelves at places like Whole Foods. You would think that the fund is doing poorly because people have less money to spend in general. However, in a K-shaped recovery, the premium goods should actually over-perform the standard options, because the people who are on tight budgets and moving to the value options, well, they weren't really buying the premium items in the first place.

Markets have an obscene number of variables to consider in any analysis. An industry can be doing both good and bad depending on what the product is, and who the customer is.

At the end of the day, I continue to believe the Housing Theory of Everything thesis when it comes to the sense that people are on an economic treadmill where nothing ever gets better. And it helps describe the engine behind the K-shaped recovery. If we can fix the rent-seeking, we should be able to get back to a world where a rising tide lifts all boats.

https://worksinprogress.co/issue/the-housing-theory-of-every...
by zozbot234 | 2026-03-09 17:58:37+00:00
> reading the flash causes the row to be rewritten

This only happens very rarely, though more frequently as NAND flash goes QLC and beyond.

Besides, other experiments have shown that data remanence is way more of an issue with drives that are almost completely worn out (way beyond their specified TBW) and about to croak. Even then you only get rare bitrot that can be checked for and compensated quite cheaply in most cases.

If you take fresh media, write it just once or a few times at most, use substantial overprovisioning to keep the drive in its fast pseudo-SLC mode, and reread the media periodically, NAND can be a good enough storage system for most casual needs.
by jesse__ | 2026-03-09 17:58:43+00:00
Love this.

As an aside, if the author reads this, did you consider using bitfields for the superposition state (ie, what options are available for a tile)? I did a wfc implementation a while back and moved to bitfields after a while.. the speedup was incredible. It became faster to just recompute a chunk from scratch than backtrack .. I think my chunks were 100 tiles cubed or something.
by KellyCriterion | 2026-03-09 17:58:52+00:00
I have been in this field professionally and tried to do the same. May I ask:

a) how are you going to do the marketing?

b) according to my experience, all this social/viral stuff etc. does not work anymore today

c) former ideas like content & SEO -> is dead

d) nobody wants to talk today about anymore on being on a dating app?

e) And Sorry for being an Ass here: After I've lost a not-that-low-number of funds due to "following this idea" (just for prototyping/alpha & beta & final release), my recommendation is: Stop this immediately, it will save you years of your life! Im absolutely pro creating whatever app or service you may come along, but please please forget the dating market

P.S.: you will come back to this comment in 4 -5 years, latest :-)
by ayaros | 2026-03-09 17:58:54+00:00
If the Supreme Court justices uphold this, I'm sending the ones who vote yes emails, each with an EULA dictating that by opening and reading the email they agree to send me 100% of their salaries in perpetuity, as well as an initial, single lump sum payment consisting of all their assets thrown into a trust in my own name. If they push back on it, well they shouldn't be so upset about something they agreed to in the first place.
by joecool1029 | 2026-03-09 17:59:10+00:00
Sort of. Basically you can fine the owner of the car and revoke the privileges of driving that car in a given state. Where it gets to be a problem is if the charge is against the 'driver' of the car and the state's not able to prove that. Normally, in courts we can face our adversary and cross-examine, etc. We hit this problem in NJ during the red light camera pilot program, I can remember a guy I worked with getting a ticket because his roommate borrowed a car and the front was hanging out a bit into the intersection.

Some other thoughts: An illegally parked car can be fined, impounded, booted. Car with outstanding parking tickets can also have all of the above. But typically the driver wouldn't see points or a moving violation for any of these offenses. For example: NYC you can get blocking the box tickets written by parking enforcement but they don't carry the weight of a moving violation like a police officer's ticket would. (and if you don't pay it, it's not the driving privilege that's suspended in the state, it's the car itself that would be targeted for booting/impounding, etc)
by LoganDark | 2026-03-09 17:59:23+00:00
None of the siblings get it right. By 'shareholder-enforced enshittification' I meant when shareholders (or, generally, anyone from the top) enforce a direction that doesn't align with what's natural of the foundation. So the system ends up being stretched to afford it, corners get cut / shortcuts get taken, and then that becomes the final shipping version.
by dijit | 2026-03-09 17:59:25+00:00
> Jolla / Sailfish is a 13 year old project

Realistically building a production quality database takes 10 years. Building a production quality game engine takes 10 years.

They're building a mobile operating system and the hardware it runs on; that's harder and a moving target.

How long do you think it takes to build a supply chain of hardware that doesn't suck (if it takes 2 years to get moving: you need to start with hardware specs for 2 years from now) and an operating system that doesn't suck when you're also trying to catch up to a major duopoly cranking out devices at an unfathomable volume, with more money than most nation states?

Your standard is "succeed against Google and Apple within 13 years on a shoestring budget with no volume discounts." How can any project clear that bar?

What would you do?
by mchusma | 2026-03-09 18:00:17+00:00
Red light running is bad...but I think the solution to this problem at this point is just "self driving cars". With some exceptions, I would just focus all jurisdictions on this future and avoid policy inline with a world full of self driving cars. Currently in the US, most places feel like you need a car, and many US laws are designed with this in mind. In 5 years, this will no longer be true, so laws should reflect:

1. No parking minimums
2. Less free parking (e.g. street parking)
3. Policy supportive of self driving cars
4. More aggressive removal of driver licenses for human drivers with repeat violations
5. More aggressive penalties for driving without a license.
by TremendousJudge | 2026-03-09 18:00:29+00:00
yeah I'm on the same boat. I just have an old laptop hooked up to the tv, which can access a shared folder on my main computer that has all the media. I control it with a wireless mouse, and get an actual fast UI with a web browser instead of the usability nightmare that is a smart tv UI. this is all Windows though, I guess it's possible to have Linux access a Windows shared folder, I've been meaning to look into it for a while
by Doches | 2026-03-09 18:00:34+00:00
Oh, man; I got my hands on a (dead) one of these when I was a freshman in college (2004) and instead of trying to restore it my friends and I gutted it and used it as an original Xbox case mod. It was pretty satisfying to show up at LAN parties with what looked like a Solaris box and watch people boggle when we played Halo on it...
by somat | 2026-03-09 18:00:36+00:00
On a related subject, physical media, like a song album. I started by wondering if there were ever any solid state distribution options (One Company tried SD cards) and then started digging into the underlying storage tech to see if I could find a write once long term stable process.

First the elephant in the room. Why solid state? because the drives to read the media are often the weak link. When the drives are no longer being manufactured how hard is it to make one? reading solid state drives is a relatively low precision electrical process compared to the high precision mechanical process needed for most media.

First on the chopping block was bulk storage. It tends to be delicate and hard to read and short lifespans. But if I limited myself to small storage there are some interesting options. fusible proms were promising but top out at a few megabytes. Mask roms? does anyone offer a large mask roms service?

Put a mask rom into a sd card... sd cards are too physically small for a song album we want something bigger to put album art on. A thing the size of the original gameboy cartridge with a usb interface and a mask rom?

My conclusion, for that specific goal, indefinite future storage of a song album. Vinyl records. low tech enough that it is easy to make a player for them.
by spankalee | 2026-03-09 18:00:53+00:00
Subjectivity in applying the law is a huge problem, especially given how corrupt and violent police are. Red light cameras remove police from the equation for that infraction and apply the law evenly. They also scale in a way that police just can't, and that's extremely important for safety.

I live in a city where red light running is an epidemic. Drivers flagrantly just don't stop, and it kills people all the time. Red light cameras - plus actually revoking drivers licenses, and then actually throwing people in jail for driving on suspended licenses - are the only way to fix this.

It's far past time that drivers are no longer immune to consequences for violent, sociopathic behavior.
by mothballed | 2026-03-09 18:00:55+00:00
A remember a very, very, very high % of flight technology (basically flight school) majors in university being in ROTC. Paying for fuel is additional to tuition and it was extremely expensive. A lot of middle and lower class who wanted to be commercial pilots joined the military to get it paid for. No idea how many became fighter jet pilot, I assume most of them got jobs doing something more boring like troop or materials transport.
by danbruc | 2026-03-09 18:01:16+00:00
Why are people even having problems with sharing their changes to begin with? Just publishing it somewhere does not seem too expensive. The risk of accidentally including stuff that is not supposed to become public? Or are people regularly completely changing codebases and do not want to make the effort freely available, maybe especially to competitors? I would have assumed that the common case is adding a missing feature here, tweaking something there, if you turn the entire thing on its head, why not have your own alternative solution from scratch?
by DarkmSparks | 2026-03-09 18:02:13+00:00
Why? Specs for link16 jamming have been circulating since before the invasion of ukraine, there is a whole DoD technical report dedicated to trying to update it knocking around somewhere.

Iran claim to have used it to bring down US drones in the past.(1)

1. https://www.csmonitor.com/World/Middle-East/2011/1215/Exclus...
by 9rx | 2026-03-09 18:02:20+00:00
> but the compiler doesn't understand ...

Right — While it does has sum types, it doesn't have some other features found in other languages.

But, of course, if one wanted those features they would talk about those features. In this discussion, we're talking specifically about sum types, which Go most definitely does have.

> nil -- don't forget nil!

This is why alternative syntax has never been added. Nobody can figure out how to eliminate nil or make it clear that nil is always part of the set in a way that improves upon the current sum types.
by esseph | 2026-03-09 18:02:39+00:00
Defensive warning: AN/AAR-57

Countermeasure AN/ALE-47

I don't think they had radar lock, I think they were firing IR missiles. They wouldn't have had much time to respond, and IR missiles are normally much smaller than beyond visual range radar missiles, which would explain how all 6 pilots survived.

Rumor is there was a problem with the IFF identification system sync. If that's true, the Kuwaiti pilot just saw 3 jets coming into their airspace with no IFF working, under a very compressed timeframe with lots of inbound UAS and potentially aircraft.
by PaulDavisThe1st | 2026-03-09 18:02:43+00:00
If Blanchard is claiming not to have been substantively involved in the creation of the new implementation of chardet (i.e. "Claude did it"), then the new implementation is machine generated, and in the USA cannot be copyright and thus cannot be licensed.

If he is claiming to have been somehow substantively "enough" involved to make the code copyrightable, then his own familiarity with the previous LGPL implementation makes the new one almost certainly a derivative of the original.
by GuinansEyebrows | 2026-03-09 18:03:20+00:00
> Because, as far as a changing political landscape will allow, you hope you can trust their judgement

funny to bring this one up as an example among the others (but i suppose it's evidence that things can go the other way).

i was waiting to buy a new M5 MBP this year until they got so cozy with the current administration. now i'm just making do with my current machine until i can get a decent price on a used M5 machine in a couple of years. i'm in the process of cancelling all of my recurring apple subscriptions as well.

i'll probably use macs for as long as i use computers, but i think i'm done giving apple any money directly.