MurphyA/hacker-news huggingface dataset:
by NoTeslaThrow | 2025-04-13 03:08:57+00:00
Republican voters can see many if not all of the same economic ills in society that Democrat voters do. In some cases they can even agree on the cause. I'm not going to stand next to how right-wing media (and its eager audience) may characterize "main stream media". But I do think the window of representation across how americans see and characterize ourselves through newsrooms in general has narrowed too far (in its seemingly-permanently partisan polarization) to sustain a rational democracy. Social media and the internet have provided the means to see this clearer than ever, in both great and terrible ways. A lot of contradictions in society about values we have and language we use as a people will have to resolve now.

All I can say is I hope we see a real economic policy response from democrats in congress, and fast. They seem to be fishing around for ideas in all the wrong pockets (foreign interests, domestic private interests, namely not the daily interests of the majority of their constituents).... but even rhetorically, it would be a start.
by cianuro_ | 2025-04-13 03:09:02+00:00
I completely understand TypeScript, Zod not so much. The context here is performance.

My understanding is that Zod performs synchronous operations to validate the schemas. Something about "using the tool correctly" resonates here. Maybe don’t validate very large and nested schemas frequently and things like that.

But I can’t help but think it is adding another layer of potential footguns that you have to be mindful about. Maybe the benefits outshine the risks in disciplined teams that understand both the tool and the runtime. However I can’t help but think about the less disciplined teams abusing Zod and then wondering why things are slow.
by koakuma-chan | 2025-04-13 03:09:17+00:00
Maybe? Isn't WebSockets basically TCP? Roughly? I wrote that WebSockets provide reliable bi-directional streams, but it actually doesn't. It implements message framing. WebTransport also doesn't support "unreliable streams", it's actually called "datagrams". WebTransport doesn't even have to be used over HTTP/3 per the latest spec, so is it basically WebSockets reimplemented in HTTP/3? No.
by eyelidlessness | 2025-04-13 03:09:28+00:00
The thing that makes libraries like Zod trustworthy is that they:

- parse as their validation mechanism

- compose small units (close to the type system’s own semantics for their runtime equivalents, trivially verifiable), with general composition semantics (also close to the type system), into larger structures which are (almost) tautologically correct.

