skysight-inc/HackerNews huggingface dataset:
Smokers are a massive burden on the healthcare system, smokers also cause pollution of the air (and ground, due to cigarette butts) in public spaces.

It's not one's innate right to pollute our shared air in a public space with a cancerogenic substance, nor is their right to dispose of their trash on the ground.

> No need to back it up with numbers, of course.

People who smoke are 25-30 times more likely to get lung cancer. The numbers are better for passive smokers, but not by much! If a smoker is smoking around me, I am inhaling their dirty air, which I don't want to. They can go slowly kill and poison themselves in the comfort of their own house, but I don't want to take part in that.

Also, even one look at the streets of Milan shows that it's a definite pollution problem: there are cig butts everywhere. If smokers can't manage to responsibly dispose of their own trash, maybe they do deserve a ban and fines.

> It is no surprise that Trump alike are winning elections around the globe.

It's fine, populists and dictators never stay long enough in the long run. If the populace wants to vote for the likes of Trump for him defending their "right" to pollute the air for others and die young from self-inflicted poisons, then the populace deserves someone like Trump. Milan's local government, however, seems to go in the other direction. Also, Belgium just banned vapes, so there is maybe hope in this world.
You can just be an informed consumer and not buy laptops with non-replaceable components. Don't give bad products money and incentive to keep making more like them.
CPU wise or whole system wise?

You can play some pretty taxing x86 3d games on my M3 pro laptops, in spite of the two layers of emulation. Those Lunar Lake laptops would need a GPU for that wouldn't they?

Have they in the Wintel world figured out why Apple trackpads can actually act like a mouse replacement yet?
How is React easier to learn and debug?
Yeah, that's going to be a tough sell considering the problems with the driving test being a joke and the history of requirements in some areas just being a pretext to deny rights to specific groups or individuals (still to this day). The main problem I see is that a safety course isn't going to prevent violent crime. It could prevent use of force issues or accidents, but those tend to occur at an extremely low rate already (for civilians). The background check part is already implemented depending on jurisdiction.

The way the current system is set up, it's supposed to weed people out before they get access to the more dangerous stuff. As juveniles, if they get convicted of certain offenses, they will be prohibited, at least until 35. We have eroded various aspects of this with selective enforcement, plea deals, and the promoting the continuation of childhood with delays in freedoms and responsibilities. Then for the of-age group we have stuff like conspiracy, voluntary/involuntary commitment, terroristic threats, and all manner of prohibiting offenses. There's certainly some room for improvement, but it hard to say what an effective improvement would be.
I didn't even have to move. Holding space bar down from the start seemed to work for me.
> the mental model that allows the designer to map a subset of the world (the domain) to and from the system, and not the system itself, is the primary product of the software design activity

This is spot on. I was never able to put it in such precise words.

This theory has Brook's Law as a corollary:

"Adding manpower to a late software project makes it later."

Because the developers need time to develop this mental model before they can meaningfully contribute to the codebase.
I strongly prefer actual implementations and adore the way this was written. Maybe its all of the "to get this to run in O(N) time we will leave the trick for the reader to discover" I've bumped into. Or the classic "use this esoteric pay-walled reference for instructions for this important subalgorithm" then when you get that reference you realize its doing the same sort of thing. Super cool for quizzing masters students, pretty ridiculous for people in industry or hobbyists who learn by playing with code. Unfortunately when that happens there is almost never an OSS implementation with the "trick" either.
This isn’t a counterargument. Yes, mainstream US sites are not saints and have many serious issues. Also yes, they are least subject to US jurisdiction and can be held to some account. If these restrictions drive users to websites that are far, far worse then they will be doing more harm than good.
Can you explain?

