skysight-inc/HackerNews huggingface dataset:
Both the book series and the show open with magic. It (and the fact that the people doing human squabbling, despite having a huge history of warnings about it that have faded into myth, were unprepared for it, and how they respond) is fairly overtly the theme of the series, and marketed as such.

I get not being interested in that theme, but being surprised and disappointed that the series progressively turns out to be about exactly the thing it tells you is the lurking force that most in the setting disregard that it is going to be about is... well, surprisingly poor media literacy.
It is worth noting that Dragon does have physical controls, they're just backups hidden under the panel below the screens for emergencies. This is on top of the redundancy offered by the screens, where if one screen fails, the same controls are accessible on the other ones.

Plus, since it's supposed to fly autonomously, there isn't a lot of physical control to be done. This isn't like with cars where there's an argument that tactile controls are easier to adjust without looking away from the road.
> their stock is up nearly 25% in the last year

So they performed as well as the average S&P500? I would expect better from a tech giant
Millisecond Scale-to-Zero with Unikernels
The time more than a year before that when it was scrubbed for a stuck valve that I don’t think they ever fixed and decided it can still fly.
It is a reality that traffic on the Internet is intermittent and unpredictably so: peaks of high traffic request rates are followed by periods of little to no traffic. Contrast this with your billing, which is often always on: it is precisely this dissonance that KraftCloud is looking to solve.
Yes, I agree that routers are key and critical.

Otherwise I would not be managing my own high quality one, based on the latest Linux kernel, and a standard, well supported and maintained software and carefully selected wifi HW with active manufacturer provided support.

I also would not be trying to isolate and disable most of the ISP provided HW/FW mess, if I believed otherwise. I don't trust ISP that did not upgrade their modem in 10 years, one bit with security of key entry point to my home network.
The problem is a good chunk of the global population is also not reasoning and thinking in any sense of the word. Logical reasoning is a higher order skill that often requires formal training. It's not a natural ability for human beings.
they're adequate (but less fun) in the rain. I have a good thick waterproof poncho in the scooter.

Snow, obviously, is not great. Cold is fine, though.

I live in Denver, ride the scooter year-round, though obviously don't go out in certain conditions.
There are many possible explanations other than self-dealing.

Here's more background on the accusation, and the facts we know:

https://x.com/WholeMarsBlog/status/1797984335322374395
Meme: contagious idea.

It is easy to remember and it produces a positive reaction on the spectator. Quality of information, even veracity, are a second thought.
Yes mostly used but new sometimes. Just picked up god of war ragnarok new for $20.
You can also just rent dedicated servers from hetzner or ovh for far cheaper than AWS instances with more horsepower. More expensive than a dell mini in a closet. But you get datacenter Internet and power backup.
Not much of an article. The "fall from grace has been a slow descent" is explained only with the removal of PostScript support, which the author justifies, and oddly behaving annotations.

I'm pretty sure the author is wishing Preview would receive certain new features, i.e. Apple's neglect is preventing the app from improving. Not sure what those features could be, though.
sorry, conversions is really what I meant. if the bots are also buying the stuff then it would work.
You could qualify the names up front?

select users.Na.. from ..

If your tooling doesn't work in the way you want with that I don't think there's reason to think it would if it were possible to write

from users select Na..

either.
I still remember one PM's response to my complaints about the number and length of meetings on one Scrum project I was on:

"Let's have a huddle on the question of whether we have too many meetings?"

(She tended to use a rising terminal in a very passive-aggressive, velvet-glove-on-iron-fist sort of way.)
In this particular case, is there any reason why we simply can't take their word for it? This is not a case of where if I say "weak" or "strong", most people pick strong because no one wants to be weak, even if the context is unknown (nuclear force for example).
Yeah, my former wannabe-boss was very surprised to realize that splitting the company in two and selling one part during my onboarding period might have a negative effect on my productivity.

