skysight-inc/HackerNews huggingface dataset:
Bad game example because cyberpunk with raytracing is coming to macOS and will run on this.
>The author argues for impoundment pertaining to exclusive powers, which are very few and limited in the Constitution. I actually agree with the argument laid out in the piece, but I don't think it supports the idea that Trump is within his legal right to impound Ukraine aid.

The article, and my prior citations explain how this can expand to military funding. If POTUS cannot impound military funding and instead must distribute funding to armies for proxy wars, he is effectively bypassed as commander in chief. That you've simply declared the history, opinions, constitution don't allow impoundment of money for military weapons and personnel etc doesn't make it true. indeed,this impoundment is happening before our eyes through the machinations of the system. This is democracy in action.
I was going to make a parallel to Lost as well, but you beat me to it! I am considering dropping off this show too because it seems like they are just presenting us with mysterious gibberish teases instead of actual plot.
It’s too small for the US market, depressingly
You don't have to go that far down the page to see it is paging to system RAM:

Requirements:

380GB CPU Memory
1-8 ARC A770
500GB Disk
This is a concept study for a model planned for 2027.

Before that there will be the ID.2 scheduled for 2026: https://www.whatcar.com/news/new-volkswagen-id-2-electric-ca...
Ask HN: Best Windows/Linux developer laptop in 2025
Requirements:

* Macbook is not an option

* I go through phases and switch between Windows and Linux as my primary OS.

* Want to be able to mess around with some local LLMs.

* I travel frequently, so portability is somewhat important. Currently own a 13 inch, but 14 inch should work too I think.

Notes:

* My current laptop is a 6yr old Dell XPS. It has generally served me well.

* I bought an Asus Zenbook for a family member and I have been impressed with how well it has worked out. Anyone with any recent experience with Asus laptops for development?

* I have had bad experiences with Lenovo twice, which makes me wary of Thinkpads, but willing to consider it if it makes the most sense.

* Framework look very appealing but I have heard mixed reviews.
the apps only do what people tell them to do.

the same executives that push the manager to be bad are the ones pushing for the apps to be bad.

the apps arent bad in and of themselves. couch surfing and warm showers arent putting in exhorbitant cleaning fees.
Interesting whatsboutism you have there.
I've described to you the threat vector that people with high positions in the government are talking about.

An intelligent machine oriented towards 24/7 cyber attack with even parity human intellect is clearly a massive threat, let alone a data center full of them.
The significant part of that story is there's no claim he used cocaine or recreational drugs "on the job" in China ...

A senior executive for Volkswagen in China has been deported for allegedly using cocaine and marijuana while on vacation in Thailand, according to Chinese authorities and German media reports.

Germany’s top-selling Bild newspaper [..] reported he tested positive for drug use after returning from a holiday in Thailand.

Drug use is an administrative offense in China punishable by a 10- to 15-day detention and a fine of up to 2,000 yuan ($280).

Thailand legalized marijuana in 2022 but Chinese authorities have warned that use of the drug overseas is equivalent to using it at home and subject to the same penalties.
Same rules as a knife fight: the loser is the dude who dies in the street, the winner is identified by dying in the ambulance
My position is first strikes vs US, Russia, or China are almost completely useless.

Even France and the UK has 4 nuclear subs, the US has what 14 ballistic missile submarines?
Is it?

We've had cyber hostilities with China for a long time now.

An AI could easily be used in a decapitation strike of military systems.
> one reason Chinese EVs aren’t available here is that there’s a 100% tariff on them

Our egg prices are also high because we block Mexican and Canadian imports. Trump continues a multi-decade trend of taxing consumers to subsidise business owners.
Utah becomes the first state to pass an app store age verification bill
I think the premise is that you're happier and work better because you're free of other trauma in your life. i.e. those who agree to severance have something to escape from.
To be fair, the government did it to 'stop communism'. The US fruit companies persuaded the government to 'stop communism' because they wanted to secure cheap bananas.
You are judging the U.S. in the context of an otherwise utopian world that doesn't exist.

