skysight-inc/HackerNews huggingface dataset:
Sounds like a very neat approach!

> One problem seems to be one that Kleppmann points out in [2, end of section 4], when you press enter in the middle of a line, so that a line is split into two lines, you have to deal with that in a special way. Similarly with splitting/joining blocks.

I was about to mention this problem. We ran into this with Google wave. The initial document model (based on an xml tree) used <line> tags for lines. We hit exactly this problem - if you press enter in the middle of a line while someone is concurrently editing that line, how does it handle those changes? The initial code had special split and join operations but nobody could figure out how to make split and join work correctly in an OT system.

Wave was over a decade ago now. I don’t know if anyone has solved this problem - all the working systems that I know of bailed on this approach. It’s much easier if you just make newline characters be an item that can be inserted or deleted like any other character. And then make lines be a higher order concept.

If you get this working (working = passing fuzz test suite), I’d love to hear about it. But the well trodden path of those who come before is to use newline characters instead.
I feel like atree in TFA is just giving a name to something I do all the time when it makes sense to so. For example, I used something similar recently when building a ECS entity tree for a game engine.
Chinese-Australian. Nearly 20% of AU is Asian.
because the database is inconsistent and incorrect is usually the answer.
This is cool, but similar to another commenter, I would only use it if I had built myself.