We're not doing a very good job of picking the right people to manage things; quite the opposite, in many cases whatever success is despite the leadercrap we have to deal with.
> Without Musk EVs would be nowhere and NASA and ESA would still be the laggard they are with reusable launchers absolutely nowhere to be found.

There is no way to prove this without having the ability to observe all the other universes that have Musk and that don't have Musk. It's very likely if he didn't build these companies, someone else, or multiple someones, would have built similar companies.
There are literally dozens of causes for high housing prices. Any one fix is not enough.

For example, the Ontario Housing Task Force had 55 recommendations, and that's only for the issues of provincial responsibility.
No, but when you don't even know if it's a platform or a volunteer community moderator, or even the user deleting their comment, making any claims is flawed.

You can distil the factual elements of the report to: "Comments that were available to us are now no longer available to us, but we don't know why"

> Does that mean they should get a pass and escape accountability?

What? My pointing out extreme flaws in data collection and analysis shouldn't mean anything other than there are problems with this report. Why are you trying to extrapolate a motive for me?
It took them a decade and a half to make this thing. I think that alone speaks to the complexity of this achievement.
Redshift support added: https://www.timestored.com/qstudio/database/redshift
I need to think more about ssh tunnel.
Why would anyone invest in development in a country with such laws?
I couldn't get the screen recording permission to work at all after the last update. I emailed the dev(s?) and had a short exchange where they tried to help but it never got resolved.

But after this I'm not trusting it at all.
China's seaside haven for the 'lying flat' generation
Same goes for programming projects. My most popular projects are always ones that were very quick to make. If I spend months making an app, it always seems like no one cares. If I spend a few days making an app, people will use it.

Perhaps it instead is the simplicity of the idea that resonates with the most people rather than the complexity of the content. Perhaps this isn't a bad thing, either. After all, simplicity is the ultimate sophistication.
Access audit my entra 8 external unclear.cunt.tv
No witnessing of a a person telling anything of the sort has occurred. Software has made a suggestion of that nature. Let me ask, software, how has this confusing software as a person managed to occur?

Furthermore, getting back to the topic at hand, expectations in an exchange cannot be defined by an individual. They must be defined and agreed upon by all acting entities. Google has made its end of the exchange clear with no evidence of wavering just for Nintendo, implying that Nintendo shared in the standard list of expectations.
Thank you - I appreciate the perspective!
So actual anarcho-tyranny?
I've never seen a table with 3 players in the goalie position in my life.
Mobile version

https://m.xkcd.com/1425/
> Paper finds a failure case for current LLMs and draws broad conclusions about the fundamental limits of LLM technology

> Evaluates the largest LLMs and finds evidence that actually scale overcomes the problem:

"Notable exceptions are Claude 3 Opus and GPT-4 that
occasionally manage to provide correct responses backed up with correct reasoning as evident in
structured step by step explanations those models deliver together with solution"

> Drink!

I'm not sure it's productive to be this sarcastic on HN, but it's really quite a common pattern. And there's something very frustrating about how authors of these papers will accuse others of hype and overstating results but also often vastly overstate the generality of their own results - to the point where this HN thread is full of people saying bluntly "this proves LLMs can't reason".
> why don't the owners of these properties release fart spray everywhere and turn the heat up to max until it is unlivable?

If the okupas have been there for longer than 48 hours without you trying to get rid of them, doing something like that could be considered harassment and/or endangering the occupants' health, so you'd probably face criminal charges for it. You're not allowed to alter the living conditions to force them out, but you need to (within 48 hours of the occupation) legally get them out of the property.
Can We Survive Deculturation?
A ton of games which don't require dxvk are running at 60+ FPS. See https://vt.social/@lina/112524118075585601

Alyssa, the machine that she is, has also been working on improving FEX performance recently.
They repeat over and over that this is a simple task, but then they explain that they developed it by looking at math olympiad problems for young children ages 7-10. So it would be very interesting to know the performance of these elementary school children on the problem. My guess is that if it was on a math test they would also get confused and try to do random arithmetic.
Would this be an example of the Yoneda lemma?
Yes, this was what I was trying to describe.
- They outperform transformers at lower parameter counts. Time will tell if that hold up for more parameters

