skysight-inc/HackerNews huggingface dataset:
This is a strange example. A LLM would write a script for you to find the amount of "Wizard" being mentioned. That is what it always doing when it comes to numbers because it knows that it is its weakness.

Edit: Going from counting numbers to finding relevant information at different pages given a task isn't a valid analogy.

Agents are mentioned but not multi-agent architectures [0], where you could have an agent responsible for insurance policies, legal definitions, and/or a bot that is responsible for the big picture in question. They would go back and forth, being expert at their field (or task) and come to a conclusion after some iterations of API calls.

Missed opportunity.

[0] https://microsoft.github.io/autogen/docs/Use-Cases/agent_cha...
Above and beyond the call of duty. Point thoroughly made. Thank you.
Another news site that refuses to link to the source material...

https://www.ftc.gov/news-events/news/press-releases/2024/04/...
Some counterarguments:
1. If an AI company promises that their LLM has a million token context window, but in practice it only pays attention to the first and last 30k tokens, and then hallucinates, that is a bad practice. And prompt construction does not help here - the issue is with the fundamentals of how LLMs actually work. Proof: https://arxiv.org/abs/2307.03172
2. Regarding writing the code snippet: as I described in my post, the main issue is that the model does not understand the relationships between information in the long document. So yes, it can write a script that counts the number of times the word "wizard" appears, but if I gave it a legal case of similar length, how would it write a script that extracts all of the core arguments that live across tens of pages?
Even if you do manage to stay lean with exercise, burning through more calories will shorten your life. Calorie restriction is the way to go.
I don't know about "concise", but one place to start for references is the LifeWiki. We've been trying to extend the non-Conway's-Life part of the wiki for a few years now, to cover more of the OCA space ("Other Cellular Automata"):

https://conwaylife.com/wiki/Cellular_automaton
https://conwaylife.com/wiki/OCA

There's an "Other Cellular Automata" board on conwaylife.com/forums and several channels on the ConwayLife Lounge on Discord -- "#naturalistic", "#circuitry", "#exotic-ca" -- that collect discussions on these kinds of topics.
That's a really interesting way to put it! Thank you! That makes a lot of sense!
Its an extremely solid idea, fast, and able to be rolled out without any modifications to the browser.

I'd love to see IDPs adopt the concept. Coupled with passkeys; it seems like it would be extremely difficult to break into someone else's account (not impossible, but this definitely adds an order or 2 of difficulty)
This certainly could have a lot to do with it, not sure why you're being down-voted. I've seen fighters at my muay thai gym in heavier weight classes drop 20 pounds to make weight for a fight in a month. You'll usually cut salt and carbs and manipulate your water weight to make weigh-in. It's certainly not at all healthy, but not uncommon. I've even had days after training where I'm 4-5 pound lighter after class from all the sweating and I'm only in the low 150s range.
Carrier has been making heat pumps for decades. This sounds a little bit like "Apple, inventor of the Macintosh computer, is moving on to smartphones."
Every traditional European car manufacturer sells services directly to customers. Not sure about the US/Japanese/Korean, though.
nathan lowell started publishing his books read by himself on podiobooks for free. that's where i discovered him myself. it seems he is doing pretty well now.
JavaScript is inherently untyped. Either the programmer tries to be very careful to make it type safe, or someone invents a programming language that can only compile to a sound subset of it. TS heads for the latter way. But things quickly go out of control when you introduce dependencies, and even a dependency without interface file can pollute your codebase with "any". I do not think TS would be mainstream if there were not many packages on npm that had included a type definition. On the other hand, a type checker/inferencer that "does less things" like Jedi has proved great success in Python community.
Twitter requires an account for anything more than a single tweet nowadays. There’s a link with an unrolled thread in the comments here.
If he's on the tech side he should be fine.

IBM is loaded with boomers with amazing jobs and pension plans that they're eager to dump if they can. They seem to want to keep good tech people while dumping the sweet deal boomers and non-tech where possible.

