skysight-inc/HackerNews huggingface dataset:
Have there never been cases where law enforcement requested that sort of information and used it? I don’t think we know.
They did use relatively lucky scramble. Not pathologically easy but approximately top 3% most lucky scrambles (https://cube20.org/)

This is the visualisation of the scramble and the solution they used:

https://alg.cubing.net/?setup=x2_U_F2_R_L__F2_D_R2_U2_R-__F2...

Few comments on the solution:

They took advantage of the ability to move two parallel faces at once making solution in 14 steps (if you consider Up and Down move at the same time to be only one step).

If they have a double-turn move they ALWAYS turned clockwise.
> and you get brownie points for having found that without passing it to the OS?

You should probably reconsider your security model. Did you really just suggest passing arbitrary input to your OS filesystem to see if it fails? You can probably (hopefully?) figure out yourself why this is a bad idea.

Ever heard of defense in depth? Sanitizing your inputs early and knowing why things failed is a good things. Having an additional redundant layer is not a bug, but a feature, especially if the underlaying layer has shown to be exploitable.

Also consider that if you process user provided filenames you have to sanitize them anyways, unless you want them to give you filenames like /root/.ssh/authorized_keys
>Nvidia had nothing to do with their failure, unless they had some sort of high-level mole in AMD's driver teams.

You're pretty close, but it's one level of abstraction away from the truth: NVidia spends absolutely earth-shakingly stonking amounts of money working directly with the devs of major studios, fixing issues with their drivers as they come, and in some cases paying studios to lock-in talking to them about the bugs they find.

It's why (and how) they release new driver patches for every AAA release, and part of the reason why it triggers a redownload of the shader cache on a whole slew of Steam games every major version release.

AMD and intel don't have a chance; NVidia is inside the design loop for game development far more thoroughly than other hardware vendors.
This is from your own link.

>On the day of arrival in Israel, or occasionally at a later date, a person who enters Israel under the Law of Return as an oleh would receive a certificate confirming their oleh status.

On the very day they step off the boat or plane. This isn't the case of "anyone who comes to the US and waits 10+ years might finally get to become a citizen". Seems pretty fucking automatic.
If we found a crypt of a hundred well-preserved mummies from a few thousand years ago who for all we could tell were basically peasants in their lifetimes, not grand or interesting people, and we had the ability to revive them into the modern world, I still think we would. The "interest" factor of future generations reviving cryonics customers when it's possible to do so is like the weakest factor in trying to predict whether cryonics will work at all.
That's the case when there is a market where demand is dynamic and a person can simply refuse to buy (decreasing demand) if the prices are too high. Milk is like this.

But in rental market, the demand is not dynamic. You HAVE to get an apartment to live in once your lease is up. If 80% of the complexes around you are on this and on top of that the independents also set their pricing based on the market controlled by the majority, then they can charge you whatever they want. You HAVE to buy and you HAVE to get it with the price dictated by them. There is absolutely no supply and demand in this at play.
I'd imagine that's what people say who call their tracking telemetry.
I'd short it.
Too late, the tens of thousands of papers citing this paper and drawing conclusions based on it won't be retracted. Nor would be retracted papers based on papers based on this paper.
I'd take Metal anyday over Vulkan though. It's simply the much more ergonomic and much better designed API. A native Vulkan version only really makes sense if Android needs to be supported (and this will be a rough ride because of the poor state of Android Vulkan drivers).
> Think Ford, Tesla, Apple

And guns.
noyb urges 11 DPAs to block Meta's AI personal data abuse
> My current employer falls under the critical infrastructure category (we’re finance/energy) and that means we’re required to have contingency plans for how to exit Microsoft in a month. Not just theoretical plans, but actual hands on plans that are to some degree tested once in a while.

If those plans exist and there is even a tiny chance you can pull that off i'm impressed.
In most organizations it would be a almost impossible challenge to even upgrade all their servers to a new OS in a month. I don't think i've ever seen a organization of more than 100 employees that could reasonable migrate their cloud provider, identity source and operating system in a month. Endpoint operating system upgrades often take a year (or more).
I would think barely here means, that there were quite a lot of incidents and with some bad luck, none of the astronauts would have come home.

It was still a great accomplishment, so I would not use barely, but technically it is correct I think. They spend great effort, to just make it to the moon, which was the goal, to beat the sowjets.
And that succeeded. No great safety margins, not much room for error - barely.
Show HN: Consultants and mentors as a secret pill to grow
Hey, if you rewind time 7 years ago, then I was immersed in the growth of our agency, which was engaged in outsourcing. And no matter how many gurus there are around, all the same, those who tried to grow even a small project understand that it is more difficult than everyone says and each situation in such projects and the problem is unique in its own way, since the niches, locations... are unique.

At that time, we hired consultants from other companies for some time to quickly solve our specific problems, and we realized that searching on platforms that are not really designed for this is not convenient, painful, and so on, we decided to make a MVP marketplace where is the business can find a consultant and they can work together.
But if you don't study the math and physics hard, you will not be able to understand that you may have found something, valuable. It would be like Pearls Before Swine.
Sounds to me like some regulators saw dollar signs and wanted a cut.
My IPv6 address is perfectly stable. It's up to the ISP to decide if they bully you into paying extra for a static network or not, but it's an implementation problem. Same with IPv4 assignment, necessitating hacks like DynDNS.

If you want stable local addressing, announce a ULA on your LAN. Not all routers support it, unfortunately, but you can announce a ULA from any device. Just don't announce your raspberry Pi as an outbound router.

ULAs use SLAAC and will derive at least one IP address from your devices' MAC address. There's a chance of instability if you have devices with the same MAC addresses (there's detection for that problem but you end up with a race condition after a network reboot), but your network will probably break in other ways if you have such a setup.
The solution is actually simpler, set a property tax that would hurt if the buildings became vacant. For example if you pay 1% of the buildings value as property tax each year, it would make enough incentive to rent it out or sell if you don't need it. The proceeds can be used for building public housing projects or helping the homeless. Property tax was invented for this very reason.
Hopefully the military will aim to minimize civilian casualties.
Ultimately my thesis was “problems for AGI” not “why AGI is impossible” and for good reason.
I have seen some apartment being severely reduced because they are under occupation (makes sense since the buyer buys an apartment they cant even go into without a multi-year legal process). I wonder if it ever happens that people occupy an apartment only to get the owner to sell for cheap and then they (or their friend) buys the apartment for cheap?
There should be some sort of "taint" checking that will indicate how many retracted papers any given one is based on. It shouldn't be too difficult since publications are highly structured.

With LLMs we can read all the papers at once and flag the most strongly derived for further review.
The reason is the same as always - the open source alternatives are not as powerful, like Ice has big issues
What part of it?
You can also route outbound email through an existing place like smtp2go.com, which stops all of that outbound hassle. :)

That place in particular (which I use and can recommend) even have a (permanent?) free tier. ;)
> I don't think there are millions in Israel that want Al Aqsa demolished,

