skysight-inc/HackerNews huggingface dataset:
LLMs have been very useful for me in explorations of linear algebra, because I can have an idea and say "what's this operation called?" or "how do I go from this thing to that thing?", and it'll give me the mechanism and an explanation, and then I can go read actual human-written literature or documentation on the subject.

It often gets the actual math wrong, but it is good enough at connecting the dots between my layman's intuition and the "right answer" that I can get myself over humps that I'd previously have been hopelessly stuck on.

It does make those mistakes you're talking about very frequently, but once I'm told that the thing I'm trying to do is achievable with the Gram-Schmidt process, I can go self-educate on that further.

The big thing I've had to watch out for is that it'll usually agree that my approach is a good or valid one, even when it turns out not to be. I've learned to ask my questions in the shape of "how do I", rather than "what if I..." or "is it a good idea to...", because most of the time it'll twist itself into shapes to affirm the direction I'm taking rather than challenging and refining it.
Obesity: Root Cause Analysis
I don’t see how this makes sense. Walmart is consistently the cheapest grocery store around (save for Aldi but they’re not that reliable). The alternatives are mostly Kroger or Albertsons owned and their prices are just ridiculous these days. The smaller grocery chains end up having to charge a premium to stay open. I hate Walmart but when the products are the same I’m going with whoever has the lowest price. If they were around people would be spending more, period. If anything I’d blame the dollar stores for creating food deserts in already poor areas.
Have they proven anything or gained any market share since the last 6B raise less than a year ago?
I have no desire to educate but I have to indicate that there is plenty of research on why people prefer cars and that’s not it.

Still, assuming that walking from home to a train / metro station is a problem has to come from a car centric place. It’s ridiculous. In many cities that is the best part of the day for many people. You rarely hear from people driving that car commute is the best part of their day.
I don’t think people who don’t have kids are thinking about sci-fi stuff. Other than my dad, I genuinely have never met a person who ever thinks about it, and well, he had me and my siblings.

Some people just believe in (and sometimes achieve!) fulfilment through other means. Problem is, that is objectively bad for economical and cultural growth of the humanity. No single country has been able to resolve that problem without religious beliefs or kinda forcing women to have children (by either taking all their opportunities away or them not having any by default).
Yes I am sure a government imposing its will against the desires of its people could be more effective at prevention.
Japanese people have a reputation for being reserved. Do they go to the bath to meet, talk with and hook up with strangers like in Icelandic baths?
For every story like this, there’s another story where everything moves in the opposite direction.
It's relatively common to call the use of dynamically typed languages without static type hints "untyped".

And it's relatively common for people to be simply wrong, or to be careless in their word choice in regard to lots of other matters.

I'm pretty sure you knew what I meant and are just trying the classic "you used this word in a way I don't agree with therefore you're wrong".

It wasn't, i.e. I wasn't considering the possibility that that was what you meant. This is the first time I've encountered this broken usage of the term.
Apple seeks to defend Google's billion-dollar payments in search case
What percentage of jobs does she believe are fake/unnecessary?

I'd agree that most workers are not particularly efficient. But I have never seen efforts to make them more efficient succeed.

So, the fact that there are eight employees doing the work of three at the grocery store does not count, because the missing efficiency is not available to the employer.
The author didn't mention this, but maybe there could be a type (unit) canonicalization step that always produces the same reduced/simplified type for any equivalent set of Mul/Divs? So that you don't need the later equivalency check.

E.g. with the article's example, where 'a' is Meters and 'b' is Seconds, 'a/(b*b)' and 'a/b/b' both have type 'Div<Meters, Mul<Seconds, Seconds>>' instead of one having the type 'Div<Div<Meters, Seconds>, Seconds>'.