t. IBMer
Yes but there are a lot of people out there (like me) who live to eat and don't want it to be true that diet is important. We humans are masters at subconsciously dismissing facts that don't fit our agenda, even when we're trying to be open minded and scientific. It also doesn't help that even simple "cheats" on a diet can render it ineffective, which we then tend to interpret as "diets don't work for me" rather than "you can't 'cheat' on your diet"
I think you are misunderstanding the relationship between the theorem and the proof. You express doubt that the proof is a good one, but then you point to the libraries in Lean as a possible source of incorrectness. The libraries cannot be the source of incorrectness in the proof. They can only be the source of incorrectness in the statement of the theorem. That's why others are challenging you to declare that you don't trust the Lean kernel. A kernel bug is the only thing that can permit incorrectness in the proof.

The exact content of the proof doesn't matter for the purposes of deciding whether you should believe the theorem. At all. What matters are two things: 1) Is the theorem correctly stated? That is, does it say what it's supposed to say in the agreed upon (natural or programming) language? 2) Do you trust the Lean kernel (or human reviewer of the proof, if applicable)?

If you accept 1) and 2), then you must accept the truth of the theorem.

No library used in the construction of the proof, nor any library used in the expression or the proof, can make or break the result.

If one uses a library in the statement of the theorem, then that matters. That's letting someone else define some of the terms. And one must investigate whether those definitions are correct in order to decide whether the theorem is stated correctly. If you wish to challenge the work on these grounds, by all means proceed. But you can't say you don't think the proof is a good one for such reasons.
Tom Hodgkinson on the politics of the people behind Facebook
They probably will work on improving the device and the next version will be cheaper as tech improves. I'm not sure it's a bad strategy.
That an unreasonable level of exercise for 90% of people.
What is definition of dead? 15 years later they have huge majority of traffic share and lots of revenue.
Reuters references a WSJ article. That article (gift link) is IBM Nears Deal for Cloud-Software Provider -- https://www.wsj.com/business/deals/ibm-nears-deal-for-cloud-...
This is largely in reference to research showing that the body seems to burn about the same amount of calories regardless of what you do. The point is not that someone is surprised that you can't outrun your mouth. This is related to some of the misunderstood/misreported "metabolic damage" from the "biggest loser" folks who were exercising ferociously but not burning "as many calories" as conventional wisdom would indicate, and such. Etc.

You know, if you can go beyond the headline.
There was a point, 2017 or so, where I was riding a ton and being mindful of what I ate. I think I dropped ~10 pounds and gained a bunch of muscle.

Since then I've backed off riding a bit, and am definitely not as aware of what I eat (snacking because of stress, mostly) and am up maybe 5-10 pounds from that time.
Why isn't everyone dumping their money into SPXL then? What percentage of your portfolio is leveraged s&p?
I don't begrudge them XML even if I don't like how it looks. Json still doesn't have a matching schema story.
Facebook users say 'amen' to bizarre AI-generated images of Jesus
Length and thickness of bamboo internodes: a beautiful curve
So that's why telegram is swamp filled with hate and bullshit.
It's been that way for a little while. I presume it's a compromise between requiring a log-in and full "guest" access.
There and Back Again: A Netlist's Tale with Much Egraphin'
The author's podcast 'Power corrupts' is really excellent.
https://podcasts.apple.com/gb/podcast/power-corrupts/id14587...

The associated book 'Corruptible: Who Gets Power and How It Changes Us' is also very good.
Solid and liquids go in - carbon dioxide gas comes out.

As an analogue - When water evaporates, it expands 1600 times larger in volume to become steam.

That's a LOT of breathing.
"Developed by Israel, but with infrastructure and support from Google" is probably how they would put it.

Sounds perfectly straightforward actually.
I think you're missing the point of my comment.

The point of the comment and request is about not requiring technical knowledge and minimizing amount of necessary thinking. The point is about helping stop scammers in the first place!

> 179 MB if a megabyte is 1024^2 bytes, 188MB if it's 1000^2.

