skysight-inc/HackerNews huggingface dataset:
Speed cubing has advanced a lot in the last couple decades. The cubes have evolved like you wouldn’t believe, and the methods have been refined like crazy. World record average (5 solves, remove best and worst, do the arithmetic mean of the other 3) stands at 4.48 seconds. https://www.worldcubeassociation.org/results/records

The system described here is basically standard CFOP: Cross, First 2 layers, Orient last layer (OLL), Permute last layer (Pll). Though now most cubers don’t take advantage of the symmetry between algorithms, and instead do completely different algorithms for flipped cases. One reason for this is that most people aren’t perfectly ambidextrous, and the other is it can facilitate recognition.

The second most popular method, Roux, has also a lot of potential. Completely different from CFOP.

CFOP has been refined a lot. First the obvious: the cross is solved at the bottom, and so are the first two layers. That way you can better see the pieces that actually interest you: those that aren’t solved yet. And it saves you from flipping the cube over when it comes to solve the last layer. The first two layers are still solved mostly intuitively, but with a lot of tricks to make it faster, like pseudo slotting, key-holes… currently Tymon Kolasiński is the master of pseudo slotting, with extremely efficient F2L (and standing equal to him is Max Park, who is basically ambidextrous for this phase).

For the last layer there are also a lot of tricks, most of which requires recalling an ungodly amount of algorithms. Some are about inserting the last pair and orient the last layer (few cubers learn them all, but the set called "winter variation" is fairly popular). Sometimes the edges are already oriented, so we can orient and place the last corners (COLL), so at the end we only need to permute the edges (easier recognition, slightly faster algorithms than general PLL).

And then there’s ZBLL, from the ZZ method, where we start with edges already oriented, and we orient the corner and permute everything in a single algorithm. But there’s a crapton of algs to learn from, not even Tymon Kolasiński knows them all… well, one cuber does know them all (don’t recall his name, sorry), I believe his method to solve the last layer is to orient the edges at the same time he places the last F2L pair, then he goes ZBLL.

---

If you want to learn speed cubing now, I recommend https://cubeskills.com/ and https://jperm.net/ — or look up the Roux method if you don’t want to do like everyone else.
> But is the code shitty? It looks like boring normal code to me. I'm not sure what point you're making here.

1. It should never be that stupidly slow

2. That should be obvious to anyone with a napkin and some math

3. Excessive allocations are highly unlikely to be the root cause of the slowness

4. Instead of debugging, they seemingly spent a lot of time putting it on Kubernetes, scaling it out to 25 instances and then finally rewriting a portion of it in Rust.

The whole thing smells of confusion and multiple issues being conflated together, with the rewrite in rust fixing these by virtue of deletion.

And if the root is was the GC, then some `--trace-gc` output in the post would be nice at the absolute minimum. Showing a for loop with a string split doesn't cut it.
You're not paying the 30%; the vendor is paying 15-30%. Prices wouldn't drop by 30% if Apple removed the requirement, and I'd suggest that it's extremely naive to argue otherwise.
The Le Guin Precepts
Enjargo: Another way to generate go JSON encoders
Ask HN: How do you get notified of comments and replies here
I've always struggled with this and only find out usually hours/days/weeks later that someone has left a reply to a thread I'm on but now the moment has gone and the conversation dies

Are you using some tool to get notifications? If so which?
The substances being discussed here are not generally considered addictive.
Contact scoping on grapheneos solves that.
Sorry, I should have been clearer. I’m talking about modern ads that you see now. They will often say ‘search for Hilton hotels’ or whatever, rather than the domain. I thought that was to help SEO
Ask HN: Why is it so bad to use any in TypeScript?
I actually think Typescript is valuable asset when it comes to finding issues in my code early.

But often I find myself spending a considerable amount of time trying to make the compiler happy in situations where I think it is not that important. Mostly this is the case in which dynamically typed languages shine.
Any release I have made whether it's to a package manager or an app store or a windows app etc has had to have not just versions for the product but also some times exact versions for individual files (e.g. Traditional Windows installer apps where screwing up the versioning on even one file is a huge mistake that might prevent the next deployment from working toe to downgrade rules.)

