skysight-inc/HackerNews huggingface dataset:
The full story of Git* trademarks is here: [0]

TL;DR: GitHub applied for a US trademark 5 years before the Git project did, so the initial application from the Git project was denied as confusingly similar to GitHub. Rather than litigate who got to use what, the parties came to an agreement to continue using the marks in parallel as they had been doing, which allowed the Git project to be granted a US trademark. The Git project also grandfathered in others who had been operating in good faith like GitLab.

[0] https://public-inbox.org/git/20170202022655.2jwvudhvo4hmueaw...
"No mention of increased crumple zone"

Can't they just write "DO NOT BEND" in sharpie on the side?
Yup exactly, step by step learning interactively.

I'll definitely work on lowering the barrier to entry, currently sign up is required to save any edits you make to any lessons you create/take. Clearly this isn't ideal for playing around though.

(Thanks for the feedback!)
Bing search update for immersive UX
But if telegram sells to FB or someone worse, you will be in a worse position as now they will not only have your metadata, but also the full text of your messages.

It doesn't make since to move away from one company for privacy reasons onto another company with even worse privacy.
with --no-debug --release ?
I strongly disagree. Just because a feature doesn’t increase the underlying theoretical complexity doesn’t mean it’s a good idea.

As a trivial example C plus “come from” is fundamentally the same language as regular C, and one can trivially translate it to remove come from. That doesn’t mean that adding come from to C would be a good idea.
> It’s important to understand that this is a big problem. If a type system is Turing complete, than it either has to be inconsistent or incomplete. In other words it either must allow type invalid programs through, or it must prevent some type valid programs (or both!).

No, you're mixing up concepts (consistency vs. soundness).

If a type system has non-normalizing types (or non-normalizing terms which appear in types), then it is inconsistent as a logic, which means that via Curry-Howard you can prove anything (ex falso quodlibet). Regarding incompleteness, any sufficiently expressive logic is incomplete per Gödel's first incompleteness theorem.

A type system which is inconsistent as a logic can still be sound as a type system. Soundness is the property that you described in your second paragraph (not letting "invalid" programs through). A simple example is System U. It's sound as a type system, but inconsistent as a logic. That means it works for programming, but not for proving.
Before anyone begins to panic, here are two paragraphs that sum this up:

"For both vaccines, detailed review of all reports has found that the overwhelming majority relate to injection site reactions (sore arm for example) and generalised symptoms such as a ‘flu-like’ illness, headache, chills, fatigue (tiredness), nausea (feeling sick), fever, dizziness, weakness, aching muscles, and rapid heartbeat. Generally, these happen shortly after the vaccination and are not associated with more serious or lasting illness. These types of reaction reflect the acute immune response triggered by the body to the vaccines, are typically seen with most types of vaccine and tend to resolve within a day or two. The nature of reported suspected ADRs across all ages is broadly similar, although, as seen in the clinical trials and as is usually seen with other vaccines, they may be reported more frequently in younger adults.

As we receive more reports of these types of reactions with more exposure to the COVID-19 vaccines, we are building a picture of how individuals are experiencing them and the different ways that side effects may present in people. Some people have reported a sudden feeling of cold with shivering/shaking accompanied by a rise in temperature, often with sweating, headache (including migraine-like headaches), nausea, muscle aches and feeling unwell, starting within a day of having the vaccine. Similar to the flu like illness reported in clinical trials, these effects may last a day or two."
Because in one case I have an original Picasso, in the other all I have is a hash in a blockchain somewhere. I don't get how people don't see the difference.

An original Picasso... vs a hash number.

Would I rather have the basketball that Lebron dunked in a game or some random basketball that Lebron issued an NFT for? They are for all intents and purposes identical. Why do people care?

It's likely because authenticity matters, hard work begetting achievement matters, real world deeds, real world objects matter. Matter matters. It's just how humans work, maybe because we are matter..

Diamonds are a great example. They are in fact scarce, which drives value, and the reason artificial diamonds don't retain value is because they are less scarce. Now work backwards.
That's a fair characterization of the workings of the state, which has never really lived up to any democratic norm to be honest, but if you actually walk through Singapore and see how people live, honestly it is a successful multiethnic society. LKY might have a lot of non-PC views, but you wouldn't know it just by visiting the place. And that's I think what matters.

And on the humanitarian front, yeah Singapore has a underclass of foreign workers with little chances of citizenship, but then so has the US. Talk to agricultural workers in Cali. The undocumented labour pool is millions of people. Or Eastern Europeans on German fields picking asparagus.
Reminder: Possession of psilocybin or psilocybin-containing substances such as magic mushrooms remain a felony in all 50 US states, just like possession of marijuana.