This is not entirely correct though because MB != MiB. Us on HN will probably know this but proper labeling helps prevent mistakes. The improper labeling requires us to think more when considering security, which is bad security (not that you shouldn't think, but I'm saying "don't set off alarms when you don't need to set off alarms")
I have it on my website (https://packagepicker.co) in only CSS by using `flex-direction: column` and setting a best-guess max height with several breakpoints. Unfortunately it does break down in some situations because some pages have many fewer selections.

My order doesn't super matter but I do like to maintain it. I tried for a long time using CSS columns but I didn't have good luck with that either, though I can't remember exactly why
To be fair, he doesn't "book" a trip to London in the presentation, he gets flight, hotel, and car rental information, which isn't that out there.

But, he does imply that you can book from the device, which is completely insane. How do you deal with flight selection with multiple layovers? Seat choices? DOBs? KTNs? Phone numbers? Frequent flyer number? Payment? Travel insurance? Disability accommodations?

What could possibly be the overlap of people who travel enough that this is all worth setting up, who don’t already have their own personal assistant?
Favorite bit:

> very difficult to find much on Raghavan’s history [..] but from what I’ve gleaned, his expertise lies primarily in “failing up,”
Not only is "Harry Potter problem" a misnomer, the "shortcomings" of LLM being investigated here doesn't feel novel. We know counting is a big weakness of LLMs already, so why muddle the waters if you wanted to drill down on issues related to large context recall?

Perhaps my biggest gripe: if you're going to lure readers in with an interesting name like the "Harry Potter problem", it better be either technically interesting or entertaining.
I'm not sure if it's entirely bullshit, but certainly the phrase "remained in the oncoming lane for longer than necessary" is doing some heavy lifting, feels like some key information has been omitted.
There are more examples here:
https://www.tanyakhovanova.com/coffins.html
It is hard to figure out what IBM is anymore
and their profile /strategy is.

They make totally awesome mainframes, which are spectacularly expensive
and tends to be existing customers updating than new companies
buying them.
All the research and engineering that they put into the mainframes is astounding.
They remain a critical part of a vast number of financial transactions in the world.

I keep hoping companies will discover that they are really great
for a few things
But they are certainly not fashionable, and it does not appear that IBM
has much interest in making them fashionable.

They have the iSeries which I believe is the successor to the AS/400.
That was one amazing and utterly reliable machine.
But again, that was 20 years ago or more since I touched them.
But they are certainly not fashionable, and it does not appear that IBM
has much interest in making them fashionable.

Then they have a research division that used to do great things.
They may still be I just have not followed it much.
I do know that they are investing a lot into research about Quantum
chips. (or at least I think so)

DB/2 used to be a great database system.
It may still be, but I have had no exposure to it in over a decade.
It does not show up often in DBMS comparisons.
But it is certainly not fashionable, and it does not appear that IBM
has much interest in making it fashionable.

They have their cloud services
But it is certainly not fashionable, and it does not appear that IBM
has much interest in making it fashionable or ????
I know they are selling hybrid solutions for people with mainframe
to run some things in the IBM cloud.

They have at least 4 operating systems. z/OS, AIX and RedHat
(well that one is quite different) and whatever the iSeries run
these days.

The must have a research park somewhere that invents new was to do
licensing and making things even more expensive.
Possibly some cooperating with Oracle :p

They have whatever their consulting arms is called now.
I have been terribly disappointed with the consultants i have interacted with
from there but I may have been unlucky.

They have RedHat and now (maybe) Hasicorp.

RedHat+Hasicorp goes into the cloud?
+ adds leverage to their consulting business.

What is the overall strategy though.
They have so many different things but they dont seem to push them in a collective
way into something new and wonderful.
> That is a very big assumption -that brains have conscious and subconscious levels that are good and bad at different things- that needs to be itself proved, before it can be used to support any other line of inquiry.

You can't be serious. Do you really doubt that hand-eye coordination and solving systems of kinematic equations on paper using math are disjoint skills? That one can be good at one without being good at the other? That there is in actual fact an inverse correlation between these skills? How do you account for the fact that even people who have never studied math or physics can learn to throw and catch a ball?
> IBM killed Centos for profit.

That process began happening long before the IBM acquisition when Red Hat hired Karanbir Singh (CentOS's maintainer) in 2014.
I think running 6 hours a day is not very representative of (or practical for) the vast majority of people. You can find plenty of studies on cases like that. IIRC there was a good one about Michael Phelps and his ~10,000 calories per day. But those sorts of extreme studies aren't going to be helpful for determining broad applicability.

Edit: Please disregard, my reading comprehension skills failed me today. I read 6 hours a day but it was actually 6 hours a week
Stock valuations are based on future growth. See valuations in the billions for AI startups.
It's disputed whether even modern ethanol production is energy-positive. But trying to start an entire biofuels production chain from scratch would certainly not be net positive, as you would need to already have mechanized agriculture and a petrochemical industry to get that efficiency.

Coal liquefaction would probably be superior to biofuels, as it seems we will give up using it before it is depleted.
"as designed", due to the gradual decrease in Twitter's functionality due to unknown reasons (probably trying to manipulate people into signing up to boost user count and ad revenue)
Bengen's 1994 paper (which kicked off the (so-called) "Four Percent Rule") recommended asset allocations with no less than 50% in equities, but no more 75% for retirement savings when you have retired:

* PDF: https://web.archive.org/web/20120417135441/http://www.retail...

* https://en.wikipedia.org/wiki/William_Bengen

60/40 would be in the middle of that. More recent research shows that the range is still valid with thirty years more data:

* https://en.wikipedia.org/wiki/Retirement_spend-down#Withdraw...

You may wish to be a bit more bond-heavy a little before retirement and for the first few years to counter sequence of returns risk (see Kitces' "bond tent" concept):

* https://www.kitces.com/blog/managing-portfolio-size-effect-w...

(The 4% Rule should not necessarily be taken literally, but is a good mental rule of thumb and starting point: best to hire a (fee-only) advisor to run the numbers for an actual plan.)
San Serriffe is also lovely niche bookstore in Amsterdam https://san-serriffe.com/ Safe to say named after this
> Parasites do the same thing

Only analogously. The reality is that what we call computer viruses are merely instructions running on a computer and are not substantially distinct from the computer in the same way that parasites or physical viruses are distinct from biological tissue.
The Commerce Department's Stored Communications Act Problem
"Prabhakar Raghavan is killing Google"

"Google's Death from Within: Prabhakar Raghavan"

"Blame Prabhakar Raghavan for Google's Crappy Search"

"Google Sucks. Because of Prabhakar Raghavan"

"Prabhakar Raghavan is the man killing Google Search."

"Yahoo Search Killer Prabhakar Raghavan Turns Death Ray on Google"

"Prabhakar Raghavan and the no good very bad Google search."
To be clear, I meant the author does not have full context.
>Long term, higher intensity cardio builds muscle

Where? It's understood in the fitness community that you have to load a muscle within a particular range in order to build muscle. It won't happen through highly repetitive motions, such as the ones that occur in cardio (running, cycling, etc). The load isn't great enough.

I believe cardio benefits the heart. But nobody does cardio to build muscle.
uncompressed and compressed have nothing to do with what you said. you can choose to run the code or not, but it doesn't have to do with the uncompressed thing.
Pretty much in-line with my expectations. I ordered one because I thought the design was neat, and I was interested in hacking around and flashing my own stuff onto it. The pricing was clearly at or below cost.

Looking at just the concept (and ignoring execution), I don't really see the point of this thing? The whole thing is a feature that could exist on a smartphone. The dream of an AI agent that you can converse with to replace your smartphone could be compelling, but nowhere close to reality yet. Even then, the big smartphone OS companies are obviously better positioned for this. The smartphone is the hub for all your information, plus they have years of voice assistant, automation, and home IoT integration to build off of.

Humane was silly because it was a smartwatch without any of the proper software support, but Rabbit is essentially doing the same but targeting a smartphone replacement. If you really want to break out and try to dethrone smartphone vendors, you'll have to come up with something more compelling than a worse user interface to a poorly made software platform. That's a software feature you're building.

In some sense, I do think Rabbit had a better approach than Humane, though. Getting a bunch of low-priced "toy" devices into the market that are just a frontend to your server software could get you off the ground. The software needs to exist, though...
> The point is not that someone is surprised that you can't outrun your mouth.

Last year I was running for 60 minutes per day + weight lifting. I was likely spending 3500-4000 calories per day. On long runs it could be 5000 calories per day.

I lost a ton of weight, and I was feeding myself too. Once I lost the weight, I have basically kept it off.

I'm not sure what the point of these bad scientific studies are when you can look out your window and see clear contradictions everywhere.
To scale it up, if you're an intergalactic entity, all you'd have to do is make a note of objects pulsing/resonating where they were not before.

"Oh, looks like Earth just got radio waves, which means there's probably life there."

From there you just monitor the wave Hertz output by the planet, and when they start transmitting waves at higher Hz, you know it might be time to meet up.

"Oh they're sending photonic gamma rays as messages now instead of radio waves, I'm gonna go say Hi."
Nah, a sunbeam. (Courtesy of E.E. "Doc" Smith, Second Stage Lensmen, First serialized in Astounding," Nov 1941-Feb 1942.)

Smith was the "trope-maker" for much of modern space-opera & SF. And as his stories went on, the scope of combat and forces involved just kept getting bigger. The Death Star is barely a capital ship by the standards of later Lensmen books, where a task force will regularly involve hundreds of immense ships, plantary masses worth of antimatter, and squadrons of armed and mobile planets. ("Starkiller Base" eat your heart out.) By the very end, exotic-matter planets were being used as ammunition.
big news for amazon employees
You mean like social security?
Do you even realize OpenBao is an IBM initiative?
I wouldn't call knot theory the three dimensional analog.

They spend a lot of time talking about analogs you can visualize, like the sphere and the torus.
No, the 10 ns is just the time inside the DRAM. Reading from DRAM would take 20-30 ns even in a very simple chip.
True story...At one point in time, IBM bought so many companies, they produced internally an audio CD, sales reps were supposed to listen to on their way to customers visits. Reminding the name of the company, and explaining what each company was about...
It is really nice to have someone to blame. And since things are going wrong (google results _are_ shitty) there is plenty going around. That said, just like no one person is responsible for the success of a company, no one person is responsible for its failure. This material is great for a movie, but not for critical thinking. It _is_ an entertaining read.
My biggest problem with it is that the author seems to be contradicting his own principles. In his about page, he says "Be respectful.". That doesn't apply to him apparently. There is no way he asked this Raghavan dude if he wanted to comment for the article.
I was in a cycling collision a decade ago, and suffered a broken leg. This led to a 2 year period, really the first period in my life longer than a few months where I was largely sedentary. +25 pounds of fat slowly but steadily accumulated around my midsection in that time.

Then I got serious about rehab and corrected the issues in my leg, started cycling again, and I was back to my desired weight in about 6 weeks, and without putting any particular effort into controlling my calories. Everyone else in my immediate family is obese and sedentary excepting my uncle who is also a cyclist.

Someone in r/cycling the other week tried to suggest that "abs are made in the kitchen" and they were laughed out of the thread. In most forums, however, exercise is a 4 letter word, and Dr. pontzer is very popular.

After following the subject for years, I've come to believe rising sedentarism is the primary culprit in the obesity epidemic.
two people holding the same book in their hands at the same time is so rare that you can actually feel it when it happens ;-)
Tell HN: Update your RDS, EKS or you may got charge for extended support
Last night, I found out we got charge $760 for extended support because we're running stuff like Postgres 11(our prod is on 14 but one of dev db is on 11) and a EKS v1.23.

Our entire AWS is about $3k so getting charge $760 for this is absurd.

The charge started since March 2024.

So make sure to review your bill and upgrade all software.
How does this not have any discussion? Banning noncompetes was one of the biggest drivers of innovation in California that allowed Silicon Valley to outperform other tech hubs.
Because "a good measure" does not change based on how you feel.