Obviously there’s always room for some error, but the approach is about as close to “safe” as you can get without a prover. The most common source of error isn’t mistakes in the underlying implementation but mistakes in communicating/comprehending nuances of the semantics (especially where concepts like optionality and strictness meet concepts like unions and intersections, which are also footguns in the type system).
by strcat | 2025-04-13 03:10:48+00:00
GrapheneOS has the standard support for E911 that's triggered when the user makes an emergency call. It enables location services in a special way automatically as it does in the stock OS. What we don't currently do is overriding our 2 user-facing toggles for A-GNSS where users can choose to disable or change the server from ours for PSDS and SUPL if they want (they're still enabled by default), although we've considered adding it.

Another thing we don't currently do is force enabling network-based location for emergency calls. GrapheneOS has network-based location disabled by default. See https://grapheneos.org/features#network-location and https://grapheneos.org/usage#network-location. It's a semi-offline implementation based on the Apple location service with both GrapheneOS proxy and Apple options. Fully offline network-based location is planned. Google's services is fully online and makes the position estimates service-side as opposed to iOS and GrapheneOS doing that client side. iOS has network-based location enabled by default and only added an opt-out a couple weeks ago in iOS 18.4. Google Mobile Services devices have a default-enabled toggle in the initial setup wizard and have the Wi-Fi scanning and Bluetooth scanning toggles enabled by default to make scans work with Wi-Fi and Bluetooth otherwise disabled which is always how it works in iOS.

Google's Android Emergency Location Service is not required to share location with emergency services. There are already standard ways to do that. They added an extra system which sends it out-of-band rather than in the standard way. https://www.android.com/safety/emergency-help/emergency-loca... has more info on that. This isn't included in GrapheneOS but isn't needed for this.
by wildzzz | 2025-04-13 03:11:27+00:00
Right, I do understand that with some setup involved, there are ways to search against encrypted messages but simply being given a brand new chunk of encrypted data with no prior knowledge of the contents would be impossible for anyone to index other than the recipient using the key. There would definitely be a way for the client-side to automatically download an encrypted email, decrypt it, index it, and keep an index database using whatever method while simultaneously keeping the originally encrypted email secure on the server.
by bbor | 2025-04-13 03:12:15+00:00
Execution is incredible, and the idea is far from bad, but I must I say that it is certainly hilarious. Giving serious “we’ve figured out a way to more durably connect microservices!” energy.

Ngl, I see a non-zero chance of this kind of aesthetic catching on for nerdy blogs, which tends to proliferate to the wider web eventually. If nothing else, I love some support for those of us who spend all day reading (stylized) Markdown syntax!
by AnonC | 2025-04-13 03:12:35+00:00
Those images on the interstitial page(s) while waiting for Anubis to complete its check are so cute! (I’ve always found all the art and the characters in Xe’s blog very beautiful)

Tangentially, I was wondering how this would impact common search engines (not AI crawlers) and how this compares to Cloudflare’s solution to stop AI crawlers, and that’s explained on the GitHub page. [1]

> Installing and using this will likely result in your website not being indexed by some search engines. This is considered a feature of Anubis, not a bug.

> This is a bit of a nuclear response, but AI scraper bots scraping so aggressively have forced my hand.

> In most cases, you should not need this and can probably get by using Cloudflare to protect a given origin. However, for circumstances where you can't or won't use Cloudflare, Anubis is there for you.

[1]: https://github.com/TecharoHQ/anubis/
by theshaper | 2025-04-13 03:12:41+00:00
> I'm not sure why you say it's a scandal. The author worked with the publishing company from the start, and from the start the intention was to "unveil" the truth to make an impact.

That just means he didn’t lie alone. They lied as a group. They lied to the newspapers that interviewed Jianwei Xun, they lied to the bookstores that sold a non-existent author, they lied to readers and academics, they violated the EU Artificial Intelligence Act, which considers it a serious offense to fail to label AI-generated text, video, or audio. The book doesn’t clarify this in any of its editions.[1]

I get your point about the marketing strategy. That doesn’t change the fact that it was a lie.

Several newspapers have already retracted or pulled their original articles about the “clever stunt” by the Italian author. New spanish editions will now include an explanation of the actual writing process (with AI), as well as the mixed identity behind the author's name.[2]

A scandal.

And yes, I think the experiment is interesting. But they lied, not just my opinion. That’s what every newspapers who interviewed a ghost is now saying.

> According to interviews, he used AI platforms in a very specific way that couldn't be called "vibe philosophizing"

I was referring to the intellectuals now justifying the experiment of working with AI. (They’ve basically discovered “vibe philosophizing”) I wasn’t referring to him. He clearly knew what he was doing.

> It seems he treated the AI as a mirror instead of a system that would give him answers.

Right. Except… I’m not the one saying:

- “Jianwei Xun emerged in late 2024 as a distributed philosophical entity born from the collaborative interaction between human intelligence and artificial intelligence systems.”

- “Xun's true nature as a hybrid intellectual construct…”

That’s from the author’s own official page.[3]

[1] https://english.elpais.com/technology/2025-04-07/jianwei-xun... [2] https://www.lanacion.com.ar/tecnologia/jianwei-xun-autor-de-... [3] https://jianweixun.com/
by jppope | 2025-04-13 03:12:52+00:00
> it’s difficult to discern any coherent U.S. strategy—assuming one even exists

Not sure why there is a presumption that one exists or that its coherent. With even the slightest critical eye its easy enough to discern that this isn't about economic policy or trade and that the proposed "policy" doesn't make any sense. The guy in charge of this stuff is either seeing what he can get away with, fucking with people, or building a narrative...

that is to say what you are watching isn't "real".
by rerdavies | 2025-04-13 03:13:21+00:00
Also found by the study: people choose the food with the highest expected caloric content when hungry (actually the #1 correlate, ahead of expected tastiness), which seems unsurprising. The paper doesn't seem to have any way of dealing systematically with obvious correlations (or anti-correlations) of perceptions of tastiness, healthiness, and expected caloric content, or the obvious theory that people tend to choose the food that they think has the highest caloric content when they are hungry. The entire paper seems statistically perilous.
by reissbaker | 2025-04-13 03:14:23+00:00
I don't need to translate them to English, I speak Hebrew. There are far right ministers who say insane things, there are far left ministers who say the exact opposite, and both call themselves Zionists. You don't speak Hebrew so you need someone to point you to tweets to translate, and you've been pointed only at the far right ones and that's why you think those are the only ones that exist.

If it was actually "check, check, and check" for 77 years, the population would go down, obviously, unless you believe Palestinians are each the second coming of Jesus Christ and can return from the dead at will. No serious academic scholarship agrees with you, and common sense is that you're wrong too. A genocide involves actually attempting to destroy a lot of people systematically, not periodic violence over land squabbles in which neither side is significantly reduced.

There is certainly debate over whether the current war — starting on Oct. 7th — has devolved into genocide, although there isn't scholarly agreement on that (nor legal agreement, as the international courts haven't issued rulings yet; they've only declined to dismiss the case). But a 77-year genocide is a fantasy, in order to avoid thinking deeply about your preferred side's complicity in this endless conflict — and indeed in the current war, which they started, and in which they committed numerous war crimes (and continue to commit war crimes).
by nickpsecurity | 2025-04-13 03:16:36+00:00
There's tools that can prove the absence of runtime errors in industrially-useful subsets of C. Frama-C, RV-Match, and Meta's Infer come to mind. That code is then usable in about anything because so much of it is written in or can call C. Until Rust has that combo, there's still a reason to use C.

Personally, I'd use both Rust and C with equivalent code. The Rust types and borrow checker give some extra assurance that C might not have. The C tooling gives extra assurance Rust doesn't have. Win, win. If I want, I can also do a certified compile or cross-compile of the Rust-equivalent, C code.
by runlaszlorun | 2025-04-13 03:16:37+00:00
OMG that's awesome. I've been meaning to goof around with TUI CSS [1] but this looks amazing. Props to the author.

Maybe it's because I cut my teeth on 80s Turbo Pascal but there's something about the TUI that I feel hits an optimum in the simplicity vs use of visual space spectrum so, so lost in a world of Vulkan etc.

[1] https://github.com/vinibiavatti1/TuiCss
by throwaway519 | 2025-04-13 03:17:24+00:00
Why bother giving you good results? Discerning users, power users, have already given up with Google's search.

By going back they just use you like the more gullible wallet to bleed that you show them you are. You may think you're not, but to Google all you are is a likelihood to keep coming back to be siphoned of financial blood.
by Lammy | 2025-04-13 03:18:14+00:00
I hope it will still be possible to receive a BPS timing signal privately and anonymously with ATSC 3 like one can with GPS. ATSC 3 has the Dedicated Return Channel because marketers “““need””” to spy on every-fucking-thing we do: https://www.atsc.org/wp-content/uploads/2024/04/A323-2024-04...

“Conventional linear TV services alone (albeit ultra-high-definition) may not be sufficient to sustain the terrestrial broadcasting business which requires a large amount of highly coveted spectrum resources. Intelligent media delivery and flexible service models that maximize the network Return on Investment (ROI) is of paramount importance to the broadcasting industry in the new era.”

That's a lot of fancy words to say ‘we're doing this because it makes us more money’ lol

“Recent studies have shown that interactivity between media customers and service providers and between users themselves will be one of the most important features in the next-generation media service. In this document, this unique opportunity is addressed by defining a Dedicated Return Channel (DRC) system for the next-generation broadcasting system.”
by FilosofumRex | 2025-04-13 03:18:14+00:00
Industrial/commercial adoption of LLMs is quite varied and critically depends on the quality vs criticality match.

In healthcare, engineering, construction, manufacturing, or aviation industires adoption is mostly on the admin side for low priority/busy work - virtually no doctors, pharmacists, nurses, engineers, technicians or even sales people use LLMs on the job. LLMs products have serious quality issues and are decades behind industrial databases, simulation and diagnostic tools.

On the other hand in academics, consulting, publishing, journalism, marketing, advertising, law and insurance industries it's wildly adopted and is surging. For example, Westlaw's Co-counsel is better at drafting and case law briefing than all but the most experienced litigators. Not only it has not replaced lawyers, but is causing a boom in hiring since the time and cost of training new associates is drastically reduced and allows firms to take on more clients with more sophisticated case work.
by qmr | 2025-04-13 03:19:35+00:00
Censorship is censorship.

Who are you to decide what is or isn't disinformation?

Who is anyone?

I prefer to do my own critical thinking.

It is also well documented that Meta's rampant censorship extends far beyond "disinformation".

https://web.archive.org/web/20250411170102/https://www.drops...
by stonogo | 2025-04-13 03:19:51+00:00
No, if a project does not work then you shut it down. If someone is stealing money then you prosecute them for theft. That's what the DOJ is for. There are plenty of instances of the DOJ prosecuting government employees for crimes.

So now, instead, we just have to take some rando's word for it that bad stuff was happening but nobody's going to jail over it because it was "technically not illegal"? And you call that accountability?
by strcat | 2025-04-13 03:21:23+00:00
Android Open Source Project and operating systems based on it like GrapheneOS are Linux distributions. The kernel drivers are Linux kernel drivers. The userspace drivers are part of Android's Treble hardware abstraction layer providing forwards compatibility with future Android releases and SELinux-based sandboxing with the drivers split up into isolated processes. Most of the driver complexity is in userspace with most kernel drivers acting as shims between the isolated drivers and the hardware. It's done that way for practical reasons on Android but it's good for security.

Treble's compatibility system isn't very relevant to us right now. There's a new Android release every month: a monthly, quarterly or yearly release. The devices we currently support (Pixels) receive each of these updates officially. Most Android devices do not get the monthly or quarterly updates, only the yearly ones. Other devices rely on partial backports of security patches (Android Security Bulletins) to an initial release, which are provided for ~3-4 years after the initial yearly release. If we supported typical Android devices with that situation, then we'd at least partially rely on Treble to provide the latest OS version. Pixels are currently the only devices meeting our hardware security requirements listed at https://grapheneos.org/faq#future-devices. Having proper updates for 7 years from launch is just part of that, most of the requirements are for hardware-based security features like the secure element features, hardware memory tagging, pointer authentication, USB controller support for blocking new connections and disabling USB data, etc.

GrapheneOS uses the 6.1 and 6.6 long term support branches of the Linux kernel with 6.12 as the next one that's likely going to be used to replace 6.6 for on-device virtual machines and the emulator with Android 16.
by raphlinus | 2025-04-13 03:21:39+00:00
I read LLVM (or one of its many GPU-flavored variants) reasonably often, mostly to figure out where in the chain a shader miscompilation is happening. But I've never personally had to write it, and it's not easy for me to think of a use case where it would make a lot of sense. It's pretty unpleasant and fiddly, as you have to annotate all the types of the intermediate values and so on, and it doesn't have the main advantage of actual assembler: being able to reason about the performance of the code. That depends so much on the way it's compiled.

That said, I have several times wanted to reach for LLVM intrinsics. In Rust, these are mostly available through a nightly-only feature (in std::intrinsics). One thing that potentially unlocks is "unordered" memory semantics, which are intermediate between nonatomic and relaxed atomics, in that they allow much of the optimization of the former, while also not being UB if there's a data race. In a similar vein is the LLVM "freeze" operation, which makes read from uninitialized memory into a well-defined bit pattern. There's some discussion ([1] [2], for example) of adding those to Rust proper, but it's tricky.

[1]: https://internals.rust-lang.org/t/using-llvms-unordered-read...

[2]: https://internals.rust-lang.org/t/what-if-reading-uninit-ram...

But as another data point, for something I really want to do that's not yet expressible in Rust (fp16 SIMD operations), I would rather write NEON assembly language than LLVM IR. And I am quite certain I don't want to write any of the GPU variants by hand either.
by t1amat | 2025-04-13 03:22:34+00:00
With Zod you can build a schema that would match an existing type. Typescript will complain if the schema you build does not match the type you are representing, which is helpful. From memory:

import { z } from ‘zod’ type Message = { body: string; } const messageSchema: z.Type<Message> = z.object({ body: z.string() })
by bruce511 | 2025-04-13 03:24:10+00:00
Apple can agree to invest 500B to build a factory, but they don't have to actually do it.

Building a factory takes years, and a big chunk of that happens long before you actually start work on site.

You gotta find a site, work with local govt to negotiate servicing, environmental report (there's a couple years, and potentially a couple go-arounds right there.)

So there can be lots of activity, lots of progress reports, lots of optimism, for a decade or more before any real money has to be spent.

Ultimately Apple et al can "agree" to anything, the president can have his "big win" and things can carry on just as before.
by summerlight | 2025-04-13 03:24:20+00:00
> They must very much compete with others. All these chips are being fabbed at the same facilities in Taiwan and capacity trades off against each other.

I'm not sure what you're trying to deliver here. Following your logic, even if you have a fab you need to compete for rare metals, ASML etc etc... That's a logic built for nothing but its own sake. In the real world, it is much easier to compete outside Nvidia's own allocation as you get rid of the critical bottleneck. And Nvidia has all the incentives to control the supply to maximize its own profit, not to meet the demands.

> Possibly; such statements were common when I was there too but digging in would often reveal that the numbers being used for what things cost, or how revenue was being allocated, were kind of ad hoc and semi-fictional.

> Regardless the question is not whether some ads launches can pay for the TPUs, the question is whether it'd have worked out cheaper in the end to just buy lots of GPUs.

Of course everyone can build their own narratives in favor of their launch, but I've been involved in some of those ads quality launches and can say pretty confidently that most of those launches would not be launchable without TPU at all. This was especially true in the early days of TPU as the supply of GPU for datacenter was extremely limited and immature.

More GPU can solve? Companies are talking about 100k~200k of H100 as a massive cluster and Google already has much larger TPU clusters with computation capability in a different order of magnitudes. The problem is, you cannot simply buy more computation even if you have lots of money. I've been pretty clear about how relying on Nvidia's supply could be a critical limiting factor in a strategic point of view but you're trying to move the point. Please don't.
by Teever | 2025-04-13 03:24:34+00:00
I just bought a replacement battery from ifixit and replaced it myself as the original battery was worn out only to now suddenly have garbage battery life on a brand new battery for no good reason.

I doubt that they'll give me any sort of money or do repairs on a phone that I opened up.

It's frustrating as I thought I would be able to get several more years of life out of this phone.
by keithwinstein | 2025-04-13 03:25:11+00:00
You don't need ATSC 3.0 to do this kind of thing! The short-term stability of the oscillators they use for commercial DTV transmission is apparently good enough that just having one local reference to compare GPS vs. each TV station's phase (and distribute that data) can produce a pretty good positioning system. Rosum was doing this back in 2005: https://www.tvtechnology.com/news/tv-signals-used-for-geopos...
by mrkstu | 2025-04-13 03:25:12+00:00
Can someone explain the orbital mechanics of these sentences?:

The constant stretching of such tidal deformation would create friction within the planet that would soak up some of its orbital energy, causing it to edge closer to the star.

How exactly does the energy of tidal energy being expressed inside the planet affect its speed relative to its host star? There is no external friction in empty space so how does the speed disappear?