skysight-inc/HackerNews huggingface dataset:
Agreed, if you're storing 25GB+ in `~/.cache`, then probably you won't put it on `tmpfs` on a laptop.

I didn't think of the massive ML models, because I store those in the home directory, where I can see them.

(Incidentally, since you mention Stable Diffusion: for an earlier version of SD, I went to some care to make sure I didn't accidentally lose the checkpoint file, because I didn't know whether it would be pulled from distribution. Then there were regressions in the SD training data.)
> People are being told it can do far more than it really is.

Meanwhile these HN comments are split between:

* Lots of people confirming what the paper itself notes (but doesn't highlight), that the most advanced models actually can solve this problem at least a significant portion of the time. (A proportion which one can pretty easily project is only likely to increase with future models.)

* Lots of people saying "this confirms LLMs can't do reasoning".

Questions I'd ask you to consider:

* Is "LLMs can't do reasoning" actually more accurate than the typical hype?

* Is a "critical understanding of how [LLMs] work" that would predict they simply cannot solve this problem actually a good understanding?
No. If someone enters your home, as in, you live there, the city has you registered into that address, and/or your ID card states that's your address, it's not squatting. That's trespassing, and the police will happily assist.
What a good idea for a project. CNC-ifying things is quite fun, but at some point you've seen everyone build a 3D printer, CNC router, CNC mill, CNC grinder, etc. from scratch. This is new, though, and I love it.
Touché. I put the first paragraph in GPTZero, and it says 100% AI generated. Unfortunately, AI detectors are notoriously bad, giving all kinds of false positives, which goes to my initial point that it is largely a gut feeling. But if you look at other articles posted on the site by the same author they also come up as 100% AI generated on GPTZero, and they also fail the gut test.
Medium is anti-user and have refused to change for a long time. The reason it fell out of favor is because the readers hate it.
I'll take that bet, put money on it otherwise your words are meaningless.
Yes, but Israel is our Greatest Ally, so it's different when they do it.
I'd kinda hoped that they took so long to go arm64 because they generalized "1 architecture -> N architectures"
The thing it has learned previously needs to apply to the next run.

If you train an ML model on thousands of attempts at going around some racetracks where touching the walls slows you down, and the score is achieved by executing a fast lap, and the inputs to the model include where the car is and where the walls are, it should optimize towards avoiding touching the wall.

This behavior would likely still work even on new procedurally generated tracks that the model had not previously seen, as long as the relationship of inputs (car, walls) to desired behavior (fast lap) still applied.

If every N number of runs for a large value of N the game changes so that the walls are actually speed boosts and the center of the track slows you down, and there is no input to the ML model to tell it that the situation is different, it will initially try the previous strategy and perform worse, and it will be difficult to train it to handle both versions of the game without some discriminating input value to train on.
This is obviously not accurate. The 48h delay is not 48h after squatters entered the place, but 48h after you DISCOVERED them. And after those 48h you will still get your property back, just much more slowly because it is just not considered an emergency anymore if you discover a problem and don't signal it immediately.
If you go on vacation for 3 weeks, discover squatters when you come back and can prove you are the owner you will get the squatters kicked out in less than 24 hours, plus potentially arrested.
And it makes sense, otherwise everyone would be squatting houses all the time!
Woah Woah Woah Woah.... Space Jam should not be in this museum. That's an image of it today! (/s, https://www.spacejam.com/1996/jam.html)
If Apple truly wanted that they could simply implement Vulkan.
Well, you'd still likely want psuedo-random keys. You'd rather not have the underlying database doing extra work to shuffle around records as the pages get jumbled.

One solution to that is having more complex keys. For example, in one of our more contentious tables the index includes an account id (32bit int) and then the id of the entity being inserted. This causes inserts for a given account to still be contiguous (resulting in less fragmentation) while not creating a writing hotspot since those writes are distributed across various clients.
https://news.ycombinator.com/item?id=40586961
One interesting thing I found was that the newer Vodafone cable modem with 4 ethernet ports, after switching to bridge mode, assigns public IPv4 address to at most 1 network node connected to each wired port. So it's possible to get 4 stable public IPv4 addresses assigned to my home network and use them for whatever.

It's not a great idea to host services (especially if they can be used to identify you) on a home IP address you browse the internet with, and this is one way to get 1 IP address for browsing the net, and different 1 for serving services from home, pretty much for free.
As long as most Lisps and Schemes rely so heavily on Emacs as part of their tooling, it will never reclaim its status from its heydays. Emacs is just too clunky in 2024. Just IMHO of course.
Also Common Lisp, while a great lang with fantastic implementations such as SBCL, really do need a better or standard packet manager, Quicklisp is a great effort but still in beta, and saying "well it is technically still beta, but basically ready or good for use" is simply not cutting it. Quicklisp also still, as far as I know, does not do https and the communities opinion on that seems rather "oh well" on it.
I guess where I'm going at is that Lisp's tooling has some serious limitations or gaps compared to most modern languages.
The owners can hire contractors that will go to the property in order to help 'determine the conditions' under which the squatters will leave. My understanding is that it's usually a balance of physical intimidation and financial incentive.
Last term
This is bullshit. I'm dev from Barcelona (Catalonia, Spain) and the squatting topic is periodically being pumped up by the same dumb bastards (always the same companies and media). Squatting exists at the city but it is not an issue in the daily lifes of Barcelona and Spain citizens, only for the fucking big owners with more than 10 flats each. Squatting happens because this bastards (big owners) are inflating the flat prices and getting the people of Barcelona out of their neighborhoods and giving the homes for temporal tourists.
https://www.dol.gov/newsroom/releases/whd/whd20230206-2

Violating labor laws with children is actually really common, and plenty of places DO abuse young labor. It is NOT avoided

Do you think all the workers in your company's call center in some random country are all truthfully 18? Hell, do you think none of them are working against their will?
That is how it actually works in Spain. You must present the contract when you legally register as a citizen in the city's town hall.

That doesn't stop people from circumventing this requirement, on either side of the contract.
The Sabatier reaction is completely safe. Here [1] is a video of a few kids doing it completely manually with a couple of syringes, a pipe, and a torch. Producing methane is one of the huge benefits. Methane is just a normal fuel - use it to generate electricity, for your oven/stove, heating, whatever. But at home if all you want is CO2 removal then just use some lye, soda lime, or a million other simple capture technologies. Not quite as sexy, but it'll get the job done.

<rant> There's no grand technologies required for any of these things. The only reason it's not done at scale is the same reason we can't have nice things in general. Governments are far more interested in war and cock measuring contests than actually solving problems. We spent literally trillions of dollars on Iraq and Afghanistan, and the latest wars will probably dwarf that. Just imagine all the crazy sci-fi scale of things we could have done with all that money. Alas, humanity seems to be running on loop, except now we have nukes, paired alongside what are likely some of the most idiotic 'leaders' in centuries. Want to know the answer to the Fermi Paradox? </rant>

[1] - https://www.youtube.com/watch?v=VdNPkW9I0fQ
Politicians are already influenced by AIPAC and other powerful groups working for Israel, doubt they needed more. They've managed to push anti-bds laws/orders in most states.
That will fail badly with multi-process programs, which includes the example of browsers, and many others (databases anyone?).
"Making it too easy to get rid of squatters would expose the most vulnerable people in society to even more abuse, and making it trickier for absentee landlords to get rid of real squatters is considered a fair price to prevent this."

Except this is poorly thought out and not really true.

You can provide better protection for both sides by requiring written and recorded contracts for real property use/rental, just as we do for real property sales today.

"It's not a black & white issue where one side is obviously right and the other one is obviously wrong."

That's because the system is broke and allows abuses by both sides.
That's why the Good Lord invented caching. In most applications, 90% of your workload will be over ids less than a week old, so your hit rate is likely to be pretty high for this sort of mapping.
Yes, you'd have legal representation (that is located in Spain) that can initiate it and handle it for you.
We changed the URL from https://www.forbes.com/sites/siladityaray/2024/06/05/israel-... to what looks like a more original source.
Isn't the US already in a (barely-proxy) war with Russia?
The methodologies were discovered after the fact though. The only real scientific method is "if you are a winner you are with us". In fact, plenty of scientific methodologies are NOT tested and probably super bad, like the modern peer review system, or grant writing/proposal/reviews.
The danger of doing business with humans in general
Randomly truncating words can have the same effect in any language. It's outright trivial to find examples in English or German. I don't understand why one has to invoke Arab script for a good example.
I agree with your overall point that the concept of innate "human dignity" is missing from the US Constitution. But, I'm not sure it's simply because of something missing from the time period, like the exclusion of various minorities from the process. The idea of human dignity is not a recent invention, and white male landowners are/were capable of valuing or not valuing it. One could argue that if the US's Founding Fathers valued human dignity, they would have enshrined it in the constitution along side of the things they did value, like Freedom Of This and Freedom Of That. Its omission could very well have been deliberate.
> is there any reason why we simply can't take their word for it?

because if we give them a problem to solve in their head and just give us the answer, they will. By problem I mean planning a trip, a meal, how to pay the mortgage, etc. It's impossible to plan without an internal monologue. Even if some people claim theirs is 'in images'.
This is for Vulkan on Asahi Linux on M1 Mac hardware. MoltenVK provides Vulkan on top of Metal on MacOS.
A good example of how the market can remain irrational longer than you can stay solvent. Just because Herbalife is morally a pyramid scheme doesn’t mean the FTC was going to shut down the company. Herbalife stock went up and Bill Ackman exited his trade at a loss after five years. When Herbalife stock finally crashed last year, Bill Ackman declared victory for his “psychological short”.
I live in Spain (Valencia) and see lots of okupas around the city. In reality they occupy buildings that aren't being occupied. Property taxes are incredibly low here and many people who own empty buildings are fine with letting them sit, fall apart, and eat the property tax than do anything with them. These are the buildings that are prone to Okupas. I've never seen nor heard of it happening to actively used buildings.

That said, I do think there are better solutions to allowing this to happen. It's a complicated issue here as housing is definitely viewed more as a right than in the USA, and honestly I'm really glad that the streets aren't full of homeless camps like they were when I lived in Oakland and SF.
This article isn't about the price of a house, it's the price of the money you use to buy the house.
I don't disagree that there is a divide between people who prioritize mechanics and those who prioritize emotions, but I think it's overstated. I think if you're thinking about mechanics, it's because the emotions failed you on some level. For example, I thoroughly enjoyed the JJ Abrams Star Trek, even if I don't think it's a great movie, because it's basically dramatically functional. Halfway through Into Darkness I was squirming in my seat thinking about the plot holes, because the movie doesn't work on any level.

With the Last Jedi, I honestly don't think the central problem is that the creators were trying to appeal to everybody at once. I think that better describes the Force Awakens, which miraculously succeeds at doing so at the cost of being kind of forgettable (see my point about Star Trek 2009 above). I think the issue with the Last Jedi is that it makes a very specific set of choices that don't please everybody.

The thing is, in some ways I'm the kind of old fan you're talking about, though I may be younger than you. I pored over books of EU spaceship schematics, read the Star Wars Legacy comics, played the video games, etc. Maybe my experience was different than yours because I watched the prequels at a similar age to the originals, because they were coming out in theaters when I was a kid.

I am not a casual fan, but I'm also not a superfan. I think it's easy to dismiss people who liked The Last Jedi as casual, but Star Wars is such a dominant cultural phenomenon that there is a massive spectrum of how much people care about it and what it means to them.

This has all been kind of a scattered argument. I'm not sure what my conclusion is. Maybe that the real issue with The Last Jedi for many people isn't that it ignores the lore. The prequel trilogy already directly contradicts loads of aspects of the original trilogy that EU creators and fans had to no-prize away. I think it's more to do with how The Last Jedi conceives of Star Wars as a story, and what it considers important and what it does not.
I've always been a keyboard warrior, volunteering to defend my country on message boards.
MoltenVK translates metal to vulkan. Metal is the main graphics API on OSX (and iOS). This is a native vulkan implementation on linux. The blog post itself mentions that as well. This can't run directly on OSX so it won't remove the need for MoltenVK.
It’s the same problem in every desirable major city in the world, especially if you do relative comparisons within the country. Demand won’t die unless we start seeing widespread depopulation that can’t be offset through immigration, and from the supply side, it’s in the best interest of the homeowners (majority of the voter base) to keep the prices high. Basically, our best bet is to slow down the housing inflation, rather than deflation. Since it won’t happen easily, and if it happens, there will be bigger and worse problems.

I might be wrong, but that’s what I gather while renting in one of the hot spots of extreme housing prices (Vancouver).
Unless you plan on essentially abandoning your investment, it really isn't a big deal in practice.

If you live in the home yourself, someone can't squat in it. If you rent it out, someone can't squat in it. If you install any kind of security system, you'll know someone is trying to squat in time to actually do something about it. Got a long-term investment you're planning to renovate? Rent it out as "anti-squat": way cheaper price, but you provide essentially zero services and can kick them out at any time, so essentially a live-in security guard.
Does Spain have any affordable housing or non market housing efforts to keep units out of the hands of market owners?
Comments moved to https://news.ycombinator.com/item?id=40584135.

I know this submission was posted earlier, but your account has been using HN primarily for this political topic. Not only is that not ok (https://news.ycombinator.com/newsguidelines.html), it's a line at which we ban accounts, so please don't.

Past explanations here in case helpful: https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme....
Why Vulkan? Let's implement DirectX directly and call it a day.
MoltenVK is an implementation of Vulkan based on Metal so that it can be used on macOS to run Vulkan applications. Asahi Linux is an in-development Linux distribution to make Linux compatible with Apple's M series processors. This specific blog post is about making GPU-accelerated Vulkan work on Asahi.
Yes, just give us your software for free before you sell it to mystery buyer
The government's job is to house its citizens. It sounds like the people are already organizing their own solutions to this.
You guys have 30 year fixed rate mortgages???? How the hell can that work? How can banks predict with any accuracy the interest rates for that kind of period?

I had a 3-year fixed rate mortgage some 5 years ago, fixed at the rate of the time which was historically extremely low (below 2% pa), before the interest rates skyrocketed, and was really happy :D I had a couple of years on those rates... but then I went to re-negotiate and it was best to get just floating rates as the banks were all panicking and would only freeze rates for 3 years at outrageous levels... I think I got floating rates at around 3.5% or 4.0% (it has gone down since). I imagine it would be extremely dangerous for a bank to just have frozen my rates for 30 years anywhere near that historical low, so you would have to pay a huge margin for them to take that risk , no?
It’s basic human nature at play. Laws were created to protect renters from owners and now the laws are taken advantaged to exploit owners.
This isn't completely true. Crossover is allowed to ship the GPTK components for API translation (which they currently do as of 23.5) and games are allowed to embed Crossover elements like they did in the pre-Metal days with Cider etc.

All this talk of DXVK doesn’t explain why games based on engines with native metal support aren’t on a Mac either.
16-bit Windows cached INI files for performance
I'm no fanboy, but I will literally never touch Windows again with a ten foot pole as long as I live if this feature goes through as planned.
ChatGPT does do this sort of process for arithmetic now; it converts wordbased problems to mathematical notation and then solves.
We've made an open source alternative OpenRecall to address some of the concerns https://github.com/openrecall/openrecall We want to make it fully auditable, privacy focused and aim to have a better security model. Everything runs and is stored locally and only analyzed using open source models.
>> I use it so my company can't spy on my Internet browsing

That's what CoPilot Recall is all about -- we'll just take screenshots every 5 seconds.
Vinod Khosla: Plausible Tomorrows [video]
This is not the only way. See Vienna's public housing system as an example of what else can be done.
This is about Vulcan on Linux, not macOS
> We are also don't know what ChatGPT 5 will bring, because they say this will do more reasoning than before...

This paper very clearly demonstrates these LLMs are not reasoning in a fundamental way. Token prediction and reasoning are two different tasks. They may be related, but they are not the same. "Just wait for GPT 5, it will be amazing!" is part of the hype.

Please do not assume an LLM is correct in skill or knowledge unless you already know the answer or can verify by other means.
As exciting as this is, I’ve read that this capsule faces uncertain future after 7 launches: the rocket it was launched on is retired, and while it’s compatible with Falcon it’s not clear what the advantage would be wrt SpaceX’s capsule to warrant additional testing. Imagine working on something for over a decade only to see it fly just 7 times!
> How many congressmen are dual citizens with Israeli citizenship?

Zero? I can't find a reliable source for any congress member being an Israeli citizen
An AST or any intermediate representation of an input language isn't strictly necessary for a translation task. But if you want a human to understand the translation, an IR can go a long way to illustrate the translation process into a human comprehensible form. The transformations of the tree can also provide insight into the various translation activities and alternatives, like translation from one human spoken language into another (text or voice), from one musical style into another (in notation or audio), or source code into executable with multiple optimization steps. Without the AST (IR), the human must remain out of the loop, relegated to being a bystander mystified by the inexplicable magic taking place inside the automated translator.
Barbara Tuchman credited Thomas Reed with "That man never opens his mouth without subtracting from the sum of human knowledge."
AI needs to see thousands or millions of images of a cat before they reliably can identify one. The fact that a child needs to only see one example of a cat to know what a cat is from then on seems to point to humans having something very different.
They've been trying to commit suicide for over 20 years now, they just never succeed.
The evaluation of the air pollution / chemistry forecasts in the arxiv paper [1] is really threadbare and entirely disconnected from the actual literature of atmospheric chemical transport modeling and air quality forecasting. The highlighted success case - a sandstorm, where PM10 is the key parameter being analyzed - is probably entirely explained by adequate performance of the underlying "weather" portion of the model (e.g. there is obviously a very strong correlation between intense winds and sandstorms in a desert), but the authors don't provide a more nuanced discussion of the forecast meteorology and transport dynamics of that scenario.

It's cool that their model has learned about this relationship, but a greater editorial point is that _we already have global air pollution models_ - particularly, the one this model was trained (fine-tuned) against! That's not to discount all the really novel and interesting new developments with this paper, but the editorialization around AI applications in the weather and climate space is getting way out of hand, especially when most of these applications are incremental improvements at best over the existing technology in the field (with the key exception of cost/efficiency of generating forecasts - that's a true revolution).

The Aurora paper is really cool, but issues like these greatly temper my enthusiasm for it. I hope that the research team seeks input and collaboration with domain experts in meteorology and atmospheric chemistry in the future to find ways to leverage this new technology in impactful and useful ways that actually will benefit society.

[1]: https://arxiv.org/html/2405.13063v2