skysight-inc/HackerNews huggingface dataset:
Okay, so we can move beyond CAP. So we don't talk about implementation in either the science-paper or in the intro for it (which is what this thread is about). I mostly write about implementation, Mark mostly writes about the science. So yes, redundancy will only make latency-spikes less likely. Notice however, that the way we establish strong consistency is based on communication also. There's a part in the essay I keep linking where I talk about what happens to nodes with flaky connections, it's called "Stability.

https://medium.com/p/5e397cb12e63#373c

There are three separate mitigation-solutions that go into how total-order strong consistency can keep marching on even if a specific child-group is intermittently isolated.

The first one is redundancy by deterministic replication, so there will always be many replicas which aren't just shards, but full copies of the _consistency ledger_. It's not a database, not a cache, just the thing that establishes the consistency between nodes. These instances all "race each other" to provide the first value of the outputs to other nodes.

The second one is the latency-mitigation we talked about earlier, I don't think we need to waste more breath on that.

The third one is that since the consistency-mechanism requires an explicit association-instruction to interleave the children's versions into its parent's (so that these versions can be exposed to nodes observing it from afar). If the child goes AWOL, it won't be able to associate its versions to its parent, so it won't keep up everyone else either. In this case the total-order won't be affected by the child-group's local-order, which is still allowed to make progress, as long as it's not trying to update any record that is distant to it.
No. Power through 3-4 episodes. It gets much better.
One, this article was published years after Facebook was blocked in China so it can't be the cause of the block. Also, China daily is a propaganda outlet. https://en.m.wikipedia.org/wiki/China_Daily

It's literally run by the "Central Propaganda Department".
Being poor is expensive because you can't hit even modest economies of scale.
Yeah, pretty much. It is called "implied consent".
Do you trust Boeing management or safety right now? Memes about MBAs aside, they're not using AI yet still to most people making bad decisions. Eg this problem already exists. It could be exacerbated by people willing to let ai take the wheel
>> The idea that Americans aren't allowed to view "propaganda" is insane and very against the ideas of free speech.

It's odd that the people who are so adamant that we can't ban 'hate speech' because 'it's a slippery slope' don't seem to care that the government banning us from viewing content is also quite a serious slipper slope.

>> But I come online and there's so much support for banning an app who hires lots of devs in Silicon Valley itself.

It's a net-positive for all the people working at Facebook + Twitter which is where the eyeballs will be diverted to.
Isn’t sitting less healthy than standing? Though, I agree, there should be stools. I see fatigued old timers at the registers who look like they could use a respit.
this looks cool. not to be that guy though, but, why use this over obsidian? obsidian + tana feel like they cover basically all use cases.
They did it to all previous OEMs via forcing them into Joint Ventures. So it would be actually equal treatment for Tesla as the rest of OEMs.
> all 160 million US TikTok users install a PWA of TikTok and everything is fine

I’m not saying the bill is performative. The app-store and hosting ban will be effective. The point is nothing will be censored. Distribution will have been curtailed.
What kind of gun do you carry in your car? Is this the same one you carry on your person?
This shows the real utility of the Groq low latency inference. That delay in responding makes it much less impressive (it’s still really impressive obviously!)
There's a lot of jerk drivers who go way too fast and drive very dangerously. They should have to pay significantly more for it. For people that drive correctly, they should be charged less as well. I don't see why this is an issue.
Walmart Bought a Finance App and Reduced Fraud Protections
I will never forget being at TI7 where OpenAI revealed an AI that could take on pro Dota players. Dota is an insanely complicated and difficult game. This was an eye opening moment for me that led to a career shift.

https://en.wikipedia.org/wiki/OpenAI_Five
>Wow. That's a new low standard for journalism.

What are your expectations of clearly an editorialized news callout on TechDirt? Seeing someone else whinging off to complaining about CNN or something....this is bizarre.

