MurphyA/hacker-news huggingface dataset:
by cxr | 2025-12-17 01:19:00+00:00
I have secretly held the belief for a while that the Java implementation should be mechanically translated to TypeScript and then fixed up, annotated, and maintained not just primarily but entirely in that form; the requisite R&D/tooling should be created to:

(a) permit a fully mechanical, on-the-fly rederivation of the canonical TypeScript sources into Java, for Java consumers that need it (a lot like the ts->js step that happens for execution on JS engines), and

(b) compiler support that can go straight from the TypeScript subset used in the parser to a binary that's as performant as the current native implementation, without requiring any intermediate C++ form to be emitted or reviewed/vetted/maintained by hand

(Sidenote: Hejlsberg is being weird/not entirely forthcoming about the overall goals wrt the announcement last year about porting the TypeScript compiler to Go. We're due for an announcement that they've done something like lifted the Go compilers' backends out of the golang.org toolchain, strapped the legacy tsc frontend on top, allowing the TypeScript compiler to continue to be developed and maintained in TypeScript while executing with the performance previously seen mostly with tools written in Go vs those making do with running on V8.)

I agree with the overall conclusion of the post that what is demonstrated there is a good use case for LLMs. It might even be the best use for them, albeit something to be undertaken/maintained as part of the original project. It wouldn't be hugely surprising if that turned out to be the dominant use of LLM-powered coding assistants when everything shakes out (all the other promises that have been made for and about them notwithstanding).

No real reason that they couldn't play a significant role in the project I outlined above.
by bichiliad | 2025-12-17 01:19:12+00:00
Genuine question: I’m someone who hates the centralization of data with companies like Flock. I also want safer streets. I have liked things like speed cameras and bus-mounted bus lane cameras specifically because they target the problem without the need for police involvement. How do you get the latter without ALPRs? Or do ALPRs indicate cameras specifically collecting license plates independent of active enforcement?
by jasongill | 2025-12-17 01:19:18+00:00
If this is like any other of Microsoft's attempts to get you to turn on something that you clearly do not want, it will pop up a wizard every few weeks saying "please confirm your choices" and will have a weasel-worded message saying "Increase your PC's security intelligence by enabling AI-powered data validation" with two buttons: "Protect My PC" and "Ask me later".

I have a couple Windows boxes for rarely-used Windows-only software and loathe trying to navigate the monthly "Are you REALLY sure you don't want to link your iPhone to this PC? And, are you SUPER DUPER sure that Microsoft Edge shouldn't be your default browser? What about backing up all your files to OneDrive? You sure???" prompts
by ursAxZA | 2025-12-17 01:19:40+00:00
Thanks for the reply — I might have explained the situation poorly.

Out of my five submissions, two are Ask HN posts (including this one), and two are links to my own writing. All four of those behaved normally, so I assumed self-links were fine.

The third link — also to my own article — is the only one that disappeared.

If all self-links were filtered, I would understand. What confused me is that the first two stayed visible without any issues, but the third one vanished a few hours after posting.

So I’m just trying to understand why only one of them triggered the filter.
by aw1621107 | 2025-12-17 01:19:41+00:00
> I have strong philosophical disagreements with ad-hoc polymorphism in general

What disagreements are those, if you don't mind typing more? PL design is something I'm interested in but not particularly experienced with so more perspectives are always nice to hear.

> I can not see a world where Rust adopts Haskell's position on the typeclass system being a convenient syntax sugar for a non-primitive and more explicit semantic form.

As someone who isn't familiar with Haskell, do you mind elaborating on Haskell's syntax sugar and what it reduces to?
by throwup238 | 2025-12-17 01:20:16+00:00
> As courtesy and transparency, I will still link and reference the original project in addition to disclosing the Agent use, although those things aren't likely required and others may not do the same. That said, I'm definitely not using an agent to port any GPL-licensed code.

IANAL but regardless of the license, you have to respect their copyright and it’s hard to argue that an LLM ported library is anything but a derivative work. You would still have to include the original copyright notices and retain the license (again IANAL).
by mtmail | 2025-12-17 01:20:34+00:00
> Is it common for low-karma, new accounts to have submissions silently filtered out?

Yes. I don't know the exact thresholds. Usually needs an old account to click 'vouch'. These days there's often too many submissions in one hour and not enough users browsing /new to look for interesting content. I clicked 'vouch' now.

> Do certain titles or post formats trigger automated removal?

Duplicates (same title, same URL) I think, obvious spam, some domains are blocked automatically. I don't see anything applying to your submissions.

> Could I have unknowingly violated a guideline?

Not sure. Maybe submission too many new stories in the first day. It shouldn't matter.

> Would this type of post have been better as a “Show HN”?

Show HN is usually for things one can try in their browser or on their computer, something interactive. Sometimes a video qualifies because it shows what a user would see. Long content, blog posts usually don't qualify. https://news.ycombinator.com/showhn.html

> I’m still learning how HN works

10 years in, I'm still learning, too. The algorithms change.
by ofermend | 2025-12-17 01:20:51+00:00
We just evaluated Nemotron-3 for Vectara's hallucination leaderboard.

It scores at 9.6% hallucination rate, similar to qwen3-next-80b-a3b-thinking (9.3%) but of course it is much smaller.

https://github.com/vectara/hallucination-leaderboard
by zamadatix | 2025-12-17 01:22:15+00:00
Some past discussion (excluding 0 comment submissions) to add:

https://news.ycombinator.com/item?id=46216274 - 4 comments, 6 days ago

https://news.ycombinator.com/item?id=46203508 - 1 comment, 7 days ago

https://news.ycombinator.com/item?id=46198874 - 2 comments, 8 days ago
by SecondHandTofu | 2025-12-17 01:22:50+00:00
Has that ever worked at scale in history? This strikes me as the same as people who take a stand by not ordering from Amazon or not using whichever service, they make their life somewhat harder and the world doesn't notice. Even worse, the people taking a stand signal to others that they do it, but most others think that the cost outweighs the benefit, and don't like being judged. Groups in which everyone signals and judges like that suck and devolve into purity spiraling, so few people sustain it, and the people taking a stand get bitter.

Co-ordination problems are the hardest problems.
by qingcharles | 2025-12-17 01:23:19+00:00
I started my career writing software 3D renderers before switching to Direct3D in the later 90s. What I wonder is if all of this is going to just get completely washed away and made totally redundant by the incoming flood of hallucinated game rendering?

Will it be possible to hallucinate the frame of a game at a similar speed to rendering it with a mesh and textures?

We're already seeing the hybrid version of this where you render a lower res mesh and hallucinate the upscaled, more detailed, more realistic looking skin over the top.

I wouldn't want to be in the game engine business right now :/
by crazygringo | 2025-12-17 01:24:08+00:00
> Oddly, none of the LLM's I've seen ask for clarification when multiple assumptions might all be likely.

It's not odd, they've just been trained to give helpful answers straight away.

If you tell them not to make assumptions and to rather first ask you all their questions together with the assumptions they would make because you want to confirm before they write the code, they'll do that too. I do that all the time, and I'll get a list of like 12 things to confirm/change.

That's the great thing about LLM's -- if you want them to change their behavior, all you need to do is ask.
by autoexec | 2025-12-17 01:24:11+00:00
Mozilla tells you to use it so it so that seems supported enough to me (example: https://support.mozilla.org/en-US/kb/how-stop-firefox-making...)

That said, they're admittedly terrible about keeping their documentation updated, letting users know about added/depreciated settings, and they've even been known to go in and modify settings after you've explicitly changed them from defaults, so the PSA isn't entirely unjustified.
by rockemsockem | 2025-12-17 01:24:57+00:00
The contradiction is that breaking up Google and Amazon would also destroy categories of business where the United States is dominant over other countries.

Prevent them from buying their competitors, for sure, but don't kid yourself into thinking that there are many neat ways to parcel these companies up into neat little independent business units. There is at best a very small number of ways to do this and the government will not get it right, just look at their most recent attempt with Google to strip out Chrome of all things.

Just to be clear on my stance,I agree that blocking the irobot deal was absurd. Context matters in a big way, clearly they were struggling and were basically alone in the market as an American company.

I think you also need to apply that context to Google and Amazon and consider whether the government would do so wisely.
by 15155 | 2025-12-17 01:25:06+00:00
> decided that their main goal is finding arbitrary noncitizens to deport

In the vast majority of cases this means: "enforcing immigration law." A presidential administration deeming it politically expedient to import illegal immigrants via turning a blind eye doesn't change the law of the land.

> that they're entitled to the ALPR data collected by municipalities in order to accomplish this goal

"Entitled" to purchase something that is being sold on the market for a fair price? Why wouldn't they be entitled to purchase this info if a vendor wishes to sell it to them?
by simonw | 2025-12-17 01:25:31+00:00
If I thought this was clear-cut 100% unethical and irresponsible I wouldn't have done it. I think there's ample room for conversation about this. I'd like to help instigate that conversation.

I'm ready to take a risk to my own reputation in order to demonstrate that this kind of thing is possible. I think it's useful to help people understand that this kind of thing isn't just feasible now, it's somewhat terrifyingly easy.
by jmclnx | 2025-12-17 01:25:43+00:00
So now the poor people forced into using Windows 11 will get constant prompts for each file and new files as they are created ? Looks like maybe at the directory level, a little better, but will be fun for developers :(

M/S should allow people to disable AI globally, but that will never happen. Plus how do we know if saying "no" really means "no" ?
by adverbly | 2025-12-17 01:26:29+00:00
This smells like a Principia Mathematica take to me...

Reducing the problem to "ya just create a specification to formally verify" doesn't move the needle enough to me.

When it comes to real-world, pragmatic, boots-on-the-ground engineering and design, we are so far from even knowing the right questions to ask. I just don't buy it that we'd see huge mainstream productivity changes even if we had access to a crystal ball.

Its hilarious how close we're getting to Hitch hikers guide to the galaxy though. We're almost at that phase where we ask what the question is supposed to be.
by firesaber | 2025-12-17 01:26:33+00:00
Hey HN, I built SafePrompt because I wanted to paste sensitive docs into ChatGPT but didn't trust OpenAI with the raw data.

It runs 100% in the browser (Next.js + WebAssembly). It uses Regex/Logic (no AI) to strip Names, Emails, and SSNs before they leave your clipboard.

It's a simple MVP right now. Would love to know if this solves a real problem for you.
by ashton314 | 2025-12-17 01:26:49+00:00
> … verify/synthesize invariants in languages people use?

Good question. This is the holy grail. This is what everyone in PL research would love. This is where we want to get to.

Turns out a language as “simple” as C has sufficiently complicated semantics as to limit rigorous analysis to the basics. One example is loop analysis: it’s very useful to know that a loop will terminate eventually; if a loop is modifying some state and—worse—if the iteration variable gets modified—kiss your analysis goodbye because mechanically synthesizing strong pre- and post-conditions becomes insurmountable. It’s not an engineering challenge. It’s a math/pure CS theory challenge.
by shrumm | 2025-12-17 01:27:00+00:00
> I will say that I’ve seen a lot more vehement trash talking about mypy and gushing about pyright than vice versa for quite a few years. It doesn’t quite add up in my mind.

agreed! mypy's been good to us over the years.

The biggest problem we're looking to solve now is raw speed, type checking is by far the slowest part of our precommit stack which is what got us interested in Ty.
by 15155 | 2025-12-17 01:27:09+00:00
> I think small progressive and libertarian enclaves will get rid of their cameras while remaining landlocked in a sea of municipalities expanding theirs.

Flock will just start putting cameras up on private property and selling the data to the Federal government. Municipalities can do very little to stop this, and local governments are pretty poor at keeping their true reasons out of public forum deliberation. Loophole methods of prohibition ("Can't put up camera masts") are easily thwarted in court.
by christina97 | 2025-12-17 01:27:20+00:00
I hate the ad business model as much as the next person, but this is a pipe dream. Meta had ~$50b in revenue on ads last quarter, and 3.54b “daily active people” whatever that means. That’s in the order of $1/“dap”/week, and there is just absolutely no way any meaningful proportion of their userbase would be paying that much for these apps.
by humanfromearth9 | 2025-12-17 01:29:29+00:00
Hello

Introductory? just a few articles on dev.to. Link to one article, you'll find the others in my profile: https://dev.to/yannick555/novel-contributions-of-the-indepen...

You might want to read "Chapter 8. Applying IVP: A Practical Framework" of the long-form paper.

It's difficult to have introductory stuff right now, I've only recently started publishing about it, and I've been busy with the very formal ICSA paper.

Nevertheless, I plan to publish a web site which would serve as the knowledge base about IVP in a near future (few weeks time).

There's actually so much to say about it, and I'm having new ideas every day... Latest one: use IVP to compare open-source software with proprietary software under the lens of their change drivers in various contexts.
by alsetmusic | 2025-12-17 01:29:33+00:00
It's funny how much you think you know better than adults when you're a teen (and even into your twenties, when your brain is still developing for half that time).

I never would have thought there was value in a lot of things I was forced to learn at that age. Even for the stuff that hasn't had practical application in my life (flying buttress, for example), I wouldn't retroactively reduce how much learning I was expected to complete.
by Nathans220 | 2025-12-17 01:29:35+00:00
I was on google and noticed many high level domains hosting web stores and blog websites were hacked or somehow inflitrated with fake blog posts that replaced their existing sub domain hosted content. Check this link: https://www.google.com/search?q=Cheap+IPTV+Subscription+2025... You will see all the high level domains, bicardi, tp-link, universitys.
by eterm | 2025-12-17 01:31:09+00:00
The killer feature of LLMs is to be able to extrapolate what's really wanted from short descriptions.

Look again at Gemini's output, it looks like an actual book cover, it looks like an illustration that could be found on a book.

It takes on board corrections (albeit hilariously literaly).

Look at GPT image's output, it doesn't look anything like a book cover, and when prompted to say it got it wrong, just doubles down on what it was doing.
by simonw | 2025-12-17 01:31:18+00:00
Something I'm particularly interested in understanding is where the tipping point here is. At what point is a prompt or the input that accompanies a prompt enough for the result to be copyrightable?

This project is the absolute extreme: I handed over exactly 8 prompts, and several of those were just a few words. I count the files on disk as part of the prompts, but those were authored by other people.

The US copyright office say "the resulting work is copyrightable only if it contains sufficient human-authored expressive elements" - https://perkinscoie.com/insights/update/copyright-office-sol... - but what does that actually mean?

Emil's JustHTML project involved several months of work and 1,000+ commits - almost all of the code was written by agents but there was an enormous amount of what I"d consider "human-authored expressive elements" guiding that work.

Many of my smaller AI-assisted projects use prompts like this one:

> Fetch https://observablehq.com/@simonw/openai-clip-in-a-browser and analyze it, then build a tool called is-it-a-bird.html which accepts a photo (selected or drag dropped or pasted) and instantly loads and runs CLIP and reports back on similarity to the word “bird” - pick a threshold and show a green background if the photo is likely a bird

Result: https://tools.simonwillison.net/is-it-a-bird

It was a short prompt, but the Observable notebook it references was authored by me several years ago. The agent also looked at a bunch of other files in my tools repo as part of figuring out what to build.

I think that counts as a great deal of "human-authored expressive elements" by me.

So yeah, this whole thing is really complicated!
by SixFeetUp | 2025-12-17 01:32:00+00:00
Six Feet Up is hiring a Sales Operations Manager (remote, US-based preferred) to support our Field CTOs and Senior Account Manager by owning sales operations and CRM execution. This role ensures meetings are scheduled, conversations are captured, follow-ups are tracked, and Pipedrive stays accurate—so our senior team can stay focused on selling and advising.

If you’re detail-obsessed and want to work for a mission-driven consultancy focused on impactful work, we encourage you to apply.
by ojowwalker77 | 2025-12-17 01:32:49+00:00
Hey HN, I built this because I was tired of solving the same ffmpeg problems every week. Claude Code is stateless – every session starts fresh.

Matrix is an MCP server that gives it semantic memory: - Stores solutions with embeddings (all-MiniLM-L6-v2, runs locally) - Searches by meaning, not keywords - Tracks success/failure rates - Single SQLite file, no external deps

100% local, no API calls.

Happy to answer questions about the implementation.
by acdha | 2025-12-17 01:33:20+00:00
You’re trying too hard to make that conspiratorial take: most responsible outlets don’t speculate on motives until there’s some evidence of a connection. For example, the stories I’ve read quoted his neighbors wondering whether there’s a connection to what happened at Brown, which is just an hour away and still has the killer at large. If there’s any evidence of an anti-Jewish motive, I will be shocked if it’s not an NYT headline within minutes.
by openhw | 2025-12-17 01:33:25+00:00
Go ahead and take a look at the back of your desktop PC case or the sides of your laptop. You can search for hours and you won’t find any GPIO pins, which means your computer can’t directly interact with low-level components. That’s a bummer, so the SemiTO-V team designed this GPIO expansion card for Framework laptops.

Because Framework is awesome, they include expansion slots so users can add whatever modules they might need. Those are a bit like the PCMCIA card slots from decades ago, but rely on a more versatile USB-C connection. The exact specs vary based on the Framework mainboard in question, but there should be at least one slot with all USB-C features and the ability to provide up to 3A with PD (Power Delivery).

SemiTO-V designed what is basically a small Raspberry Pi RP2350-based development board that fits into a Framework expansion slot. It has 16MB of flash memory and a dedicated crystal that can be set to a clock speed up to 250MHz. There are 20 GPIO pin accessible through 2.54mm SMD pads and users can solder on convention headers or cables.

Once inserted into a Framework’s expansion slot, users can program and work with the RP2350 just like they would with any development board. Flash some CircuitPython code or whatever you prefer, then start using your laptop’s shiny new GPIO pins!

Jeff Geerling even tested this Expansion Card in his most recent video.

https://youtu.be/OkFfTK8S00c?si=vkl3Z85jDeih0Fz9
by porcoda | 2025-12-17 01:33:42+00:00
Not a stupid question at all. There are two reasons verification tends to happen in these specialized languages: the languages we usually use are often not expressive enough to write things like specifications, and a bit too expressive in the sense of letting people write program logic that is insanely difficult to verify (think untyped pointers into a dynamically allocated heap for example). So these verification related languages often are more expressive on the spec side and more restrictive in terms of what kind of code you can write.
by doubtfuly | 2025-12-17 01:34:00+00:00
On Windows Mozilla can't even handle disabling hardware acceleration, a.k.a. the GPU, from its settings page. Sure you can toggle the button but it doesn't work as verified in the task manager. What hope is there that they can be trusted to disable AI then? It's a feature that I'd never want enabled. When that "feature" comes out users will be forced to find a fork without the feature.
by ssl-3 | 2025-12-17 01:35:18+00:00
Sure.

And ideally, the trailer should have its own brakes and (mostly!) stop itself.

I've never found the brakes on an Odyssey to be particularly lacking on their own, even when loaded heavy in mountains. They're fine. 2-pistol calipers, decent-sized rotors. Nothing fancy, but also nothing lacking. The ABS behaves sanely.

The only thing I see people complain about is warping, but the causes of that are very varied (and may have nothing to do with anything actually being warped).

Like many vehicles, they get a lot better with good rotors that have cooling improvements, and well-selected not-ceramic pads.

It goes from "yeah, those are fine" to "Holy Toledo. My sunglasses just flew off of my face, and I think the seatbelt hurt my shoulder (but there was no crash, so it's fine)"
by Terr_ | 2025-12-17 01:35:20+00:00
Looking at some other sources, it seems like initial DMV setup was a 30-day Can't Sell Or Manufacture, which I bet has a mechanism to renew/extend over and over.

Then on top of that an official (administrative judge) ruled Tesla gets a 90 day pre-buffer before the the start of Can't-Sell, and indefinitely paused the Can't-Manufacture.
by jsheard | 2025-12-17 01:36:27+00:00
You can't really do a whole lot of inference in 16ms on consumer hardware. Not to say that inference isn't useful in realtime graphics, DLSS has proven itself well enough, but that's a very small model laser-targetted at one specific problem and even that takes a few milliseconds to do its thing. Fitting behemoth generative models into those time constraints seems like an uphill battle.