skysight-inc/HackerNews huggingface dataset:
AFAIK you want a model that will sit within the 24GB VRAM on the GPU and leave a couple of gigs for context. Once you start hitting system RAM on a PC you're smoked. It'll run, but you'll hate your life.

Have you ever run a local LLM at all? If not, it is still a little annoying to get running well. I would start here:

https://www.reddit.com/r/LocalLLaMA/
While Meta's use of copyrighted material might actually fall under fair use I wonder about the implications of having to use the whole source material for training purposes...

Let's say I quote some key parts of a copyrighted book in an way that complies with fair use for a work of mine. In order to find the quoted parts I have to read the whole book first. To read the book first I need to acquire it. If it was simply pirated, wouldn't that technically be the main issue, not the fair use part in their service?
I am an absolute layman when it comes to the subject of law and just thinking loudly.
It seems to me that admitting using pirated works could be more problematic on itself, regardless of the resulting fair use when it is clear that the whole content had to be consumed / processed to get to the result.
GitHub Action has supported your own locally hosted runners for years, so I presume "there is no way of running GitHub Actions locally" is referring to something else.
This all reminds me of the systemd ini-like syntax vs shell scripts debate. Shell scripts are superior, of course, but they do require deeper knowledge of unix-like systems.
i feel like announcements like this should be folded into the main story. the work was done by the model labs. ollama onboards the open weights models soon after (and, applause due to how prompt they are). but we dont need two R1 stories on the front page really
Ask HN: GUI Widget Library in CSS
Hi HN,

I am a Systems Developer who has to do a little web development (a single page dashboard to visualise and modify application state). I only have experience with desktop GUI development (GTK & Dear ImGUI), meaning I am completely new to web development.

I looked around on how to do it and it seems that there are two ways: one is to use huge "frameworks" like React, Tailwind or Bootstrap, etc. with their own build systems and package managers and whatnot; and the second is to use various CSS tricks to emulate widgets on top of more basic HTML elements.

(Surprisingly, the word "GUI Widget" seems to not be used in web world. I think they call it a "Web Component", but I am not sure).

Anyway, I wanted to take the second route and just include a CSS file that would provide me with the behaviour of the widgets that I need (tabs, trees, drop-downs, textboxes, etc.). But I can't find any such library (perhaps due to not knowing the correct search terms). All I can find are a disparate set of blog posts and YouTube videos with these techniques described here and there.

Thus, I wanted to ask: is there a reasonably maintained and bug-free CSS library that implements standard GUI widgets?

It shouldn't be too bloated, since I might have to modify it and I want that to be easy. Also, I don't need any complicated styling options, this is an internal-only tool.
how did free speech become fascist? even in this ludicrous essay, which claims meta announced it will "increase the hate speech people like me receive". no, it announced reduced filtering of content.

what is more conformist than forcing people to adopt your speech and view points under threat? what you don't realize is the hackers and nonconformists _are_ taking the tech back, they're taking it back from this oppressive bureaucratic regime that stifles creativity and forces everyone to tiptoe within its absurd religion of rules and newspeak. they're taking it back from dei consultants and hr departments. make it about merit and hacking, not about dogmatic adherence to a (fundamentally incorrect and bad imo) social cause.
Claiming that Meta distributed pirated works is still a copyright claim, but you're correct that it's seemingly irrelevant to the fair use argument (which the article acknowledges).
It is kind of humorous that the majority of people advocating for lots and lots of kids seem to be men.
Remember when hospitals were struggling to find masks, and there were reports of shipments being seized and disappearing?

https://www.politico.com/news/2020/03/27/republican-fundrais...

Some choice quotes:

> Asked how he’d managed to procure such equipment when there are shortages in hospitals across the country, Gula said, “I have relationships with a lot of people.”

> Thomas declined to specify how he and Gula had managed to obtain masks that have become so rare that some hospitals have resorted to reusing them or having health care workers tie bandannas or scarfs around their faces. “It’s just relationship-based,” he said. “I can’t say anything else.”