But that it makes people uncomfortable means its ahead of its time (it's a compliment).
OLVID App by the French Government asks users to swap a 4 digit PIN. App is great for OpSec check it out.
As far as I know, if the 2 clients talk directly, their IP addresses are exposed to each other.
I'm specifically referring to this food pyramid, https://en.m.wikipedia.org/wiki/Food_pyramid_(nutrition)#/me..., which was well-known by the US populace at large (as well as taught in schools) in the early 90s. There were subsequent US food pyramids and then a new "MyPlate" program in the US after that, but none that were as widely known/discussed as the original one.

The basic problem of the original food pyramid is that the base is essentially "tons of processed carbohydrates" (flours, bread, pasta), while it says to minimize oils and fats.

But I think the biggest crime of the original food pyramid, and honestly much nutrition "science", is that it was not scientifically based. There were never any studies that said, for example, that mono-unsaturated fats were bad for you (the opposite is true), but the food pyramid made broad assumptions without any actual studies to back it up.

The flip-flop on dietary cholesterol is another good example. There is evidence high LDL in the blood is associated with higher rates of cardiovascular disease, but never evidence that eating cholesterol leads to higher LDL levels, except in certain genetic circumstances. For decades nutritionists told us "eggs are bad for you" based on this theory without any evidence to back it up.
For context, please read the original comment I was replying to. It's a criticism to luxury brands preying on the poorest. If someone is really poor and buys B&O products instead of using the little credit they can access to cover basic needs, the problem is supposed to be B&O greed?

It's more a problem of banks' policy or maybe mental health. Should B&O refuse to sell to poor people?

When I've seen B&O mentioned, it's usually people bashing them for being mediocre audio quality sold more based on form than substance. That seems to be their business model, maybe a problem for those that have a lot of money to burn. But for the poorest? It's like saying that the problem with Lamborghini is how they squeeze the working class with their prices.

There is people addicted to shopping that spends way too much in cheap stuff. Mountains of useless shiny things. This is not about price.
> I can't imagine assigning his novels to minors

Then you shouldn't be teaching them. Learning about a world that's strange to you is one of the great delights of old literature. It's called "education."
I never even thought of that, atlassian has a page on it: https://confluence.atlassian.com/bitbucketserver/setting-up-...
It’s not a server controlled secret; it’s a MAC of a shared secret negotiated via ECDH between the two clients. Diffie Hellman ftw. See https://www.uhoreg.ca/blog/20190514-1146
From the Github:

SSH3 is a complete revisit of the SSH protocol, mapping its semantics on top of the HTTP mechanisms. In a nutshell, SSH3 uses QUIC+TLS1.3 for secure channel establishment and the HTTP Authorization mechanisms for user authentication.

So, it has nothing to do with SSH2; more about HTTP/3-QUIC security theater: hostname is still being sent over TLS/1.3 negotiation.
I have a hard time imagining how you can get into business with people in Huaqiangbei without speaking Mandarin even with that guide in hand but without an interpreter. But maybe it can work out with pointing and writing down arabic numbers?
Apple workers deserve iDorms as good as the technology
And if some pedestrian is about to crash into it, they can just safely jump through the hoop.
Yes and I’m glad we’re doing it! No life or fossilized remains of life of any kind has yet been found.
Well done! Bookmarked and I'll be back once the other boxes are unlocked :-)
SSH3 does not equate to SSHv2 over HTTP/3-QUIC.
Simple and smart, wish I had thought of this myself.
The Australian math team for any year is going to blow your mind https://threesides.com.au/wp-content/uploads/2022/02/2022_EG...
Almost 80 million users of whatsapp in the US (330m pop) vs 120 million users in all of Europe (746m pop) kind of undermines that line of reasoning? If anything, the US uses whatsapp way more than Europe.

If we were looking at true third party messaging platforms that aren't owned by trillion dollar mega corps that can push their products onto every phone, then... maybe? The US barely uses Telegram compared to Europe, and signal's website sees about as much use from the US as it does from only Germany. But if the argument is about the US using iMessage more because they don't use other messaging platforms, then no, the numbers do not bear that out at all.
Not sure why this is downvoted. HTTP3/QUIC is a lot more complex to implement than SSH.

SSL is a very well studied standard, but it is clearly a committee product with lots of features built on enterprise standards like X.509, and SSH is made by a few protocol engineers with a razor sharp use case.

It is easy to see why someone who audits parsers for a living would be much more comfortable with SSH as compared to a something over HTTP/SSL/QUIC.
Because it's fun?

If I need a new website or app for whatever reason, I might as well learn a new tech stack and have some fun while doing so.
HTTP/3 is almost indistinguishable from any other protocol running over QUIC, and QUIC itself is almost indistinguishable from random noise in UDP packets. If you want to masquerade as HTTP/3 traffic, just using UDP on port 443 will generally be sufficient.

(Only “almost” indistinguishable, because it’s possible to decrypt the first packets of the client’s handshake and examine the ALPN parameters used to negotiate an application protocol. And QUIC may be further distinguishable from other UDP traffic through statistical analysis of packet sizes and response latencies, as well as the few unencrypted header bits.)
This is my personal (unproven) theory about the obesity epidemic. People eat more than ever but are still hungry for more. It's because our food is less nutritional. Although we're getting adequate calories - we're not getting enough nutrients, and our bodies are telling us to eat more.
Pretty sure you have forgotten or never experienced the awful bt devices from 15 years ago. Or maybe latency is not a big issue for you.
> Places like WV have seen mass unemployment for decades, but the numbers look better because people have gone on checks or government assistance and given up, thus aren't counted.

They are counted, there are 6 different unemployment measures and the labor force participation rate, all easily available. So far all I see are nebulous/unfounded claims providing zero evidence.

No one is denying that a certain portion of the population might be worse off, or that volatility is higher for some populations. But the official statistics are not denying that either.
You overestimate people. Most wouldn't care at all, a few would say that's cool and move on. Religious people would just say their favorite god created those too. Unless the aliens were more advanced than us, nothing would change.
Could even be the opposite ... "I have no idea why this fence is here but it's rusting away, so I'll replace with new wire."
*Saturn, but yes. If there’s life, free oxygen would likely be incredibly toxic to it, just like it was to early life on Earth (and still is to some chemosynthesis-based ocean floor life).
I have some more complicated conversions in my head but, for a lot of purposes, a liter is about a quart, a kilometer is about half a mile, and a kilogram is about two pounds. Those suffice for a lot of rough conversions I encounter when traveling. I suppose I could sit down and just memorize some F to C conversions.
Don't bother. Do you want your distant relatives to toil away trying to remember where you fit in the family tree? Life is too short for that. Forgive yourself and move on.

I'm bad at it too and my wife is not, so she can figure out my own family tree better than I can; it makes for good party banter.
Do you want to maintain a state machine for each QUIC-SSH session 1-N pairing? Or worse, M-N pairing?
I hope for the best but plan for the worst. The government has a high bar to meet to earn my trust. Government has lied to me too many times. They need to find some way to prove this app is safe for my freedom. Until then, I will endure the sexual abuse of TSA groping my junk when I got through the airport.
The prizes are really cool. The winner of the sister competition (more finance focused) gets a large 'diamond' encrusted ring.

I encourage anyone who enjoys problem solving and Excel to sign up for the upcoming 2024 competition. Who knows, maybe you'll get flown out to Las Vegas to compete in the finals next year?

https://fmworldcup.com/product-category/battles/
I would suspect that it's because for older devices without hardware crypto processors/certs it's impossible to distinguish between a real device and a Hackintosh (or Beeper client) that's spoofing a serial number. So while validating against a known list makes things harder, it's still not truly "secure" in the sense that older, yet still supported devices (like the 2015 MBP that I had up until about a year ago) aren't able to prove that they're actually the device, since they don't have a way of signing that proof in a way that Apple can verify.
Big different between a single mistake and a mistake made over 50 thousand times in less than a year, by people being told to police themselves by an oversight court who is too busy to do what we pay them for. Snowden exposed many things the most important imo is that we’re being spied on and have been and it doesn’t matter if it’s a “mistake” or not (which is bs), it’s still fucking happening and to think it still isn’t happening is being willfully ignorant. There’s a room in att that mirrors all their traffic for the government for gods sake that’s a thing that exists is that a mistake?
I was about to comment that this reminds me of Aaron Hsu’s Dyalog compiler, but it’s mentioned right there in the README as one of the inspirations.

IMHO, compilers are about an order of magnitude slower than they could be, and this type of tree representation could be one key element for fixing that.

One interesting approach would be to combine egg[1] with this style of vectorised trees for efficient optimisation passes.

[1] https://arxiv.org/pdf/2004.03082.pdf
Depends on the site. Most of the time it's Firefox due to uBlock Origin and other useful extensions, but for certain sites like YouTube, it's Google Chrome. Every other browser I have installed is for testing purposes.
I can recommend the app GrandPerspective to find files like these sitting around.
Apollo 12 source code: original flown printout
>Another approach is to host the keys on a HTTPS endpoint on our official domain name and their servers can fetch it programmatically and rely on TLS to verify that it is indeed our endpoint.

That's only as secure as the weakest CA in their trust store though, right? https://en.wikipedia.org/wiki/Certificate_authority#CA_compr...

IMO the best way is to put your key fingerprint on your business card and all your promotional materials. Then you just have to ensure that an adversary doesn't tamper with those :-)

(Of course, use of additional verification for the sake of redundancy is great too)

Spreading your Signal phone number is another approach. There was a recent HN thread discussing the merits of GPG vs Signal:

https://news.ycombinator.com/item?id=38557888

https://news.ycombinator.com/item?id=38558231

https://news.ycombinator.com/item?id=38555803
Look for where the spokes meet and you'll find the hub.
There are use cases where that doesn’t matter, such as some compilers where it makes a full pass over the source code for every optimisation type.
You can always use rclone which added ProtonDrive support 2 releases back: https://rclone.org/protondrive/

You can also mount it using rclone to present it as an external drive.
I suppose if you took numpy and got rid of the python (so ... "num"?) and built a language around that it would be the same idea.
can affirm that gpgtools + mail.app is close to seamless, once the keys are already exchanged.
ARC can stand for multiple things and is more of a marketing name here, than anything. The relevant garbage collector algorithm is called reference counting - and depending on whether it is single-threaded or have to do it over multiple threads, it can have quite a big overhead. Also, ObjC was also ref counted AFAIK before.
My personal experience is inconsistent with your broad confidence in the justice system's resilience to abuse, and in fact is one of the main reasons why I retired from active practice as a litigator. I've found that concepts like "bullshit" in civil law have many shades of gray, especially when you're dealing with a genuinely angry client seeking justice.

If your experience is closer to the truth, then maybe the tech industry should retain lawyers to redesign our security systems!
Ah yes, the “you’re measuring it wrong” solution of things.

If we don’t look for it then it doesn’t exist.

At least the username checks out.
1) *Silicon-based manual automation (which is mere decades old and has hit a people-shaped wall)