An ounce of gold is heavier than an ounce of feathers, because the "ounce of gold" is a troy ounce, and the "ounce of feathers" is an avoirdupois ounce. But that shouldn't be true between feathers and bricks - they're both avoirdupois.
The builder cares. The buyer doesn't care too much either way what the construction technique is. They will be sold on the high insulation value, tornado resistance and so on. Not the fact that it costs less to build which is opaque anyway.
Check the local papers, Meetup, etc. for events and community groups to join. Take public transit (if possible) to get a feel for the layout. Look at a bunch of maps, read some news stories, look at brochures, etc. Walk around a lot, hit up some bars, board game nights, karaoke, etc., and try to make new friends. It can be a lot of fun if you're the curious/social type, or just can fake it enough :)
My newest laptop is a Thinkpad W541 with Linux purchased used a few of years ago. That is just as good as any new laptop made today.

The Old T430 I got from a relative who went to a MAC is also quite adequate for daily use. I have NetBSD on it and just finished upgrading to 10.1, so this was typed on that T430.

So unless you are a heavy duty gamer or work on complex 3d graphics professionally, any recently used laptop will work just as well.
Legal said someone might sell a bag of gold for one of lint without it.
DuckDB dominating over DataFusion could fuel the ongoing language war with a great half baked argument!
> Meanwhile, my typical peer has a functioning family unit, and has enjoyed a relatively struggle-free existence.

Are you sure about this? I know that I enjoyed a relatively struggle-free existence, and assumed that most other people did. But, whenever I have taken the time to get to know someone really well, I have found that they had struggles beyond anything I had to handle, and that do not reveal themselves at all until you know them very well.
Standard Ebooks is my go-to for beautiful, well-formatted Public Domain books. The 2025 page is a wonderful gift to start the year. I'm off to read Red Harvest and The Dain Curse. Happy New Year!!!
I picked up a few years ago a refurb Dell for a little over 200 USD (with shipping 215).

It is one of those big beasts with a number pad and decent GPU. I use it as a gaming PC. I was just last night playing Dead Island Riptide with default settings. It is probably the best computer purchase I have ever made.

My advice: keep an eye out for Dell refurb deals on slickdeals.com. They occasionally have half-off deals, which is what I scored.
so a tree when the data cannot be updated?

What is the point?
But what does this have to do with reasoning? Yes, LLMs are not knowledge bases, and seeing people treat them as such absolutely terrifies me. However, I don’t see how the fact that LLMs often hallucinate “facts” is relevant to a discussion about their reasoning capabilities.
Previous:

Stephen King to shut down his 3 radio stations in Maine

https://news.ycombinator.com/item?id=42310683

Stephen King shuts down money-losing radio stations after 40 years

https://news.ycombinator.com/item?id=42300955
> Note: You may need 80GB GPU memory to run this script with deepseek-vl2-small and even larger for deepseek-vl2.

Is this a typo? 80GB VRAM? I make great money, but there's no way I'm talking myself (or my wife) into spending 15k+ on an AI rig. I feel like I'm 16 again, pining after video cards I cannot afford or justify.
Pipe bombs cover a wide range and can be extremely deadly or basically a dud.

There’s no mention of the guy using smokeless powder just hexamethylene triperoxide diamine which is an actual high explosive.
Why is the Mac startup sound so successful? [video]
Some are. Some are not.

There are definitely sex negative counselors out there. Absolutely do not go to them.

But there do exist people who can't control a habit for almost any pleasurable thing. There are counselors who can help, and will also make clear that if you don't have a problem then you don't need their services.

Finding the right counselor for you can be difficult. But they are not all the same, and while any negative stereotype will have exemplars, they won't be universal.

(Right wing anti porn legislators, on the other hand, are all bad.)
I got into Ruby kind of early, around 2001. When Rails initially came out a few years later (circa 2004, IIRC) I remember being excited to see something putting Ruby out there giving it some publicity. But in a few years I think a lot of us were regretting the fact that most people's view of Ruby was formed by Rails.
Add some extra information, and it gets confused. This is 4o.

https://chatgpt.com/share/67759723-f008-800e-b0f3-9c81e656d6...

