skysight-inc/HackerNews huggingface dataset:
I have not read the full description of this project yet, but it does mention the use or raft for consensus, so in your example, I would expect Charlie to not be able to add any records while being disconnected, because, if my understanding is correct:
- Charlie would either be the leader, but then without getting confirmation of writes from enough followers, he would not be able to do any writes himself, or
- Charlie would be a follower, and while disconnected would obviously get no writes from the leader.
The visual is indeed cool. I also thought it'd be nice to use a chat like interface to learn raft.

Alice: /set a 1
Alice: /set b 2
Bob: /status

Etc

https://github.com/adsharma/zre_raft
https://github.com/adsharma/raft

Bug reports welcome
As someone who has used OSS Elasticsearch, the Amazon managed offering, and the licensed and supported product, I don’t think that’s true.

Amazon has a small team for developing their version and at the end of the day, it has to fit into the operating constraints that they have. There are plenty of huge gaps in managed ES that the vendor can (and does) exploit.
> Elastic backstabbed the community

I seem to recall something like this. I also recall working with ES and having a negative impression on it based on some technical detail - but I can't recall what that was :-/
An Australia with No Google? The Bitter Fight Behind a Drastic Threat
Black Mirror did an episode on how this kind of AI would affect grief as well[0]

[0] https://en.wikipedia.org/wiki/Be_Right_Back
In California they are legally required to tell you the range if you ask.
This uses Raft, so a quorum of devices would need to be online at the same time. That's not what you want for browser sync.
What we know about the Apple car
Today customization is effectively a big hassle for everyone involved. We no longer have "PCs" in the workplace, just "assets". User customization becomes a security threat on top of a broken feature. The popular "app" that gets your daily cat wallpaper should be rejected by your security team. The OS "theme" that enables dark mode will effectively break some legacy UI you need to do your job.
Love it too! Super sweet + short cool sounding domains FTW! I've also recently was able to nab apps.cafe - just need to do something with it :)
This hurts. You Remember getright aeons ago and I still remember JetCar ( the products name before that)
All About Identity Providers: The ABCs of IDPs
Are We Any Nearer to Realizing Self-Driving Vehicles?
Okay, I changed my mind, on second read I can tell that he's being ironic. Wow. That is pretty top notch.
What’s 1099?
> Themeability doesn't rule out consistency. As long as all UIs use the system theme, they look consistent, no matter what that theme is.

Agreed. That's why the GUI toolkit must provide as exhaustive as possible a set of widgets, and those widgets must be versatile; so that applications developers can build basically everything from those widgets and not feel the need to build their own from a raw canvas or something like that.
That's just the chip, not the board.
Epost Serverless Email System
This was true in the 90s as well, or have you never used Kai's Power Tools?

What's more recent is that the OS vendor now considers UI font and color choices part of their brand, and thus fixed them immutably for "consistency" i.e., to advertise the Apple-ness of the Apple UI even in screen shots of the OS in action.
What Internet Censorship Looks Like – In East Africa
Here's one way to look at it:

AWS has a lot of closed source components behind the scene that makes Elasticsearch scale and run reliably in their cloud environment.

Elastic can develop similar closed source components to make things scale – in non-aws environments – in private clouds – in on-prem deployments.

Why does this matter?

There are a lot of those customers – banks etc – who will stay on-prem and medium size cloud customer for whom public cloud is more expensive than private cloud. These are the ideal customers for Elastic.

Among them, there will also be some who will do hybrid – onprem + AWS. Elastic can price their product to compete with AWS's and use their service in both on-prem and in aws seamlessly.
You can use nonstandard controls and still allow people to customise colours. There are APIs (GetSysColor for instance) which’ll let you query and honour user settings, assuming you care to and don’t put your branding / Look & Feel preferences ahead of the user’s.
Wondering how much SpaceX's satellite internet has to do with their decision to shut down Loon.
I suspect public awareness of a few disgraceful mistakes (that have no doubt happened given the scale) would cause political pressure to potentially reform the laws that allowed this accountability lacking power structure to exist in the first place.
I think that's called slavery. I'm not talking about having rules. I'm talking about forcing them to work and continue to provide services when they don't want to.
Probably worth mentioning that Canonical initially made dqlite to be the backing store for LXD. It uses the sqlite VFS as the client entry point, so it's a very easy transition for an existing sqlite app, just recompile with the new header.
Yes, monotonic counters, are ULID's "billion dollar mistake".