There are well over 1 million ultra-orthodox. There's also a not-really-countable number of non-ultra-orthodox who want the same thing, but their opinions are a bit more diverse. Say, somewhere around 1.6-2 million. That's plural millions, as far as I understand grammar.

>They believe there is no safety to be found with a Palestinian state next door (with good reason, see what happened in Gaza).

They also believe there's no safety for a single state solution, because Palestinians will eventually become the majority, and vote out the jews. There is of course, an unspoken third option as well. No one would admit to favoring that.

> Israel is spending millions with the iron dome to shoot down those rockets,

The debris has to land somewhere. It doesn't just evaporate. Could someone finagle it so that it lands where they want? Would be a beat trick. Just have to wait for the right trajectory, one would think.
I haven’t seen one. Openwrt seems to do the right thing out of the box, but that’s not that helpful in setting up your own and learning on the way.

Maybe I will write one this weekend and make a hn post.
Cory Doctorow argues well why it doesn't matter how you got into a monopoly position: https://pluralistic.net/2024/05/18/market-discipline/#too-bi...
SEEKING WORK

Location : Bangalore, India.

Remote: Yes

Willing to relocate: No.

Technologies:
Java, Yourkit, Spring,
Oracle, Postgresql, Mysql, DuckDB, MongoDB,
Redis, Hazelcast, Ignite
Javascript, Nodejs, React,
Golang, Python,
HTML, CSS, Git, bash,
Docker
AWS, Azure,
C/C++, Assembler,