One might argue that it's impossible to compress air using known engineering, but that would be a different kind of answer.
Considering that they've picked a very difficult level on purpose, I assumed it's hard on purpose as a joke. You get to solve the CAPTCHA only once you've got significant skills at Doom.
This take screams more than a technical criticism but of something personal.
“I'll be blunt: I don't care for Redis. It is slow, it has fake transactions, and its query syntax is a freakshow. Our experiments at CMU found Dragonfly to have much more impressive performance numbers (even with a single CPU core). In my database course, I use the Redis query language as an example of what not to do.” (From the article)

Of course it’s not to be used as a general purpose DB it’s keys and values. Used for caches and things like that. In my experience in real world scenarios and loads vanilla single threaded Redis is stable, fast, and nigh bulletproof.
Sure, even top mathematicians have paper rejections.

But I think the more important point is that very few people are capable of publishing papers in top math journals.
Exactly, it’s like people complaining about locks when they hand over their keys to another person and suffer theft.

The lesson here is using granular permissions and sharing things selectively, more importantly never giving master access to anyone.
OK but now drop React.
I would like to also point out that rust is boring as hell. Lots of otherwise ordinary people write super simple non-fancy programs using it too :)
Ask HN: Popular AI Stocks for 2025?
Hmm... okay...

Why the SD Card thing when you can just use the built-in OS cloud syncing capabilities in Windows or MacOS?

Also you can take my M3 MacBook Air 15" from my cold dead hands. That laptop is ultra-lite, perfectly quiet, and ultra-fast. Wouldn't trade it for a 10 year old laptop.
https://archive.is/CaPYK
"P(hard-work-pleasures | asian) >= P(hard-work-pleasures | ~asian)"

I'm not sure if that's true, but it's presumably what the other person was saying they observed. Though I think in casual conversation, the reality is that P(racism | <such a sentence>) is likely higher than "baseline", I'd prefer to give the benefit of the doubt on HN.

Also, much prefer a place where mentioning "race" doesn't immediate trigger strong reactions. "Race" being in quotations, because I think the original sentence has more to do with the culture of (certain parts of?) Asia rather than actual race.

A side analogy: I think that Asians are more likely to like Hello Kitty than non-Asians.
I have a well regulated militia dream.

give up guys.
Again, scale isn’t mentioned. 150 devices could be several tons of high explosives which are more dangerous than a truck of ammonium nitrate which only becomes an explosive when mixed with other chemicals.
I think the cheapest smallsat launches now available are being pushed out of the Japanese airlock on the ISS. It's very popular.

Really limits your options in terms of height/inclination but it's been popular enough that they're almost at capacity.
Are you on the free version? Because for me it did not show there, only on the paid one.
From personal/professional experience this is true. Your typical rust developer uses Arch and Neovim. Yes, he will tell you about both.
Yeah, the first half or so is a blast, but there’s a point where I feel it drops off quite a bit. (For me, I think it was when the POV changed to Adam.) Still worth a read, though!
Prevented Mortality and Greenhouse Gas Emissions from Nuclear Power (2013)
> Not sure how they found out either.

I surely hope they can find out, and the harder it is to know how they found out, the better it is since fewer people will be able to evade it.
I broke it, I can enter the menu in firefox with F1, get put in the first level, I shoot the barrels and it counts as monsters killed.
Then by all means have a good chunk of the compensation packages directed to the non-citizens go towards massive checks for the citizens that (as loosely defined to include the widest possible group) the fraud and abuse of the program since it was popularized.

If you want the best and brightest, it shouldn’t be a problem to pay for the damages towards citizens.
.xlsx is now a documented format, based on xml. seems easier to just use that?
Larry Ellison, His Wife and College Football's Wildest Recruiting Saga
Because you came in acting like Internal Developer Platform would be fix to their problems when it won't be. In fact, I doubt the lack of IDP is their problem.

As SRE, I'm just over everyone running around acting like another tool is going to solve the problem. It's not, incentives need to be present not to be completely terrible at their job.

Also, I guess I should admit, I have strong aversion to IDPs. They always become some grue that eats me.
I really disliked the call out of the Alacritty maintainer. The license entitles you to fork the repo if you want to package a different icon. It does not entitle you to free labor regardless of your perception of its importance or triviality.
> I would rather have an app that is slightly slower than one that can crash unexpectedly. Even if they are quick to fix bugs, new bugs may be introduced in new releases. Your intent was to promote QT in your blog post, but unfortunately it has only affirmed to me that it's not something production-ready (QML on desktop).