No, TechDirt didn't hit a "new low standard", and the hyperbole is ridiculous and bizarrely opinionated.
This level of censorship isn't good, it's very bad. It's also concerning the speed at which the government mobilized to do this. It's a rapid crackdown on free speech and individual freedom.
It doesn't really work in China though. It seems to because so much of the population is along the coast and roughly aligned with the enforced time but you see people deviating from the official time in the West where the desync becomes obnoxious.
this is the best reason to eliminate them - their crazy borders (esp in Pacific Ocean) betray that they're totally artificial and not actually necessary.
https://ghostarchive.org/archive/rql2x
I'm not sure what is the argument here. That car crashes meaningfully rise when people drive in the dark? That's possible, but car crashes and other fatalities increase after the time shift in both directions. The problem is the confusion and the disruption in sleep patterns, not the light levels.
It was back when I lived in San Jose, during the 1980's. It was in the paper. They had a contest every year, with amateurs trying to beat the weatherman.
> Wow. That's a new low standard for journalism. Whatever happened to keeping opinions and news separate?

I mean, it's Techdirt.com. Nowhere do they claim to be doing journalism, it's just a "tech blog".

This is how they describe themselves, and how other sources describe them too.
I would have thought a certain portion of the population becoming poor enough to want to shop at a cheaper store for lower quality products is what causes a store selling at higher quality products at higher prices to go out of business.

Edit to reply to post below due to posting limit:

The people choosing to shop at the cheaper store are also benefiting, otherwise, they would not have switched from shopping at the higher priced store.
i like the idea of trigger it by hand.
I assume that person is talking about blood tests for suspected DUI's.

>"All U.S. states have driver licensing laws which state that a licensed driver has given their implied consent to a certified breathalyzer or by a blood sample by their choice, or similar manner of determining blood alcohol concentration." -https://en.wikipedia.org/wiki/Implied_consent
> Why can't that be the responsiblity of the states?

Why not the other way around? Abolish states. This is one country.

Considering I can drive from San Francisco to New York without passport checks, I shouldn't have to pay different taxes depending on where along that route I decide to set up a home.
> The whole point of an insurance business is to insure against unknown and unlikely risks.

Unknown to whom? To you, the insured? Or to them? Business thrives on customers with incomplete information.
This is a very nice summary of what I was feeling but couldn't find words for. Those advocating for abolishing timezones are merely shifting one problem to another, without any obvious advantages which can overcome the obvious disadvantages.
Given the sensors in modern cars, would it be possible to detect submersion and roll down windows automatically?
hm. So a rechargeable angle grinder in the glove compartment?

The woman who died in the Tesla must have had a horrific death, that shit is utterly terrifying.
I just use the preview side-by-side with my document
Always favor parallelism over concurrency, if your design need to lock, there is likely a problem.

Don’t try to do the work in a magical fashion, that is hidden in the low level code and trying to be universal.
If you agree to the data being shared when signing up for insurance it wouldn’t be a violation.
No, by definition, a partition event is one in which some amount of the nodes are entirely non accessible by any other node in the cluster.

Even if there were two different US nodes, and only one node lost connectivity to the others, the problem wouldn't change at all - the branch which only has access to the disconnected node would still either send shipments to the wrong address or stop being able to read the status at all.
You want me to install this app that took this dudes keys? No way lmao.
I’m dying to find out the circumstances that found you shooting out of a car
Ummm...

The positive pressure keeps airborne contaminants away from the wearer. The germs off of the researcher in the lab as it were. I'm not sure how it would prevent contamination from getting on people outside the suit?
Nothing in the WeWork business model is inherently capital intensive. Fundamentally they just take out long-term office leases at low rates, then sublease the space to short-term tenants at higher rates. They don't really own major assets and have no significant IP.
Another – presumably coincidental – issue with images [1] and [2] is that there is a person missing. I assume that’s not related to skin colour, but to me it adds to the slightly irritating effect of how the resulting images may be disconnected from human reality in ways that would commonly be understood as disrespectful. (Not to speak of the “usual” AI problems, such as additional fingers, stray body parts, etc.)