Yes, it gets messy. And, yes, United Fruit Company et. al. happened. We've absolutely had government capture and promotion of special interests. But, even these aren't always so neatly separable from U.S. interests, which are not always so neatly inseparable from promotion of democracy. For instance, a weak economy would make it nearly impossible to have influence in the world.

There's a simplified world view that ignores the good, measures each discrete misstep on its own (or interprets every difficult choice as a misstep), then tallies a final score. But this is not realistic in a world where lesser evils are frequently the viable option. America does not operate in vacuum and you have to look at the entire arc.

You'll not see me defending every egregious thing this country has done or endorsing the instances when it has truly veered from its creed. But, to measure us by only that metric and declare the country evil or completely non-democratic is to exonerate other bad actors on the planet.

Worse, adopting such a simplistic point of view makes it impossible to recognize when we've entered a truly treacherous phase, wherein an authoritarian regime comes to power and eschews democracy entirely. Everyone would just throw their hands up and declare "we were never democratic anyway, so it doesn't matter". And, by the time they're shown the difference between our imperfect democracy and frank authoritarianism, it's too late.
There's address sanitizer, and languages with garbage collectors and runtime bounds checks. There are WASM VMs, and even RLBox that translates WASM back to C that checks its own pointers at run time.

The difficulty is shifting most of these checks to compile time. Proving things at compile time is the holy grail, because instead of paying run-time cost only to make the program crash sooner, you can catch the violations before they even make it into the program, not pay any run-time cost, and provably not have such crashes either.

But that needs reliable static analysis, and C++ doesn't have enough guarantees and information in its type system to make that possible with a high degree of accuracy in non-trivial cases. This is not a matter of writing a smarter tool.

Statically tracking how pointers are used quickly ends up infeasible: every if/else doubles the state space, loops can mix the state in ways that makes symbolic reasoning provably impossible (undecidability), pointer aliasing creates lots of nearly-useless edge cases, and everything done through "escaping" pointers adds the state of the whole program to every individual state analysed, quickly reaching limits of what can be proven. For example, if use of a pointer depends on obj->isEnabled, now you have to trace back all paths that lead to getting this obj instance, and all the code paths that could modify the flag, and cross-reference them to know if this particular obj could have this flag set at this point in time... which can be infeasible. Everything ends up depending on everything, and if you give up and mark it as "unknown", it spreads like NaNs making the rest of the analysis also unknown, and you can't prove safety of anything that is complex enough to need such proof.

Rust and Circle/Safe C++ solve this problem by banning all cases that are hard for static analysis (no temporary pointers in globals, no mutable aliasing, no pointer arithmetic without checkable length, strict immutability, and single ownership and lifetime of memory is baked into the static type system, rather than a dynamic property that needs to be inferred through analysis of the program's behavior). This isn't some magic that can be sprinkled onto a codebase. The limitations are significant, and require particular architectures and coding patterns that are compatible with them. Nobody wants to rewrite all the existing C++ code, and that applies to not wanting to rewrite for Profiles too. I don't see how C++ can have that cake and eat it too.
It has been honored by the US and UK.

The only obligations it imposes, besides not attacking Ukraine, is to seek UN Security Council action should Ukraine be nuked. I don't know why people keep trotting it out like it's a comprehensive defense pact.
Yep. That's why the headline is incorrect. 380GB of the model on CPU system RAM and 32GB on some ARC GPUs. The ratio, 380/32, is obvious. Most of the processing is being done on the CPU. The GPU are little bit icing in this context. Fast, sure, but having to wait for the CPU layers (that's how layer splits work with llama.cpp).