For only Muls and Divs you can basically just have a histogram of units to powers (e.g., m/s^2 => m: 1, s: -2) which uniquely represent equivalent types.
I’d like to inject a personal gripe here, namely: the people who take the time to answer questions on Amazon with “I don’t know.” Why.
This is why Elon was not wrong in acquiring Twitter. he repurposed X into an AI company, thanks to Grok. Given the hype surrounding AI, it's conceivable the spinoff, XAI , is worth more than the parent, X/Twitter, so Elon still came out ahead.
> If you think a fortune 100 company is under valued by $10/share you can make a ton of money (assuming you are right of course)

Inherent in this $10/share profit opportunity is that not everyone agrees with you. (If everyone did agree with you, the discrepancy/opportunity would collapse from $10 to under a penny.)
Snyder has been defined ad “nolte with an NPR tote bag” (Nolte being the Ernst Nolte) for his work comparing communism with nazism https://jacobin.com/2023/01/soviet-union-memorials-nazi-germ...
That depends on the choice. When my recipe calls for coriander substituting cinnamon because that is what is available isn't close enough. I don't need 4 different brands of coriander, but I need one. There are many many other odd things that people want in life and there is no substitute.

As for exercise: you get more exercise walking through walmart than driving from small store to small store and parking in front of each - which is what really happens with small stores in small towns. (tourists will walk the street, but locals don't - they park in front of the one store and then are gone - though more likely the locals drive the the big city mall for their shopping and again get their exercise, leaving those local stores for tourists who don't realize this isn't how locals live).
Oh you’re right! That’s exciting, I can’t wait to use it. Just starred the repo and will be taking it for a spin on my next project. Glad the author listened to the feedback here, I think it positions the library for way more usage.
every professional historian ever...
The intern didn't make them "look bad". They were bad. I mean, I'm sure that they were great developers in some sense, but refusing to ever update your toolkit because you've always gotten along just fine with what you already use is a great way to get sped past by the next generation who start from a better baseline.
Type refinements are a great concept and I'd love to see them in Rust. And double-refinement types are great for helping with conversions, such as with Rust From/Into, and potentially a dynamic converter function.

Examples of double-refinements that I'd like:

- Common units like Length:Meter and Length:Foot.

- Color bits like Color:RGB24 and Color:CYMK24.

- Worldwide currency like Money:USD and Money:GBP with a converter function that knows exchange rates.

- Human languages like String:English vs String:Cymraeg with a converter function that knows translations.
What if that decline is more than offset by lower prices at Walmart?
Creative because they don't account for all the people who now can work better paying more productive jobs.
I remember the “community” having its own well-defined memes and culture by at least 2016
The most interesting part is

> began enforcing it in May through manual actions, it is not algorithmic

Not that it isn't Gemini powered, it is not even based on some arcane algorithm, but done by actual humans. Slop for everyone, unless their money is on the table?

(Too bad that non garbage content is hidden on Google)
Congress is looking to ban new sales of popular Chinese-made drones – AP News
The problem is that this bit:

> that help customers worldwide quickly realize business outcomes. Through a powerful combination of proven technologies and deep industry expertise, Lexmark accelerates business transformation, turning information into insights, data into decisions, and analytics into action

applies to every single b2b company in the world right now, and thus doesn't tell you anything more than "we're a b2b company".
Just another comment that this small, niche museum is worth a visit. I’ve been twice, once when visiting Ft. Meade on business and once when passing through DC.

The thing that impressed me is the typewriter-size Enigma machines of legend, and the multiple-refrigerator-size Bombe nearby that decoded the Enigma output. Seeing the actual hardware makes an impression that reading stories can’t get to.
I always appreciate the low tech magazine articles when they arrive in my feed reader, but some are more realistic than others.

This one, while characteristically well researched and presented, runs up against entrenched cultural norms in most western societies. Personally, a nice hot shower in an en suite bathroom that is as opulent as one can afford is one of the last luxuries I'd give up.
There is some confusion about the materials used in teabags. Depending on the brand, they may be pure cellulose, or they may be made with plastics and PFAs.

https://www.implasticfree.com/why-you-should-switch-to-plast...
Walmart should be paying a living wage. If you are employed full time, you should not qualify. Walmart does not pay enough, they rely on the government to make up the shortfall.
yeah, Snyder is right-wing: "Snyder’s “century of blood,” with its “twinned totalitarianisms,” has become a new “common-sense,” liberal talking point — “Nolte with an NPR tote bag,” as a colleague put it. His Bloodlands is just a more sophisticated rendering of suggestive correlation between Nazism and the Soviet Union, legitimizing formerly fringe-nationalist dogmatic talking points, while hiding behind extremely problematic chains of citation. He has proved repeatedly willing to connect Nazi atrocities to Soviet crimes. Even Wehrmacht-veteran historians like Joachim Fest, who minimized the Holocaust, made clear that it was Hitler, not Stalin, who was “devoid of any civilizing ideas.” https://jacobin.com/2023/01/soviet-union-memorials-nazi-germ...
>most people in the developed world today aren’t doing it.

Untrue: e.g., in the US, "Among women and men aged 40–49 in 2015–2019, 84.3% of women had given birth and 76.5% of men had fathered a child."

https://www.cdc.gov/nchs/data/nhsr/nhsr179.pdf
The TUI apps I use regularly are:

* lf (file manager)
* vim
* htop
* moc and ncmpcpp (music)
* emacs (which is its own world)

TUI apps are great for one-time actions that needs feedback, especially having a list of something, filtering it, and applying an action on one or more items.

But, I still like to have a CLI version so I can script any reccuring workflow.
It's ostensibly based on Jon Ronson book of the same name but it falls pretty far, and is much less funny, vs the book.
normies on consumer software: they take quality seriously, right?

software dev on field they haven't worked in yet: they actually take quality seriously, right?
https://news.ycombinator.com/item?id=42499622
Here is an in-depth study of different brands and the materials they contain.

https://www.implasticfree.com/why-you-should-switch-to-plast...
It's a yet another frontend that blocks ads (ads are a form of monetization), and so there's the question of 'do people deserve to be paid'. It's also talking about "taking ownership" over "your content" on its homepage, so there's the point about the content literally not being "yours".
If you are one of those who remain employed - that is you work a better job than retail in the first place you are much better off. We need better training for those who currently are working retail, but the community is overall better off.
> there are good arguments that free trade is not always a good thing

Arguments are one thing, results are another. Free markets always result in more prosperity, from top to bottom. Free trade is just one aspect of a free market.
Few years ago, I have worked to integrate SSH trough a major IDP via PAM modules.
It was a bit tricky (especially for a bug in PAM in CentOS) but in the long run it worked fine.
Fair enough but that only means that cities should be modified to be more walkable with more green space and cars should be discouraged as is done in some european cities.
Statement from Eddy Cue:

"If this Court prohibits Google from sharing revenue for search distribution, Apple would have two unacceptable choices. It could still let users in the United States choose Google as a search engine for Safari, but Apple could not receive any share of the resulting revenue, so Google would obtain valuable access to Apple's users at no cost. Or Apple could remove Google Search as a choice on Safari. But because customers prefer Google, removing it as an option would harm both Apple and its customers."

and "... it is unlikely that Apple will decide to create a search engine in the future, regardless of what remedies are ordered in this case."

Source: https://fingfx.thomsonreuters.com/gfx/legaldocs/zgvoalybovd/...
> Modern bathing practices are a textbook example of an unsustainable lifestyle based on fossil fuels.

Come now, this is absolute nonsense.
Twain and Franklin were born after Pascal's death. Which specific quote of Cicero did you have in mind?
This is not true, the heavy data will be on the heap and you can move the values around. It actually works out very well.
Their larger purchasing power means that they need those people to get busy producing stuff they need so they have something to spend more money on.
haha yeah, I went back in time and found that same comment from gamblor956 and was thinking "comments that don't age well"
You bear a terrible burden, then.
> Arguments are one thing, results are another. Free markets always result in more prosperity, from top to bottom. Free trade is just one aspect of a free market.

More prosperity but often at a cost to local environments and commons that are not priced into the market. And prosperity itself, measured purely in terms of economic gains, is not always a good thing either.
... and also lets stores ensure the end user doesn't get a deal the store doesn't want them to get!
All plant products are contaminated to one degree or another with unhealthy things the plants pulled out of the soil.
That mixing of Sapien and Neanderthal genes, which survives in the modern population, occurred in the Middle East, in the Caucus mountains, and in modern day Turkey. But of the Sapien DNA that we have from Europe before 30,000 BC, we cannot find any trace of it in the modern population.
I get the exact opposite impression. The fact that you can simply press enter to mark the output is yet another sign of how malleable terminal interfaces are. You simply can't do that with GUI applications unless the developer created a button implementing that specific functionality.
For a project with 42.2K stars I thought there would be sponsors by now.
They aren't going to sacrifice profit. They are going to raise prices.

But yes, the refusal to produce anything is pure propaganda.
Ehh just load up on cilantro, it's a natural chelator!
You want a reserve army of labor, not big enough to revolt but big enough to create precarity.
it's fun to write "fast" js code and watch people's amazement. has hardware becomes cheaper and faster devs become lazier and careless.

it's all fun and games until your battery dies 3 hours too soon.

https://en.m.wikipedia.org/wiki/Jevons_paradox
Well sure they matter, but “yaoioum” wasn’t really the main point of the post. It was more of a threat; “add refinement types to Rust, or yoric will continue building poorly named static analyzers.”
From the comments here, I don’t think people understand how much small retail supports an entire local economy.

With big retail, you get the smallest possible wages and all the profit sucked out to somewhere else.
I agree.

I think the reality is the "don't try to be smart, do these low-risk things because statistically you're too stupid to beat the market" has logic to it, and stats to back it up. But the unspoken part is, "let the rich do that stuff, and their wealth advisors and folks on the golf courses".

So there's an elitist aspect to telling people to back off. We all know people who made a killing on individual stocks, either because they bought them or they worked at a company that issued them.
People can always make their own jobs - start a business, like being a handyman, a babysitter, etc.

Minimum wage laws, on the other hand, mean a lot of employment possibilities are simply out of reach.
And those "manics" are excluded as well, while just showing up, trying to make friends. The solutionism exhibited in discussions like this flies in the face of reality. They devolve into self-help for the masses. Human relationships are complex, and there is no easy path to true friendship.
>You can't add 1-based indices together like you can zero-based indices.

I think you are right but I am unable to articulate why. But I think 0 based indexes are able to fruitfully capture "going nowhere" iteratively than 1 based indexes, which do require a decrement in that circumstance.
I agree with you, and you’re probably right! My parents said the same thing. Both my siblings have children as well.

But if the argument starts with “you’ll understand when you have kids!” to convince people to have kids… well, it’s like blindly trusting people. And again, it is coming from a person who will have children when the time comes. And relatively speaking, I’m doing ok financially, and it’s one of the problems I can take care of for the future of my children.

For every good parental story, there are quite a few unfortunate ones as well. The problem with the information access is, people tend to realize that chances of it happening is not 0. So you have all the opportunity loss, combined with the potential regrets and problems that add up for every new child… the math doesn’t add up for having multiple children. Also, doesn’t help that the average age of having the first child is already at 30s.

Anyways, I think I’m just generally angry that pseudo-intellectuals (including ourselves) are scared to propose other solutions. Because they will always be very unethical (lab babies, taking rights away and etc.) or very uneconomical.
Yeah, I briefly mentioned those in my previous message :)
Show HN: MarinaBox: Open-Source Sandbox Infra for AI Agents
Hey everyone,