Résumé/CV:

https://drive.google.com/file/d/1HummmW442v1dfvPphOF-EYJXSG6...

Email: anjan.jobs.2024@gmail.com

Linkedln: https://www.linkedin.com/in/anjanbacchu/

Github: https://github.com/anjanb

20+ years experience developing Products in multiple domains to be deployed in DMZ as well as SaaS. Backend focused Generalist Fullstack Software Engineer/Lead/Architect.

Have 10 years experience in USA and Switzerland working for Startups and Fortune 50/500 companies developing products and supporting them.
Like recruiting and mentoring Engineers.
Sure, because any attempt to be morally right instead of pleasing the shareholders is struck down by management. You might even risk to penalize your future career.

Most engineers are engineers, not company politicians. That doesn’t mean they don’t see the greater picture, it’s just not worth it dealing with corporate bullshit (or even endangering).
Cant wait to see what types of bacteria and viruses are dormant in permafrost that is thawing /s
Things are indeed heating up when a saga that's been unfolding for over four years begins to attract attention on HN.

A user or two have characterized Gill's activity as a pump-and-dump. From the article:

> A common form of this fraud is a pump-and-dump scheme, where fraudsters "make false and misleading statements to create a buying frenzy, and then sell shares at the pumped-up price."

Gill took a significant position in Gamestop beginning in June 2019 [1], and has been steadily increasing his position over the years (AFAICT without selling).

How is the belief in the long-term recovery and turn around of what was then, a dysfunctional (and unprofitable) American retailer, anything but rather prescient and patriotic?

Even if we were to concede that Gill is now in a position of influence, the suggestion that enforcement agencies should suddenly jump in and that litigation should /begin/ with him, rather than TV personalities and elected officials, strikes me as laughable.

Notwithstanding the ethical and security implications of a brokerage publicly broadcasting that a customer has an account on their platform (I would be livid if this happened to me), if E-Trade were to close Gill's account, would that not be a concrete admission that his position has them vulnerable, thereby strengthening and supporting the underlying thesis?

[1] https://en.wikipedia.org/wiki/Keith_Gill#Position_on_GameSto...
Spoiler:

They are not moving. This title doesn't match the details of the announcement:

> Computer Industry Joins NVIDIA to Build AI Factories and Data Centers for the Next Industrial Revolution

> COMPUTEX—NVIDIA and the world’s top computer manufacturers today unveiled an array of NVIDIA Blackwell architecture-powered systems featuring Grace CPUs, NVIDIA networking and infrastructure for enterprises to build AI factories and data centers to drive the next wave of generative AI breakthroughs.
This seems like a very weird technical explanation that doesn’t actually address my question. Python typing works well in practice and doesn’t suffer from any of the problems you listed.

Also, from a brief investigation, according to [1] Haskell also isn’t able to express the omega combinator in its type system (& indeed the answer says very few type systems are able to do so). This suggests this is a very bad litmus test if almost no languages can actually pass it even though a) languages exist with explainable type errors b) the languages are general purpose and fairly expressive c) they support type inference. An obvious example of this is Rust.

[1] https://stackoverflow.com/questions/33546004/is-it-possible-...
Some companies such as standard oil had extraordinarily effective vertically integrated monopolies. The issues came into play when they used their market dominance to secure things like rebate structures with rail roads and made agreements to buy up transit capacity at very favorable rates that left competitors at a serious disadvantage.