> “I don’t want to overstate, but we probably represent the largest global supply chain for Covid-19 supplies right now,” he said. “We are getting ready to fill 100 million-unit mask orders.”

This last one is the kicker. This guy, who works with/for the Republican party, is able to set up shop in TWO WEEKS, "the largest global supply chain", "based off of relationships", and alarm bells aren't ringing?

I would love for someone to buy masks from Blue Flame, and check lot numbers / serial numbers on those supplies, and see who the original intended recipients were.
I think they'd ask why they'd want those millions of books. The publishers don't have to, and would be unlikely to, sell if they though something like copyright violation was the goal.
At the price of $5,000 before taxes. There would be better and most cost effective options to run models that will require that much memory.
China says Taiwan 'hyped' sea cable damage claims
While I agree with the general thrust of the piece, many details seem wrong.

Food shortages will not kill you.[1] Nor will mass migration per se.

But the author omits global thermonuclear war--the biggest, most dangerous risk, as it always has been--being made more likely by climate change induced stresses.

Water and/or electricity shortages and/or heat stress or wildfires or conflict may well kill millions who live in countries or states with incapable governments (those that are corrupt, or nepotistic, or otherwise have key personnel not selected for competence alone).

The author seems to think "reserves" is a meaningful figure for metals and other minerals. Reserves is a figure for the amount that companies have found and that they are are prepared to go through the process of developing within (approximately) the next 20 years (the standard permitting, financing and construction timetable). When they get to 20 years' worth, companies stop looking.

1. I have lived through at least two food price supercycles, with peaks in the 1970s and the 2005-2008 period. Food price cycles are self-correcting. There is a lot of slack in the food production and distribution system - think of all the corn grown for e-85 gasoline, for instance.
> This generation of "robber barons" has very clearly done more good for society than any other group of people of the same size

I'd take Jonas Salk, Norman Borlaug, and Marie Curie over Elon Musk, Mark Zuckerberg and Jeff Benzos.
A Minimalist TypeScript for C
A Minimalist TypeScript for C. Cp1, or C+1, or C plus 1 programming language adds only the bare essentials to C language that allows you to output C codes and able to use namespaces, modules, methods on enums/structs, auto variable deduction and more.

Github: https://github.com/galileolajara/cp1
Elon support for fascist and nazi party in europe makes it beyond doubt that this is intentional.
The developers that made Google and Facebook and such were highly paid. The people who were hired for a dollar an hour to train the anti-CP models most certainly were not and have instead suffered horrible trauma.

Externalities are so easily ignored if they don't happen in SF (and even the ones that do. For instance, take a look at the pricing out of affordable housing for all the cooks, dish washers, janitors etc who cater to that highly paid workforce but now have to commute hours each way).
I run Mailcast (https://mailcast.io) which will forward email on your domain to your Gmail account. We have domain aliasing to make it easy to add multiple domains with the same addresses, and you can configure sending on your domain as well.
Hey Peter - I'm a US citizen currently living in Canada as a permanent resident (my wife is Canadian and we're raising our kids here). I've started startups in the states before when I used to live there, incorporated as C-Corps, but now that I'm living in Canada - if I wanted to create a startup, could I still incorporate it as a C-Corp in Delaware? *I do have my parents address in the states that I can use if needed
I agree it probably was easier once you knew where to find them. Almost every celebrity is accessible through the internet if your megaphone is loud enough.

I also don’t claim to make such effort. I just want to clarify that networking is a conscious skill and not always a result of family connections.
n = 0 or 1 modulo 2. So we have to check out only two cases module 2, and these cases trivial. To prove the problem note that 6 = 2 * 3 and then is trivial to see that the polynomial is=0 modulo 2 if n=0,1 modulo 6and then check it is =0 modulo 3 for n=0,1,2 modulo 3 and you are done.
Gpt says it's possible to do DC dimming with OLED. It's just more expensive. I guess they wouldn't do that on a Switch if they're trying to cut costs though
`Python -m http.server` as ephemeral file server
This video[1] on reverse-engineering parts of Guitar Hero 3 covers a few similar techniques that were used to heavily obfuscate the game code that you might find interesting.

