skysight-inc/HackerNews huggingface dataset:
Amazing feat! Let mw know if you open source it, I'd love to contribute!
I believe seL4 no longer uses gcc, but rather uses CompCert, which is also formally verified for adherence to standardized C semantics.
What is it to you what is put in Unicode? Seriously, how does it affect you in anyway what is put into Unicode? We should be making things _more_ accessible and if that means adding all of the necessary variations of emoji to represent humanity, as it is, than I'm all for that and so should everyone else because it costs us literally zero to do.

Any argument to the contrary really needs to examine from what angle they're making their argument because they are not based on empathy but something of the opposite.
From the screenplay of A Scanner Darkly (I don't know if something similar is in the original PKD story)

ERNIE LUCKMAN
... this guy appeared on tv, claiming
to be a world-famous imposter. He
said he'd posed at one time or another
as a great surgeon, a theoretical
submolecular high-velocity particle
research physicist, a Finnish
novelist, a deposed president of
Argentina...

BOB ARCTOR
He got away with it? Never got caught?

ERNIE LUCKMAN
See, the guy never really posed as any
of it. He only posed as a worldfamous imposter. Turns out he just
pushed a broom at Disneyland, until he
read about this actual world-famous
imposter, and he thought, I can pose
as all those things, then he thought,
hell, I'll just pose as an imposter.
Save a lot of time, a lot easier.
Made almost as much money as the real
imposter with books and movie rights.
You're clearly not looking very hard. As a super simple example, look at the countless studies that have shown that signifiers that point towards you being black on a resume (your name, school, etc.) have a measurable effect on getting interviews. That's textbook systematic racism.
I would speculate that Amazon doesn’t care about the occasional $200 mistake, and is perfectly happy to refund it should they notice.

What they don’t want is companies that are spending say $2-4 million per month to be able to put in a hard limit at $2.5M.

I would guess most companies spending millions per month on AWS are just guessing what next month’s bill will be, and have been conditioned to not freak out if it’s a million over, as long as that doesn’t happen every month. That conditioning has to start early.
Also, what, if any, are the pre-requisites of understanding them (formal methods, SAT/SMT solvers, theorem proving)?
Honestly, nah.

Since we've already touched on the subject of "bad faith rhetorical tools," getting on other people's cases for acknowledging that the English language is soaked in polysemy isn't exactly an encouraging sign. It's difficult to have an enjoyable conversation with someone who's brandishing a cape.
It’s priced in.
The One Force That Will Govern How We Return to Work
Ok, you don’t know what Im talking about then. Wait till you deal with one and you’re likely to change your opinion. They’re absolutely nothing like highway speeders or little lies tellers. They are monsters who instead of having scales, hooves and horns, have a very good image, which they care a lot about because that’s what enables them to find victims and enablers to prop them up
The claim they were contesting was that the poster couldn't find "a single example of systematic racism". Countering that doesn't require that every single person isn't racist, just that racism exists and has a measurable impact.
Arguably, Dogecoin isn’t destroying the environment because it doesn’t have its own miners.
I apparently had a fundamental misunderstanding of the meaning of branchless. That's embarrassing.

As for simdjson-go, I did benchmark it. rjson outperformed simdjson-go in most benchmarks, but simdjson-go was about 3% faster reading citm_catalog.json.

https://github.com/WillAbides/rjson#simdjson

Edit:

I see on your bio that you are one of the simdjson authors. I hope you will indulge a question about it. I am generally more interested parsing a large volume of json documents efficiently than I am in doing it quickly. Since simdjson uses parallel instructions, would that mean that the speedup comes at the expense of being able to process more documents in parallel on the same hardware?
Civilization and society is based on a foundation of trust. Lies are a violation of that trust, and thus each is an attack, however small, on that foundation.

Did you not see the effect of lies on the pandemic or this most recent US election?
I used privacy.resistFingerprinting for a long time, but it changes the timezone to UTC. As a web developer it just caused a little more confusion than I was willing to deal with when working on front-end stuff. There's a bug [0] to address this but it hasn't been acted on yet.

[0] https://bugzilla.mozilla.org/show_bug.cgi?id=1364261
That’s literally not how any of that works at all.
If you think user privacy is "no reason", this thinking is exactly the problem with the online advertising.

Privacy is a right. Ad-tracking is not.
It is trivial to secure windows with plastic foil, glass will literally become bullet proof.

Real problem is if attackers would activate ALL alarms in entire city, night after night. Or your "smart doors" would tip attackers that owner is away from home/
DIY gene therapy.
The rocket in question just successfully hoisted the Chinese space station core module into orbit. By the end of next year, they expect it to be functionally complete and China will start maintaining a permanent human presence in space.

They're also working on reusable spacecraft now:
https://en.wikipedia.org/wiki/Chinese_reusable_experimental_...
Always reminded me of the series the pretender. And there it did seems far fetched. Not sure why I never connected the dots in the movie. I guess being told it’s a true story is powerful
"One department of the megacorp confirms a decision made by the other department" big news
I think this company is onto something related with what you are looking for:

https://basishealth.io

They had a post here a few months ago. I entered the early access but have yet to use the device and app so I cannot review them
Tracking URLs like this started becoming more and more common after the GDPR because they don't fit their definition of a cookie.
> "It is not permissible for Facebook to keep a user off the platform for an undefined period, with no criteria for when or whether the account will be restored," it said in a statement.

I'm glad to see this. Twitter and Facebook both use terms like "permanent suspension" in a silly attempt to avoid the term "ban". They should be honest about the penalty.
Shameless self plug: My service https://unshort.link does this as well and also unshortens shortlinks to show you where they are pointing to :D

Open Source and Free to Use
Something about https://en.wikipedia.org/wiki/Goodhart%27s_law

It seems similar to "Send Me to Heaven" [1] the app for gamifying the destruction of phones.

[1] https://www.cnet.com/news/apple-bans-app-that-wants-you-to-t...
Think Confluent: GPT-3 powered tool to make your remote team feel integrated
As far as server-side rendering, is that any different than react server-side rendering?
Or they're bribing one of your colleagues for information about what you're doing.
What is the Facebook Oversight Board?

How is it constituted?

Who is on it?

https://en.wikipedia.org/wiki/Oversight_Board_(Facebook)
There is a physical aspect however - libidos don't exist purely in your head. Hormones have effects.
I'm sitting in Salem, MA, right now. It probably depends on where you live.
Did they finally get `let` working? I remember it wasn't for a long time, which seems like a deal-breaker for a lisp...
I can't wait to see what comes out of the channels/goroutine generic packages! Given go's culture it would be really interesting what they deem should make the cut and what shouldn't.
Or just kick them off the index
Newer cars are extremely safe compared to the old cars. It's like night and day difference.

In Cuba, I got a chance to ride on some 60's cars. Looks amazing but it's essentially a pretty metal can accelerated to highway speeds.

There's no going back to pre-electronic, even pre-computers era if safety is a concern.
The board is made up of outside experts. They're independent of fartbook.
I'm wondering about the elevator pitch too. Honestly it seems like github went through all this trouble just because they don't want to commit to a framework like react.

Still having a tough time seeing the benefits of web components.
The perceived bad quality of Chinese products is partly a deliberate marketing strategy to make products that prioritize low price over quality, and partly due to lax standards relative to countries like the US.

It's a lousy argument to suggest that Chinese products are bad because Chinese culture does not promote attention to detail because some people sometimes say "chabuduo". One can equally make the same bad argument about American workers, because some Americans use the expression "just eyeball it" at work.

When held to a high standard, Chinese people are capable of producing high quality products, evident in the prevalence of Chinese SWEs in FANG and the fact that Apple and Tesla both have major manufacturing facilities in China.
"chabuduo" is a common expression in Chinese used in everyday language. Not just "close enough" in English but also "more or less", "-ish", etc in every language so yes it will be heard everywhere people speak mandarin.

What may be specific is to use it to brush off substandard work.

Edit: In this case, I don't think mentioning "chabuduo" (as a brush off of substandard work) is apt, though. I think it's more about their can-do and "move fast, break things" attitude.
One could argue the original band-aid was just rubber colored and non-racial in some way, but keeping ignoring it matched light color skins better was becoming a choice in itself.

Emojis are the same to me, in that they were introduced with very limited scope (original ones were simple outlines, with bright pink, blue or green faces). Then expanded and got more detailed, less caricatural, and stopped fitting a single byte.

IMO the can of worm got opened the moment we got detailed drawings with artistic choices that best match one category of people. We have shown we weren't limited in number, and accepted a ton of complexity to deal with flags or gender representations for instance, it would be tone-deaf to just go on saying it's too complex to also care about racial representations where they might apply.

If you're arguing for getting back to simple outlines of random colors, I'm with you. But I think we're not in a stable place right now to say "we made enough diversification, let's just stop here".
Sure, and those workers have it great. What about all the other people who have to put up with the other work environments?

EDIT
Also, it is very difficult to suss out this type of before being hired. Most people at least pretend to be professional until they get comfortable.
I’m not sure he was a c-suite executive. So, likely no fiduciary responsibility.
"consistent with the rules that are applied to other users of its platform"

Does this make sense though? We don't much care about some drunk fool in a bar spouting racist hate. otoh a cult leader with millions of followers, we do care about that.
Does anyone know if this is the reason for Starflight's madding save system[0]? I can't think of a technical reason it would need to work that way, but it is an exceptionally rare way to do things so I'm forced to wonder if the use of forth is partly responsible.

[0] Starflight self-modifies as it runs, meaning the executable itself is re-written with the game state baked in. If the game exits without saving in the approved way the executable is broken.
There’s a good and a bad in it. But a lot of good stuff came out from people who died, great stories, artworks and so on. Why would it not be a part of the cultural treasure?
Why doesnt the FBI do such sting operations these days?
They meant China should re-think, not the victims.
That's a beautiful car. My favourite vintage car is the Renault Alpine A110. But these cars are not very safe if you get into an accident in comparison to modern cars.
Upper middle class people from high GDP countries do have the choice. There are many opportunities where a talented individual will make more than enough.

But what about people from countries like India? Talented people will jump in in a heartbeat. And I have never ever known any person who has turned down Google or Facebook's offer with US/EU posting. Even people coming from _very_ privileged families.

Knowing India, this is justified to me.
> By we I mean our offices, but I do not want to mention its name, since if someone is interested she could find our offices in major European cities and involve in the activity. We do not have a website, although we have dozens of offices and a monthly journal with circulation of tens of thousands (our monthly journal based in London named Internationalism). We fight against racism, militarism, capitalism, etc. but we are not anarchists, a sect or old-fashioned leftists.

> I am working in Machine Learning field, and for me the activities I do are not hobby, they are dead serious and I think you do not care about kids dying if you do not something yourself, and just donating a bit money that is less than you pay for your pet's food, is not charity, it is cynicism!

> By the same token, CEO or PR of a charity, is just a brick in the wall that makes the situation worse and worse for children in Africa. I saw someone suggested maybe they use charity to promote some local war mongers or politician to access to raw materials, etc. and I think it is highly possible. But unfortunately there is no real investigative journalist, the ones who tried to do so ended up in Belmarsh prison in UK (Julian Assange).
That's just totally false, the Oversight Board was created, funded and structured by Facebook and therefore does not meet the definition of independent. It's about as "independent" as DoubleClick is of Google.
> The White House has been lacking any form of intelligence

This is exaggerated.

What do you mean?
No good faith conversations starts by redefining the other side as white supremacists. But I think you know that.
Reminds me of that film, The Iceman about the self-proclaimed hitman Richard Kuklinski. Claims to have killed between 100 and 200 people. Been the subject of many documentaries and research into psychopathy. I heavily suspect he's just a small-time crook who had a fight/dispute with his partners in crime, went to jail for their murder, and then spun a yarn about being a big-time mafia contract killer. Why? Perhaps to boslter his reputation in prison, maybe to get money for his family, maybe just for kicks.
Dying? Probably not. Becoming less useful? Absolutely.

Finding answers to very specific problems? Eh, it's still ok.

Searching for specific content? It's fukken gahbage.
I'm highly suspicious that most of wolf of wall street was complete bullshit, that was fed as a true story.

The guy made loads of money from lying. Why would we trust him about some sort of crazy rich man's lifestyle story that almost perfectly stereotypes what a crazy evil wall street boiler room guy would do.
Not correct. "Relativity" is very literal. When you go fast, then relative to you, it's the entire universe that is moving fast.

So if you fly away on a spaceship at relativistic speed, then people observing you will see you moving slowly. However, if you observe them from your ship, you will think it is they who are moving slowly.
It has always upset me that development of vehicle software hasn't been aporoached with the same care and unyielding professionalism as that of the space shuttle.

Maybe it has. Could it be that you could remotely hack the current space crafts, but nobody is allowed close enough for bluetooth to work?
Agree. As I said upthread, I'm sitting in Salem MA right now.
Yes, quality of search results has absolutely decreased in the last 5ish years as content marketing has flooded the web.
Even more so given his comments on robin hood.
Mozilla themselves is guilty of link tracking. Any external link on addons.mozilla.org looks like this:

outgoing.prod.mozaws.net/v1/25c02fd4e609951729e0ec0b41fe5391d912511b45d2a02aeaa839872c8d9def/https%3A//gitlab.com/KevinRoebert/ClearUrls
Tulsa, Oklahoma!

Tulsa Remote's $10,000 grant can now be received upfront and applied directly to the purchase of a home.> https://tulsaremote.com/
I think it's to do with the community and what people who are really into Go are interested in.

The first reply to the thread deems "map" and "filter" borderline-useful, but "reduce" not worth it - that type of misunderstading just shows that the author (and the 60+ people who +1'd it) didn't spend enough time understading functional constructs yet.
Was Biden's election based on lies? Do you have sources?
Yeah I'm sure Facebook picked a bunch of people who didn't align with their ideals.
Commentary about minutiae of the layout is uninteresting in my POV and per HN guidelines. Please help keep HN interesting.
With websites, at least you can just copy the URL from the address bar and clean it. Of course, people are being slowly dumbed down by browser's (mostly Chrome, but Firefox seems to follow its stupid trends not long afterwards) attempts at removing or hiding the URL, which is no surprise when you realise that herding the userbase to use dedicated "share" buttons (complete with tracking) is one of the reasons they're doing that.
Who pays them, directly and indirectly?
Is there a way for me to buy a pre-assembled Lisp Badge machine?

I'm paying the cost of the machine + shipping + $150. Throw in a printed manual for good measure, too. :)
Yeah, I wonder how many people share their passwords with their loved ones while they’re good and healthy, but disaster can strike anytime. Im thinking of an idea for a service to ping one every 6 months and if no answer is given back in another 6 months, then to allow a designated person to have all pasawords and keys. Some kind of digital will executor or something of the sorts
US birth rate sees biggest fall for nearly 50 years
Yes. High-speed space trash is high-speed space trash.
wonder how this is going to play out if Trump decides to run again and more states adopt Florida style regulations against banning political candidates
Is this a prank? They can't be selling those things for 100 eur (or at all).
> “ If you're arguing for getting back to simple outlines of random colors, I'm with you.”

Yes that is what I want. I basically agree with everything you said - I just wish we chose generality over specificity.
Get rich advisors, life style coaches, dating coaches.

I don't really have respect for people who haven't actually accomplished anything aside from a grift. I do read books like Principals by Ray Dalio or I Love Capitalism! by Ken Langone.
I mean with the housing stuff and the economics. A lot of people in my life are stressed lately about housing. So I have strong feelings about it.
There are many people who can't do anything except React.js, for example.
You're right, I forgot about PL/PD versus total coverage. Thanks!
my reticule aims at the creation of the formal C semantics being used to verify the output. If both you and I make an off-by-one, we can always agree on the (say, index) value, but we'll both be always wrong. And C semantics is something especially finicky, given how often we delve in "undefined behaviour" territory, or our nowadays hardware does something that "back then" was unthinkable.
They also kept an outspoken Islamophobe on the team for over a decade
That's not fair. ConnMan was written primarily by Marcel Holtmann while paid by Intel to work on Moblin and Meego back when they were a thing. But it is, was, has been and was always intended to be a 100% open source effort provided to the community (including Tesla!) under the GPLv2 free of charge and with a warranty disclaimer included in the license.

Demanding that employers be somehow magically responsible for the community contributions of their employees in perpetuity is the easiest way to make sure employers never let their employees contribute to the community.

Whether ConnMan, which is semi-abandonware now, was a good choice for Tesla to have integrated is sort of a different question. Personally I was never a fan. But that's the magic of free software, we all get to choose what works for us.

Seriously, the warranty disclaimer is is really clear in the GPL. They even put it in caps:

NO WARRANTY

11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.

12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
>That does not mean that people are free to redefine words as they choose and change their meanings entirely. That is how you get a dialect and then a different language.

There's nothing wrong with new dialects and new languages.

>With emoji, there is no shared understanding precisely because there are simply too many

A lot of people are already using emojis where everybody in the stream of communication shares understanding. Using an obscure emoji is possible just like using an obscure word is possible.

>often with no meaning and when meaning does exist, it is either vague or dependent on culture.

Using text for communication has the exact same feature. Words can be vague or can dependent on culture. Words can have two meanings. Words can be sarcastic or patronizing just like a thumbs up or smiling emoji can be.

By your reasoning, we should ask British people to stop using X's and O's at the end of their texts to indicate the tone of the message. And Japanese people should stop using ASCII emojis that border on artwork to indicate emotion.
From Best Friends to Platonic Spouses
> Lose weight, hit the gym, learn to lower my ego, listen better, practice small talk, learn about fashion, etc.

This is a bit of a fresh thought to me, but it seems that the standard male self-improvement advice ends up in one of three buckets:

1. The activity is its own reward (lose weight, hit the gym). Even if it’s not immediately successful at helping one find a partner, their benefits are almost immediately self-evident.

2. Advice that is vital for sustaining a relationship but usually not the missing piece when it’s time to find a new one (listen better, lower the ego). They’re needed to get the second date but can’t help get the first date.

3. Advice for the sake of having given advice (read books by female authors).

“Learn fashion” is hard to place on here. On the one hand, ensuring that you comb the crumbs out of your beard daily and wear clothes that fit better than a garbage bag is essential. On the other, becoming “into fashion” when it’s not a natural interest is often more of advice for advice’s sake unless you’re targeting a very fashion-conscious woman (or the fashion-forward portion of the gay dating pool).