[1]: https://portraitart.app/static/gallery/group1_original_1024....

[2]: https://portraitart.app/static/gallery/group1_coloring_page_...
Ridiculous comparison when we're literally talking about trade with that country. Reciprocal free trade is the principle.
Is "unethical" really the correct word here?
> Is there a set list of countries

Yes [1].

[1] https://www.ecfr.gov/current/title-15/subtitle-A/part-7/subp...
Cerebras WSE-3: Third Generation Superchip for AI
Every Dollar Tree and Family Dollar that I've been in (and this applies to Dollar General as well, here in the southern US) has had 1, maybe 2, employees working and aisles filled with boxes waiting to be unloaded. A couple employees can't contain any sort of theft, much less help customers and unload all the stuff to put on shelves.

Little reason to be shocked on why their business model isn't working...
True, but I think most consumers aren't obviously "dumb". Most people past 3rd grade can tell that $4 for 1 gallon is cheaper than $2 for 1 quart. It gets trickier when it's not a direct comparison though... would you rather drive 20 min farther to save the $4? Probably not just for that one item, but if you are buying a large amount then the answer changes.

We don't necessarily do a cost/benefit analysis of all these options, which is why we can have irrational preferences, but that doesn't mean we don't think about it at all. Irrational just means it's not optimal, it doesn't mean it's the actual worst choice.
A computer science curriculum could include feedback control systems and state machines. Not just in a "languages and compiler" context, but considering mutations on state and the idea of "control state," especially now that we have distributed, streaming events and many ways to get timing wrong.

Maybe the tooling could be better. Syntax errors are obvious, but coding a state machine there is not much to warn about error states or inconsistencies except stack overflow or stepping through with a debugger.

There's also formally validating the model. It would have been neat to have a semester of TLA+ or similar tools.
That's why I buy my liquor at the gas station, on the same tx as the gas.
Can you do that now? I have friends in other countries and I don't know what time zone they're in off the top of my head.
Software on gas pump with "demo mode" enabled allowed "free" gas for 5 months
This one:

> I’d rather be right than consistent. Particularly when it comes to the survival and wellbeing of our people

Turkey's constitution also guarantees free speech etc. However, there are also laws that say you cannot insult people's religious sensibilities or serve sexually explicit content. The motivation for these laws is that this type of content degrades the moral fabric of society.

Politicians whipped up moral panics and judges (who were in many cases appointed by those very same politicians) issued rulings requiring these platforms to remove the offending content. The platforms refused, and were banned. When people argued the bans were against constitutional freedoms, the counter-arguments were always some flavor of "it's more important to prevent the moral degeneration of the country".
Obsidian is vault-centric and has some harsh limitations in what workflows it allows because of this. It doesn't matter whether vaults are folders, because there is more to this than just the folder. This is really annoying, because Obsidian is a one of the best markdown-editors at the moment, with a good plugin-community, unlike others.
Show HN: Serverless, E2E authenticated/encrypted, direct P2P with IPv6, chat
Autocomplete is right on the verge of being a net drain on my productivity and I've turned it off out of pique more than once. It will "randomly"† replace words, and the box obscures text, which greatly pisses me off if I happen to be reading that text.

[†]: Obviously this isn't actually random, it's just hitting a key which tab-completes when I don't expect it to. But it feels random and takes me out of flow.

Syntax highlighting, on the other hand, I was memed into trying to code without it, and I hated it. I suspect, like many things, there are a minority of neurotypes for whom turning it off is better, and a majority who prefer it for good reason.
You can get home tests that are similar to PCR. They are more expensive but the performance of the antigen tests since about 2022 is so bad that they’re almost useless.
Postman has become bloated as well. Takes a lot longer to open up these days. Even on a new machine.
Looks interesting. I don't love the title, subtitle business. I assume it will add yaml content to the top of the post. I'd like to hide that as I don't add yaml to my markdown files.