They're not an edge case, in that the standard displays them quite prominently.
They're actually the only code examples given.

The standard should deprecate them, because people WILL use them "wrong".
It might be too late, I am not sure really. If the customer wants the service provided by AWS then it is hard to change that. That said, the AWS Elasticsearch service is not that great and it is expensive so there is room to do it better and maybe just offer better support and plugins etc.

I realize that the cloud took off after Elasticsearch existed, so it is hard to fault Elastic for not having a crystal ball, but the time to get the business model right was at the beginning.

When my company chose an Apache License for the product we sponsored it was because we knew we could not do it all ourselves and so we wanted to build and foster a community. So while that means competitors could and did emerge that could take the product and do a better job monetizing, that was the only way for us to get the product we needed. The community was important.

Elasticsearch would be an also-ran without the Apache License and the community around it. Changing the license now because AWS is able to monetize just stinks, IMO.
Happy to collab on something like this! Can reach/DM @demisbellot on twitter.
Bummed about new Google Photos storage limits? Amazon Photos says “hi”
I'm curious how this relates to the Calvin protocol as implemented by FaunaDB. They both use Raft, but FaunaDB and Calvin have additional details about how transactions are retried and aborted. https://fauna.com/blog/consistency-without-clocks-faunadb-tr...
Here’s a list of password managers:

https://en.wikipedia.org/wiki/List_of_password_managers

It has a column for Secure Sharing, but not one to show granularity.

Ones that make organization easy seem to choose to offer persistent sharing at the vault level (multiple vaults shared to nobody or to different sets of people), easy ways to move items between vaults, and flagging if you have multiple or OOS copies of items.

Careful, most seem to offer per-item share-as-a-copy that the recipient should store, which I wouldn’t consider as counting as the kind of sharing needed for this thread.
The way I see it: advertising as a business model => want for better ads; targeted ads are more effective than untargeted ads, therefore the business model drives increased privacy violations.

I agree that in terms of privacy alone, an intervention point could be to get rid of third-party ad targeting. But advertising itself - not just targeted one - causes so many pathologies on the web that I'm in favor of focusing on the common cause.
I should have said gravity combined with low speed.

Or, I suppose more simply, "weather".
I’m curious - have you experimented with the range of accessibility options in Mac OS?

Are there particular ones that are missing when it comes to dyslexia?
> For people of that caliber, living in pre-modern societies must have been the equivalent to torture.

Why? Vitruvius, Thales, Eratosthenes, Archimedes,Euclid all lived in "pre-modern" societies and I dont think they considered their lives "torture".
What if you keep a digital backup in your car? The mobility of your car should spread the risk. If your house burns down during work hours your data will be safe.
The weird thing was that the people I'd helped with nothing in it for me ended up being the best place to start. It was often friends at startups who need a website building, or some friendly advice.

That's not super helpful if you've not already done that:

* Real life groups were pretty helpful. You can't go to these aiming to sell, but if you go aiming to learn and genuinely just get advice, they work well.
* LinkedIn was pretty good, looking for people that I knew through others and asking them really nicely if I could talk about something we wanted to build. When we had better ideas that solved pain points they had, that were more unique, the response rate was much higher. This doesn't work well for "recruiter-saturated" user profiles like developers, who just ignore a lot of what goes on there.

The MVPs weren't that bad - they'd work smoothly on the things that were new and special BUT they often totally lacked core functionality. We built with django so we could use django admin to do things like add users/change passwords.
> a good start would be to somehow re-install creative technical people in the top-end leadership roles.