I have spent a lot more time in my life on thinking about "versioning schemes" than I have "branching schemes" due to this. E.g. windows files and apps don't have SemVer, just a 4 component version, so you really need to think long and hard about the kind of thing whether 1.0-dev should be 1.0.10 or 1.0.1 in order to sort properly over your 1.0-final and so on.

A world where you can just "deploy an image" and know it just replaces your previous one and in general one where you can deploy yourself, to machines you control sounds nice compared to making packages which should work at 10k different users and follow the whims of various stores, package managers and installer systems.
I use Firefox almost exclusively, and have done for years. But there are sites that only work with Chrome. So far I've always either:

(a) Ignored them, or

(b) Used an incognito window.

But now, when I'm forced to use Chrome, I'm seriously looking at disguising my IP address, etc. But this is not my field.

Would a VPN do what I need? Where are instructions that a n00b can follow?

Every site I've found so far has either been:

(i) Advertising;

(ii) Assuming too much competence;

(iii) Out of date, or

(iv) Wrong.

Clear, robust, and up-to-date advice welcome, as I'm sure it would be for many.
As an architect working on LLM applications I have these criteria for a database.

- Full SQL support

- Has good tooling around migrations (i.e. dbmate)

- Good support for running in Kubernetes or in the cloud

- Well understood by operations i.e. backups and scaling

- Supports vectors and similarity search.

- Well supported client libraries

So basically Postgres and PgVector.
German has a similar, semi-archaic word for it: Apfelsine, still in some use for its juice (my 80-ish year old mother in law uses it)

I think “Sinaasappel” is still the more common name for the fruit in the Netherlands.
Recently attending the World Championships for Athletics in Budapest, supporting my fiancée in the 5000m. I'm not super athletic myself, but one of the country's notable figures is Ernö Rubik, inventor of the Rubik Cube.

They had a social media thing going around where you could tag your country for a chance to get featured. From a 14 second PB in my youth, it was still pretty trivial to get somewhere in the 25-30 second range on the janky stock cubes they distributed to all the athletes. It was probably the most I did for Team Canada during that trip.
To sell the software, they need approval from Israel’s govt, as the software is treated as a weapon
When my mom came up here to visit, her first time to Alaska, I don't think her phone left camera mode. I didn't have a smartphone when I moved up so never had that problem, but boy I still try sometimes.
Agreed, but your linked article on trunk-based development does include this strange idea:

> the core requirement of Continuous Integration that all team members commit to trunk at least once every 24 hours
Yes,but we've all been there.

> two separate waypoints which – although geographically distant – had identical designators.
> otherwise the people who buy iPhones would have bought Androids instead

The problem with this sort of reasoning is that the ability to sideload is only one dimension that someone might use to decide which phone to buy.

Maybe someone values something else the iPhone offers slightly higher. But they're still not happy they have to make that trade off. And there's no technical reason why this trade off needs to be made, and no reason we (as a society) need to allow a company (a construct that we as a society allow to exist) to restrict our choices.

On the other side of the argument, I use Android specifically because I have more control over what I run on the device. But I am constantly uncomfortable that my choice reduces my privacy and security. Why should I have to choose between these two things? Again, there's no reason beyond a company's profit motive. And I don't think we (as a society) should put company profit motives above our own needs.

Frankly it does not matter if you are correct that no one cares about this stuff outside of hobbyists.
I really like using LLMs to learn stuff because they can explain anything at the exact level I need. Hallucination is a big problem with that and RAG pretty much solves it. If I give chatGPT a good stackoverflow post and tell it to dumb it down for me, it does very well. RAG just automates that process with the added benefit of not letting the LLM decide which information to retrieve, which should greatly reduce the chance of accidentally biasing the model with your prompt.
The fact that you think individualism is the only lens I'm looking at things with here shows you didn't read my comment in good faith. Of course bad stuff happens with free access to any drug if you're above 25 with daily limits. Addicts happen.