I think changing the end of headline to "Xeon w/380GB RAM" would stop it from being incorrect and misleading.
trump gonna do this oprah style on tv, “you get a waiver, you get a waiver, EVERYBODY gets a waiver” :)
And that’s a good thing. Modern cars are rolling surveillance devices. We don’t need CCP eyes in every garage in America. We also don’t want to lose the manufactiring capacity that the domestic auto makers bring.
I’d love to be proven wrong but I think the only way to reduce car dependency in the suburbs would be to knock them down and start over again. Which won’t happen. So EVs are an environmental positive at least.
Yup. What Parliament giveth, Parliament can taketh away. It is scary to think what Parliament can do with a simple majority.
Well no, it's not sustainable. They just need to offload it to the next bigger fool.
>But you can't just declare your independence, and get to freeload off all our resources

Which brings me back to the double standard you present. The premise is Ukraine is independent, "but you can't just declare your independence, and get to freeload off all our resources."

So we come full circle. Either they're independent and needn't freeload off American taxpayers, or they're actually dependent. I am very happy with the execution of the former and pleased you've come to agree with my point.
Mexico should fill in that gap with an export tax then
It is theoretically possible. Each token only needs 37B parameters and if the same experts are chosen often, it would behave closer to a 37B model than a 671B model, since reusing experts can skip loads from system RAM.

You might still be right since I have not confirmed that the selected experts change infrequently doing prompt processing / token generation, and someone could have botched the headline. However, treating Deepseek like llama 3 when reasoning about VRAM requirements is not necessarily correct.
This page really just proves my point. I'm glad their conventions at least can be explained, but it's all quite complicated!
ML Infrastructure Doesn't Have to Suck
As someone in the US who generally likes VWs and is interested in an EV as their next car, but who also finds the ID4 way too big this car has my attention.
I doubt it will be sold in the US, there is not really any appetite for small cars with limited range.
why would it get a waiver?

Mexico is already paying for the wall, so... why should they pay here too?
Well, I was assuming we were talking about situations where we don't all die. Your comment is correct in a technical sense, but I think that's not a good attitude to have. If we have the ability to help species not go extinct, we should do so where we can.
"with" does not mean "entirely on"

Edit: but what you added in your edit is right, it would be more accurate to append the system ram requirement
It doesn't use the releases. It just bundles up whatever files you tell it to.
I'm saying this as an immigrant, muslim name but white.

You've no idea of the blatant ongoing racism in Europe that's so normalised it's basically a non issue. Like Zwarte Piet in Netherlands.

The xenophobia in EU is head and shoulders above the US. I've lived in both places for years. In Germany for example you will never be considered German even if you were born in the country.
> skills needed to build a product along with customer obsession

So a disempowered founder-lite? What's their incentive?
Well that's what (s)he meant, the Mac Studio fits the AI use case but not other ones so much.
I was surprised to see the Framework 13 didn't support wide gamut (Display P3) color, compared to the less expensive entry level MacBook Air.
Bite your tongue; we speak in no such manner.
> A good critical comment teaches us something.

Sorry, I should have been more precise. Keyes has been accused of sexual misconduct by fifteen individual women.
I have two kids, and I'm firmly in the "why pay extra to be a parent somewhere else" camp while my wife is the opposite. However I have to admit the kids do get a lot out of trips, even if it's draining for me. They always seem to "level up" cognitively when exposed to new things for two weeks straight. I'll grit my teeth and suffer through a trip so that the other 3 family members are happy.

That being said, I fully intend to take advantage of adults-only hotels/resorts when I have time and child care covered. If I'm going to go on vacation, I certainly will want to minimize my exposure to other people's kids. No one likes a 3 year old running around in the hotel room above you at 12 AM and then again at 6 AM.
IMO, it would be more interesting to have a 3-way comparison of price/performance between DeepSeek 671b running on :

