skysight-inc/HackerNews huggingface dataset:
Shameless plug, I have a list of even more paxos papers that does include Raft :)

https://vadosware.io/post/paxosmon-gotta-concensus-them-all/

I'm missing some that were suggested to me by a HN member (judofyr), and I haven't updated the post so will put them down here:

- Compartmentalized Paxos (https://mwhittaker.github.io/publications/compartmentalized_...)

- Matchmaker Paxos (https://mwhittaker.github.io/publications/matchmaker_paxos.p...)

- PigPaxos (https://arxiv.org/abs/2003.07760)

- Linearizable Quorum reads in Paxos (https://www.usenix.org/system/files/hotstorage19-paper-chara...)
Oh i never work outside of work hours. I meant that I'll just include fixes to things that are tangentially related to my current user story, or even sometimes not related at all. It helps that the team implicitly trusts my code, so anytime I say "oh and I also fixed this", it's fine. The problem is that if I say "oh I want to fix this" it gets put in the system, and ranked, and just kills my momentum.
Of course we've always had it but the current generation of political far left have turned it into an art form on twitter and other platforms.
Companies also want their employees to be as productive as possible, which are likely already using Chrome at home because it has the best usability and quality of life for non-technical users.

I don't think any IT department worth their while would ban worthwhile software because of some agenda that frankly just doesn't matter too much to most regular users, at least in an US context.

In the EU this might be a bit different, as they would have an interest in getting Google out of their ecosystems - but we've seen that that just doesn't really work too well, with pilots in various governments. People aren't as productive and complain about not having the same Excel and the same Internet as they have at home.
That's plain wrong. If static analysis was as reliable as rust, why would all these C codebases still be full of buffer overflows and memory errors? The borrow checker is, in effect, a static analysis tool... that requires a lot of annotations from the programmer, and blocks compilation otherwise. The equivalent for C would be to annotate all your functions in some formal language and then run, say, frama-C.

About valgrind or sanitizers: they're runtime, so just like tests they can only show the presence of errors, not their absence. Like dynamic type checking.
(not parent throwaway)
Just because nazis used their free speech right to do their propaganda, that doesn't mean free speech caused nazism. In order to do any propaganda (whether that's for a morally good or bad cause), you need to be able to talk to people.

The first thing nazis did was to revoke free speech rights. That's an example of authoritarianism and free speech being opposites.
Database Normalization in plain language for the working dev (with examples)
Purism is never going to end up with fully open source baseband firmware. It's not going to happen because the radios are subject to several regulations which means customers can't be able to modify that firmware. There's going to always be a trust hole.
LOL 30 days. Even a Googler who wanted that data would be waiting a minimum of half a year before anyone from the logs access rotation even glanced at their ticket.

Plus, one wonders if Google even holds the data the US government is requesting.

Plusplus, I hate it when "granular" is used as if it has a direction, which it does not. Are the feds asking for fine-grained data, or coarse-grained data?
> things he said and did could be perceived as offensive to people who are hypersensitive to these things.

Then they should have used this incident to educate them.

Sure, the word $N in question would be offensive to a black person. But why should a bunch of white teenagers be offended if he just used it the way he did? Sounds to me like a bunch of virtue-signallers trying to outdo each other
Bunch of people in Texas just got surprise massive electric bills.
From the article:

“The situation in the United States is that to get a response, the need must be somewhat overplayed”
Same on youtube!

Only 'I agree' and 'See more' which leads to other dead-ends.
Is there anything today that feels like a underground scene that's "happening", that is acting as a technological vanguard, that is full of mystique, but that hasn't gone mainstream yet? The demo scene felt like absolute magic to me as a kid in 80s.

Making games used to be that in the 80s and maybe 90s, but now it's a well-rehearsed, mostly commercial dance with clear parameters and tooling. Yeah, there are game jams and all that, but I'm not sure how much new uncharted territories are being discovered these days anymore in it.

Making electronic music in 60s-80s used to be magical and now is also mainstream and commercialized. I don't mean this cynically, but more from the perspective that there isn't as much in it left now that hasn't been done plenty before. It's no longer a case of Vangelis buying one of the few outrageously expensive CS-80 ever produced and hammering away at it in his studio producing sounds never heard before. Or hearing a Buchla for the first time. It's all one small VST download away now, with super powerful tools to stitch it all together often available for free.

Where is the bleeding edge magic happening these days? VR? Crypto? Machine Learning? Generative art?
My cousin (immigrant from Pakistan) was trying to set up a housing arrangement with tiny houses for homeless people in New Orleans East. At one of the planning meetings in the local library, a (Black) resident stood up and said "What it feels like is you're trying to dump them all on the n****s in New Orleans East". I was appalled that my cousin would be framed that way, and quite frankly I'm more appalled that I'm not allowed to criticize this framing because repeating the language that was used even to criticize it starts this whole other fire.

(At a later meeting that was set up by the local councilman to use him as a punching bag he was told to "take his tiny houses back to Pakistan" with him and that "Donald Trump was President now" by a bunch of people I really doubt voted for Trump if they did vote). I've never been so happy to see someone lose an election in my life.
Ofcourse they won't fix this. Autocomplete saves form values which are usually full of juicy information like addresses, names, ssn's, payment info, etc. which are vacuumed up by the data monster. Same with passwords. Even though the passwords themselves are encrypted it's amazing metadata to know which sites you have accounts for.
I hope you pull through and show us your work here. I love playing with low level stuff, but never manage to delve into an ambitious project. Bon voyage :)
I had to cancel my NYT (after 15 years) because it has gone from center left to far left cancel culture bastion. They follow the guilty until proven innocent mindset of the current generation of "twitterati" and sucumb to their whims.
Only if you consider The Government a homogeneous whole.

Now some more bureaucrats and sys admins can take a peek too.
I remember switching to VoIP and noticing the voice quality getting better compared to the old twisted pair. No noticeable latency.
Compass is a real estate technology company that provides an online platform for buying, renting, and selling real estate assets.

https://www.compass.com
Is everybody using 500ppi screens or is the logo ridiculously big?
Nit: propulsive landing was not only feasible but actually done in the late 1960s. On a human-rated Single Stage To Orbit vehicle, no less.

Okay, fine, so it wasn't to Earth orbit, but still...!
That seems to be an entirely different issue than how the term "cancel culture" is used politically.
The Linux kernel is 100% open-source. Yet it's growing user-hostile features --- https://news.ycombinator.com/item?id=26285683 --- and guess what all the locked-down Android phones run...?

Open-source doesn't mean anything for freedom if all you can do is look, because you don't have the signing keys and such to modify what you want. It just means they get to show you exactly how they put the noose on you, that's all.

Firefox is also chock-full of "telemetry" and it's 100% open-source. That one you do get to modify, but it's still a bloody bastard to strip it all out and recompile to your liking.
Problem with that is that anonymous content is generally text and that's the easiest to have bots spurt out with little effort. Sometimes reading a basic forum, I wonder whether the future forums will be some percentage bot-generated. Much of it is hardly high-level discourse.

Meanwhile, more engaging content is personal - faces, travel, personal action, being physically in a place. That's harder to do anonymously.

Obviously there are exceptions in both cases.
Unfiltered, Unsifted, and Sometimes Undignified
Ding-ding-ding. Yes, that is exactly what's actually happening here—and it's happening at a number of large news media outlets, print or otherwise. There is no longer a mandatory retirement age, and the older reporters with more experience (who are also relatively healthy for their age) simply don't want to retire. The business is shrinking and so there are fewer jobs available to new people, at an increasingly laughable salary.

The older reporters not only (rightly) see the younger generation as a threat to their jobs, but also tend to despise their perceived arrogance, ideologically-driven worldview, and weak professional skills (namely, poor writing ability). This produces a lot of pent-up resentment and low-level friction which eventually explodes into strange court intrigues like this episode.

Beyond this, journalism has always involved viciously cutthroat and competitive rivalries between reporters. Those rivalries used to be settled via results, "gets," and access. Now they are now solved by wielding mob power via social media, which gives them leverage over their parent company's business.
| It seems to be similar.

It has much more in common with the Amish than it does with Soviet style authoritarianism.
$270M loss on $3.7B in revenue. If they can get opex down, there's some serious money to be made and a lot of growth left here. In my neighborhood I'm seeing more and more houses go up for sale with Compass signs.
Why don't they put a flag to control this behavior in the browser? So that users who want it to be respected can actually get that?
Census | Remote for now, eventually San Francisco | Full Time | https://www.getcensus.com/

Census is a platform for syncing your data warehouse with apps your team uses - Salesforce, Zendesk, Marketo, etc. We're used and loved by data engineers and ops folks at many of your favorite companies.

We're backed by some great investors and are a high-performing small team. Our stack is Rails, Typescript, and Vue, but we are happy to talk with engineers with other expertise.

Open roles include:

* Backend engineer

* Product engineer

* Customer Data Architect

* Product Designer

* Technical Content Writer

See more at https://jobs.ashbyhq.com/Census or shoot me an email: anton@getcensus.com
C and C++ are not the same case. Modern C++ supports fairly strict and exhaustive type safety that can robustly evaluate many types of safety at compile-time, if you choose to use it to its full capability. C doesn't even have these facilities.

Anecdotally, I haven't seen an open source C++ code base that is uses type safety to that extent but it is certainly possible.
I’m sure they could make stringify work, since numbers in JSON can be arbitrarily large. But parsing JSON and having it return BigInt instead of Number just isn’t going to be able to work by default. I guess because of this, making stringify work without parse support just isn’t desirable.
In my experience black people are way more rational about this stuff than white people.
"Some people" is not "all people" and certainly not "almost all" people or even "most people".

I'm curious to know your position on those who are homeless -- as if mental illness, systemic neglect, and abuse combined with skyrocketing housing costs such that even otherwise-able people are just a few missed paychecks away from foreclosure) are incidental, and it's really a result of being "lazy".
I don't think the FCC needed any lobbying to do nothing for the consumer these last few years.
Bill Maher Defends Gina Carano, Calls Out Cancel Culture
It's still a mystery, yes. It's annoying, but not particularly important, as EleutherAI has created a more open substitute with the necessary size to train a GPT-3-like model, as The Pile: https://pile.eleuther.ai/ (In some ways it is probably better than OA's mystery-meat corpus.)
Not to my knowledge. Been pretty taboo since at least the mid-80s
Dreambound | San Francisco, CA or remote | Full-time | Senior Software Engineer | https://dreambound.com/company/jobs/405770100

----

Dreambound creates upward mobility for American job seekers and simplifies hiring for employers. We’re an early startup helping low-income folks upskill and afford vocational training (think truck driving or nursing) with zero-interest loans. It’s a bit like Affirm meets edtech meets workforce development — deeply mission-oriented work helping people get ready for an economy that’s left them behind, and also an exciting engineering challenge as we’re working with a modern stack and awesome team.

This is engineering role #4 at a 10+ person company with some phenomenal talent and great culture. We're hiring for both front-end and back-end roles, with a focus on someone who has had 2+ years of experience working on front-end (React, TypeScript) or back-end (TypeScript). We have an SF office and a distributed team — on-site post-COVID and remote available.

In my time in tech I have never come across a company that is as mission-oriented as ours — while still very much focused on building a successful business. For many of our customers, Dreambound represents a lifeline to economic stability. We are backed by USV; leaders at Affirm, Twitter, General Assembly; and some of the best VCs/angels in the business. It's a GREAT opportunity to join an early-stage company.

You can apply here and mention HN, or email me directly (brandon@ the below domain name):

https://dreambound.com/company/jobs/4046711003

We're also hiring for operations, growth, and sales roles!
Usually in embedded development you don't ever want to use dynamic allocation. Very few languages allow you to avoid dynamic allocation.
Exactly some of my younger friends don't understand that voices from the right have a place too. Cancelling everything that you don't like or that makes you feel uncomfortable is a dangerous echo chamber philsophy that leads to dictators in waiting (see Trump) . I am a progressive who highly values the Bill of Rights as critical to keeping us free from despotism but I know that a huge portion of the country isn't progressive and to turn them into villains and "evil" people that are easy to hate is very dangerous.
I’d rather have them vigorously defending for their right to be a bigot than be a bigot actually with cultural power, having grown up during the latter.

Free expression of contrary views is also important (though not ALL contrary views). What I think will happen is further Balkanization of the internet. We can’t all play in the exact same sandbox. Echo chambers are not new - people lived within distinct communities before the internet. I lived in a 50/50 liberal conservative town growing up and I interacted with only other kids of conservatives outside of school.

Now if we could have platforms that didn’t reward shallow engagements maybe we could get somewhere.
What do you think of violence against Asians in big cities (Oakland, SF,NYC)
Compass S-1 IPO
There's a neat thing about a kind of "relative timbre." E.g., if you listen to a solo piano piece, you make some kind of adjustment to the homogenized timbres and are able to focus in on smaller timbral differences.

There's a music cognition paper about it somewhere.
Why do they even do that? What’s so bad about pasting into a form? Does the person who designed the form think your password isn’t secure unless it is written on a piece of paper kept in a bank vault?
> On the date of this prospectus, Robert Reffkin, our founder, Chairman and Chief Executive Officer, will hold all of the shares of our Class C common stock

> Each share of Class A common stock is entitled to one vote per share. Each share of Class C common stock is entitled to 20 votes per share

I'm surprised no one has proposed laws trying too crack down on founders have super-control of their company through stock voting power shenanigans. For example, I hear a lot of critique of facebook due to absolute control from Zuck' and his voting control - the remaining shareholders are unable to vote him out or otherwise exert control

Edit: not explicitly saying its bad for business or anything like that, just surprised it hasn't been regulated away.
Flew to another country once, with a newborn baby. Flight attendant was having some trouble then declared it all good.

What I didn’t realize was she canceling and redoing the tickets over and over again, each charging me for them. A grand each time.
So I ended up in a foreign country penniless. Airline company said it was fine since my funds would be returned in a week.
it's still active!
> Defer tasks that are not on the critical path

The article discards the usefulness of this point, but I’d argue this is the precursor to better prioritisation, and through it to higher productivity. Even if you strictly can’t “speed up” your brain, _what_ you work on is important. If pressure forces you to select higher impact tasks, then that alone is worth the trade off imo.
To be a bit more precise, that small mob invented head rolling, since the French Revolution and subsequent Reign of Terror is when the guillotine first became widely adopted.
Not far from you at 1% wear with similar use.
Well, I stand corrected. I'll take a look at that chart next time I experience something like that happening. I haven't seen this UI before. Thanks!
A bit of a bug -- in FF if you scroll on the right side of the page (the diagram) it disappears and doesn't re-appear.
> An allergy.

Or to put it another way, an autoimmune disease.
Victim blaming?

So you think any of the resized how absurdly high market rates can get.
Humans keep throwing stones at those they deem sinners, shouting slurs and expletives, as part of a hate group dynamic. They have no control over these actions, are not trying to achieve anything good, even if they rationalize their behavior in that way. Sure there is signaling, status and power somewhere in that mess, as it is always the case with human behavior, but these individuals are not active, not in control. They are being dragged along an ugly dynamic of group psychology that has been recorded since the beginning of history. What can help is emotional maturity achieved by self reflection, but even then one can still fall for it, because anger, agitation and hate are easier then being wise and enlightened. That is not a new insight, we have bronze age books and star wars memes about that.
Once you begin cooking you start to realize the vast majority of recipes in the internet are complete crap. Sites like All Recipes are mostly nothing but garbage.

Finding dependable recipes is time consuming when you start navigating outside of a select few places with an established reputation. I rarely use recipes outside of three or four sites and very famous chefs because it's very frustrating to follow a recipe exactly and it just taste like crap through no fault other than a poorly developed recipe.

When you go somewhere new and have to read three pages of some story about cooking with their mom (when the person is not a professional chef the stories are always some boring variation about cooking with a family member and if the relative is older how it brings them back to their child hood) with a bunch of smattering of ads before you can even get to the recipe to give it a once over on whether the ingredients and instructions can actually result in a good dish.

I personally hate the back story most of the time but do know some people who like them. I think the best use is on serious eats (one of the few consistently dependable sources of new recipes). The "story" is often times about the menticulous trial and error of trying all variations on time, temperature, and technique to weed out what works best and scientifically explain why they believe it works. Through the use of javascript when you get to the end of explainer it seamlessly transitions to a new page that is just the recipe so you can easily bookmark it for later without having to read the pages long explanation if you don't want to.
Charge your MacBook on the right side, not left
It's coming from both sides you can't deny that. Look at the dangerous appointments made to the judicial branch. While the far left dominate twitter and social media and try to cancel everyone the evangelicals are doing pretty well at cancelling liberal voting rights and women's rights if you aren't paying attention. It's as if people things others don't have a right to think in any way other than the way they think and live.
For text there's a method called Rapid Serial Visual Presentation, I wrote a little program to do that and could read visually faster than my internal voice could talk.

https://en.wikipedia.org/wiki/Rapid_serial_visual_presentati...
The article says "RSVP is a scientific method for studying the timing of vision." but FWIW I first heard of it in the context of computer systems that needed to output text without a large screen.
Well yes but :)

I remember back in Germany I turned on the TV one night, not knowing what was going to be on. What I heard was various news broadcasters talking about the Soviet union attacking West Germany. Tanks were rolling over the borders between East and West Germany, fighter jets in the air. All with accompanying video material of actual tanks rolling and all that and narrowly averting nukes being fired. All of it was actual news material, including the news anchors, nothing was fake recorded.

I was quite confused for some time until I figured out that it was a "ZDF History" episode that specifically cut together various news broadcasts to make it look like they were remembering "that time when the East attacked the West" and that they were trying to show how easy it is to "change the past" this way or even make people think that this was actually going on, if this had been broadcast live in the evening news instead.

And this is way before deep fakes.
The G.729 patents are now royalty-free btw:

https://web.archive.org/web/20170202062530/http://www.sipro....
https://en.wikipedia.org/wiki/G.729
Obviously? I don't think this is true. People pay money for horoscopes and similar so there are people out there who take it seriously. I don't.

I didn't say anyone was an idiot. That's from you. Likely because you're offended. More than you probably should be. But thats your choice. If you think horoscopes are great then keep using them.

I swapped the horoscopes around for a bet. No one noticed. Its ancient history. I won the bet. Already been paid. Already spent it.

You can't change anything here. Now you're just online trolling.
I'm very puzzled by the assertion that disproportionate punishment for violating some tribal taboo is old news and uninteresting, while hypocrisy is the real big story. I mean, hypocrisy has been around as long as tribal taboos, so, if anything, you should be just as uninterested in the hypocrisy... and thus uninterested in the whole topic, so why bother making a comment?