[1] https://www.youtube.com/watch?v=A9U5wK_boYM
Not all kids are the same. Shocking I know…
This is not the case though, Jeff Geerling is not a no-name influencer. He actually does stuff, contributes to Fedora and AlmaLinux (IIRC). The most influencer-y stuff would be his playing with funny Raspberry Pi setups, but calling that "influencing" would be uncharitable. That's a hobby.
I have one other way to describe this line of reasoning:

- money is more valuable now because you can start earning interest
- but why are others willing to pay interest?
- because the money is more valuable to them now
It works fine but I still prefer caddy.

caddy file-server --browse
> This generation of "robber barons" has very clearly done more good for society than any other group of people

By what metric?
I’m 33, in the U.K. and my marginal tax rate is currently 66.7%, because the support you get for having children gets withdrawn between £60000 and £80000. If a promotion came up I would take it but it’s also at a point where I’m considering already dropping down to four days a week because of this. I don’t live in London so my life is very affordable. Save myself money on children’s nursery for a few years too…

https://taxpolicy.org.uk/2024/03/10/infographic_marginal_rat...
> operation paperclip would beg to differ

Operation paperclip? A huge number of scientists and engineers unable to accomplish much under an authoritarian regime, but then driving massive innovation and discovery when freed from it, is exactly my point. Even when employing brilliant creative people authoritarians will always setup a work culture and organization fundamentally incompatible with innovation where traits like creativity and honesty are seen as threats, and aggressively punished.

Even in the USA, you can see the effects of this- highly innovative research programs from Skunkworks to DARPA always have a radically anti-authoritarian work culture.
Did you mean the tags or the specific names from the distilled models?
Its hard to say when but without a doubt they will invade. When people say what they are you better believe them.
https://en.wikipedia.org/wiki/Triassic%E2%80%93Jurassic_exti...

> The Triassic–Jurassic (Tr-J) extinction event (TJME), often called the end-Triassic extinction, marks the boundary between the Triassic and Jurassic periods, 201.4 million years ago. It is one of five major extinction events, profoundly affecting life on land and in the oceans.[...]