They may not be enforcing it, but it's still a federal felony, and they are free to (as well as within their legal rights to) enforce it at any time, for any arbitrary reason.

If you choose to openly commit US federal felonies, you should be aware that it is entirely legal for the US to choose to enforce those laws against you on the basis of entirely unrelated reasons: race, political alignment, sexual orientation, gender identity, hair color, words on your t-shirt, protected expression, articles published, opinions expressed at a conference, investigative journalism, et c. They would be entirely within their rights to seek and obtain a search warrant for your property: your office, your residence, including all computers and data, as a result of your open violation of federal law. (They oftentimes after a search warrant keep all hardware that contains any data whatsoever for months or years, and even getting it back at all can entail a months-long, five figure legal battle that you'll have to pay for up front.)

The reasons the AUSA chose you to prosecute will not be relevant to the trial, which will concern itself only with whether or not you possessed a schedule 1 substance, which is (again) a felony that may carry jail time.

When you choose to ignore US federal controlled substance laws due to state or regional decriminalization efforts, you effectively waive your 1A, 2A, and 4A civil rights.
That makes more sense because I've never encoutered this bug but my distro doesn't have a Firefox package, I use the "Windows" distro from Microsoft. Very stable and highly compatible anymore.
> Yeah, the religious leader does a lot less harm

This is not a good take.

It is hard to estimate the magnitude of the harm done by even a single religious leader who preaches a message of hate and fear. A leader who deeply instils into his congregation a belief system that has undertones of racism, misogyny, homophobia, and authoritarianism.

I don't personally believe in the god my parents did, and while you're right that it doesn't really matter if who they believe in is real, it does matter that they choose to follow the teachings of the church in the name of that god.
This feels like a pharma-grab, and it should be investigated.
Emacs-ng is actually a fork of remacs. Many of the same people are involved.
Yes, that was my point, they were able to buy an (apparently) suitable vehicle 'off the shelf'.
Amusingly, I've done a multi-threaded version of the word counting program in order to test a shm kv store. I needed benchmark that created a lot of cross thread concurrent accesses to keys and I found a blog about this test. My version has serious constraints though, you have to create a shared memory map with enough space to hold all of the keys beforehand, as it doesn't resize the shm kv map as it runs.

This is the source for it:

https://github.com/raitechnology/raikv/blob/master/test/ctes...

The speedup of the multi-threaded version vs the single-threaded version is about linear. The single threaded version uses 2 threads, one to read stdin and one to hash the keys, the 16 threaded version uses one thread to read, 16 to hash.

$ time ctest -t 1 < ~/data/enwiki-p10p30303
18.88user 0.25system 0:09.58elapsed 199%CPU

$ time ctest -t 16 < ~/data/enwiki-p10p30303
8.08user 0.25system 0:00.49elapsed 1680%CPU
Authy does but has some issues showing same site names as on PC so not perfect
Nit on the homepage: TV's -> TVs
You might be semi joking, so apologies if I took it too literally: I'm assuming nothing really. And we are saying almost the exact same thing. Many pass, many fail. Pretty good chance of succeeding, pretty good chance of failing.
My point was poorly stated, based on one line of the GP comment:

> Azure AD taking down pretty much the entirety of Azure / O365 / Teams is frankly inexcusable

My objection was that the Microsoft Azure AD service is down, there's nothing that Microsoft can do to protect the services that rely on it.

Setting aside your valid x509 counter-argument, the remaining options you listed to increase availability, to me, have to do with resilience of the Azure AD service. They're not alternative services.

It depends on where you draw the boundary around the service. Again, clearly Microsoft has failed to provide sufficient resiliency, not arguing against that at all. But once the service is down, practically by definition Teams and Exchange and everything else is doomed.
I was given the book "The 85 ways to Tie a Tie" as a gift many years ago. It is a wonderful read for nerds.

"Two physicists prove that there are not just four ways to tie a tie, but a further eighty-one. ‘The 85 Ways to Tie a Tie’ unravels the history of ties, the story of the discovery of the new knots and some very elegant mathematics in action."

https://www.amazon.in/85-Ways-Tie-Science-Aesthetics/dp/1841...
and better code review experience as compared to Gitlab
He got paid a good month salary for spending a bit of time fixing an issue (which is tricky but not extreme if you know re). I feel like people having strong opinions that's not enough should just open a GFM campaign to give him more and add their own money. It easier to say how others should spend.
What evidence do you have for "these things are not caused by racism, because you can completely remove white people from the equation and yet the situation only ever gets worse"?

"see what happens when white people are completely removed from the equation" is not an experiment that is possible to run.

So, no, you can't empirically do what you're saying you can do.

If you have a thought experiment or an approximation in mind, do share.

Here's a thought experiment: every judge, lawyer, jury member, and police officer is now black. If you think that is akin to white people disappearing, then we disagree. e.g. who wrote the laws? who stands to profit the most from incarceration?

It's called "systemic" racism for a reason.
This is a excellent knot with many, many great uses. I personally prefer the taut-line hitch because it’s faster and easier to tie, even if not quite as strong.

Combine this with an alpine butterfly[1] to add loops and you can basically create a leveraged way to tighten a rope.

1. https://www.animatedknots.com/alpine-butterfly-loop-knot
> only interested in FAANG money and being able to retire early

That should tell you the problem.
Why is this a download?

My covid project was an SMS news API completely controllable from your phone and delivers short news summaries on any topic scraped from across the web (www.zipnews.io). While fun and it has several paying customers, the SMS can be somewhat expensive to send. The strength is that everyone with a connected cell phone can access the API.
My bank (USAA) decided to switch their 2FA away from SMS a while ago. They only do email or the USAA app auth code. I love it and I feel much safer with them because of it. Let's do start to move away - yes!
I've been looking into Google Voice alternatives, and https://voip.ms/ looks good.
I agree. I think it looks neat.
The proof is trivial. The valid proofs in Zfc are ennumerable. Let f be a proposition in zfc that is undecidable in zfc. Write a computer program c that checks for a proposition p whether proof number n is a proof of p for all n. Apply that computer program to p. A rust program that is valid iff c(p) either doesn’t stop type checking or is invalid.
Was expecting something else. I am rather pleasantly surprised! I am unfamiliar with much of what is on there, so I know how my evening will be spent.
Loss of myelin is one of the major factors of age-related brain deterioration
Only on HN :-) Thanks!
You can use bufferi.ng
Psychedelics are a different game. I’m still not sure if I’m for or against these movements.

