News for hackers. Stuff that matters.

meltyness

Re:Ask HN: I'd like to request Microsoft open source Windows XP on Saturday October 31, 2026 @01:40PM (#50318220)
... this leaked 6 years ago?
Re:11 year old unsoundness bugs found in Rust borrow checker on Tuesday October 13, 2026 @08:49AM (#50070859)
https://github.com/model-checking/verify-rust-std

hm, there's an effort but scoped only to the std

It's terrifically complex: https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty...

Re:U.S. gov't moves to suppress pushback on data centers on Wednesday August 26, 2026 @07:33AM (#49447176)
are you confident the demand for massive ai datacenters peppered everywhere isn't just some financial gambit? wouldn't you ask for consequences and side-effects that are socially desirable, even if the facility brings no wealth to the immediate area (either as a consequence of being owned by a remote corp, or by the investment failing completely).
theyre sunsetting the google assistant that can "take me home"
Re:OSS-SEC: 432 Linux kernel CVEs (in less than 32 hours) on Tuesday July 21, 2026 @08:23PM (#49000220)
... or that the kernel can't be hot reloaded is itself a vulnerability?
Re:Maxwell's Equations Were Discovered [video] on Thursday July 09, 2026 @01:44PM (#48849754)
I want an AMA on whoever had an army of upvoter bots on early Reddit such that every front page post would have a dictionary typo.
without thinking about it or looking at the article, this feels rather radixy
Re:I love Linux, but I can't quit Windows on Saturday May 16, 2026 @12:07PM (#48161396)
I would speculate myself instead the more likely thing is related to:

- dns cache configuration

- wlan power saving which is kind of aggressive since Linux has had some power management issues

It's really why I go for a minimal distro, debian with xfce. There's not many components, they're not "tuned", and I can just kinda research any issues myself and find what works. Usually there's some pretty big gaps (missing a whole component, wildly malfunctioning, high resource utilization) and then it's easy to figure out. There's not much code, or really hard scripts to understand. Just maybe enable debug on the service. Learn where the developers put diagnostics (about:support is a godsend). You get to architect your hardware's success and get a rock-solid system. But yeah, if it's weird it might be weird for a while, haha.

For my setup I think the last few lessons were like:

- use gamescope for X11 Wine/Proton (huge.)

- Firefox profile reset to fix hardware decoding (followed some good guides and some bad guides)

- to make changes use the same git tag as your distro so the deps are easily in-reach.

My favorite new discovery for debian in particular is their extensive functional docs. https://www.debian.org/doc/manuals/debian-reference/

absolutely adore this.

Re:Let's Buy Spirit Air on Sunday May 03, 2026 @11:27PM (#48004297)
Let's see the pool's at $88M with $670 average buy-in, so each of the 132k buyers will owe $15,000-$60,000 of outstanding debt so they can support solvency and to keep airline prices down, and become buyers in the not particularly exciting and highly regulated, volatile capex and opex expensive, fuel consuming and definitely not particularly environmentally friendly, with much larger competitors passenger air transport industry. What an opportunity!
... and room temperature superconductors! If only we could sort out the feasibility, interdependencies, and priorities, but we just don't know, or well, I just don't know haha.
Re:Ask HN: Should AI credits be refunded on mistakes? on Wednesday April 08, 2026 @07:49AM (#47688897)
It's interesting on the grounds of aligning incentives.

It's not interesting due to the fact that it suggests humans are still in the loop of some slow-cycle improvements. That'd never get by any board. In fact, selection of model modes implies it's your responsibility, so that meal was scraped into your flowerpot years ago.

I'd say fat chance.

I feel like the READMEs for these 3 large popular packages already illustrate tradeoffs better than hacker news argument
is this token friendly?
Re:Billion-Parameter Theories on Tuesday March 10, 2026 @08:00PM (#47330315)
... but then why not a model model to perform that outer analysis and overcome the representations shortcomings of an encoder network?
Re:Microgpt on Sunday March 01, 2026 @07:57AM (#47206293)

  vocabulary*

  *In the code above, we collect all unique characters across the dataset
Re:TikTok's 'Addictive Design' Found to Be Illegal in Europe on Friday February 06, 2026 @09:11AM (#46913024)
You can try and squeeze a free speech absolutism story out of it, but the reality is that this has been a story since Microsoft got into cable news.

At that point it was a game of "I'm not slandering you" to chip away at every other valuation, that could have easily have just been called antitrust because they didn't build it. That was 1996-2005 and went completely unchecked.

This is similar but the stack was even cheaper, and closer to more people's faces.

Even if governments take no recourse, I don't see an issue with government using it's position to put a food pyramid in citizen's faces to say like, "this can be harmful." The church probably would have if this were long ago, except, instead of fire and brimstone, some sort of epic story of social isolation, permanent dissatisfaction, and self-imposed constraints, alien abduction, transformation into a pig by a wizard?

There's probably a lot of visceral fears that would be worthy analogs to the harms of the feed.

I don't think that this narrative has been explored enough, honestly. Corps keep building crap like this, even amazon has (had?) an influencer feed.

People who are in play/leisure should probably practice tolerating more choices than "express mild, momentary dissatisfaction and receive an instantaneous reward"... that's probably not a life everyone should be trained to live

Re:175K+ publicly-exposed Ollama AI instances discovered on Friday January 30, 2026 @09:27PM (#46832731)
Re:175K+ publicly-exposed Ollama AI instances discovered on Friday January 30, 2026 @08:31PM (#46832376)
It's more of a distribution thing for me really. I'm basically using docker as a package manager since they otherwise distribute through one of those ad-hoc shell scripts that I'd prefer to avoid accidentally breaking Debian with somehow.

I've built ollama before too, but, I like that I can cleanly rip it out of my system or upgrade it without handing root off to some shell script somewhere I guess.

If anyone's gonna bash up my system it oughta be me

Re:175K+ publicly-exposed Ollama AI instances discovered on Friday January 30, 2026 @08:10PM (#46832246)
This is a weakness of docker, a bit, I think.

I was rigging this up, myself, and conciscious of the fact that basic docker is "all or none" for container port forwarding because it's for presenting network services, had to dig around with iptables so it'd be similar to binding on localhost.

The use case https://github.com/meltyness/tax-pal

The ollama container is fairly easy to deploy, and supports GPU inference through container toolkit. I'd imagine many of these are docker containers.

Re:Open Chaos: A self-evolving open-source project on Saturday January 10, 2026 @01:29PM (#46568499)
I mean I'm sure cramming synthetic data and scaling models to enhance like, in-model arithmetic, memory, etc. makes "alignment" appear more complex / model behavior more non-newtonian so to speak, but it's going to boil down to censorship one way or another. Or an NSP approach where you enforce a policy over activations using another separate model, and so-on and so-on.

Is it likely that it's a bigger problem to try and apply qualitative policies to training data, activations, and outputs than the approach ML-guys think is primarily appropriate (ie., nn training) or is it a bigger problem to scale hardware and explore activation architectures that have more effective representation[0], and make a better model? If you go after the data but cascade a model in to rewrite history that's obviously going to be expensive, but easy. Going after outputs is cheap and easy but not terrifically effective... but do we leave the gears rusty? Probably we shouldn't.

It's obfuscation to assert that there's some greater policy that must be applied to models beyond the automatic modeling that happens, unless there's some specific outcome you intend to prevent, namely censorship at this point, maybe optimistically you can prevent it from lying? Such application of policies have primarily targeted solutions that reduce model efficacy and universality.

[0] https://news.ycombinator.com/item?id=35703367

In security-eze I guess you'd say then that there are AI capabilities that must be kept confidential,... always? Is that enforceable? Is it the government's place?

I think current censorship capabilities can be surmounted with just the classic techniques; write a song that... x is y and y is z... express in base64, though stuff like, what gemmascope maybe can still find whole segments of activation?

It seems like a lot of energy to only make a system worse.

That's an optimistic take, a more pessimistic take is that this is a tactic to lock marketshare for Wing, Zipline, Amazon and stall investment in drone delivery services while production catches up.

edit: I'm speculating here that the supply chain wasn't already state-side for these players without knowing much about their business model

Did you watch the YouTube timestamp? Do you know the difference between audience and subject? Do you know that we don't all live in primary school? Can you list any 7 buzz words I've raised that didn't come immediately from the YouTube timestamp?
Re:PBS News Hour West to go dark after ASU discontinues contract on Saturday December 20, 2025 @04:48PM (#46339943)
I mean this is just one case, I didn't cherry pick this, I peeked at a few previous episodes to find an episode where there was indeed a professor for the feature interview.

It's uninteresting because it's basically become a platform for regulatory capture. It's a wellspring of obviously non-universal ideas like, "there is no right way to integrate AI and primary education", "the federal government should subsidize ai access", or "only safe ai platforms should be permitted". I mean it's obviously their right to blather incessantly about it, I just think it's boring, and that's all I've said.

Maybe it's because I'm not a politician or a philanthropist, and I'm not required to tailor my actions to appease a large number of people subject to my will, but there's obviously better ways to approach that, like delegating and talking to people, who are local to the concern.

It's a nuanced and long term discussion and I think lots of the stuff that winds up in these interviews is really a local issue that's going into the wrong channel by well-meaning folks who don't understand government, or worse folks who are seeking to exploit government for profit.

And concretely, the interview doesn't focus on the book or the study, it's literally just an authoritative "intersectional" quiz about how AI/Education crosses with Diversity, Equity, and Inclusion,... a dumb question.

Re:PBS News Hour West to go dark after ASU discontinues contract on Saturday December 20, 2025 @08:57AM (#46336232)
You are optimistic about my ability to get things done, and I appreciate that.
Re:PBS News Hour West to go dark after ASU discontinues contract on Saturday December 20, 2025 @08:15AM (#46335957)
Yeah, were opining on a segment that I opined is excessively opinionated (i.e., opinions are confidently stated so as to be represented as facts, "half of teachers are using LLMs" but when you look, the "study" is just a bunch of opinion polls. So yeah it is, in the literal sense, the professor's opinion being represented as facts, thank you have a nice day.
It's a national federally funded organization and they want to chat on about justice and fairness, literally asking in order "how does this effect diversity? oh. How about equity? oh. how about inclusion?", and it's such a surprise that it costs a trillion dollars to not plop a choo-choo from LA to SF when everyone "feels like it"? It's gross, it's gross to me. Stick to the news.

Older »