We're excited to introduce MarinaBox, an open-source toolkit for creating isolated desktop/browser sandboxes tailored for AI agents.

Over the past few months, we've worked on various projects involving:

1. AI agents interacting with computers (think Claude computer-use scenarios).

2. Browser automation for AI agents using tools like Playwright and Selenium.

3. Applications that need a live-session view to monitor AI agents' actions, with the ability for human-in-the-loop intervention.

What we learned: All these scenarios share a common need for robust infrastructure. So, we built MarinaBox to provide:

• Containerized Desktops/Browsers: Easily start and manage desktop/browser sessions in a containerized environment.

• Seamless Transition: Develop locally and host effortlessly on your cloud in production.

• SDK/CLI for Control: Native support for computer use, browser automation (Playwright/Selenium), and session management.

• Live-Session Embedding: Integrate a live view directly into your app, enabling human-in-the-loop interactions.

• Session Replays: Record and replay sessions with ease.
Check it out:

• Documentation:https://marinabox.mintlify.app/get-started/introduction
Main Repo:https://github.com/marinabox/marinabox
Sandbox Infra:https://github.com/marinabox/marinabox-sandbox

We’ve worked hard to make the documentation detailed and developer-friendly. For any questions, feedback, or contributions:

• Discord: https://discord.gg/nAyFBSSU87
• Email: askmarinabox@gmail.com