> The cause of the Tr-J extinction event may have been extensive volcanic eruptions in the Central Atlantic Magmatic Province (CAMP),[8] which released large amounts of carbon dioxide into the Earth's atmosphere,[9][10] causing profound global warming[11] along with ocean acidification.
PickentCode used [Water Splashing method with help of BFS and K-NN to recognize digits](https://www.youtube.com/watch?v=CC4G_xKK2g8). They mapped 9 values to each digit sample, the first 8 were the fraction of water that the surface can retain (4 sides divided in two halves, so 8) and the last value represented the fraction of water left in the vessel if digit is submerged. The application recognizes correct things ~85% of time, you can try this out [here](https://pickentcode.github.io/KNN-Digit-Recognition/), or dive into the code [here](https://github.com/PickentCode/KNN-Digit-Recognition).
https://www.youtube.com/watch?v=CC4G_xKK2g8
>Setting up my project I tried 3 environment managers, 2 type checkers, 3 formatters/linters, 3 packagers/dependancy/project managers.

I've been using Python for right about 20 years now. I've been through various prior iterations of the "standard" packaging tools. But I've never found myself wanting a type checker, formatter or linter; and aside from a brief period with Poetry (in which I used barely any of its functionality), I've had no interest in dependency management tools, either. What I have found myself wanting is fixes for the problems in Pip.

Different people work on different kinds of projects, and approach the language differently, and have radically different needs as a result.
Damn, that's adorable.

It's almost too bad I am in a PAYE country. Not.
I was (partly) responsible for obtaining recordings for a Very Large Online Streaming Service(tm). Sometimes the studios would send us trucks filled with CDs. Sometimes they didn't have any easily accessible copies of the albums and would tell us to just "get it however..." which often involved SoulSeek, Limewire, etc.

We were not smart about it. We just found the stuff and hit download. To the point where there were days the corp Internet was saturated from too many P2P clients running.
Every Trump related post today is being flagged. Where's the editorial oversight here, @dang?
Ha, that's pretty random to me!
> But Hotz isn't crazy to test them in an odd way..

He should have just read the Lisa Su interview from Q1 2024 where ahe laid out AMDs strategy without equivocating

> ... although he'd probably be better off dropping AMD cards

I think this is what's best for everyone. Looking at his recent track record[1], he seems like a person who's gets really excited by kicking things off and experiencing the exponentially growth phase, and then when it flattens out into a sigmoid curve, he dusts his hands and declares his work done, and moves to the next thing.

. 1. Hired by Elon to "fix" Twitter, CommaAI, and soon, Tiny
Recreational mathematics, fun.

And if we could see it with the naked eye it would appear six times bigger than a full moon.
Or some sort of pulsing on the clickable areas. I reloaded the page a few times before I realized the pale yellow spots were supposed to be clicked. I assumed it was bugged, but I was wrong.
I feel nothing but support for you. May you be happy. May you be healthy. May you be safe. May you live with ease.
I think it’s Sweden.
Liskov Substitution: The real meaning of inheritance
There were comments published somewhere in the early days where it was specifically mentioned they used one of the big torrent files. That's where the authors got their idea from, I guess.
the 671B model is now available:

4 bit quantized:
ollama run deepseek-r1:671b

(400GB+ VRAM/Unified memory required to run this)

https://ollama.com/library/deepseek-r1/tags

8 bit quantization still being uploaded
Is it fascist to vilify immigrants? Is the republican party full of bright young twenty year olds? Can you post "cis" on twitter?
In our environment (our product is a windows desktop application) we use packer to build a custom windows server 2022 image with all the required tools installed. Build agents run on a azure vm scale set that uses the said image for the instance os.
This isn't really accurate; we have tokens and we have proto-writing, but there's not a clear dependence of either on the other.
Simple 3D visualization with Jax raycasting (2022)
Well i meant "group" as in an actual group of people who are all doing roughly the same thing at the same time, like the previous generation of robber barons.

But even in this case, I could make a pretty strong case that Salk was less important for the eradication of Polio than Gates, and that Curie will likely be less important in the long run than Zuckerberg on healthcare and biosciences, and a weaker but reasonable case that Borlaug will be less impactful on human survivability with increasing population than Musk.
The person you replied to was talking about https://en.wikipedia.org/wiki/Cretaceous%E2%80%93Paleogene_e..., not the Triassic-Jurassic one.
People seem to be downvoting this but it’s true. We are entering a dip in population growth. Shit happens. We will come out the other side. Did they think “infinite growth” would be a sustainable strategy? Hopefully we will come up with an economic system that’s more focused on human fulfillment than productivity.
I forget if it was with Lyca or a similar brand, but they would deduct 5 cents for each sms before you setup a plan. I was incredibly careful to not do anything and disabled almost everything but apparently iPhone phones home in a way that’s totally hidden from the user and most providers hide and zero the charge but not these rando brands.

Another 5 EUR down to tube because I only had 4,95 for my 5 EUR plan.

Dunno why I put my SIM card in first but I guess I had to for some reason (was on wifi and had access to a computer)
NDA, trade secrets
Most people in the world don't really care about politics. They're too busy working to pay off their all sorts of debts.

If it's useful and cheap to them, it is useful and cheap to them. Deepseek just happens to not be useful to you.
No. Because you can't tell by inspecting the weights, and it can be hard to tell AIUI if the capability to generate the output is present, but suppressed by a safety mechanism, or doesn't exist at all.
the boyz we tell to work the mines, like their fathers before and all be well while the world is going to hell. We do make it pretty easy to sell ideology atm and musk is just selling facism (and hope) faster than the natural growth rate of socialism
Almost any? Counterfactual human suffering if they didn't exist, number of lives saved, GDP, mean happiness, mean of bottom 5% happiness, etc
The UK won't withdraw from the WHO whilst Labour are in government.

Starmer is many things wrong but one thing he won't do is renegade on international treaties and agreements.
Text Behind Video Streamlit App
Which would be fair. It’s not up to the tech oligopoly to dictate who gets to follow which laws.
caddy probably gets better performance, agreed. This has the advantage of being installed on every semi-recent Python version, which itself is installed OOTB on most Linux boxes, which is very relevant to my use case. It also works on Windows if Python already happens to be there - not sure if caddy is nix-specific
Nice someone from new Web circless officially confirmed that multi-langual infra is a must. And that qualified workforce is valuable too! I think "qualified" as in "works here some time and know company code base" :)
The author sums it up well: "It’s mean, and unkind. It’s malicious."
yeah if you author CI jobs, you should know linux, otherwise a person should not even touch the CI system with 10ft pole
>Indeed – Carnegie Libraries may be one of the best results.