2) You're conflating and categorizing jobs to benefit your argument, not as an accurate reflection of what I presented. Chef work is brutal, too. The main point seems to be that a mechanically unfulfilling job either needs to have fulfilling social contact (functioning as pressure relief, leverage, etc.), or high pay (i.e., an out). Most people would work a (safe) soul-deadening job for a year if they'd get 20 times the median wage out of it.
if this is voice chat, in-band might be good enough. There is no technology (yet?) which can real-time recognize spoken emoji description like "weird cucumber with mouth.. wait I think its an alligator or maybe even a crocodile?" and then retroactively replace it with a different one while keeping the timing correct.
I would turn your logic around and say, everywhere we are able to look, we find evidence that life is more likely than expected. Until the 1990's it was an open question whether any other star had planets; as soon as we got the tools to test that, we found they were ubiquitous. As soon as we got the right instruments to Mars, we found signs of moving water, methane sources, and complex organic molecules in what is basically an Earth-like old lake bed. The moment PCR technology made it possible to do the search, we found a massive 'dark biome' extending many kilometers into the Earth's crust.

When you immediately find strong pieces of circumstantial evidence the moment you acquire the tools to start looking for something, the correct conclusion to draw is not "we have yet to find a shred of evidence", but that further searching is likely to be highly worthwhile.
Cool idea, I've always wondered what it would look like to build a relatively large DB heavy stack where you use only standard SQL. I like the concept of being able to switch out DBs if you want to run it in different contexts (maybe SQL lite for local dev etc) and all your migrations etc would just work out of the box.