There may be a config option for this but I didn't keep it installed long enough to find out.
> censorship

Nothing is being censored. If ByteDance refuses to sell, TikTok will be removed from App Stores and have to find new web hosting. TikTok.com will still resolve fine.
I would not put Häagen-Dazs in the category "good" necessarily. They also do crap.
Ah that's too bad. I should have done more homework. Thank you for the updated information.
I don’t think you’ll find many people on HN that are too concerned. On the other hand, I truly pity aspiring devs in school now. The drawbridges on the profession seem like they are getting raised and I don’t know how an intern or junior can add enough value to cut their teeth in the face of things like Devin.
How to Migrate an iOS App to Bazel
You say this as if it is established fact, but there has been no RCT convincingly showing the effect you are describing - typically called "source control" - can be achieved from the use of a respirator to interdict individual transmission. In fact, no RCT powered for such a finding has even been attempted to my knowledge (though I haven't combed through the research in the past couple months or so - link me if I'm out of date!).

It has also not been demonstrated that source control can be used to reduce community transmission (though I realize that your point is not about community transmission).

The reasons for not funding / performing such a RCT continue to astound - the demagoguery of comparing masks to parachutes notwithstanding.
I'm sympathetic to this view, but ultimately I think it's likely they are providing some benefit (even if their practices aren't 100% ethical) or else consumers wouldn't prefer them so much. I don't like to assume that a huge % of the population is too stupid to make basic choices.
Crack as in shatter? Possibly but I bet this would never be implemented because nobody wants the recall when suddenly every the car wash makes all of your expensive glass explode.
So it is better than ad blocker because that tracking blocker includes ad blocker. Ads are not shown. I don't see any ads while I use Firefox.
Is there any evidence for or against this? Or is it just vibes?
> (can still connect if strong signal)

Wonder if that would still work if you additionally shunted the antenna with some kind of impedance matched load.
So maybe we should start with building a "pinball wizard". A "deaf, dumb, blind" system that plays by sense of touch - or in this case some accelerometers and pressure transducers? radically reduced bandwidth inputs...
This article takes far too long to get to the main objection against using a global time: for a large part of the world population it will break up the local day and spread daily activities across two days. That's a far bigger inconvenience than some extra workload for programmers and people who need to schedule cross timezone activities.
EVs tend to be heavier, but your numbers seem high.

A Corolla sedan is +30% weight over a model 3.

https://www.carsized.com/en/cars/compare/toyota-corolla-2018...
The problem with abolishing DST is you have to decide if you want to have year-round summer time or year-round winter time. Many people say they want year-round summer time, but the last time the US attempted it, support for it plummeted after just one winter on summer time and DST was restored. (FWIW, scientists are almost universally in agreement that year-round winter time is the best compromise, but it's by far the least popular option.)
There've been so many issues it's definitely getting confusing, but the thing blocking the MAX10 certification is a problem with the engine anti-ice system.

You're correct that this problem exists on all MAX variants, but those other variants are already certified (the issue was discovered post certification), and it's deemed to be not severe enough / with a good enough mitigation that they are allowing Boeing some time to come up with a fix for the already-certified design, and continue producing it. The expectation is that once Boeing has a proper fix and retrofit plan, it will be required by an AD on all aircraft. However it's unlikely the FAA will certify the new MAX10 variant with this known issue, and so far Boeing doesn't have a fix.
You can like ask people in the street? Oracle runs TikTok anyway in the US, right?

The danger with TikTok is inherent to all these algorithmic feeds. It is like, bad for you. People get mentally ill from them.
Aluminum foil at the dollar store is about half the price of the supermarket, but you get about a tenth as much.

It's fine if you truly know you'll never need more, but it's not like aluminum foil ever goes bad. Most of the time you're better off spending the extra dollar for 10x as much.
I'd wager that most Americans want fairness in relationships with other countries. And also want the government to protect them against hostile foreign governments that wish to do them harm.

Americans subject themselves to all kinds of restrictions in terms of what can be imported into the US. There's no contradiction of the freedoms protected by US Constitution in this.

There's certainly no information that Americans need deny themselves by insisting that apps like TikTok are not controlled by hostile foreign governments.
I fully expect the faang salaries to stagnate until they are back in line with most other companies.
Yesterday American Airlines placed a new order for 85 MAX10s and converted a previous order of 30 MAX8s to the MAX10.
I mean, Tesla has their own insurance product that they claim is better and cheaper than alternatives because of the data they track. People cheered for this.

Personally, I"m not opposed to dangerous drivers paying higher rates, but the devil is in the details.
Spondoolies is a slang word for money: https://www.etymonline.com/word/spondulicks . I'd be surprised if there's any more to it than that, but according to the Wikipedia article, the shells were used as currency, so at least it's plausible as an etymology.
It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. It feels like it overcomplicates and goes a long distance to achieve the same effect as an affine type system. It makes reading and writing and conceptualizing about the code that much more annoying. I don't want to be forced into thinking about imperative code in terms of objects and ownerships, that's way too opinionated for my tastes.

I find it much comparable to how modern C++ template metaprogramming goes to great lengths to achieve the same capability as a dependent type system, but again it's somehow even more annoying and grating to read and write than the most proof-laden example of something like Idris.

I don't want to use a language that feels like an amateurish hackjob. Just give me something approximate to ocaml syntax with low level memory control and an affine type system. Please. That's what I want Rust to be. Not a frankenstein's monster that seems in direct competition with C++ to be the most needlessly complicated and ugly language possible.
It's the long con!
C++ meets TypeScript: bidirectional type interoperability in the Cheerp compiler
Is there a setting for this in the ChatGPT app? I have never once noticed it produce an "uh" or repeated syllable like "I... I think I did pretty well."
There are only a few thousand concepts worthy of thought, but there are way more potential pixels even in the current room that I am in.
When you say, "so bad", you mean in terms of sensitivity? They seem to be sufficiently selective, but under-sensitive. So, not great for risk aversion.
Rupert Murdoch had to become US citizen to start a US TV network.
It looks like the best method only found 11. It looks like 17 is the total amount of cameras they found using all methods. Pretty crap really. The advanced lens detector was the most effective and only found a third of them.

The only method I can think of that might work is one of those media sniffing dogs the cops have, which is super impractical obviously.
My interest is piqued, it could be a killer tool... but I'm still not sure what the status of this project is, even after spending 15 minutes perusing documentation etc. Can I really use it in anger? Is there a tutorial that explains how the current (not 'classic') stuff works? Is there an example of a non-trivial web-app built in Darklang in the real-world, ideally with source available? Or is it all too early-days for that stuff?
Some years to catch: https://www.airbus.com/en/innovation/low-carbon-aviation/hyb...
Timezones make reasoning about time harder, not easier

Source: every discussion I've ever had about how to deal with storing dates in databases, date comparisons, etc
For whoever uses PostgreSQL and needs to see this:

1. Please, please use native datetime objects instead of integers. A bigint (needed to represent datetimes past 2038) is 8 bytes, same as `timestamp`.

2. Please, please store explicit timezone values. Even if they're all UTC and it "feels redundant". `timestamptz` and `timestamp` are both 8 bytes in Postgres.

If you can't articulate the 10x advantage an integer gives you for your particular app (they are vanishingly few in 2024), please, please use `timestamptz`.

thank you <3
[ss]: This is a simple POC where the sum of all parts is greater than any of the individual parts. It simply takes IPv6 which already exists and is the better way to do device to device communication (or peer to peer) and utilizes it in conjunction with an identity blockchain allowing for serverless (masterless) communication between two parties.