Hell no. In aeronautics, you want safety-conscious, technically conservative, quality paranoid engineers. You need that because you don't want to retrain pilots on the last release every Patch Tuesday. A lot of the design that goes into the cockpit is to minimize training costs and that is a major procurement driver (remember the 737 MAX?)
Agreed, simpler is better, especially since OP is coming at this from the perspective that software is a means to end. Few things are more discouraging than realizing you're in way over your head in Linux land and have no idea what's going on, then not having the time to figure it out to boot (as OP suggests they don't).
There was a free/shareware app for Apple's OS 6/7/8 called Kaleidoscope. It was a resource editor that would let you change pretty much any aspect of the desktop interface. Apple folks definitely had customization before OSX, but not sure if OSX killed that entirely or not.
>Java or C# (if the non-blocking, concurrency and GC are good enough from M$, I wouldn't bet on it).

I have a hard time seeing how these two languages could possibly be considered best-in-class for concurrency, or their memory models. Loads of concurrent code as been written in these languages despite their concurrency and (shared!) memory models, not thanks to it. Imperative, shared-memory concurrency is the hardest way to do concurrency. In that respect, Go at least provides some syntactic sugar to encourage good practices. Either we're talking past each other or one of us is missing something.

>Coding without types is not productive if you want to do meaningful work.

That's questionable. And not just because it's hand-wavy (what does "meaningful work" even mean, here?). It's trivial to come up with counter-examples to even the most charitable interpretation of "types are required for meaningful work". If your statement were true, Rails, Django, Clojure, JavaScript and hell, even PHP wouldn't be such raging industrial successes.

>Clojure does not exist without the Java VM.

That's false. It's a hosted language, yes, but it's specifically designed not to be JVM-dependent (see, for example: ClojureScript).

Are you expressing thoughts or sentiments, here?
… And now I realise why people don't like SlateStarCodex. (I still like it.)

I'm no historian, but the stuff he wrote about Catholicism doesn't actually seem right. Argued better than I can in [0].

And some of the comments are not just atrocious, but are not argued against[1]:

> I think there are commonly-known models in all four quadrants. For example:

> a. Widely accepted and good fit for reality:
(Law of supply and demand)

• “Supply and demand” is a good first-order model for certain market dynamics, but it only explains… at a guess, ⅓ of the economics I personally interact with.

> b. Socially unacceptable and good fit for reality:
(IQ tests as a good proxy for mental ability)

• IQ tests are a reasonable proxy for certain, specific axes of mental ability within a subpopulation; the general “IQ tests are a good proxy for mental ability” claim is blatantly absurd.

> c. Widely accepted and bad fit for reality:
(Sexism as main cause of gender wage gap)

• “Sexism is not the main cause of the gender wage gap”… I'm less certain that this is wrong, but I have actually done quite a bit of research on it (including reading what Scott Alexander wrote on the topic!) and this is splitting hairs, to be charitable; I think labelling it “rhetoric” is more accurate. No, several of the systemic injustices aren't due to individual people going “aha! I know what I'm going to do today: not pay my female underlings!”, you're right! But everybody already knows this,[2] and that's not what they mean when they say it's due to sexism. Things like a culture of “you only get a raise if you push for it” (not sure how widespread this is) can contribute to this, and that is, when considered in combination with the rest of everything (e.g. men may be “forthright” and “assertive”, but women are “bossy”), a sexist aspect of the culture.

> d. Socially unacceptable and bad fit for reality
(Vaccines cause autism)

(The rest of the comment is mostly okay, apart from those three examples above; I'm cherry-picking to make a point, but I think the point's valid.)

These are just trotted out as “obvious if you're one of us”, when they're probably not even correct. You don't go into a room where people say sensible things and think that your association with those people somehow makes what you say sensible, and you certainly don't sit in the audience of an entry-level lecture and assume that your fellow audience-members are all experts in the field, so why assume that you should take as blind truth things you read in the comments of a blog‽

Also, I'm not certain I agree with the message Scott's trying to convey. This uncertainty correlates with my uncertainty about the historical accuracy of his examples: when he has a point he wants to make and finds some evidence after the fact, it's generally obvious that he's doing so (probably because that skill doesn't get much use).

[0]:https://slatestarcodex.com/2017/10/23/kolmogorov-complicity-...

[1]: https://slatestarcodex.com/2017/10/23/kolmogorov-complicity-...

[2]: https://blog.jaibot.com/
If Amazon is ruining it by not acting in opposition to its market incentives, then the business plan doesn't work.
I like Rust – and why it's annoying
And another one, in Rust: https://github.com/glotcode/docker-run
To reinforce your point, there is a perceptible difference in the efficiency and quality of various state bureaucracies. It’s noticeable even in such mundane tasks as going to the DMV.

Getting my drivers license in CA was a massive pain; multiple people refused to recognize my marriage certificate as a proof of name change (I’m male, my wife had no issues), requiring multiple trips with the same paperwork to convince them that I was who I said I was. Even with an appointment I would wait half an hour, and it took three tries until I charmed someone enough to approve my paperwork.

Idaho on the other hand I was at the counter within 30s and done within 10 minutes. They were incredibly organized and clear about what they expected and when.
There is also less concern about training costs.
I think that if you had a top-to-bottom approach to a Linux distro designed entirely for latency of user interaction, you'd get something that would keep up with you.

I keep meaning to try out WindowMaker again as my Fedora window manager. I feel like it would be incredibly speedy on today's hardware.
Shameless plug: I started documenting and collecting screenshots and screencasts recordings of old software at UI museum[1]. There is a great intro tutorial from Windows 3.11[2] and extensive collection of screenshots as well.

The level of consistency and overall caring is very high by today’s standards. The tutorial explains core GUI concepts like mouse movements and windows. This is something I’d gladly show to my parents, for example.

1. https://ui.codexpanse.com/
2. https://ui.codexpanse.com/windows-311-intro-tutorial-video.h...
Making Impossible Builds Impossible
Ask HN: What is it like to work at Spotify?
That's a good thing though. More processors/hardware means more competition and it spurs innovation as opposed to one state committing espionage to get another state's industrial R&D! It leads both to being more independent in case of a war between them which is almost inevitable at this point (probably a proxy war)
Author here. I'm one of the few tech journalists that gets interview opportunities with Intel and AMD CEOs. I did both a couple of weeks back for CES. Been covering both (and others) for over a decade. I hold no stock positions. I'm also easily searchable online.
All electric motors boil down to magnets pulling and pushing on each other to make movement. Whether the torque protection is via software, circuitry, or mechanical wizardry doesn't really matter. They all need it somewhere to prevent static magnetic forces from pulling everything else apart.
Hackaday has good reviews of similar small microcontroller boards.

- STM32 "Blue Pill": cheap, uses common STM32 ARM parts, but generally available on places like ebay/alibaba

- ESP32: has wifi and bluetooth, less good documentation but great performance/$

- Raspberry Pico!
>you're almost certainly better off using the consensus interface; and if it has problems, contributing the fixes for those problems back to everyone

This is usually impossible, because UI designers' goals are not your goals. Designers optimize for distinctiveness ("branding") and good first impressions from inexperienced users. This results in anti-features like low contrast text, excessive whitespace, and mandatory animations. There's no point complaining because it's working as intended. The only option is to switch to one of the few remaining systems that still respects the users.
You have a choice to put poison in your toaster and kill yourself, just like you have the choice to not read hate-speech if you don't want to.

If you don't think you, as an adult, are capable of seeing hate-speech without disregarding it, then you should use a child-friendly platform.
I have been playing with Linux desktops recently after only using it as a server or embedded OS for years.

It seems a lot harder to make serious changes than it used to be because of the rise of desktop environments.
I haven't benchmarked them, but the ESP32-C3 only has a single core, right? I also assume the wifi and bluetooth functionality will increase current use.
Well sharding would mean that any outages affect only a small percentage of their users.
There are a lot of things developers were doing in the 80s and 90s that developers of today will insist simply can’t be done.
Actually, the most popular ESP32 (DevkitC) board can be had for $4 or so: https://aliexpress.com/item/4001076883280.html
Yeah, my father-in-law drives an automated manual car which doesn't do this automatically. It's actually a strange car to drive because of that, it also changes at a snails pace so you have to drive pretty leasurely.

Our car which is the Ford Power shift dual clutch system which changes pretty much seamlessly and does creep on its own.
They said most hit ufos. Adding more containers to the sea is definitely not going to help with this problem. Since they still hit things, the infrared magic cameras don't seem to work that well.
Relays were invented in the 1830s. Why were tubes used instead of relays? Do they switch faster?
Point taken. Quite true.
So if it is their internal market, because of how big they are, there is nothing that you can do unfortunately. Only impose further sanctions that will eventually escalate to a war. In that sense China won, because no country can afford to stand up against them in a meaningful way.
Additionally, vendors just want to ship software. I guess that's their version of getting shit done. For better or worse, functionality sells most software. The stock UI is an afterthought, let alone possible customizations to it. Spending time on features that at best don't sell, and, at worst, can introduce bugs, is a non-starter for most shops.

Maybe Microsoft/Apple are big enough that they can (and should) handle it, but I wouldn't generally expect this type of gold plating.
She doesn’t say why we should extrapolate her data and generalize it for the Bay Area in general.

I’m not knocking her data. I believe her data, I’m just not sure it’s representative other than a general trend.
The ePOST project is no longer under active development

Will this become popular if there is nobody supporting it? A minor suggestion, consider putting the code repo on github and see if people fork it.
This may be true - but while at the SEC I used Palantir extensively on finance people (usually WASPS in the upper echelons). Was it used in a different way? Yes, likely. But still - it isn't limited to policing and war.
More info and related products: https://www.raspberrypi.org/blog/raspberry-pi-silicon-pico-n...
Older EV conversions often kept the stick shift, but you had to know what you were doing while driving (foot off the accelerator in neutral!)

A few years ago I read _Life with an Electric Car_ by Noel Perrin, which is a fascinating look into the re-emergence of EVs and the limitations of early 90s battery technology. His car was a ~1990 Ford Escort which had been converted to battery power by a company in California, and his goal was to pick it up at the factory and drive it home to Vermont.

I'm still not completely ready for an all-electric future, but the book did make me appreciate how far energy storage has progressed in the last 30 years.
I spent years making litestep themes and moderating theme submission on litestep.net I still have a mirror up of the old owns.com minimalism site as well.

http://dave.oc7.org/minimalism/themes.shtml

Some folks still run litestep, but it's definitely not the community it was. We still have a small chat presence on discord and that is about it.
CBMC: A Bounded Model Checker for C and C++
> My colleagues don't like becuase it's so different to what they are used

Is it worth being faster if it makes everyone else slower?
"but my guess is that this is designed mostly for the beginner/educational set, where everything can be nicely standardized and not the Cambrian Explosion of the *duino boards"

That was my take on it. I first saw it and thought of my adurino nanos. Then reading the specs, I wondered why not use an ESP32 with wireless etc. I think they are only $3 more. Standardization was all I was left with.
Does anyone know if you can keep the GPIO "programmable logic" part powered on while putting the cores in low power mode? That could make for some interesting applications.
Maybe this article about a similar marketplace might help:

https://activechat.ai/blog/how-to-survive-a-510000-launch-on...

and I found a few more with a quick search engine walkabout.
I like to play a game called "A current Raspberry Pi (or mobile phone) is equivalent to what year's global computing power?"

Also "fun" is "The solid state storage I can buy for $100 is equivalent to all the world's computing storage in what year?"

I'm super fun at parties!
It's not particularly a departure from the traditional method where, under the fog of war, individual soldiers decide whether to shoot or not.

(Not a defense of killing people based on slide decks, more of a comment on the historical consequences of war and military occupations)