A real question might be how Nvidia prioritizes capacity and delivery and pricing to OpenAI and Microsoft for their superior product that has no meaningful competitor. It’s not an issue that Nvidia, like standard oil, had a superior business and product. It’s an issue when their scale and the scale of their adjacent partners lead to agreements that strangle others that need access to the supply chain. For instance if Anthropic is at a disadvantage to open ai for Nvidia capacity due to agreements between them that are mutually beneficial to the exclusion of Anthropic, that’s anti competitive.
I spend far more time reading code than typing it, so the time to type () is in the noise compared to the time to remember precedence rules while reading.

If there were only a couple of operators, maybe precedence would be manageable, but there aren't.
As to the former, the L2 trades seem to show the first two trade blocks getting hedged, and the rest not and just getting put on the books naked. There were some large price spikes at his first two purchases, then nothing, or negative. Nothing / negative price changes don't look like someone was buying even a medium percentage of the underlying to hedge.

As to the latter, I've never managed a public company, so take this with an (extra) grain of salt. That said, I bet that those shares sold to the public last week (two weeks ago?) had an S1 attached, a cooling off period, and an SEC review period. If so, GME shot that shot already between now and Jun 20 date and wouldn't be able to do a new offering in that timeframe.

As a side note, the Gills shares were all purchased subsequent to the GME share issuance as far as I know, and don't seem to have moved the market up at all. We'll see what the next few days holds!
> the porting process to macOS would have been much easier

Porting the 3D renderer to another 3D API isn't the hard part of a game port, but also:

Apple is offering a D3D12 porting toolkit since a little while which TBH makes a lot more sense than native Vulkan support (since there are so many more D3D12 games than Vulkan games):

https://developer.apple.com/games/
The speed solving enthusiast point of view.

The reconstruction of the solution can be watched here:
https://alg.cubing.net/?setup=x2_U_F2_R_L__F2_D_R2_U2_R-__F2...

It is a 16 moves solution, which is rather lucky (1 in 35 or so) [1]

The human record of solving a cube in Fewest Moves is also 16 [2]

[1] https://cube20.org
[2] https://www.worldcubeassociation.org/results/rankings/333fm/...
If you want to argue and pretend there weren't tons and tons of companies and technical products tied to both cryptocurrency and VR/AR lately that absolutely flopped despite being technically unique and innovative by cherry picking things that would have been sound investments back then and ignoring the myriad ways you'd have lost money or the fact that Bitcoin has less usefulness as a technology now than when it was hyped, fine
Just a bunch of mafias that want their cut, and governments are the biggest.
Incorrect. We operate in a military smorgasbord where the war hungry U.S. government gets an unlimited budget of trillions of dollars year after year and their modus operandi is COLLECT IT ALL ... EXPLOIT IT ALL. The government believes that they are the only one's entitled to privacy for National Security™ purposes and their crimes are covered by criminal and conspiratorial compartmentalization. They go after journalists and whistle blowers like Julian Assange and Edward Snowden with dictatorial fury because the true enemy of fascist governments is Privacy for the People.

Your perspective is cute business school brain washing but the real fact is that businesses like the FAANGS have realized that they can tap into fascist daddy's money faucet and sidestep the shelf-joke analysis you portrayed. Why worry about stocking shelves with good products to maybe sell units to individual consumers when you can sell to one big monstrous entity who can sign a billion dollars' large contract to ingest and process everything against the masses who barely have $100 to pay for a piece of software.

We have a U.S. military problem here.
Something like this yes. But the devil will be in the details.

"pay 1% of the buildings value as property tax each year"

A old rotten building might be worth just 10000€. And 100 € a year ain't that much. One would have to tax the property - and who will set up the rates in a fair way in a process that is not vulnerable to corruption?
As someone in the industry as well for many years (coming from the business side having ventured into software), the main problem is always that the software just is not good enough and do not account for all the edge cases - leaving many users better off using pumped up Excel sheets combined with a few hours on the phone every day to account for all the nuances and changing customers/suppliers demands.

