Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> Use evaporative humidifiers

You don't have to buy one either. A suspended wet towel with a fan blowing on it will work very well. If you want to get fancy, have the last inch or two of the towel sitting in a tray of water.


> Consoles run more "commodity hardware" than phones, like CPUs and GPUs and standard ports etc.

Not really. They share CPU/GPU architecture but there are significant differences vs. what you can buy for a PC. For example, the latest PlayStation and Xbox use unified GDDR memory and commodity CPUs all use (LP)DDR.

However, you can buy systems that use the same (or similar) chips as phones these days. Snapdragon, Apple Silicon, SBCs?


A home PC has to have a SOTA gpu?

Seems like there are a relatively large number of competitors to Apple and Google. Eg. Samsung, Motorola, Lenovo, OnePlus, LG, HTC etc. Not to mention Asian brands.

Duopoly might apply if those companies were using their combined dominance to collude and push other competitors out but that isn't really happening as evidenced by the amount of competitors that are in the market.


Personally I dislike Lindt in every way: they have dodgy safety and labour standards and are verboten in my house.

Supermarket stuff: Tony's Chocolonely salted caramel (from the Netherlands) is super, and Ritter Sport Cornflakes is nice. Lidl has a white chocolate I could eat in huge quantities and I don't even really like white chocolate that much.

For British brands — Duffy's and Damian Allsop. I think Damian Allsop's water ganache chocolate is possibly the best in the world.


Of course they're not. Everybody is waiting for next generation that will run LLMs faster to start buying.

It's more than just the model weights. During inference there would be a lot of cross-talk as each node broadcasts its results and gathers up what it needs from the others for the next step.

Distilled water isn’t strictly necessary. I use mine with purified water with a reverse osmosis purifier. I periodically test the TDS of the water to confirm it is low. It’s fine.

If the moderators have a record of who's doing the voting, it might even be possible for some form of AI to detect the most habitual negative sources.

It could happen.

For about the last year, about the only time I log in is to upvote somebody, and usually a while after I read their message. It can bug me for some time when it's one where I just can't settle for them being downvoted, or alternatively some upvotes are never enough.

Once logged in the sky can be the limit on my own comments sometimes, as I've mentioned before I guess all I have ever done is now known as responding to prompts.


Deduce. So your #2.

Do you mean “restraint”?

I ran into this issue when porting term.everything[0] from typescript to go. My solution was to do the build process on alpine linux[1] and use static linking[2]. This way it statically links musl libc, which is much friendlier with static linking than glibc. Now, I have a static binary that runs in alpine, Debian, and even bare containers.

Since I have made the change, I have not had anyone open any issues saying they had problems running it on their machines. (Unlike when I was using AppImages, which caused much more trouble than I expected)

[0] https://github.com/mmulet/term.everything look at distribute.sh and the makefile to see how I did it.

[1]in a podman or docker container

[2] -ldflags '-extldflags "-static"'


> It will never stop finding a list of errors!

Not my experience. I find after a couple of rounds it tells me it's perfect.


Gemini seems to be firmly in the lead now. OpenAI doesn't seem to have the SoTA.

>This does nothing to protect working US citizens from AI alien (agents) coming to take their jobs and displace their incomes.

cool. now let's hear your opnion on H-1B :^)


You can probably use a copy of sudo owned by a non-root user, but I can't say I've ever tried that.

What do you mean with "do it" in

"...etc. can be incredibly difficult to formalize so that a machine can do it." ?

1. do it = search for a proof

2. do it = verify a purported proof?


>Whereas to a candidate sending their 400th application, sending a "thanks for rejecting me" represents a real and significant opportunity cost.

That's not ghosting on the candidate's part, though; candidate ghosting is not responding to an acceptance (whether its for an interview or for the job itself) and simply no-showing.

FTA: Meanwhile, some applicants who make it through the onerous hiring process and accept jobs never show up for their first day. One California recruiter told me that some of the candidates who ditched had even signed offers for positions that paid six-figure salaries.


Yes. Prompt engineering is like a shittier verson of writing a VBA app inside Excel or Access.

Bloat has a new name and its AI integration. You thought Chrome using GB per tab was bad, wait until you need a whole datacenter to use your coding environment.


I agree. But also, the length of time that Egypt has supported civilisation is just so long. It would be interesting to know how many people had died in Egypt. The number would be large.

That is effectively what this proposal is about: https://www.anthropic.com/engineering/code-execution-with-mc...

obviously there are still TONS of cars. Just look at the highway infrastructure and traffic.

Bolsonaro is irrelevant, powerless, he's history. The problem is and has always been the supreme court. Bolsonaro's ordeal merely revealed this fact to the masses. They have essentially usurped all power. They walk all over our elected congress every day, constitution be damned.

After these sanctions were lifted, the judge gave a public speech on national television like some kind of supreme leader.

He won.

You don't even need to take my word for it. Here's a leftist source for good measure:

https://oglobo.globo.com/blogs/malu-gaspar/coluna/2025/11/de...

They all but admit it. Now that their political enemies are censored, jailed and all but dead and buried, they want to impose limits on this guy, on the supreme court.

Hope that works out for them. I'm tired. He won.


True.

I'm sure Apple could make a killing on the server side, unfortunately their income from their other products is so big that even if that's a 10B/year opportunity they'll be like "yawn, yeah, whatever".


Frequent flyer programs are basically banks if you consider miles/points are currency.

Looks like "smart contracts" are no match for old fashioned lying/scams.

Sure the history of mathematics used many alternative conceptions of "proof".

The problem is that such constructions were later found to be full of hidden assumptions. Like working in a plane vs on a spherical surface etc.

The advantage of systems like MetaMath are:

1. prover and verifier are essentially separate code bases, indeed the MM prover is essentially absent, its up to humans or other pieces of software to generate proofs. The database just contains explicit axioms, definitions, theorems claims, with proofs for each theorem. The verifier is a minimalistic routine with a minimum amount of lines of code (basically substitution maps, with strict conditions). The proof is a concrete object, a finite list of steps.

2. None of the axioms are hardcoded or optimized, like they tend to be in proof systems where proof search and verification are intermixed, forcing axioms upon the user.


https://youtube.com/watch?v=Jlk9u8MIv7o

The foreplay starts around the 1 minute mark.


If only there was a way to progressively reveal the API in MCP instead of presenting the full laundry list up front.

There’s been rumors of Apple working on M-chips that have the GPU and CPU as discrete chiplets. The original rumor said this would happen with the M5 Pro, so it’s potentially on the roadmap.

Theoretically they could farm out the GPU to another company but it seems like they’re set on owning all of the hardware designs.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: