skysight-inc/HackerNews huggingface dataset:
Bet you wouldn't be saying that if you were starving. Wonder what the highest calories/$ food is out there, though probably not soda.

edit: hah, someone's done the legwork: https://efficiencyiseverything.com/calorie-per-dollar-list/

No drinks though. Looks like soda from a $2 2L bottle comes in at about 500cal/$, much lower than the leader in that list. Not sure how cheap one can get soda elsewhere though (from fountains etc).
Kids and marriage also make it practically impossible to not meet other people.

If someone did a study on loneliness vs fertility rates, it'd probably be a near perfect correlation.

The modern era of Tinder, normalised deviancy, and so on is really setting people up for a very uncomfortable later life. And I say 'later' but it's really the overwhelming majority of your life, especially if you discount your earlier years where we're all just basically retarded.
I bought my first unit maybe 5 years ago, I didn't know such a thing as valetudo existed. After I found out, although my unit was supported the process was quite involved so I never did it.

A few weeks ago I bought another unit, it's not supported by valetudo yet but the previous model was. So my thought was that soon enough this new will be supported as well; they don't really seem to be super different when it comes to features (though there were some features I needed, which is why I got the new model instead of the older one).

At this point, I am willing to sacrifice privacy for the cleaning.
Same. I had to look them up, apparently PARC is still a thing. I had no idea.
Move text between devices by QR code
A hot woman with an unexpected interest in military specifications is unexpected and therefore suspicious. Their interest in the protagonist will be equally unexpected.

Some dudes on a forum about military games having an interest in the same? Totally normal.
why is alcohol ok to be treated differently in your opinion?
UPDATE: nvm, you answered it already.
> people who own the company (technically also shareholders...)

Unless they are a "GmbH & Co KG"?
ZFC is way worse than Presburger arithmetic -- since it is undecidable, we know that the length of the minimal proof of a statement cannot be bounded by a computable function of the length of the statement.

This has little to do with the usefulness of LLMs for research-level mathematics though. I do not think that anyone is hoping to get a decision procedure out of it, but rather something that would imitate human reasoning, which is heavily based on analogies ("we want to solve this problem, which shares some similarities with that other solved problem, can we apply the same proof strategy? if not, can we generalise the strategy so that it becomes applicable?").
> Oh so you mean I have at my fingertips a tool that can generate me a Scientific American issue on any topic I fancy?

I’m responding to this comment, where I think it’s clear that an LLM can’t event achieve the goal the poster would like.

> You wouldn’t write a legal argument based on what some random stranger told you, would you?

I wouldn’t but a lawyer actually went to court with arguments literally written by a machine without verification.
> I can see how in the next few years politicians and judges will use LLMs as neutral experts.

While also noting that "neutral" is not well-defined, I agree. They will be used as if they were.
Earth's subsurface may hold up to 5.6 × 10⁶ million metric tons of hydrogen
If I recall correctly, Xerox printers are rebadged Lexmark printers, with the exception of the highest end models.
> At the same time I feel like people should be able to make their own decisions

But it's everyone who chips in for food stamps and healthcare.
Any sentiment expressed by the party which has dedicated itself to unrestricted corporate rights in this direction is an insincere attempt to pander to a current culture war front they are fighting that week; In this case, likely something along the lines of 'Twitter censored Trump's hydroxychloroquine post - we MUST PUNISH THEM AND REIGN IN BIG TECH [for not contributing to the fascist project]'.

EDIT: Direct quote - "The internet's hall monitors out in Silicon Valley, they think they can suppress us, discourage us. Maybe if you're just a little less patriotic. Maybe if you just conform to their way of thinking a little more, then you'll be allowed to participate in the digital world,"

This isn't an attempt to ensure freedom from monopoly, this is an attempt to enforce partisan control of the message, weaponizing the idea of free speech using force.

I can assert that the 'common public square' idea central to freedom of speech is disappearing, and that this is a bad thing, but that's not what this man has been arguing or why this man has chosen this issue.
You seem to get 2(?) free Python program runs per week(?) as part of the 01 preview.

When you visit chatgpt on the free account it automatically gives you the best model and then disables it after some amount of work and says to come back later or upgrade.
I'd really like to see more data on this. I really think (most) people would be desensitized and not become hyper sensitive to this content.

Another fascet to this is the moderators willfully agreed to review this content and had full autonomy to leave the job at any point.
Building a replacement 386/486 CMOS battery
The genomic journey of modern and archaic humans may be older than we thought
RationalWiki: Documenting the full range of crank ideas;
Very nice! I’m one of those habitual return-pressers, and this tool accomplishes the exact same thing but better.
That's a neat observation! But isn't it for the naïve reason that, with negligible overhead, the run time of executing `fib(n) = fib(n - 1) + fib(n - 2)` is the run time of executing `fib(n - 1)`, plus the run time of executing `fib(n - 2)`?

On the other hand, if someone had asked me for an estimate on the run time, I probably would have tried breaking out the master theorem instead of thinking of this, so I don't want to downplay the observation.
> Other service providers can scan for CSAM from the cloud

I thought the topic was on-device scanning? The great-grandparent claim seemed to be that Apple had to choose between automatically uploading photos encrypted and not scanning them, vs. automatically uploading photos unencrypted and scanning them. The option for "just don't upload stuff at all, and don't scan it either" was conspicuously absent from the list of choices.

Why, do other phone manufacturers do this auto-upload-and-scan without asking?
If you are starving you need both calories and nutrients. Missing either one of them means you will still be starving.
- Photovoltaic electricity generation will continue to follow the same exponential curve it has been in for the last ~70 years. This will catch everybody completely by surprise.

- The overwhelming amount of excess solar generation during the day will propel grid storage into getting a lot of investment. Its capacity will still be mostly a rounding error in 2025.

- The overwhelming amount of excess solar generation during the day will propel discussions about carbon capture and credits. Those won't go anywhere in 2025.

- Meanwhile, the climate won't become much worse in 2025 compared to 2024. What is still pretty bad, but there will certainly be useless heated discussions about it.

- LLMs will reach peak disillusionment. It's not clear if large LLM providers will even keep providing them. But at the same time there will appear a few people here and there using them for stuff they are good at. Those people won't get much attention.

- Linux won't reach 2% of the PCs. But it will get close.

- The US won't jump into a recession as soon as Trump becomes the president. Not much will change in 2025 alone.

- The EU economy will be a bit better than 2024.

- The China economy will be a bit worse than 2024. But there will be no way to verify this.

- Here in South America most countries will be a bit better than 2024. But Brazil will be worse.

Let's see... what other subjects I can ask my crystal ball about?
This was my first thought when I saw the results:

https://news.ycombinator.com/item?id=42473470
> If you don't cherry-pick the year, the gold price right now is looking good compared to the past.

Then there's the near-decade drought between 2011 and 2019, and the multi-year drought between 2021 and 2024.

Meanwhile, if instead of having cash tied up in gold one had invested in an index fund (total market or even S&P 500), it'd be getting both price appreciation and dividends. Even the so-called S&P 500 lost decade of the 2000s did pretty well if you had some bonds and rebalanced (or, as a US resident, were internationally diversified):

* http://archive.is/https://www.forbes.com/sites/investor/2010...

The only time in recent history that gold seems to have been a useful 'investment' was a few years in the late 1970s and between 2000 and 2011. Over the course of decades it seems to have been a money hole.

> But it still might do better than, say, the Zimbabwe dollar, the Continental, or even the ruble over the past decade.

Compared to a diversified portfolio or even bonds (especially TIPS in the US), gold would have been a disaster.
It may be able to push human knowledge forward to an extent.

In the past, there was quite a bit of low hanging fruit such that you could have polymaths able to contribute to a wide variety of fields, such as Newton.

But in the past 100 years or so, the problem is there is so much known, it is impossible for any single person to have deep knowledge of everything. e.g. its rare to find a really good mathematician who also has a deep knowledge (beyond intro courses) about say, chemistry.

Would a sufficiently powerful AI / ML model be able to come up with this synthesis across fields?
Right, no sugar. So sugar free diet soda and flavored waters should be fine then.
> as long as it is food and stuff available at a normal grocery store (so not including alcohol).

Not to dive too far down the “is a burrito a sandwich” rabbit hole, but it is interesting to think about this—a bottle of soda and a bottle of wine really aren’t that far apart: caloric, low-nutrient beverages whose primary purpose is pleasure and that cause some subset of the population to be unable to moderate their intake. Not advocating for government sponsored wine so much as exploring the idea of “what is food?” Soda barely qualifies, in my view. Really beer or wine may actually be a bit more food-like.

That said I agree that strict lifestyle prescriptions for people getting assistance are more often a kind of moral high horse than a useful policy.
If you are targeted, presumably, they will be attacking you from every angle they can. If you have other tech besides Apple's, then that's just another attack vector. If Apple did this, they'd be Apple focused leaving many vulns. By this group being not Apple specific, they can be up on all the ways like IoT devices, Android, etc.

Based on that, it seems smart for each of the tech players to support the 3rd party solutions
> we already had a tool that allowed us to look up any question that came into our minds … It never hallucinated. … It was a search engine.

Except for all the times the search results were wrong answers.

https://searchengineland.com/when-google-gets-it-wrong-direc...
If they're not customers then there's really no need for customer support, right? So why would they complain? :)
Church pews are the conveyor belt into the box
Ninestar was already having problems in the US. In 2023 they got an import ban by the DHS [0] and Lexmark had to find a new supplier for whatever Ninestar was sending them. Lexmark had to sell some assets this year to add a bit of liquidity [1].

I guess this is Ninestar "just" getting rid of Lexmark because it was getting a bit messy for them.

0: https://www.wsj.com/articles/u-s-puts-chinese-company-with-kentucky-ties-on-forced-labor-ban-list-ce2e8d00
1: https://www.opi.net/news/region/001-north-america/ninestar-offloads-lexmark-assets/
Apple does extensive forensics itself, and spends more on platform and hardware security than all but perhaps? two other companies in the world. By referring people to nonprofit labs, Apple is encouraging information about spyware systems --- which target multiple platforms --- to be widely disseminated, and allows the OSINT process, which Apple has no comparative advantage in running, to work out targeting and sourcing.

The norm in high-end platform security practices at companies is to keep cards as close to the vest as possible, revealing information largely in the form of feature-style announcements of security improvements. The norm Apple is setting here is better.
No. Wolfram Alpha can't solve anything that isn't a function evaluation or equation. And it can't do modular arithmetic to save its unlife.

WolframOne/Mathematica is better, but that requires the user (or ChatGPT!)to write complicated code, not natural language queries.
I don't think it is ready to be used in prod. The feature is still experimental
What about peanut butter?
The market of people willing to pay $50 a month for OAI vs $0/month for one of the open source LLAMA variants is not large enough to justify their current valuation, imo
The issue I take with this stance is that people reading will put auth in the "too scary to implement" bucket mentally, and think it's fine to pay the Auth0 tax on every single project, even one with a few users.

This is a great resource to learn how to write it yourself, and things to take into consideration: https://lucia-auth.com/

IMO, this is one thing to implement carefully if need be (vs avoid altogether, as is the case of cryptography).
Get ready for RFK Jr to be called "racist" for this. The NCAAP screams wolf everytime this comes up: https://www.huffpost.com/entry/minorities-soda-lobby_b_25411...
People would buy healthier food if they can afford it (both time and money). So, either make healthier food cheaper and allow them to cook it, or give them prepared healthy food.
A lot of subsidies are no longer means tested due to cost and complexity. ACA, for example, is only income tested.
I love it when someone has a problem I have very often, but they have the insight to actually realize that it's a problem, and then do something about it.
T-Rex feasts on Triceratops carcass, Asteroid Nears Earth, … all that and more Dino News just ahead… but first, why are some brontosaurus investing in these new small fuzzy creatures?
Good cities can't exist without public order
Monthly Roundup #25: December 2024
Is this the article mentioned? https://www.maths.usyd.edu.au/u/eseneta/senetamcfinal.pdf
Sure, at cost of increased complexity of access. Sometimes the waste is worth the simplicity.
Can't mention Fibonacci and memoization in the same sentence without me breaking out my favorite Python party trick:

def fib(n, cache = {0: 0, 1: 1}):
if n not in cache:
cache[n] = fib(n-1) + fib(n-2)
return cache[n]
Microsoft AI Launches Copilot Vision
Cloudflare has a toggle for blocking AI scrapers. I don’t think it’s default, but it’s there.
LLMs are much worse than humans at learning from experience
If that happens it will not be because it became sentient and decided to cause me harm, but because some developer somewhere decided it was a good idea to tab-tab-tab their code completion without fully understanding the solution and the resulting security hole caused the system to be exploited.
Normally I'd agree, but rust integration with C is so tight that this is of reduced concern.
In real code I've only actually seen memoization used as a cache. That leaves cache validation to some higher level which is in a poor position to do it very well. In my experience, most often it means someone has to figure out what things to manually restart, and when.
With all that it borrowed from Perl, I'm surprised Ruby didn't also borrow the defined-or operator `//=` (https://perldoc.perl.org/perlop#Logical-Defined-Or). (Or, if it did, I guess the author hadn't encountered it.)
I don't care about some scores going up. Newer models need to stop regressing on tasks they were already good at. 4o sucks at LLVM and related tasks were as legacy GPT 4 is relatively ok at it.
You have to pare away a lot of context and experience for these to look similar. Like if you were explaining human food to an alien the alien might make this mistake. But if you've ever lived in a human society you couldn't.
I loved my brief time in Bogota - was passes as generic art in shops is better than fine art in galleries in the US. Excellent coffee, genuinely happy people that care more about family than the grind. Tamals are freaking bueno too and way better than Mexican tamales.
Long time, I mean possibly several weeks of full-time studying for an intermediate Python or C++ programmer.

I'm not saying you need any CS theory to write Haskell or that it's super hard. But I think the learning curve is pretty steep, and it's hard to write code without a good understanding of the concepts. Just tweaking until it type checks isn't going to cut it.

Consider this code. Generated from ChatGPT. This is supposed to be a simple command line option parsing. I don't think it's obvious what all the operators mean.

Sure, you can try to reuse this, and extend it. But I think sooner than later you'll be stuck with some undecipherable error messages and you'll have to sit down and understand what it all means.

data Options = Options
{ optVerbose :: Bool
, optInput :: String
} deriving Show

optionsParser :: Parser Options
optionsParser = Options
<$> switch
( long "verbose"
<> short 'v'
<> help "Enable verbose mode" )
<\*> strOption
( long "input"
<> short 'i'
<> metavar "FILENAME"
<> help "Input file name" )
- In Python, Sarge has code to poll stdout and stderr

- Years ago for timesheets, I created a "gap report" that finds when the gap between the last dated events exceeds a threshold.

- The vscode terminal indicates which stdout, stderr are from which process with a circle .

This says it's "Integrated > Shell Integration: Decorations Enabled" to configure the feature;
https://stackoverflow.com/questions/73242939/vscode-remove-c...

- Are there other shells that indicate which stdout and stderr are from which process? What should it do about e.g. reset ANSI shell escape sequences?
Found this in a quick search, I know it's a random site and not an extensive review of data but could be a useful heuristic for discussion: https://www.sciencedaily.com/releases/2018/12/181211103139.h...

Summary from the link:

"It is well known that poorer Americans are more likely to be obese or suffer from diabetes; there is a strong negative correlation between household income and both obesity and diabetes. This negative correlation, however, has only developed in the past 30 years, according to researchers. Since 1990, the rise of obesity and diabetes was fastest among the poorest US regions."

So the decision to not allow total junk food appears to be a good one from possible data. Education about the low nutritional value and health harm of overconsumption of sugar-based drinks and foods could also help.

Personally I would not have a problem with diet and sugar-free drinks and foods being eligible for food stamps.
it took them 11 years to become profitable
Beam shaping with a deformable mirror for control of high power laser processes [pdf]
> "The government should pay for your diabetes syrup cause you're having a hard time and want a small treat?"

If you're on food stamps? Yes. Next question.
I remember Lexmark just before things started to go bad for them, back when they still had a huge campus with multiple buildings, developers had their own office or shared with one other person and they owned their own huge park with a disk golf course. They even built a new building on campus for an employee daycare and acquired multiple software companies to add services on top of print.

We had huge teams of software engineers, embedded software developers, mechanical engineers, electrical engineers chemists and specialists in microfluidics. We designed our own image processing ASICs, had specialists in color and perception, had a whole team dedicated to just Linux and dedicated software librarians. There was a team working just on Android. We contributed back to Linux as well as Yocto/Bitbake. The first sign of decline was when suddenly (for me anyway) they announced the closure and sale of their entire consumer inkjet division followed not long after by commercial inkjet. They sold all the inkjet assets off to a partner manufacturer company a bit like Foxconn.

It was wonderful for a while and I am sad to see things get potentially worse for them.

When they hired me out of college, they paid me a $5000 relocation bonus, paid a specialized company to organize the move (even offered to find me a realtor and help sell my house if I had one), paid the moving company in full, paid to have my car relocated there, paid for hotels during the move and then paid me another $5000 to cover any miscellaneous costs from moving that I might incur. They also paid the taxes for me somehow, I guess by adding extra to my paycheck. Never seen the like before or since.
I want run open source LLMs on this prebuilt AI. Anyone tested this before?
Lexmark has been progressively closing their facilities there for years. They even sold some buildings this year [0]. Thay have only 14 positions open for their Lexington location, so I don't think they're a huge employer there anymore.

0: https://www.opi.net/news/region/001-north-america/ninestar-offloads-lexmark-assets/
1: https://www.lexmark.com/en_us/careers/job-locations/lexington.html
I've come across memoize gems before and thought, "do I really need to introduce a dependency when I can save results into a hash", but this makes a convincing argument to leverage a gem like memo_wise. Clean DSL syntax and the perf gains are much nicer than micromanaging it.
I think this author is talking about a subset of non-fiction books, and we may as well call them "non-fiction idea" books, where the writer has a single idea they want to convince you of. On Tyranny does that. And sure, maybe books like Checklist Manifesto and The Goal could have been reduced to a hundred tight pages.

The hundred page idea definitely doesn't apply to non-fiction in general though. I can't imagine a history book or a biography covering what they need in a hundred pages. I don't think Chip War could be reduced.
Beer and Soda are small treats.
Why do people say this like it's a refutation? Current valuation and investments were not based on getting a very small group of nerds (affectionately) on HN to pay $250/yr which probably doesn't cover even inference costs for the models let alone training and R&D
Coke and PepsiCo want to keep their share of the free money despite consumer risk? Shocking!
> [Walz is not critical of the Chinese government] according to his students.

Have you got a source for this? He consistently advised his students to be skeptical of the Chinese government, e.g. https://www.politico.com/news/magazine/2024/10/05/what-reall...

> [If] you really didn't like China, you wouldn't continue to business with them [post-Tiananmen]

He loved the Chinese people and hated the government. He was strongly critical of the Tiananmen square massacre as is evident in congress proceedings: https://www.congress.gov/event/113th-congress/house-event/LC... . Famously he even put up a picture of Tank man in his office.

> Exactly like Musk, he continues to do business with China

No, not "exactly like". Walz is critical of the Chinese government. Musk is bizarrely quiet about it, despite being critical of governments in the West.
...and they both will sell rebadged Samsung printers happily ever after.
They have both occured and not occured every year for the past 10 years