Nonetheless, I think anyone who wants to vote on the issues around psychedelics should have to first go through a bad trip. There’s nothing I can write that can allow you to fully understand what it means to have a good trip, or a bad one.

I repeat, you’re playing a different game with this stuff.

edit: lol downvotes

edit2: The best advice I ever received about tripping is that "the trip always ends".
If you're interested in helping out definitely email me at the email in my profile, and please do let me know what isn't working with regards to the React tic-tac-toe lesson!
Firefox is dead. Was dead for a long time. I won’t bother with it again after all these death-by-a-thousand-cuts changes and the way the CEO is handling things at Mozilla. I’m using <insert another browser name here>, and even though it has <insert several drawbacks and user hostile functionality here>, it’s not as dysfunctional or frustrating as Firefox is. Did you hear about that 17-year old bug that was fixed recently in Firefox? You gotta say something about Firefox and priorities.

/s (stands for sarcasm, if someone isn’t familiar with this notation)

Have I captured the essence of forthcoming comments above?

- Sincerely, a Firefox supporter who so far disagrees with some individual decisions but nevertheless will use and support its use
If you're an investor, sure. If you're a user there is unquestionably situations where a product gets worse as it gets more market cap
This article basically is - "The USPS trucks look that way because USPS design says they have to". It would have helped to explain why USPS has these specific requirements - safety, comfort and efficiency.
Sure, to a point. But the right costs and trade-offs aren't the same if you're protecting your spotify account vs millions of dollars in cash.
Will lead or has led?
If we're not free to intentionally harm our own bodies, the only thing to which we plainly and unambiguously hold complete title, we cannot be said to be free to own or control anything in our lives.

This is a moral issue above all else: we are not the property of the state, and the state does not have any claim
whatsoever to a property interest in our own bodies. They are ours to build and ours to destroy, full stop.
I believe this is a joke about Google's penchant for discontinuing beloved products -- https://killedbygoogle.com/
Should then people not be allowed to make their own decisions on this?

I mean, honestly, they can and do currently. The illegality of psychedelics never once stopped me from investigating and trying them. It just means I'd be screwed if I had an encounter with the law while holding them, and I had to buy them through shady means. Both things we'd all be better off without.
Until senior management and boards of directors are personally accountable for deliberate law-breaking it will be seen not just as a business expense but also a useful barrier to entry smaller competition.

"It was illegal. You knew it was illegal. Your claim of ignorance is not a defense because it was your job to know that so you can have a stretch of a few weeks in the slammer with a criminal record to go with that."

Yes caution needs to be taken not to overreach on the enforcement and sentencing just like it does for every single other fraud case.
I'm not convinced that minification actually speeds up execution. Initial parsing, maybe a little bit because of the lack of comments and whitespace. Execution, I don't think so.
Lisp was indeed a hassle on FreeBSD. Viaweb used CLisp, which did clever things with the VM system and garbage collection that weren't quite portable (and CLisp's C code was all written in German for extra debugging fahrvergnügen.)