Haha, that's interesting. But to be honest, it's really not that bad as it seems. Again, crash reports tend to be highly prioritized and most of the time you can find your way around them until they get fixed. It's indeed a frustrating experience when non-crash related bugs aren't being prioritized, but then again, like I explain in the blog, I could use a different library, probably an open source solution like I described using QBasicHtmlExporter[1] since QTextDocument toHtml uses weird inline HTML (and has some other bugs).

The thing is, with experience I kinda start to have my own boilerplate of battle-tested components/tools/libraries. I made the following client for Ollama[2][3] while not working on it full-time (still WIP) in around a month. It already is better than many web apps I tried who kept hanging while the model was generating a response. Also, try to copy text from a code block in web apps while a model is still generating a response -> it's almost always impossible since most web apps keep re-rendering everything on each completion, while I (like the native macOS chatGPT app) do incremental parsing which is much more efficient. The binary is 28MB (and can be even smaller), the app is fast and can handle very large amount of data. So I can build QML apps really, really fast these days due to the experience I gained and still gaining. I'm also wondering if I should open source my components as AGPL and then have some commercial licensing for it... Not to mention, I rarely use my own heap allocations myself - I try to put as much as I can either on the stack or in QML - so Qt handles all the heap allocation itself. While I'm relying on Qt to do an appropriate job, it seems to be very, very stable for now.

[1] https://github.com/Open-App-Library/QBasicHtmlExporter

[2] https://rubymamistvalove.com/client.mp4

[3] https://www.get-vox.com
http://archive.today/Juw35
The Kettlebell as Teacher
Show HN: Sama Deploy One-Click Docker Deployments on Hetzner with Automatic SSL
Hi HN!

I'm the founder of Samadeploy.com.
In the last year, I launched multiple side projects and kept facing the same challenge: repeatedly setting up VPS servers on Hetzner from scratch. Each time, I had to look up my bookmarks and configs, which significantly slowed down my process.
That's why I built Sama Deploy - an intuitive app with which you can:

- Instantly provision Hetzner servers
- Deploy any containerized app with a single click
- Get SSL certificates automatically
- Protect your sites from the public by easily adding basic auth
- Edit the Docker Compose file directly in your browser

Under the hood, I built on top of Docker and Caddy. So if you ever want to do something which you cannot yet do with my app, you could always just SSH into your server and adjust it yourself.

I built this solution to solve my own deployment headaches, and now I'm making it available to other developers. Sama Deploy is offered as a one-time purchase - just run a single command to install it on your own server.

What do you guys think? I appreciate any feedback. Happy new year and greeting from Germany
Very nice.

I note that in some ways the pictures really contribute to the story. For example, see the story on Eeyore's tail missing. The clue is that the picture shows the tail hanging as a cord to ring the doorbell. The alt text conveys this nicely by saying:

In this drawing, Pooh is back outside Owl's front door, with Owl standing in the doorway. Pooh is looking at the bell-rope, which ends in a tuft of hair.

I'm not sure if this could truly be automated, as the description of the picture needs to fit the context of the story.
> ~20% of English-proficient Americans can't do basic numerical tasks in English [0]

We don’t gatekeep rights based on someone’s perceived intelligence. The same logic was used to keep southern blacks from voting in the civil rights era and was promptly struck down. If you’re an American, it’s your inalienable right.

> The literal text is ambiguous to a degree that commas change its meaning

The people who wrote the amendment literally wrote essays explaining their thought process. It’s not like we’re deciphering ancient greek artifacts, we all know exactly what the founders meant when they wrote it. The Supreme Court has repeatedly affirmed this extremely obvious interpretation.
> - given regexes A and B we can construct the new regex AB that matches first the regex A followed by B
> - given regexes A and B we can construct A|B that matches A or B