The question I have for you is, is anything addicts do to themselves society whomever, worse than what drug cartels do to it? Fuck. No. I'd rather have addicts than international drug cartels with hundreds of billions of $, any day of the week. Not to mention we have tons of addicts NOW. The war on drugs does not solve addicts.

You know what does? Treatment/rehab centers funded by taxes. If only there was some way we could fund them tho.... Crazy to me you lot just ignore the damage the war on drugs does "bc addicts bro". As if we don't have addicts now. So idiotic.
What? You can do this right now. Put your >100GB model on your SSD in your computer with <100GB of RAM and use mmap. It's not fast, but it runs.
Oh no! Did it get the hug of death? Not accessible for me.
You left out the Q*.
> Then maybe the rules are wrong
> The point is that I shouldn't have to choose between these options

This is just entitled conspiracy theorist thinking.

We have these amazing devices that are improving all the time and you’ve got these boogeymen “destroying” fdroid, graphene, librem, and all others.
> Hippies in my head

Maybe this is part of the issue? You're comparing a contemporary social phenomenon through to one you've (probably) only learned about through history books, media and cultural osmosis.

> somehow I feel like in the US libertarians seem to be seen as left wing

That is the polar opposite of my "feeling", which is that US libertarians overwhelmingly skew right. Just look at the most prominent figures who self identify as such : The Pauls [Ron, Rand], Gary Johnson, Thomas Massie - all either current or former Republicans.
Merge commits also break regression finding, since if you checkout a commit that was part of a merge, you land in a tree state reflecting what tree at this commit looked like before the merge, which is a state the master branch has never been in. It often breaks things which work both before and after the merge commit. So you can never find with certainty the regression point at commit level, other than locally linearising this merge into a series of cherry picks. It’s just awful.
I think we agree , there is no clear line or clear answer.

My simple example is to show that is not as simple as "the AI earned from N devs GPL code and now it can spit new original code without ZERO concerns", we know how this stuff works and that it can spit out the exact training input in some cases.

So IMO a judge should ask the question "from how many people you need to steal, mix the input to be sure the output is actually original".

And about the thing "if I read someone code it is not stealing" , hyumans are different and even for humans it is not allowed to read the code of your competitor and then write new code using that knowledge.
That’s rather close to “chai,” and it’s also “cha” in Portuguese.
In case you are pay-walled out: https://archive.ph/nbrH5
Would it be closer to the other value if you factored in the atmosphere, and whatever else is in the way?

As an aside, would radio via the moon ever be practical? Without pumping out so much transmit power that you pick up the signal anyway, without pointing a receiver at the moon. I think it would be neat, if only for the sake of novelty.
The compression density should be roughly the same for such experiments. AVIF and WebP slow down when more detail is added, jpeg a little less.

Jpegli will make smaller jpegs that are faster to decode.
BERT is ~100m parameters. GPT3.5 is 1000x bigger. A Bert sized decoder model would likely generate nonsense

For most applications BERTs output is used to fine tune additional NN layers, eg for text classification
> I don’t even know anyone who knows anyone who knows anyone that has had a psychotic break tripping.

I’ve witnessed it. There might have been weed and/or alcohol involved as well.
Edge never used Webkit, but their own implementation called EdgeHTML.
No big political leaders out of the tech world yet. So "the tech community" doesnt have anyone to rally around. And this more a political prob than a technical problem.
It was enough for Amazon to slap a store on it and launch a competitor. Yawn. No one cared. If people were really that dissatisfied with Google, they’d move. People don’t dare, Google makes a damn good product.