In short: It is not good enough. When it is good enough, customers adopt it.
How much did it cost?

I used to work for a free to play mobile game company and something like half my colleagues had come from paid-install companies that went under. We hate this too but have rent to pay.
> there is no moat and they operate in a commodity space that will behave like a normal competitive market

Sure, until you consider the massive difference in accessible capital vs their rivals. Sure, VCs can fund startups, but Nvidia is publicly traded, which is just investment of a different form, and largely a form that you are barely accountable to. And that's on top of all the capital they directly control. That's an incredibly advantageous position to be in, and one that would be too tempting for most to resist exploiting.
That first article from BMJ 1900 reads a bit like Gulliver tales. The second article is about hominids 400k years ago, quite long ago
Ouch. I did not know that Bevy worked that way, with their very own typing system.

I use Rend3/WGPU/Vulkan, which use Rust more or less correctly. My own code is 100% safe Rust. I'm not clear on why so many people have problems with working in safe Rust.
I still don't see an email in either of my inboxes about the policy change.

They literally announced the change by adding an in-app notification a couple of weeks ago[0] on both Facebook and Instagram. You also have to fill out a freaking form to opt-out, and that objection must be approved. I don't know how much more insane/draconian can this get.

It wouldn't surprise me if the goal was to secretly roll this out knowing that majority of people will flat out ignore the in-app notification, or they won't see it at all.

The policy gives Meta permission to use everything except private messages.

Your photos, posts, audio, business messages is now Meta's. And in the near future - everyone else's as their models get retrained.

[0]: https://stackdiary.com/meta-will-train-ai-with-data-from-eur...
So did Beijing bomb the Uyghurs? Do you see Uyghurs anywhere cry for kins killed by bombs or houses destroyed? How can you compare China with Israel?

Also, sure Uyghurs killed Hans in riots, and they sure have conducted terrorist attacks in China.
People literally die if they go long enough without sleep, and of course everybody knows the cognitive impairment that even a moderate amount of sleep debt causes.

That said, saving energy is certainly one part of it – and what else could a diurnal species do in the darkness anyway? (And similarly for animals adapted to night or twilight activity).
Good point, I was thinking in Python 2 (where there are integer limits)
Not only americans. I'm in Romania and also got redirected to bbc.com.

Guessing it's everyone that's not in the UK.
I agree that self-policed communities seem like the best solution to the general problem.

For example, public Minecraft servers often get harassed by cheaters and griefers. Some servers try to circumvent this with all sorts of complicated anti-cheating mods and moderation tools... but ultimately the easiest solution is to just have a whitelisted server with only people you trust. This tends to work better because every player is accountable, and has the bonus side effect of fostering a community of people who actually know each other.

Private, moderately sized, self-policed communities really do seem like the only sure-fire approach to avoiding cheaters in online multiplayer games. Otherwise it's just a constant cat-and-mouse game with the cheaters usually coming out on top.
not sure if sarcasm or not
You have a different definition of "works well" and also a different definition of "type inference" here. Rust doesn't have global type inference. C++'s `auto` doesn't count. Go's `:=` syntax doesn't count.

Why not? Because you are adding typing retroactively to a dynamically typed language like Python. If a language was built with typing, you can do this because your initial choice of a type system already constrains the set of valid programs. But a Python-like language where users are already used to having no restrictions on runtime types? Absolutely not. Especially not in a language that encourages duck typing. Let's go back to the omega combinator example. The Stack Overflow link is correct: Haskell cannot assign a type to it. That means the type system is purposefully designed weak enough that the omega combinator cannot be written in the first place! No valid Haskell program has it! Therefore you can totally disregard it. Python is different. You can already write the omega combinator in it. I wrote it three times in this thread. So a bolt-on type system needs to assign a type to it. And you can't.

Python does not have a type system that "works well" and will never have one.