skysight-inc/HackerNews huggingface dataset:
I would say that the majority of leader-based state machine replication protocols today are based on the more popular RAFT, which is itself a derivative of Viewstamped Replication.

At least most leader-based consensus implementations that I know of seem to be derived from RAFT these days? I would also guess that leaderless distributed protocols derived from Paxos tend to be more niche than leader-based state machine replication?

While Viewstamped Replication as contributed by Brian M. Oki certainly established all the foundational elements of consensus that Paxos would later reiterate and generalize, Viewstamped Replication also immediately showed how to use consensus to do leader-based state machine replication, and to do this simply and practically, as seen in RAFT's massive success in industry.

> What do you mean by "misdirect" here?

A misdirected read/write I/O. This is a rare kind of storage fault in the literature where the disk device redirects the I/O to a different sector. It's rare, but it happens.

> I also happen to think Paxos is pretty easy to implement correctly

What was especially interesting about the PAR paper from UW-Madison was how even fairly common single disk sector faults such as latent sector errors or corruption could cause global cluster data loss for implementations based on Paxos and RAFT as specified, where they depend on pristine fault-free stable storage for correctness. The PAR paper further motivated why simple checksums are not enough and why local storage and global protocol need to be aware of each other if cluster availability is to be maximized.

Implementing Paxos correctly in the presence of a realistic storage fault model is certainly non-trivial.

I believe Viewstamped Replication (VSR), and in particular the 2012 revision by Liskov and Cowling, is a much better place to start when implementing a state machine replication protocol, since it places absolutely no demands on the disk for correctness of the protocol.

In fact, this was the key reason we picked VSR for TigerBeetle, it's not only elegant, but it's one of the very few protocols that actually make sense in a production context where a realistic storage fault model is at play. For example, the VSR view change is entirely correct without any reliance on disk, whereas most other protocols would need significant deviations (and proofs) to make the same guarantee.
What advantage would there be in making ferries in Norway autonomous?

I think that even the ferry where I live (shortest scheduled crossing in Europe I think, less than ten minutes) would still need someone onboard to deal with the customers and handle emergencies. So you might reduce the crew from three to one during normal operation but when something goes wrong those other two will be needed again.
Spotify overtakes Apple as top United States podcast platform
Thank you for correcting me; I was taught this stuff 40 years ago, and memory is unreliable.

I didn't know that actual French people had to google to find the right terminology for a formal sign-off; that just adds to the hilarity.
Yes, that's why in my example I chose to keep alive only the most recessive eye color (both brown and green dominate blue).
Yeah, the vid was great. The people who think this is cringe need to look in a mirror...
Consistent Hashing for Dummies
The use of Geekbench also hurts it. Its one of the least realistic synthetic benchmarks around and one of the easiest to game.

I'm not sure what you're on about in regards to 4k needing a dGPU. That's not true.
> It hasn’t always been this way, has it?

As a man in his 30s growing up I witnessed a shift in attitudes from "just man up" to "seek help", so there's that.

If anything I would suggest humanity to give up dating apps. They're essentially making people feel inadequate and pay for the dubious privilege.
Perhaps not ideal but as a swimmer you almost always have down as an evasive direction. You do need awareness but this has saved me from multiple shallow hulled fast boats and water jetskis. You can hear them miles away though directionality of the sound is poor or absent.
I believe you, but do you have a good source for the date and amount? I keep getting trash when I look.
Chinese influencers posing in country's only Costco and pretending they're in LA
That's why Powershell actually recognizes those fancy quotes and treats those as normal quotes.
> build a database for any state agencies

As opposed to building a database for private agencies?
All of VideoJS is 158KB so I doubt it.

I can't see those two interactions needing that much code.

edit: that's gzipped, but still, less than 600KB w/ many more features.
This really seems like a rich-getting-richer sort of deal.

It recommends Sindre Sorhus, who already gets over $10K/month via Github Sponsors [0].

If you're interested in making this sort of funding viable, it would be better to give your money to someone else, maybe to allow them to do it full-time or part-time?

Github itself also likes recommending already popular people.