- They scale linearly in complexity, which means with a longer context window they will be faster and cheaper than transformers

- It's been mostly academic as far as I know, only just recently being published. I don't think there's been an opportunity to use them at 'real world scale' yet, although tbh I'm a little uncertain what you mean by it.
Thank you for explaining it way better than I could have done
> Boeing only built the two it needs for this one contract, and it only flies on Atlas V, which are fully sold out now. So it can only do the 6 contracted ISS missions and then it's done until someone is willing to pay to have Starliner+Vulcan Centaur crew rated.

This is what I like about SpaceX. Of course they have government contracts, but it's always building towards something bigger.
Yup - well you feed in the prompt along with an answer and you get the model to produce outputs and check for discrepancies. If the answer is wrong then the model adjusts -- this is the way backpropagation works....I think there are huge advantages in using logic languages in order to represent some of these data sets rather than simple English or the current chain-of-thought reasoning approaches -- backpropagation as an example isn't really used in the human brain, but it leads to great results in mimicking how neural networks 'learn' - in the same way, we don't have to have the full formal picture of how humans model the logical world in order to achieve great results. We can simulate this using logic programming or even general programming or at least that's my conjecture.
Likewise we should really be referring to "Google" as Doubleclick. Doubleclick Search, Doubleclick Chromium, Doubleclick Mail, Doubleclick Apps, etc.
Has this post been deranked or something? It went from nearly the top of page 1 to half way down page 3 in under an hour.
I've been witnessing the censorship on the EU folks for years. They think everything is hunky dory. So happy.
I think it is materially less exciting than it would have been if it had launched years ago when it was scheduled to. It provides competition with SpaceX in one very small niche of space travel with no applications to any other niche. Meanwhile SpaceX is building a Mars rocket with in flight refueling.
I really wish they did have more competition, and I also hope they succeed.
We more or less have the same laws in France (and that's probably the case in other countries in EU)
Yeah for some reason when SpaceX did it we couldn’t stop hearing about it. When OldTech does it, nobody cares.
Its not an AI hype. A hype is defined as something which gets oversold: "promote or publicize (a product or idea) intensively, often exaggerating its benefits."

Just yesterday I visited a google cloud summit and one person from bosch told the audiance how they are now able to work with less external agencies like texting, graphicsdesigner and photographers for their materials.

It already saves money, has real impacts and continues to progress.

We are also don't know what ChatGPT 5 will bring, because they say this will do more reasoning than before, but we already are working (people/our socity) on solving this in different ways: From code which creates a unit test first and than the code, to different type of architectures.

For me, 2024 was the LLM cost reduction year and the LLM gets a big context window year.

AI doesn't need to be ready tomorrow, but its capabilities are already really good. And i know plenty of people around me who are a lot less interesting to talk to than any llm (from a human skill/knowledge point of view).

llama 3 was also a big achievement 2024. Facebook shows that better data leads to better quality for smaller models.

We haven't not only entered the AI ara but also the 'gather all the knowledge we can, quality check it and refine it because now we can actually do something with it' ara.

We are in the feedbackloop knowledge ara.
I'm not shitting on Starliner, it's great that we have another person-rated capsule for spaceflight.

I'm just pointing this out because there are many people apparently who are confusing Starliner for Boeing's version of Starship, i.e. a whole rocket plus crew rated capsule.
Because we have doors and windows closed, so in reality this isn't a huge issue. But historically, we've had huge issues with low employment, poverty and empty houses being all around you, while you cannot afford rent.

Lots of empty houses + no employment + no money for rent = lets take this house and live in since no one lives there and we don't have a house currently.

Basically, if you buy property, make sure to close it and install a security system. If okupas appear, do the "legal fasttrack" and get them out within 48 hours and it won't be an issue.
Scavengers Reign animates the horror of a habitat pushing back against humanity
There is a old system for making numbers pronounceable as words using a mapping from each number to a consonant value. It's typically used to help memorize numbers:

https://en.wikipedia.org/wiki/Mnemonic_major_system
Bureaucracy on a certain level can almost be described as an artificial living organism. It starts to behave in certain ways that nobody can control.
Yup, lots of cases where the owners stopped paying/turned-off water, gas, electricity and the court made them turned them back on (and pay all the bills).
> Going back to the user and asking them for a valid filename is also a form of error handling in my book.

You cannot get away from error handling because there are multiple reasons why a name cannot be used, not all of them having to do with its form.

So, on Unix-like systems, do you use a special Rust string type which doesn't allow slashes or nulls? So that if the regular string fails to convert to that string, you know that it's not a valid name, and you get brownie points for having found that without passing it to the OS?

Also, whenever you divide numbers a / b, always be sure to use a special numeric type for b which doesn't have zero in its domain. Then if the input type doesn't convert to that type, you know at compile time you could have a division by zero.
The 5oz is one of the best fast food burgers out there, better than a lot of fancy restaurant burgers
What if your house already had fart spray releasers in the first place because you "love the smell", and your thermostat was "broken" in the first place?

When you live there you know how to "fix" them but otherwise you are not obligated to fix them.
There will be a small bit of irony if the gaming experience on Asahi ends up easier and more straightforward than MacOS.

Really just drives home how big of a mistake it was ignoring Vulkan for the past decade on Apple's behalf, but lord knows they won't admit that until it's too late.
No it is because supervised and self supervised learning happen to produce reasoning as a byproduct. For some reason people think that telling a model to recite a trillion tokens somehow will improve it beyond the recitation of those tokens. I mean, in theory you can select the training data so that it will learn what you want, but then again you are limited to what you taught it directly.

The problem is that these models weren't trained to reason. For the task of reasoning, they are overfitting to the dataset. If you want a machine to reason, then build and train it to reason, don't train it to do something else and then expect it to do the thing you didn't train it for.
Every one of the thousands of brain surgeries and heart surgery are also remarkable.
Congrats!

Sad it came at the cost of dropping Linux compatibility.
Everyone going up and coming down is a success. Everything else is not a success.

If you want to care about the schedule or cost, you’re welcome to.
He is right: natural keys are difficult to handle

I'd just say this is not so right:
As it turned out, though, whoever made that piece of software knew what they were doing, because the mechanic just changed the chassis number, and that was that.

Because, yes, everybody can just reprogram your car and change its VIN and stuff.

The manufacturer software have protection against that. But nothing prevents you from using another software. At the end, you can directly program whatever you want into the car : change the VIN, change the odometer etc.
Yes, that’s why it’ll take time. There’s so much stuff competing for researchers’ attention, and experimentation with this takes so much time and $$$, that if it wasn’t for Sepp Hochreiter on the list of authors this could get ignored entirely. IOW it’s not the seller’s market for novel architectures right now.
It’s growing that fast.
It actually fosters innovation, like https://www.desokupa.com/, a mix of bullies and lawyers that "mediate" to get the properties back.
The article is as bland and vanilla as HN comments complaining about articles being written by ChatGPT without providing any sort of evidence :)
That's a distributed system in the sense he's referring to.
If you don't use joins you do NoSQL
Eh, I've worked on a lot of really shitty C code bases. Yeah memory safety is a class of bug but that doesn't exist in other languages but every ecosystem has its share of footguns.

