MurphyA/hacker-news huggingface dataset:
by lotsofpulp | 2025-11-16 03:16:52+00:00
Tesla did not announce it. Bloomberg published an article speculating it. And Bloomberg has been wrong before.

https://www.bloomberg.com/news/articles/2025-11-13/tesla-is-...

>Tesla Inc. is developing support for Apple Inc.’s CarPlay system in its vehicles, according to people with knowledge of the matter, working to add one of the most highly requested features by customers.

>The carmaker has started testing the capability internally, according to the people, who asked not to be identified because the effort is still private.
by tjbiddle | 2025-11-16 03:18:51+00:00
It's more nuanced than that.

Tariffs do not always 100% immediately get passed on to buyer.

If there's a $100 product you'd like to purchase and there's a 100% tariff, it won't be $200.

That product was made abroad, let's for $20. So the tariff should be $20, not $100.

The US-based owner will go to the supplier, say they're getting squeezed by tariffs and first they'll try to see what they can do to recategorize the tariff, or negotiate with their supplier to absorb some of the expense. Let's say that got it down to $15. The owner still doesn't want to increase costs by 15%, so they'll hold off for a while and absorb, and then eventually maybe increase 5-10 and absorb further; perhaps eventually going the full stretch - maybe not.
by khannn | 2025-11-16 03:19:24+00:00
I have afib and have been cardioverted once ~4 years ago. Own a kardia ekg and a regular blood pressure cuff. Coffee increases my pulse, but the waveform remains normal. Alcohol is the real killer, a very small amount like a beer will immediately show in ekg waveform abnormalities. Enough to get a buzz and it's a warzone let alone actually drunk. It's also surprising how long it lasts even into the hungover and no longer drunk zone. I'm not a doctor, but I would personally recommend to cut out all drinking with an occurrence of afib and yes, this is conjecture, but any sort of heart condition. I'm also not being sponsored by kardia and am creeped out by it storing my data presumably on the cloud.
by gcanyon | 2025-11-16 03:19:35+00:00
Similar -- I'm currently nursing a 13 mini (the lightning port barely works, so I'm on magsafe). and before that I had an iPhone XS I think -- that one I managed to break the screen (the only time I've ever done that, I dropped it in a metal elevator). I replaced the screen but it was never the same.

So I didn't go 11 years on two models, more like 7 years or so. But I'm definitely not on the two-years-and-upgrade plan.
by kstrauser | 2025-11-16 03:19:49+00:00
It’s hit or miss with them. I bought a brand new Dell monitor from Amazon, through their Dell store, fulfilled by Dell. The HDMI input stopped working a couple months later, as verified with multiple known working devices connected to it with multiple known working cables. Then Dell’s support absolutely refused to honor their warranty because their database showed that someone else but me owned it. Remember, I bought it through the Dell store inside Amazon, and received straight from Dell via their own warehouse. Amazon’s support got righteously indignant on my behalf and refunded the purchase to me when Dell wouldn’t.

It felt very satisfying to tell the Dell rep who cold called me to sell my employer hardware why I’d make sure we’d never give them a dime.

And yet other people have wonderful luck with them, apparently! Go figure.
by thaumasiotes | 2025-11-16 03:19:56+00:00
Look again.

You're right that the text you're thinking of used to be in that space, if you mean the "About" blurb.

But you're not right about the page contents. The "About" is github metadata, just like the partial commit message "android: multidevice capabilites and accessiblit..." that you can also find. And just like that message, it was full of typos because it's not public-facing.

But there is an actual page talking about the project, which is what we're all commenting on here, and which never contained the typo.
by Spooky23 | 2025-11-16 03:20:53+00:00
Well, expect more. We’ve gutted the federal bureaucracy like a fish, anyone who wasn’t fired is leaving as soon as they can.

I’m hiring lots of amazing people from the feds. My client is going to make a fortune as the smartest people regulating them are now advocating for them. The government is, as intended, going to be generationally broken.
by itsnoone | 2025-11-16 03:21:38+00:00
It not that hard to imagine Apple going out of their way to do something that would break functionality on Android, honestly. Although, I believe Fluoride also is to be blamed here because a simple timeout can not possible cause any issues (it seems that a timeout is there, but never called- at least from my tinkering). I am not planning to spend a single second tracing back the actual problem and suggesting a fix, given that Google just asked me to reproduce twice (!!) and did nothing about it.
Show HN: Mathematical parameter selection to eliminate synchronization bugs
by Patternician | 2025-11-16 03:21:43+00:00
I've developed a method for provably correct parameter selection in distributed systems using p-adic valuation theory.

Problems it solves: - RNG seed selection (parallel Monte Carlo, simulations) - Hash function parameters (collision avoidance in distributed systems) - NTT transform sizing (post-quantum cryptography) - Network timer intervals (protocol synchronization avoidance) - FPGA/ASIC parameter conflicts (multi-constraint hardware design)

How it differs from traditional approaches: - No simulation required (direct calculation) - Mathematical proof of correctness (not empirical) - Detects impossible constraint combinations at design time - 24-48 hour delivery vs weeks of trial-and-error

Example: 16-lane FPGA PHY with mixed AVOID/REQUIRE constraints across PRBS generators, scramblers, and NTT blocks. Identified a fundamental constraint conflict (p=5 depth-2 AVOID vs p=11 depth-2 REQUIRE both affecting same parameter). Would have cost $500K+ in respin if discovered during bring-up. Found it in less than 24 hours.

The method is based on peer-reviewed research in multiplicative order and p-adic depth theory. Essentially: translates "avoid synchronization at prime p to depth t" into exact modular arithmetic constraints, then combines via Chinese Remainder Theorem.

Validating demand: Offering free analysis for first 10 serious requests.

If you have: - Mysterious periodic bugs in distributed systems - Parameter selection problems with formal requirements - Hardware designs with conflicting constraints

Christopher W. Stevens

Email: cwstevens71@gmail.com with your system specs.

Will provide: - Constraint analysis - Provably correct parameters (or proof of impossibility) - Verification test cases

Looking for feedback on: - Is this valuable to practicing engineers? - What use cases am I missing? - Would you or your company pay for this? How much?
by pupwithcomputer | 2025-11-16 03:22:29+00:00
Hey! You can probs recognize me by the username. Dunno anyone else who's open about being a fuckin dog on the slack.

During Scrapyard, Hackatime was mandatory, and was one of the biggest defining factors to HQ about the success of a satellite. So yeah, technically attendees aren't _forced_ to code, but getting the most weighted grants is still your biggest focus.

For those who don't know, HC uses a unit called "weighted grants" which supposedly equates to 10 hours of good quality work, in order to determine success. The issue is, the definition of good quality work is currently set as "most lines written", excluding R&D and the 20 other steps that it takes to design something.
by stinkbeetle | 2025-11-16 03:23:19+00:00
No, Apple had been doing their own silicon (presumably you mean for their phones) while Jobs was still CEO, and he bought PA Semi in 2008 which put them on the path to do their own CPU cores (iPhone 5 with Swift CPU was released the year after he died so he'd obviously seen the core design process through from the beginning to likely initial tape-out or very close to).
by patcon | 2025-11-16 03:23:46+00:00
This reminds me the talk by Leland McInness (employed by a branch of Canadian NSA and creator of UMAP) on rethinking dimensional reduction:

Rethinking Unsupervised Learning https://youtu.be/v_jcu7rUqqE

He boiled all dimensionality reduction down to two approaches: matrix decomposition and k-nearest neighbors.

I'm seeing the newest contenders for top algorithms leaning harder into the KNN dynamics, and less into the more complex maths of UMAP. (PaCMAP[1] and LocalMAP[2], which run via an attractive-repulsive force simulation based on high dimensional KNN graph)

Based on the end of his talk, Leland seems to generally align that this is where the next innovations are: KNNs.

Some interesting provocations are coming out:

Assessing and improving reliability of neighbor embedding methods: a map-continuity perspective (Apr 2025) https://arxiv.org/html/2410.16608v2

[1]: https://youtu.be/sD-uDZ8zXkc

[2]: https://youtu.be/vmSUQ-4LT4Y

EDIT: that last paper is not as relevant as I recall on reviewing it further. So the point is mainly the take-away from Leland's expertise in his video
by weikju | 2025-11-16 03:25:58+00:00
> moving over to MacBooks

Ok but

> not wanting to upgrade hardware to get a minor OS change.

Bit of contradiction both in the immediate “need a whole new machine“ and the well known deprecation of 7 year old Macs wrt new OS releases.

I’m sure it’s still better than Windows though (haven’t used Windows for 2 decades except for occasional short lived business mandates)
by bitpush | 2025-11-16 03:26:45+00:00
People buy Tesla for Tesla and not because CarPlay. But CarPlay is a purchasing decision factor for other brands, which means a power imbalance exists.

So this is a classic game theory situation. You want all participants (Toyota, Honda, Ford) to cooperate (not have CarPlay) and not defect. So participants watch each others move.

If they stick together, all of them stand to win.

If one defect, in the short term they might win but in the long-term Apple will seek to commoditize the car maker.
by bogdanoff_2 | 2025-11-16 03:27:07+00:00
Thanks! And yeah, I've gotten the suggestion to ramp up difficulty faster from a few people.

Although interestingly some other people in the comments here say they liked how the progression goes.

And that's an interesting little game you made.

And I spent quite some time creating an algorithm and solver to find the par for Unflip. I'm planning to release a blog post about it soon
by YZF | 2025-11-16 03:27:38+00:00
That was my own interpretation... but admittedly maybe too strong of a statement. Maybe she would have be caught. That said, the psychological setup in those periodic interviews with a "maybe lie detecting machine" create opportunity to find real issues.

In terms of the details here, the leak wasn't to expose the crimes, it was to resist political pressure [my speculation anyways]. The crimes were being investigated anyways and the video was available internally fairly broadly (and I think maybe externally as well). There was a political storm as a result of the investigation and the arrests made. Apparently leaking the video is was not illegal (though that's subject to some interpretations) because the role of the chief prosecutor is independent but this became more complicated when it required lying to the supreme court to cover the leak.

But yeah, it's possible the Shin Bet already had an idea but just used the polygraph as an excuse/opportunity. While it's understandable in the political climate why the chief prosecutor would leak the video it's also unethical and poor judgement for someone in her role to do so, and then to cover it up. The role of the Shin Bet is to find people in sensitive roles who are secretly doing things they should not be doing (typically spies but more generally people betraying the trust put in them). For those not following, the plot got thicker because she proceeded to throw her iPhone in the Mediterranean and it was found by a swimmer some days later. She also tried to harm herself. It's pretty crazy stuff. Now there are arguments about who should oversee the investigation with the supreme court set to decide today. It's a pretty small/tight legal community and everyone knows everyone, especially at the top. The legal system has been in a battle with the government for some while with the justice minister refusing to accept the last appointment of the chief justice of the supreme court.

Anyways, the polygraph angle is interesting. That this machine survives as a practice in many places tells us something about its usefulness (or at least people's belief in its usefulness).
by maleldil | 2025-11-16 03:28:01+00:00
For what it's worth, pyright highlights the problem in your first example:

t.py:11:20 - error: Argument of type "Self@C" cannot be assigned to parameter "self" of type "B" in function "__init__" "C*" is not assignable to "B" (reportArgumentType) 1 error, 0 warnings, 0 information

ty and pyrefly give similar results. Unfortunately, mypy doesn't see a problem by default; you need to enable strict mode.
by itsnoone | 2025-11-16 03:29:18+00:00
hey, do you have the 'act as apple device' hook enabled perhaps? that sometimes causes connections to drop. other than that, i believe i refactored the background service to store metadata about the airpods and support various model types recently which can make the app a bit unstable, hence no new release yet- the build is available to download from Actions. if you're facing unstability on the latest (pre)release, v0.2.0-alpha open a issue, i will have a look whenever i get the time.

about the configs not being saved- do you mean the conversational awareness, adaptive volume etc.? those should be saved, and sent from airpods every time you connect. so if you change the config from any other device, and connect to your phone then the app should show the new config.

you can contirbute by supporting the development, of course! :)
by mlhpdx | 2025-11-16 03:30:28+00:00
When it first came out the developer experience was awful but it’s come a long, long way. JSONata is definitely a big part of that, along with the workflow designer being available in VS Code and tolerant of placeholders (${Foo}).

The article’s callout of direct service integrations in API Gateway is also spot on. When they can be made to fit, they’re such a nice way to go.
by realitydrift | 2025-11-16 03:31:57+00:00
What’s striking about this work is how learned avoidance behaves almost like a biological version of the Reality Drift Equation. Ancestral experience compressing into molecular memory that shapes behavior long before direct exposure. The fact that these worms inherit a kind of preparedness across generations highlights how evolution uses temporal drift to pass forward subtle informational traces of past environments. It’s a reminder that cognition isn’t just in the brain. Even simple organisms carry forward patterned responses that function like inherited signals of meaning.
by pupwithcomputer | 2025-11-16 03:32:44+00:00
Glad to see you here, actually interacting. I've made this clear on the slack, and truthfully I'm disappointed in the fact that it took so long and external involvement from a parent on HN to get a response.

Another example: there was a relatively civil debate about a new hackathon yall are putting out, funded by.... AMD, and the US government's fund to "teach AI literacy" or whatever the fuck that means. Due to this, _you region locked an entire Hack Club event_. This is the kind of stunt Nintendo would pull, but an organization that thrives itself in "everyone is welcome".

When confronted, yall decided to..... shut down any internal discussion, and avoid the thread at all costs, directly going against you other claims of "radical transparency" and "openness to feedback"/

What long game are you playing here? The game of "make Hack Club suck for 5 years, and lose our motives, morals, and the trust of our community, for an extra few bucks on the 6th?

It's complicated to handle the law. It's why lawyers cost, per your quote, $500 an hour. But it's not complicated to listen to people and genuinely try to turn back from the wrong turn you took somewhere during Juice.

The only reason we got an update from you in the first place is the opposite of what it should have been. Send this to Christina as well: https://mondaynote.com/united-broken-culture-6b35267c8a10

About the vuln, Ella is exaggerating and has very minimal basis if at all. She did some pentesting, vuln got patched, problem solved. Does HQ need to be more responsible here? Yes. Should critical infrastructure be written by AI? Absolutely not! But does Ella have the basis to start claiming legal superiority over here? Also no.

But, now that you absolutely insist you need to keep my passport indefinitely in order to ship me a sticker that says "summer of making" on it, I expect you to be a little more responsible in: - Who you give access to - How you give said access - How long you give it for - How strict you are about conduct when person is in possession of said access.

TL;DR: Ella's point sucks. Hack Club data handling, also socks. Hack Club PR? Might be worse.
by plantain | 2025-11-16 03:33:04+00:00
I had the motherboard fail on a Dell XPS while at a conference in Tasmania, staying in a student residency that was inaccessible by car for the last ~1km. Within 24 hours a man arrived, to my room, to change the motherboard.

Extremely impressive logistics. I guess they reuse the same network as for emergency server parts/repairs.
by patcon | 2025-11-16 03:33:29+00:00
I agree, they should have said it, and I had to go looking too. but it may be that they're just leaving this to others, and talking to ppl who already think about KNN's?

http://ann-benchmarks.com/index.html

But yeah, my own research (not just that link) says HNSW's get KNN complexity down to O(log n) for search, and O(n log n) for building the whole index.
by tshaddox | 2025-11-16 03:34:03+00:00
Nah, Flash was awful. Terrible performance on low end devices. Unforgivably terrible for web video. Nightmare on Linux. Nightmare in enterprise environments.

There were cool games, but there still are cool games. And the indie/hacker/homebrew gaming ecosystems are bigger, richer, and more accessible than ever (due in no small part to the web, both as a gaming platform and for learning/community).
Clickwrap vs. wet signature license agreement
by domlebo70 | 2025-11-16 03:35:13+00:00
Hi all.

I run a SaaS. Deal size maybe $500-$6k per month in the healthcare space. Typically do a demo, agree on price, then they start using the product, and I send them a license agreement via Pandadoc and they sign.

I want to explore the idea of just doing a Clickwrap type agreement instead of using Pandadoc and sending an agreement. Basically upon logging in for the first time, all users are greeted with the agreement, they click ok, and that's that. We would log the metadata associated as evidence they clicked agree.

Is this typical? What to beware of? How to implement - I see Docusign has a product to do so but it's 5k a year which is too much for me? Any thoughts?
by embedding-shape | 2025-11-16 03:36:32+00:00
> the ocean is so huge it will be dilutet to neligible amount very quickly.

Are you basing this on actually knowing this, because it sounds doubtful to me. The ocean would probably dilute a bit, maybe even a bunch, but it'll also lead to contamination of everything around there, the bottom, the animals, and so on, the radiation doesn't suddenly "disappear" in "thin" water.
by Dylan16807 | 2025-11-16 03:36:57+00:00
Is it an autistic thing to pull a single sentence out of its context to treat literally? I wasn't familiar with that being a thing.

If that sentence was by itself, I would understand your complaint. But as-is I'm having a hard time seeing the issue.

And the weird analogy where you added "someone's pointing a gun at you" undermines your stance more than it helps.
by realitydrift | 2025-11-16 03:37:12+00:00
What I love about this piece is how it treats enjoyment as a trainable faculty rather than something fixed. It lines up with the Reality Drift Equation, where meaning deepens when you slow the entropy of your own attention. So much of modern life pushes us toward synthetic realness and hyper-compressed impressions, but these micro skills of enjoyment are basically tools for reversing that drift. Letting intensity in, widening the frame, and building context are all ways of restoring temporal depth to your experiences instead of living in the flattened now. It’s a reminder that liking things more is a practice of preserving your own fidelity in a high entropy world.
by disambiguation | 2025-11-16 03:38:03+00:00
This sparked a really fascinating discussion, I don't know if anyone will see this but thanks everyone for sharing your thoughts :)

I understand your point - to an LLM there's no meaningful difference between once turing complete language and another. I'll concede that I don't have a counter argument, and perhaps it doesn't need to be prolog - though my hunch is that LLM's tend to give better results when using purpose built tools for a given type of problem.

The only loose end I want to address is the idea of "doing reasoning."

This isn't an AGI proposal (I was careful to say "good at writing prolog") just an augmentation that (as a user) I haven't yet seen applied in practice. But neither have I seen it convincingly dismissed.

The idea is the LLM would act like an NLP parser that gradually populates a prolog ontology, like building a logic jail one brick at a time.

The result would be a living breathing knowledge base which constrains and informs the LLM's outputs.

The punchline is that I don't even know any prolog myself, I just think it's a neat idea.
by khannn | 2025-11-16 03:38:50+00:00
I see the current base Mac Mini going for $499 new, but that's 16gb of unified ram and a 256 ssd. I'm currently using 17.5gb of memory on win11, but most of that is Brave with a ton of extensions loaded with many tabs. I'd be using the Mac for typical office stuff with some occasional programming probably with JetBrains IDEs. I'd like to do some AI stuff too, my current laptops are way too slow.
by begueradj | 2025-11-16 03:38:55+00:00
> Reading about how to do the thing isn't doing the thing. Reading about how other people did the thing isn't doing the thing."

> Making a to-do list for the thing isn't doing the thing.

Clearly defining and understanding the thing or, as they say, understanding the problem is half the solution. Real life experiences totally crash the OP statements.
by jvmenon | 2025-11-16 03:39:08+00:00
Hi HN! My brother and I built Refringence because we found learning hardware design is tough and scattered. Many colleges from where I am from don’t teach it well, and training courses are really expensive and unstructured.

Refringence helps by providing a context AI mentor and a browser-based IDE/playground where you can do h/w challenges and projects, run simulations, and view waveforms, all in one place with no need to install tools.

We’ve started rolling it out gradually and have about 200 users so far. Many say it helps them get unstuck faster compared to juggling multiple separate tools.

We have tried to incorporate practice and challenges for several tools and languages in hardware, like Verilog, RISC-V, x86, MATLAB/Octave, embedded C, and Qiskit for quantum computing. We’re also working on adding digital and analog circuit simulation challenges and have started creating roadmaps for structured learning.

Since we are hardware engineers ourselves and still learning, we are constantly improving the platform. We appreciate your patience with any rough edges. We have focused on making the infrastructure as secure and seamless as possible.

We would love to hear your feedback.
by justinclift | 2025-11-16 03:39:57+00:00
Bearing in mind that Apple does Open Source some stuff: https://opensource.apple.com/projects

They also Open Source the base OS layer pieces for macOS too:

* https://github.com/apple-oss-distributions/

* https://opensource.apple.com/releases/

I don't keep any kind of close eye on this stuff though.