You and I both wish for more privacy features, so we can run one of the forks, or the Solana phone. Or maybe we don’t care enough to do that.
Google is enabling Chrome real-time phishing protection for everyone
Are you an NSO psychopath or something?! Those funny propaganda jokes you're spewing are not working. The Israeli Hasbara lies are so bad and funny (Oh we won the land instead of we are scumy occupiers and land thieves haha.) This Israeli murder cult is sad and pathetic.
I trust random developers more to host software that does not go against my interests than big tech corporations.
Most of the times I’ve seen someone have a mental health episode while on drugs, it’s been caused by either overdose, poly drug consumption (taking a bunch of shit), or the drug they took not being the drug they thought they were taking.

Or massive sleep deprivation powered by stimulant abuse over a protracted period of time.
«А у вас негров линчуют»
You can thank the black market for that one. Same as you couldn't buy much beer and such during the prohibition, because hard liquor was more lucrative to smuggle.

And while psychosis occurrence might raise with increased doses, at least LD50 for THC in rodents (I know, but hard to ethically gauge it in humans) is 1250mg/kg orally. If we naively scale this up to humans, a 70kg human would have to consume 90g of pure THC, which is an incredibly outrageous, absolutely unattainable amount.

I would also argue that you need less cannabis to reach a desired state if it is of higher potency. Do people measure their intake in "joints" which are consumed no matter what the actual potency is?
Does anyone know if Lean 4 has encoded much category theory?
Yeah I'm on SSI and yeah, if you have more than 2k in your bank that's it. It's not adjusted to where you live either. You gotta set up a special account to hold money or something, it's confusing. But yes, always contest, always explain calmly. They just need to know nothing is actively being done to abuse the system and open communication helps this. My account went over once because my dad was helping me pay off credit cards and I think we just called up SSI and told them what was going on and the money would only be in my account for a short time.

But yeah, remember that it's simply bureaucracy and not police lol. Explaining and talking won't get her in further trouble. It will only help.

Edit: she should try to get ahold of a local HUD or housing assistance program. They help people with SSI and could end up assisting in future events like this. They can also make sure that she is getting all of the assistance that she can. If her rent and utilities bill was adjusted for the fact she is on SSI then situations like this could be minimized.
Cubes have probably advanced quite a bit, and the advent of social media now means that the kids just copy each others tricks within minutes these days. My kid and his cubing friends went down towards a 10s average between the age 10 and 12, so in about two years of active cubing. But having the head of a 12yo kid (and amount of spare time) is almost cheating. You can learn anything in 2 years. I'm sure they could have learned Mandarin instead in that time. But I'll take it over being really good at Fortnite which was the other option.
Let me know if you want some help optimizing that aggregation query :) looks like a fun challenge.
I agree that there's generally too little results in mathlib and for that matter in any theorem prover, but I didn't think that work on formalizing such stuff (advanced undergrad results / early grad results) is publishable. Was I wrong in this?
> And how many 'flying deaths', particularly of otherwise healthy young people, will society accept before backtracking?

But it is fine to put those "otherwise healthy young people" to prison for having a pack of shrooms in their pocket, amiright?

And when they are out (probably not as healthy or as young anymore) let's ruin their lives further by preventing them for ever getting any reasonable job for having a criminal record...
My favorite endgames are in Arimaa[0], an abstract strategy game that can be played on a chess board. The goal is to advance a pawn-equivalent piece to the back rank. This becomes easier for both players as the game progresses and pieces are captured. Arimaa endgames are generally "sharp" in the chess sense (as in requiring extreme tactical precision because each move is so impactful), and don't involve any chasing. Surprising comebacks for players with lesser material are possible.

However, the opening can be very slow if both players play defensively.

[0] https://en.wikipedia.org/wiki/Arimaa
Can't agree more. SW is just popcorn fun, brain better left elsewhere. I think people are being too harsh and pedantic, Lucas never bothered to make every single aspect of the universe and story infallible and scientifically correct.

I mean if I start taking apart every single aspect, logical issues are there. Why use useless troopers who can't hit barn when robots are so much better? Space bombers that drop bombs in WWII style doesn't make any sense at all. Empire of first 3 movies is bunch of incompetent idiots who couldn't run a local 7/11, not a galactic empire. Literally pick any aspect, it doesn't make much sense in real world.