The real time sinks are caused by the same thing regardless of language; poor design.
Realistically, the dealership is likely to drive the car for a few minutes, if only to put it in the right place on the dealership lot, fill it with gas, and get it washed before delivering it to the customer.

If there was an issue with the camera system it could be caught at that time.
I believe when they say the squatters have a "right to housing" it means "right to use a unit of housing that's not theirs as if they paid for it", which essentially means doing what you suggest would be illegal.

The reality of the legal dimensions is probably much more complex though, but it's helpful to have a simplistic mental picture of what's expected to happen.
> best compression and therefore best entropy estimate

That's a good point. But the Hutter Prize is for compressing a 1 GB file. On inputs as short as a line of code, gzip doesn't do so badly. For a longer line:

$ INPUT=' bool isRegPair() const { return kind() == RegisterPair || kind() == LateRegisterPair || kind() == SomeLateRegisterPair; }'
$ echo "$INPUT" | gzip | wc -c
95
$ echo "$INPUT" | bzip2 | wc -c
118
$ echo "$INPUT" | xz -F xz | wc -c
140
$ echo "$INPUT" | xz -F lzma | wc -c
97
$ echo "$INPUT" | zstd | wc -c
92

For a shorter line:

$ INPUT=' ASSERT(regHi().isGPR());'
$ echo "$INPUT" | gzip | wc -c
48
$ echo "$INPUT" | bzip2 | wc -c
73
$ echo "$INPUT" | xz -F xz | wc -c
92
$ echo "$INPUT" | xz -F lzma | wc -c
51
$ echo "$INPUT" | zstd | wc -c
46
It would be cool if someone made a similar minimal open source desktop UI that could run on the data export from Google Takeout [or whatever the future export mechanism turns out to be].
It's politically neutral and generally less opinionated. Competition is reuters, AP, other public media such as canadian tv, france24 etc.
> No witnessing of a a person telling anything of the sort has occurred. Software has made a suggestion of that nature. Let me ask, software, how has this confusing software as a person managed to occur?