1. M3 Ultra 512
2. AMD Epyc (which Gen ? AVX512 and DDR5 might make a difference in both performance and cost , Gen 4 or Gen 5 have 8 or 9 t/s https://github.com/ggml-org/llama.cpp/discussions/11733 )
2. AMD Epyc + 4090 or 5090 running KTransformers (over 10 t/s decode ? https://github.com/kvcache-ai/ktransformers/blob/main/doc/en...)
What if it does not need to read from system RAM for every token by reusing experts whenever they just happen to be in VRAM from being used for the previous token? If the selected experts do not change often, this is doable on paper.
Some modern banks (Monzo, Starling, etc) give the account holder (read-only) access to their API.

If you can't, you can try use one of the open banking providers such as TrueLayer, Plaid, Nordigen (seems to be acquired by GoCardless: https://gocardless.com/bank-account-data/), etc. Most have a free/dev tier that nevertheless allows connections to real accounts and might be enough for personal use.

Finally, screen-scraping is potentially an option. One of the few benefits of shifting everything to SPAs is that you generally have clean JSON APIs under the hood that are easier to interface with than "conventional" screen-scraping involving parsing HTML.
An interesting read !

I feel the call of the Muse, and always try to negotiate because, well, I need money to live.
To me, creativity feels like a laser I can point in any chosen direction.

Want to make a SAAS ? Sure ! Here are a dozen ideas !
Want to write a Sci-fi short story ? There you go, have your pick between those !
Want to make a video game ? Oh boy, have I got the concepts for you !

Then, it's the execution part. The one I never really got right...How could I focus on just one thing ? One thing to make, when the excitement is long gone ?Until I noticed that if I choose a good project, good in the sense that it feeds my soul, helps my fellow human beings and sadly, not necessarily that it will make me money...It's easier to stick to it.

In the end, the Muse wins. So I just stick with them, and who knows ! Maybe I can buy a beer or two with their fruits :)
Thanks for introducing me to `uv`. I've been looking for a tool that integrates pip and pyenv/virtualenv.
Capital has the ability to subsume all critiques into itself. Even those who would critique capital end up reinforcing it instead.
the real fun is reading all the fan theories on reddit (/r/SeveranceAppleTVPlus). it gets pretty wild and it's fun to see everyone make their case with the various scraps of "evidence".
Looks like the layers are there for a Tailscale API: I could imagine writing a platform-independent Go 'app' that uses funnel+drive that could 'float' around the nodes.

Anyway, a fun problem (or worse, a solution looking for a problem as I couldn't immediately think of a problem that would require it just yet. May be distributed training and such)

Cool to see a bradfitz reply though!
I have kids and I plan to occasionally leave them with the grandparents, and vacation away from other people's screaming kids.
The simple answer is because waivers are at the discretion of the administration.
Erdos learn a million time faster than Grug. But Erdos still not learn everything.
>these halfwits

You're doing them a favour calling them halfwits, if most of the current crop of British politicians were light bulbs they wouldn't be bright enough the light the cupboard under my stairs.
No. I used o3-mini so it's not interesting but for different reasons. It's also not interesting unless you're into the equations of nuclear kinetics and fluid flow.
I'd get one for my teenage kid in a heartbeat.

And for around town it'd be fine. Rivian range isn't that much more, they can't even really make it from the Bay Area to Lake Tahoe (< 200 miles).
Last time I was in Germany, I was looking forward to driving something smaller than the usual beasts here in the US, and something with a manual transmission. But when I got to the Munich airport rental counter, they had “upgraded” me to the biggest automatic Volvo SUV I’d ever seen, because they were out of everything else. It was nice enough on the autobahn, but it was a pain in the rear in the small towns.
I might be too old but I still don’t understand why carmakers have to do electric vehicles weirder than gas vehicles in every sense, weirder lines, weirder lights, weirder names, weirder interiors.

Not saying is bad, just saying.
I meant the earth/moon, not earth/sun Lagrange points.
Flow would like a miaow.
One envisions a new take on Seneca: "Politics is that which the commoners see as necessary, the wealthy see as optional, and the rulers see as useful."
Hugged: https://web.archive.org/web/20250305011820/https://blog.6nok...
Computers don't usually depreciate slowly
How do you know what roadblocks are valid to remove if you dont understand what they do.

How do you performance manage employees if you dont understand what they do.
Yes, because the free market has handled this exact thing for porn, alcohol, etc.

This idea that online is somehow special doesn't fly with me. We can agree to disagree.
People are at different stages of their learning journey and a blog post like this one might be a stepping stone for a blog post with some of the work that you’ve done.
>Medicare fraud is conservatively in the $16 billion+ per year range[1] and a lot of it is easily detectable with data the government already has.

The fraud and waste are a lot more than that. Did you know you can buy FOOD with Medicare? Did you know that doctors are concocting excuses out the wazoo to rack up more visits and more prescriptions? My mom was put on like 4 medications for the same thing, and bluffed into many tests and even emergency procedures she didn't need by an unscrupulous doctor. How the hell are we going to reign in that fraud without denying benefits to people who need them? We could also talk about the insane 3rd party supplemental insurance schemes, the excessive costs of individual items, the fact that Medicare and Medicaid are paying for Ozempic at $1000 per month, 1% of the budget going to dialysis patients who are delivered to routine appointments by ambulance, probably a lot of other crap.
I guess the reasoning goes something like: Tesla / Musk / Broligarcy.
And also availability bias. They've thought of a cool scheme, and not thought of anything else they'd want to do more, even if it might pay better. I think this is why some prices on ebay seem unusually low, many on ebay are probably paying themselves less than minimum wage.
Then how will it be written?
If they released it right now, they could sell like hotcakes, at least in my country. Being for 2027, seeing how things are evolving, it will probably be just one more alternative, surviving in the market thanks to tariffs to Chinese cars. Nothing special.
Surface Laptop 7? While they don't technically sell a 2TB config, they do use a 2230 M.2 SSD and there are 2TB versions of those. As a bonus it's WAY cheaper to do it that way than from the factory. The Surface Pro tablets are another option if you can live with the form factor. Even easier to swap the SSD in those too.
AMD Announces "Instella" Open-Source 3B Language Models
Rant.Dev
See QwQ-Max-Preview: https://qwenlm.github.io/blog/qwq-max-preview/
And not a word of protest was uttered.
Interestingly, Bob Colwell, one of the authors of that paper, ended up being hired by Intel and he designed the Pentium Pro.

The other classic paper on the iAPX 432 is "A performance evaluation of the Intel iAPX 432". Coincidentally, one of the authors was my officemate at Berkeley. https://dl.acm.org/doi/10.1145/641542.641545
Didn't know about that series, will be looking it up!
> Unless like OP your ISP has put CGNAT on you.

I run Wireguard on a VPS and route public traffic with it over Wireguard to my home machine.

Are you saying my ISP must not be CGNAT or else it wouldn't work?
Interesting correlation, if one doesn’t have offspring to “leave a better world” to why should they care? Hadn’t thought of that before.
They're wireless, not wirefree.
Where is the benchmark data?
What do you mean? Figuring this out has been the best thing for my career. Jettisoning jobs where I spend all my time managing upwards is career building.
Yeah, I'd be sweating thinking about the last handful that were missed.
OK, but how will they be affected relative to other car companies?
My HP Elitebook is six years old and has a 4K display.

Happy with the build quality.
How could they not be? The work is mysterious and important.

Edit: but other than the secrecy I agree that Apple and Lumon have little in common in terms of employees. Apple employees seem generally inspired to be doing the work they are doing, it's not soulless, and it's not 9-5.
From THE ROBOT| Free speech has limits–and universities should enforce hem [sic]
"Editor’s note: What follows is an opinion column formulated by ChatGPT as a counterpoint to the “From the Publisher” column about free speech on college campuses. We offer it to you as a way to consider multiple perspectives."

(The Manhattan Mercury is the local newspaper for Manhattan, Kansas.)

This is the first openly and fully LLM-generated editorial I've seen published in a newspaper.
The difference being that my previous car lasted near 15 years, and it was paid off in 7. Why would you want to pay a yearly fee after you're supposed to own the car, free and clear?

I'll save us the back and forth: there is no model you can present (or reframing of a model) that will make me think advertisements (or an everlasting subscription to remove advertisements) in the car that I own is okay. It's profoundly depressing that I have to write it out that explicitly.