But I mean, that would probably be sort of a nightmare to make happen in practise. You'd need everyone that touches the code base to understand and accept that constraint, you'd probably be leaving a bunch of performance on the table without using DB specific features and it would drastically increase the test surface I suppose.

It's just a thought, I've never come across a situation where this would be worth doing over just sticking to a single provider but I'm interested to know if there are.

Also heads up, I tried to use the codapi C# playground and just get a "code execution timeout" every time. :)
The man in the middle would need to spoof the voice (with current microphone+environment etc.) in ~real time, probably both parties as well. And with the awareness to detect which words to replace in the middle of a normal conversation.

With the demos we've seen feels absolutely doable, but for now requires quite some effort.
DeepMind used a large language model to solve an unsolvable math problem
Well, automatic doesn’t add much to the picture, it’s more of a marketing name. But you are right, I used rust’s terminology here.
> It's all the same trade-off as a traditional compiler: you get a lot more throughput than hiring a specialist performance programmer, but the latter will typically outperform, possibly by orders of magnitude.

That throughput is the point though? You cannot have performance specialists on every single ML workload. It's still significantly better than not having these kinds of optimization.
Anything can (and will) be used as an excuse or justification for things like genocide or sexual repression.

Like, I am not trying to defend religion because it holds some special place in my heart, because it doesn’t, i am entirely non-religious. But looking at how Soviet Union did all those terrible things and more, while explicitly cracking down on religion and essentially prohibiting most of it (with a bunch of gulaging and murders, just to speed up the process a bit), I don’t think religion on itself is the problem.

> people still claim religious moral guidelines are somehow useful or good.