I had blast watching new trilogy in cinema, simply because I expected same level of brainless fun as original movies, and it delivered. And that's enough, making SW into some infallible religion is as stupid as other religions.
Also, Python is where the "Rust Evangelism Strike Force" type stuff really started being a massive phenomenon.

Language wars have been forever, of course. But for a few years around 2010-ish, practically every single thread would have someone bringing up Python. If the post was about a tool, how the thing should have really been written in Python. If it was a how-to tutorial about a feature in another language, there would be a subthread about how Python undeniably does it better. Not occasionally, in a thread here and there - it was to the extent you couldn't miss it even if you wanted to. That's a kind of marketing that's proven effective in a forum like this, which is why it's being replicated by other languages now.
True, but if it is any positive signal, FiloSottile (golang crypto lead) vouched for Mullvad integration: https://github.com/tailscale/tailscale/issues/2880#issuecomm...

I think Tailscale going after 3 wildly different market segments (hobbyists, smb/teams, enterprises) [0] is why we're likely to see more such features, not less.

[0] https://tailscale.com/blog/pricing-v3/
That’s been the case since day one; it’s not something trunk-based development invented.

Remember, continuous integration is literally that – people integrate their changes continuously. It’s not just “we run Jenkins”.

https://martinfowler.com/articles/continuousIntegration.html...
Would you say you care about consistency and coherence when it comes to the things you fanboy/girl?

Not everyone cares and that's fine, but for the people that do care about how the pieces all fit together, TLJ was a travesty.
It's probably not that simple as they could do what the EU does and create those jobs in purely civilian industries.

It's more about the political economy where funneling through certain well connected companies generate a lot of goodwill among the middlemen who then funds pac's and pay for advertisements then it's about a direct relationship between the senate and the employment status of their workers.
Not to one-up you, but Sheffield in South Yorkshire has even more trees. I visited recently and was taken aback by how much coverage there was for a city center, coming from Leeds, which seems to hate trees.

If I remember correctly, London has around 8.5 million trees (for a population of almost 9 million, 1:1 tree:person) and Sheffield has around 4.5 million (for a much smaller population of less than 600,000, 7.5:1 tree:person). Sheffield has more trees per person than any other city in Europe.

Sheffield council tried to cut down thousands of trees a few years ago and it caused massive backlash, protests and arrests.

https://en.wikipedia.org/wiki/Sheffield_tree_felling_protest...
Nobody ever wanted the 69 jersey, for some reason ...
Sounds related to German “Schokolade”
This whole thing makes me thing this was done in a drunken stupor, or something. It's a really sloppy PR and it seems entirely motivated by frustration. Totally harebrained and just makes it abundantly clear that these people are not to be relied on when it comes to any sort of open source governance.
>Do you really feel that way

Do I really think international 12 digit valued drug cartels are a worse outcome for society than allowing adults to buy the substances at a taxed store where the money goes to pay for addict treatment and rehabilitation??? You can't be serious. Don't you? If you don't I'll call you a blind man and useful idiot.

People here do not read my comment because I advocate for something that hurts their little sanctimonious puritanical brains. Would swear you lot are Mr mackey. Nothing more material than "drugs r bad mkay. Addicts bad mkay." Stick to STEM i guess. Sociology isn't for you.

>How about prohibition of possessing and manufacturing radioactive materials?

Yeah, radioactivity that harms everyone around the material is def the same as me getting high in my house after work and playing a video game. Definitely arguing in good faith innit. The drug discussion makes people like you so damn silly and childish it's crazy
Try it with something a little bigger than what you used. Then you would have seen that the GC kicks in and performance goes down after about 2GB of processed data.

With my first try with bigger data it blew up with an out of heap memory error. The article mentions them having memory problems as well. They probably operated at the upper levels of available memory and even got into swapping and then 700kb/s is not surprising.

So yes, this absolutely looks like a memory allocation issue.
I'm also curious if OP talks about actual medical psychotic breaks or "bad trips", which may overlap but don't have to.