It's unclear, but you appear to be accusing myself and at least 1 other poster of being "software", presumably some sort of insult about how our posts are somehow similar to chatgpt output?

I think now is a good time for me to disengage.
The vast majority of people use a model built by someone else through a high-level abstraction and then make broad claims about what the technology will be capable of.

Then you have the people who are leveraging the technology to train models from scratch and that population is far more apt to believe that large models can be general purpose AI (by some definition). Sure there are other things at play like money, publicity, reputation, and a desire to do something important. But there is also the very clear trend line where transformers are able to model pretty much any sequence of tokens where there is pretraining scale data available. Whisper was not a surprise. GPT-4v was not a surprise. Sora was not a surprise.
The example I come back to a lot is xkcd on the changing climate: <https://xkcd.com/1321/> ("...what used to be normal now feels too cold")
At some point we'll have to think of it as trivial, otherwise what progress are we making?
Let's not forget that this is modern Boeing we're talking about... the long timeline could just be incompetence.
Shell processes in Scala made easy: Guillotine (library)
Gain Unparalleled Insights into Your Postgres: IOPS Monitoring Made Easy
> but with the added benefit that for the common case, you don't need any additional lookups. You only need to lookup CPR changes if you don't find the CPR that the user gave you

Doing the CPR lookup ONLY when you don't find a record is really, really stupid. All you need is one bad cache, one database update that go rolled back and suddenly you've lost all recent updates the the user and will only see the bad record with no indication you've failed.

Trying to use force changeable data into being a 'natural key' means that the number of edge cases you have to predict, write around and test for is going to rise significantly for no real benefit.
It's not within 48 hours of detecting them. It's within 48 hours of occupation. And they could always fabricate how long they have been there unless the area is under constant surveillance. Fabricating leases is very common.
Windows 10 works just fine. When it reaches EOL I'll move.
This is the great thing about using random bits for the lower bits. Because you are unlikely to use more than say 2^64 database nodes, any sharding algorithm will have to figure out how to spread a key with 64 bits (or however many bits are in your key) across n nodes.

Because of the random portion of the key, that means you'll get good distribution so long as the distribution algorithm isn't something stupid like relying solely on the highest order bits.