Concatenation and alternation is not what one typically imagines when they utter the word composition (unless you expect me to understand "composition over inheritance" to mean actually "just use two classes instead of one").
I was confused by the title because paper rejection is incredibly common in research, but that's the point and one of the goals is to fight imposter syndrome.

It's a good initiative. Next step: everybody realizes that researchers are just random people like everybody. Maybe that could kill any remaining imposter syndrome.

A rejection, although common, is quite tough during your PhD though, even ignoring the imposter syndrome, because in a short time, you are expected to have a bunch of accepted papers, in prestigious publications if possible. It feels like a rejection slows you down, and the clock is still ticking. If we could kill some of this nefarious system, that'd be good as well.
I think this is unfairly downvoted.

Anyone can think of something humans do and just playing DOOM in a browser falls well short of anything new.

All the hard stuff is missing. It's half an idea.
This is very interesting, but a couple of things to note;
1. o1 still achieves > 40% on the varied Putnam problems, which is still a feat most math students would not achieve.
2. o3 solved 25% of the Epoch AI dataset.
- There was an interesting post which calls into question how difficult some of those problems actually are, but it still seems very impressive.

I think a fair conclusion here is reasoning models are still really good at solving very difficult math and competitive programming problems, but just better at ones they have seen before.
I wish I has an IQ that high...
I think the most straightforward recursive-descent approach is just to parse the expression part of the type as an expression and then turn it inside out to get the type. So if you have e.g. 'int (*(p[5]))(char)', then your parse tree is something like

declaration
int
function call
*
[]
p
5
char

and you need to turn that inside out to get something like

array
pointer to
function
int
(char)

This way you have a simple expression parser combined with a simple recursive tree transformation function. (The tree transformation took about 50 LOC when I implemented it for a toy parser.)
If i were interested in argument I'd cite dozens of papers from https://digitalcommons.uri.edu/dignity/

But whenever i've done so from alt accounts I get brigaded. I have literally paid people to edit comments to improve my tone and it makes no difference.

I'm just sharing a small, honest, account of lived experience. I come here for discussion. Not debate. certainly not argument. If i present myself incorrectly I try to act reflexively and openly.

Some people want to discount that and make everything fact based but sometimes sharing facts on the wrong forum just further reinforces injustice.

I do 20+ pushups, crunches, or burpees in between posts across the web. lol
Babies and the Macroeconomy: Fertility Decline in Developed Nations
From the paper: https://www.nber.org/papers/w33311
Old article... 2020. Maybe cloud syncing wasn't suitable for that person back then, I'm guessing.
Before Framework there wasn't a good option if you did anything more than office work. Even Framework's offerings aren't powerful enough in many ways.
The suspect informed a confidential source that he had a 10" barrel rifle. The source provided pictures of the rifle to authorities, and had seen it before several times, including going shooting with the suspect. The source provided several other points of data supporting him caching weapons and possessing a short rifle.

https://storage.courtlistener.com/recap/gov.uscourts.vaed.56...

You might be referring to this image? Which is fairly clear, but I'm not sure how they measure barrel length here, but to my eyes it is 13" (unless the last 3 are a suppressor of some sort that isn't counted).

https://storage.courtlistener.com/recap/gov.uscourts.vaed.56...

This is from the probable cause affidavit, which I guess is used to obtain a warrant?
I'd dispute the claim on China, at least for today's China. Anecdotally, the Chinese are very conscious of their/our "ancient culture" and "proud history".

It's also in state sanctioned ideology too, eg. https://en.wikipedia.org/wiki/Chinese_Dream

`Xi said that the Chinese Dream is the "great rejuvenation of the Chinese nation"`

If more literally translated, this is pretty much the Chinese version of "Making China Great Again".

You're probably correct that this doesn't apply during the cultural revolution (and maybe for the most of the 20th century), but that's like a long gone boomer era.
How many places is generally irrelevant. If a system requires user to provide 2 factors to authenticate, it is 2FA. A password manager software itself should be no exception.
Although I agree, I think there is a mild hazard with the label of "model minority". Not saying a reaction like that is really warranted in this case, though.