[0]: https://sindresorhus.com/thanks
If you take Twitter/Reddit's word for it, this is what "innovation" looks like now.
Interesting flip-side: the anti-depressant Tradazone can cause Priapism.

I don't think we understand nearly enough about these systems, though I'd argue that anti-depressants are still a big net positive.
> more trading volume yesterday than Bitcoin

Well, this is a textbook FOMOing.

And a textbook scamcoin. They shilled it hard before a FOMO chain reaction began. Good job. Good profits.
Vulkanised 2021
Marketing BS, PR BS, etc. In the long run, Apple will dominate the laptop market, because there's a substantial tech advantage that Intel can't easily mitigate/reduce.
Co-Founder here. BlitzCompare is a spin-off of our main product at EDITIVE (we're building the "Github for documents").

BlitzCompare is not just another diff: The big advantages are:

* Understands complex structured documents like .docx
Detects moved sections, even if there are small changes within those sections, which are then highlighted separately.

* You can navigate between source and destination of those moves by clicking on them

* Formatting is shown as an individual type of change, and what has been modified is shown as a tool-tip

=> Upload your own docs or click on the "Show example" button to have a look for yourself.

A note regarding PDF: Please be aware that PDF files contain almost no formatting information, sometimes not even text (only images), therefore results with PDF will depend on the quality of the input file.

Btw. all uploaded documents are immediately deleted after processing.
This attitude/mindset seems so petty and disappointing. Feels to me like gotcha journalism or something.
Looking forward to autonomous driving on rails /s

Jokes asides, I feel like autonomous driving might technically be made to work by allowing it only on certified roads, with standardized conditions. At that point we might have reinvented trains.
Geoengineering on our only home is extremely dangerous. YC proposed desert flooding for carbon sequestration http://carbon.ycombinator.com/desert-flooding/

Even if you assume the energy demands aren't an issue, and you could build these shallow pools, and find something to do with the captured carbon, you've probably just killed the Amazon by turning the Sahara into a series of ponds as the Sahara fertilizes the Amazon. You've probably also just caused insanely disruptive, and potentially catastrophic, changes to weather patterns by introducing obscene amounts of new moisture into the air over the Sahara which would almost certainly impact the entire planet's weather patterns.

Oh, you say you want to make a new tree that sequesters carbon better or is more ideal for reforestation? Like, oh, Maddie Hall is trying to do with Living cabron? Alright, great. But have you thought about the massive mycorrhizal networks that support forests, or the thousands of species per cubic meter of soil, or the fact that things that grow faster tend to fall over much easier and that the massive trees of the world are extremely slow growth, have you thought about how fast minerals might be stripped from fast growing trees, changes to weather, impact on the water table, did you just make a horribly invasive species, are you creating a tree that's a candy-filled playground for invasive insect species, is the species now outcompeting native ones that are necessary for any number of other species?

Etc., etc., so on and so forth.
Your reasoning would apply equally well to almost any acknowledgement that there are any differences at all between any two groups on any given subject.
Agreed, there are tradeoffs, but at least Go’s approach has more potential—there’s nothing stopping Go from capturing stack traces and returning them on the error object. On the other hand, exceptions always have the confusing control flow problem.
> What about modern society drives the need for such widespread use of antidepressants?

There's little space for compassion and sociability. Most people in the West spend 8 hours a day working through an endlessly growing backlog of demands, all the while justifying each hour to clients and managers, then go home to drink and watch TV or scroll through news feeds. Our brains are not suited to constantly worrying over the demands of others while being so disengaged from social face to face contact.
> (when climate change was arguably worse since there was no dent in emissions by lockdowns)

I am not an expert on any of this, but my understanding is that climate change is dependent on the TOTAL level of CO2 in the atmosphere, not the rate of adding CO2. Thus, as 2020 was obviously not net-zero, 2021 is worse than 2020 is worse than 2019. I think many people misunderstand this fundamental point, maybe because they link CO2 to air pollution, which reacts much faster (because of wind, rain, etc.).
GitHub Sponsors: Fund the work of developers and projects you depend on
i wonder if i am allowed to transmit such signals, maybe with some ham license? also, i read "exposes the RF link as just another Ethernet interface" a little wrong. its not like this will demodulate ethernet somehow but extracts frames from the transport stream using usual DVB mechanisms (i.e referencing the data stream in the PAT and similars) or am i wrong?
This seems massively exaggerated. Likely referring to just one they checked which maybe does many other things. Or is just horribly written. Be nice if that line was cited.
I think he's handwaving a bt on how easy "space tractors" are going to be. Caterpillar etc are as fully invested int heir corporate structures and current practices as Kodak and all the other dead companies he mentions were; just because they could adapt things with "vacuum rated bearings" etc doesn't mean they will.

I fear we'll need some legal reforms before we can have "the remainder of human industry" keep up with SpaceX here. They've got Musk's "laws don't apply" card shielding them, or something, to explain how they've managed to innovate this far and this fast. The company that produces a cheap vacuum capable drone tractor won't have that, and will be rendered a wet stain by big competitors before they can get one of their products on a rocket. I expect.
It's a collection of open standards and libraries for exporting/injesting Traces and Metrics from your applications (and logging is in the works)
There are already gps-based systems that can do this on large ships but they are designed for open-water and can keep the boat surprisingly stable even in high winds as long as the ship has thrusters.

You are right though, being by the dock is harder although at this point, you are likely to have some kind of personnel to help tether the boat to the quay.
PSSD seems to be in part mediated by desensitization of 5HTP1A receptors. Psychedelics are known to modulate 5HTP1A and increase plasticity of serotonin neurons. This would logically be another research avenue for psychedelics.

I could not find anything substantial on this specific avenue in a brief literature search, but the mechanism is there, and anecdotally people have reported success.

We need to de-schedule these drugs. At the absolute minimum, we need to get rid of the vile Schd 1 "no medical uses" to allow their research to be more politically/financially palatable.
I don't have the FB app on my phone. After blocking all the crap with FBPurity, it only takes a minute or two to check FB each day so there is no need to have it on my phone.
Step 6. Go To Jail. Do not pass GO, do not collect $200
Though Sumo Logic started by targeting mid-size to enterprise, recently it invests more in self-serve:

1. Free plan includes Tracing.

2. There is monthly self-serve subscription available.
Yes, that's the reason RCTs are contrasted against placebo not no treatment.

If you want too see how powerful this effect can become look no further than acupuncture. Or, for a nocebo result, people have actually died because they thought they had been cursed. Or, maybe less dramatic, people who are given an alcohol placebo still get drunk.

Not all, but some do, and we don't know why they specifically and why at all.
Here are some of my favorite posts regarding architecture/systems design:

Ask HN: Are there any openly available software architecture documents?
https://news.ycombinator.com/item?id=22011743

Systems Design for Advanced Beginners
https://news.ycombinator.com/item?id=23904000

Ask HN: What are good resources to learn system design?
https://news.ycombinator.com/item?id=24762734
You got them some more guts?
I don't see sponsored posts but perhaps that's due to Ublock Origin, not FBPurity.
The one I’m most familiar with has a lot of legacy code duplicating features which didn’t used to be built-in: when we had to support IE, having a Flash fallback, subtitle parser, etc. made more sense and they built a branded UI with custom themes, and tracking, of course.

If you are just doing standard video playback, something like video.js is an order of magnitude less code (on the order of 50KB minimized + gziped).
> Then again I always associated the username "dang" with the word "dang", which I thought it was an amusing (and appropriate) choice of name for a moderator.

Right; it took me forever to realize that "dang" was "Dan G" and not just a word. Especially since HN usernames can have mixed case, so he could have picked "DanG" (which... I still would have probably read as a funnily-formatted word but it'd be more of a hint:]). Though for all I know he predates HN supporting uppercase in names, and stylistically I can totally see preferring lowercase.
ClickUp raises $400M Series C
What I now discovered, after drooling about similar idea of remote work: in most scenarios, children put a halt to that.

Children want stability, access to age-appropriate entertainment (playgrounds, soft play centres, or cinemas and suchlikes for older ones), good schools, friends with similar age.

All those things funnel you to populated centres, likely wealthier ones (for schools, though this varies by locale), and hence also pricier ones.

Sure, some kids are super-happy slumming it in a van, or a shack somewhere beautiful, and enjoy outdoors so much that they don't mind missing out on the other things, and I'm sure (I know in fact) that you can have a very valuable childhood this way. But I guess this is not great for most kids, or at least unsuitable to many.
Interesting, thanks. I did do a basic consumer blood test which reported my testosterone as "normal" (whatever that means), but I should probably do a more in-depth one and check these things.
Pub400.com – your public IBM System I v7.4 server
A close friend took an SSRI, citalopram, for a year in his early twenties and he got that too. It wasn't permanent, though ("full") recovery took almost a decade! Keeping in mind varying-milage and a sample size of one, he's vaguely suggested that his recovery was speeded by working out muscles in his hips. Perhaps a combination of our Western sedentary lifestyle, our proclivity to sit in computer chairs all day, and the effect of the SSRI? Far be it from me to dispense medical advice, but working to open one's hips and doing some squats probably can't hurt, even if it doesn't actively help.
>Want/need to use DRM? You won't receive a response from Google/widevine

Thanks Google!
Actually it was. It was ok as an overview.
Dang that sounds more like a desktop that you get to briefly unplug than a competitor to any M1 laptop.
Teen bought Google ad and made 48 Bitcoins duping UK online shoppers
I read it while surfing around on the same trashy internet that you use :) So don't believe me. It might be totally wrong.
I agree, I'm helping the Power Law distribution.

I wondered a lot if I should add Sindre to the list — most people know him, he earns a lot. I decided to add him because he contributes back (sponsors other open-source creators) and creates tons of value for the community.
> 3. PCI-E 5 and DDR5. Intel went from falling behind in PCI-E offering to leaping ahead of AMD. We should expect PCI-E 5.0 SSD shipping soon after ( 14 - 16GBps )

The x4 lanes usually used for m.2 SSDs are PCIe4.
I work for a company that is making good progress in this field. We recently got a new round of funding:

https://www.saildrone.com/news/saildrone-advance-ocean-intel...

and we're hiring for numerous roles:

https://www.saildrone.com/careers

- Compliance Specialist
- DevOps Engineer
- Front End Engineer
- Full Stack Software Engineer
- Machine Learning Engineer
- Site Reliability Engineer
- Software Engineer - Bathymetry
- Software Engineer - Perception
- Sr. Software Engineer - Acoustics
- Sr. Software Engineer - Data Pipeline
- Sr. Software Engineer - Ocean Science
- Composite Boat Builder
- Final Assembly Technician
- Production Technician
- Supply Chain Manager
- Product Manager
- Technical Program Manager
- Sensors Manager
- Vehicle Operations Technician
- Senior Manufacturing Engineer
- Electronics Technician
- Electrical Engineer
- Systems Operations Engineer
- Vehicle Systems Administrator
- Bathymetry Operations Manager
- Lead Surveyor - Ocean
Cryptos are not securities unless you do an ICO and advertise it that way. Pump and dumps are legal.
I'm a super crypto n00b - I don't really understand altcoins. BTC makes some sense to me, it's basically the gold standard of crypto currencies (I think?) and ETH makes some sense because of the smart contract stuff built in (I think?) - should I think about all the alt coins like being nation state currencies? Do they have specific unique properties per coin that is relevant to their use-case? What's the theory behind them?
You could almost say he's a dang good moderator.

Okay, I'll get my coat.
If you buy a Xiaomi phone for instance anywhere outside Japan, and open a Japanese website, it will be displayed with Chinese glyphs. It depends on the phone but there will setup needed: sometimes just switching the whole phone language will do the deal, sometimes you need to add the right fonts yourself.
I can guess from the comments what Blender does, but I am actually not familiar with the tool.

I wandered around the website provided in the link above, but didn't find a simple explanation as to what Blender is about.

Perhaps adding such an explanation to the website can be useful.
Sertraline (Zoloft) often causes more sexual side effects in males than it does in females. I have seen this used at the max dose to control hypersexual behaviour in a patient with dementia.
scala has infix everything ‘operators’. f(x) can be written as f x and f.g(x) can be written as f g x if the parser manages to figure out what it means (I’m sure they phrase that differently)

Idea, I think, is to make the repl look more like a CLI, but it also may be a fight against punctuation.
Launched last year.

Was incredibly abusive against sexual minorities then, and is still the same.

A product anyone who built it should be genuinely ashamed of.
Interesting, dint know faasd
Except it's not what tipped the bottom line to green but it's not like that ever mattered when criticizing Tesla's revenue streams with regards to profitability.
Essentially this, there are just more cores and more memory.(however the bandwidth aspect is the most interesting one imo).
2022 will be the year of big surprises: m2, amd's new series, riscv, whatever intel comes up with, and why not: even other players making an appearance(especially in the server space)
Programming languages differ, yes, but not so much that they face completely different design decisions. Also, it's not "reasoning by analogy", it's learning from others.

In fact, why stop at generics? Why not go back and question structured programming? Or strong typing? Because structured programming and strong typing has proven to be extremely useful. Same as generics in statically typed languages.
There are also many variations in between, something like SCS [0], for example.

Nowadays, people started doing such interesting (although sometimes over-engineered) things with architecture, I couldn't even tell what would be the closest from this list.

[0]: https://scs-architecture.org/
>Anyhow: the point was that it’s too difficult to embed videos even if you’re willing to bear the hosting cost.

That may be one reason but like the gp, I also disagree with the blog's author that it's the "underlying problem".

To further add to gp's point, Amazon AWS has:

+ tech staff with skills to deliver HTML video

+ billions to pay for self-hosting videos on its own infrastructure

+ incentives to avoid a competitor such as Google

... And yet, their official AWS re:invent page of videos points to urls on Youtube:

https://aws.amazon.com/blogs/database/amazon-dynamodb-sessio...

Microsoft is another company with technical chops internally but they also uploaded some (not all) of their Channel9 videos to Youtube instead of self-hosting them.

Yes, the complexity of HLS and DASH is also true but it's way down the list of reasons why many people host on Youtube:

+ $0 hosting costs

+ ad monetization (and by extension, viewership statistics tools)

+ audience reach (via recommendations, etc)

A hypothetical improved <VIDEO> HTML tag does not alter the motivations in the bullet points above.
VC's Thoughts on Parental Leave
https://twitter.com/JTLonsdale/status/1453399478254379008?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1453399478254379008%7Ctwgr%5E%7Ctwcon%5Es1_c10&ref_url=https%3A%2F%2Fwww.bloomberg.com%2Fnews%2Farticles%2F2021-10-28%2Fmen-who-take-six-months-of-parental-leave-are-losers-says-vc

I'm wondering how prevalent this thinking for institutional investors is across the world?
Yes, changing diets, better sleep and giving up porn works wonder in my case. I'm in my mid 30s and never had any sexual dysfunction, but relatively small changes cause major changes in my perceived feelings of "potency", if you will.

Fatty meats, cholesterol heavy foods (butter, eggs), vitamin D have the biggest effect on me, still less than just simply giving up porn.
It's funny then that every time another <insert hip tech startup here> gets VC inflow they value the entire company based on the 5% of shares that the VC bought, and this valuation gets parroted on every media outlet, including YC.

It just tells you that the nature of the beast does not change. We make fun of crypto but the same kind of shilling goes on in the supposedly more sophisticated investor circles as well.
I don't think it is the costs necessarily but the availability of people with the right skills. Even with the money, you can't just magic up qualified mariners.

Also, a significant amount of money is spent providing 24 hour cover of navigation in the bridge so I guess you could save something by automating a lot of it.

You are probably right that in the extreme, it would be better to have some humans to make sure your containers make it to their destination!
Does https://www.blender.org not make it super clear?

- Render Engine

- Modeling, Sculpt, UV

- VFX

- Animation & Rigging

- Story Art, Drawing 2D in 3D

How much more clear could they make it?