how much of this "the 19th century Robber barons at least did one thing right" idea is all down to Andrew Carnegie, I sometimes wonder.
That's surreal levels of bad PR.
Yes, but at least that's all fairly obvious---you might not know how to solve the problem, but at least you know you have a problem that needs solving. Compare that to the hidden pitfalls of eg dealing with whitespace in filenames in shell scripts. Or misspelled variable names that accidentally refer to non-existent variables but get treated as if they are set to be "".
Ah, yes, sure. I think I'll develop it a bit more and then post it back here. Thank you!
Sorry, I remembered it backwards. IT's the rural areas which have the fertility rate around 2.3 (which I also remembered as little high, but only by a few %):

https://www.nippon.com/en/japan-data/h01975/
I also got something like 12 rolls of 3 in a row. I would definitely check the RNG routine to ensure that it is not biased to the mean (i.e., verify that you are drawing from a uniform, rather than normal, distribution).
> This ban also ruined other games for me. If I ever did well in a game, someone would look at my profile to see how many hours I have and instantly see the red marker that shows “I am a cheater”.

I wonder if that label can be considered to be libel. Probably harder in the US, but from what I understand in UK (or just England?) the defendant must prove that it's true.
Ukraine can't achieve a battlefield victory but with foreign military aid they might be able to slow down the Russian advance long enough for the Russian economy to collapse. Russia is only able to keep their economy somewhat functional through fossil fuel exports. We can give Ukraine long-range missiles/drones and targeting assistance to wreck Russia's key export infrastructure (ports, pipelines, refineries, storage depots). And we can choke off much of Russia's shipping through sanctions and interference with their tanker "shadow fleet". There are also still billions in assets owned by Russian government entities, corporations, and citizens but held in Western countries so we can just straight up steal it all and hand everything over to Ukraine. There are no guarantees but as long as Ukraine is willing to keep fighting it's worth a try.
>And finally, enshittification is a way to make MORE money, but it’s not hard.

maybe it's medium difficulty? There must be some enshittification that makes significantly less money, up to shutting down companies.
Ah, got it. No worries! I was just a bit confused because the YC leaders I know have been public advocates for (legal) immigration, for reasons that are not hard to understand: YC helps many startup founders come to the U.S.. Many with Peter's help!
That gut feeling approach is very human like. You have a bias and even when the facts say that you are wrong you think that there must be a mistake, because your original bias is so strong.

Maybe we need a dozen LLMs with different biases. Let them try to convince the main reasoning LLM that it’s wrong in various ways.

Or just have an LLM that is trained on some kind of critical thinking dataset where instead of focusing on facts it focuses on identifying assumptions.
The problem is it can’t remember what it hasn’t written but the end result still makes sense, so there has to be some goal after parsing the initial context that the tokens are emitted towards to. This means there’s nothing stopping it from producing an explanation, it might be in there from the very start.
> working for Rolls Royce in the middle of nowhere

Most people I know who ended up at RR live in Nottingham or the Peak District and commute in to Derby. Appreciate that’s perhaps not as exciting as London but it’s hardly a shit hole up here.

Agree on pay though. I work for a different engineering conglomerate (foreign owned) and I applied for a HPC role at RR a couple of years ago and the salary was £20k lower. The disparity would be even more now.