I mean, if one cites religion as their source of inspiration and encouragement for doing good things and being kind to other people, who am I to interfere? Sure, we can muse on the fact that good morals and kindness shouldn’t come from a belief in some deity or holy books. Ultimately, as long as someone is doing good things, I don’t really care whether they draw their inspiration to so from a religion or some charitable person in real life or an episode of spongebob squarepants. Whatever is helping them cope with the reality of living in a way that makes lives of those around them better.
For me, N is small. Its also N-ary, not binary, which crosses off a bunch of the first options. Anyway, I am not sure this will work, just worth trying. Empirical numbers beat theory every time :)
What Apple calls "ARC", the rest of the word simply calls "RC". Unlike in Objective-C, the vast majority of RC implementations do not need the developer to modify refcounts by hand. It was already "automatic", so to speak.

Moreover, ARC itself indeed modifies refcounts atomically. If it didn't, you would not be able to reliably determine the liveness of an object shared between threads. Now ask yourself whether atomically updating dozens of integers is faster than flipping a bit across a table of pointers.
Depends on your threat analysis. If you're not considering an active attacker who has an ability to seamlessly fake voice and/or face to be a realistic attack scenario (e.g. you're guarding against mass surveillance, but not a prepared targeted attack - i.e. you don't find it plausible that someone has prepared actors - human or machine - with quality deepfakes made specially for you and your peer) and you know the other party personally, you can verify in-band, relying on natural biometrics aka your knowledge of one's voice and face. If you do - certainly the verification must be done out-of-band.
There is also the “Binary Ostensibly-Implicit Tree”. Like Eytzinger‘s tree/method but without the need to pad memory. Generalises to n-ary trees too.
Again, if you'd been in one of these establishments lately, you would know that all of those tasks are likely done by one person. Including the ones with kiosks (which are often broken or can't take special orders).
Ask HN: Advice for Your Self as a New Engineer
Here's what I, now a Staff Engineer, would tell my self on day one of my first software engineering job:

1. Slow down.
You're building a foundation, focus on learning.

2. Be OK with not knowing.
Nobody has it completely figured out, ask questions, embrace the discomfort.

3. Build relationships.
You're going to see these people again, I promise.

4. Be kind.
When you're kind and helpful to others they will be kind and helpful to you, and you're going to need help from time to time.

5. Take care of yourself.
Life is more than work, take time for the things that need time.

6. Don't put Slack on your phone.

What would you say?
I assume you don't have a family? No healthcare, guns everywhere,mass shooting almost every week and a political divide that's widening every single day. Maybe you can overlook this and wave your hands and take a chance but it's a deal breaker for me
Microsoft is the company trying the hardest to force users to dial back to Microsoft before using their products, as far as I know. Quite a wide base of users detest the process & loath it. It feels incredibly tacky & I would not recommend Apple lower themselves so.

And it's still nowhere near what you are asking for. What exactly is "validating" a serial number? Are you saying users need to present receipt of purchase? Does the store need to provide proof? Maybe Apple validates by getting access to you bank statements? How are these proof of sales tied to individual specific devices?

This feels like clutching for certainty. Maybe Apple can have such a tight & narrow sales model, can get every cell phone company managing their inventory with vastly tighter inventory control (tracking which specific devices are ss) than anyone has ever done before. Maybe Apple can pull it off.

Should they? Do they want to be subject to various governments asking who bought which device? Do they want to spend the time updating & maintaining these listings? Are they ok pissing off devs hackers & other enthusiasts who get steamrolled by these changes? Apple can form & deploy the Imperial Royal Guard over their products if they really wanted to, I have scant doubts, but the costs of forming that chain of control, cost of maintaining that database, and the liability of owning such rich data about their users in the current legal climate all seem like colossal prices to pay.
I don't think anyone can, since you seem to be applying mathematical rigour to a "rule of thumb".

Since "Chesterton's Fence" can not be 100% applicable to every and any situation, you are rejecting it wholesale.