Let us know what you think, and feel free to contribute or suggest ideas!

We built this in about 10 days and a large part of the code and docs were generated using AI. Let us know if something is wrong. We would love your feedback.

PS: The above version allows you to run locally. We are soon releasing self hosting on cloud.
Consumers are short sighted. On this we can agree.

But are they short sighted because they are taught to be short sighted, or is this some irrevocable aspect of the human condition?

If you grow up in a society that emphases the virtues of individuality and deemphasises the impact of the social/group condition upon your own lived experience, it's not really surprising that you'd rate "immediate personal issues" above "communal" ones.
The quest to save the largest CRT TV from destruction
Your point being?

https://en.wikipedia.org/wiki/State_Grid_Corporation_of_Chin...
If there's a better coupon code, but the retailer pays Honey to not show it to you, the consumer loses.
No specific reason, i'm here multiple times a day but I rarely comment.
It's a situation where we want everyone else's wages to be driven down. But not our own of course.
Apple's bad blood with Nvidia continues, after decades of fighting
Yakutsk, coldest major city in the world
Very. Speaking to tech workers: if you have the means to take an employment gap with reasonable financial security, that's an entirely different thing than doing it without financial security.

Without financial security, to get by, you might have to suffer all sorts of things no one should have to put up with. The hardest parts are probably not what you would've guessed.

A penny-pinching lifestyle can also have effects on relationships. A "starving artist" or "poor student", who thinks differently, definitely has temporary appeal with many. But that's a lot less attractive to a partner's long-term thinking/feeling by late 20s, if they want to raise a middle class family, with good schools, safe housing, and comforts. My sense is that someone whose field seems to be "techbro", but who doesn't already show signs of financial comfort, is likely registering more as no-future, not like a "poor" med student (who will seem viable for raising a family, with just a well-defined period of hard work and non-affluence to get through first).

If at all possible, endeavor to have a FAANG war chest, or to be born to wealthy parents, and your gap becomes much better.
I think it's a pushback against the emphasis on individualism in our culture, which many find does not lead to real fulfillment. When you start a family, you're giving up your own glory, but in doing so you become deeply integrated into something greater than yourself, which makes you greater by extension.

And I say this as someone who doesn't have kids either, and as someone who used to not be so excited by the prospect, but I've witnessed how it's transformed my friends and family members.
If that's universally true, why would lenders lend in a high inflationary environment?
Related:

Raspberry Pi 500 Review: The keyboard is the computer, again

https://news.ycombinator.com/item?id=42364038
There are three kinds of prices:

1. below the competition - predatory pricing, dumping

2. same as the competition - collusion, price fixing, cartel

3. more than the competition - gouging, profiteering

All three are illegal. There's no legal way to set a price.
AMD got rid of the foundries in the past. The other company is GlobalFoundries and looks like to be doing fine. Intel tried to do the same 15 years later, but didn’t succeed. It’s really hard to have both things right - semiconductor manufacturing process and prefect processor design.
I thought we were talking exclusively about short-term speculators.
Any reason for not making it available in all countries?