I don't know how Reddit came to use FreeBSD, but if you asked which OS to use around university CS departments in 2005 you'd get that answer pretty often.
I have no idea how you managed to get it to run that slow. I suspect you are running a different program.
Is TR Pro really better? I suspect that it's just difference between motherboard because it's basically same as EPYC.
Good or bad, does it warrant going to jail for 10 years for doing a drug in the privacy of your own home? Esp. if you do so responsibly with someone to "watch" you in case of an issue.

Though, I heard small doses are enough for some of the mental pickups - too small to cause even a mild trip. But I'm not a doctor/researcher on the subject.

I've never even had a drug, though I'm tempted to go out of state and try something cause my anxiety/depression is strangling me this year.
There's an English version straight on their site, no need for a translator: https://www.pei.de/EN/newsroom/hp-news/2021/210315-pei-infor...
Dr. Bronner’s only exists as a result of the Holocaust, so the connection isn’t exactly lost here.
That’s not quite true about medical cannabis (totally true about psilocybin and recreational though) - the Rohrabacher–Farr amendment (which has been upheld by courts) prevents the US from prosecuting medical cannabis users.

I also don’t really get what you mean by saying that you waive your 1a and 4a rights (2a of course is pretty clear cut, although I’d say you’re being denied your rights more than that you’ve waived them)
> It's a convenient and stable identifier

It is not stable in the least for millions of Americans, especially those who live in poverty (I'm not sure about the rest of the world). Phones are lost or stolen, phone numbers changed because of being harassed by debt collectors, ex-partners, current partners, etc. And if it isn't stable, it isn't convenient.
In a senior role it's important to prioritize your time. If you are dedicating a lot of time to improve a junior's design while they ignore your guidance... you aren't their manager. This problem is compounded when you are a resource for 3+ dev teams, at any given time there will be projects which teams want to go their own way and it's not possible to right the ship without breaking eggs.
You're underplaying your hand, you know. Why leave out that cut, copy, and paste have keyboard shortcuts in Emacs that are used nowhere else, and can't be rebound to match muscle memory in any way that's really useful?

I mean - if you're going to ignore everything that makes Emacs great on your way to cavil about how it's different, why not go all out, right?
I know a popular bank integral to the functioning and liquidity of an entire state whose "eBanking" features are like this, in 2021.
One of the reasons I like weak type systems or duck typing as is with vanilla JS is because I don't have cognitive overload... I don't have to think about abstractions as types I only need to think how to solve the problem in front of me. My unit tests can check for correctness after I've solved the problem. The fact that you can have Turing completeness in a type-system (not the language itself but within it's type system) only furthers my belief that the complexity of some type systems is not worth it.

I feel I'm in a minority here... but I like the nimbleness of dynamic languages, or languages where the type system has a minimal presence.
Again, not robotic kitchen automation.

Oh, it's in process. I consulted on a early prototype of a new automation project for them and that was 3 years ago. McD just refines and tests the hell out of things for years with their vendors before they launch it.

I worked in a McD kitchen 30 years ago as a teenager. The ironic thing is that the amount of people needed to run a kitchen has stayed essentially the same.

Most run with 2-3 people during an average period. It's just that over those years McD has already automated a huge portion of the grunt work in the kitchen, the rest is just tending to the machines and final assembly + customization, which no robot will get right for another decade or two.

Humans are more versatile, easier to train, quickly replaceable when one goes offline, and keep a much cleaner workstation. The robots do the JIT work on everything else.
WOw pretty good memory you guys! I see you were watching HN that day. I don't think I even knew what HN was then.

I find it ironic, or fitting, that the 30th story on Oct 6 2011 is actually about Flash, a thing that died relatively soon after, in no small part due to Steve!
> There are also other factors like the fact that we have a lot more modern electronics to work with and learned from examples like AMFare to make our system easy to clean.

How have you made your system easy to clean?
Fair, I meant that the news was not related to bitcoin price drops today. Generally I agree that Bitcoin has benefited from the Streisand effect, often with some delays.
How would you prefer comments to work?

Could comments be assigned some big weight that has the effect of the comment staying around high enough to clear the misconception?

Could each thread be allowed only a finite number of comments or words, to not disperse attention, with lower quality comments forced to disappear?

Could there be a fool-proof mechanism to force comments you know are wrong to disappear?

If a new site like HN or Reddit showed up, how would would like it work? I ask because I'm toying with the idea of one. Thoughtful beta users get in touch.
So they will do what made some people hate Whatsapp when Facebook acquired them?
Ooh nice news!
> Democracy working as intended?

0-day: San Francisco real estate prices vulnerable to 51% attack.