skysight-inc/HackerNews huggingface dataset:
But why would you remember a right hand or left hand rule? bivectors don't require you to.

x ^ y = x y - y x^T is the generator of the rotation that rotates a vector in the direction y into the direction of x. There is absolutely nothing to remember, and you can work this out immediately from just multiplying out the matrices:

exp(epsilon x ^ y) v ~ v + epsilon x ^ y * v
= v + epsilon x (y,v) - epsilon y (x,v)

We add a little bit in the x direction and remove a bit in the y direction.

The whole view of rotations happening round an axis is just a coincidence of 3d space, it doesn't make sense in higher dimensions. On the other hand rotations always do (compose into ones that) happen on planes.
Its true those trolls have been around for some time. Its human nature to rear an ugly face under the auspices of anonymity. Makes me think about the real world vs the internet joke on Red vs Blue
https://m.youtube.com/watch?v=I0grFFAxySw
Robotic Swinging Spider-Man Is Coming to Disneyland This Summer
HN does tend to correct such things... in the small. The corrective mechanisms seem to get overwhelmed when the volume of garbage is too high. People don't have the time and the energy to wade through it all and try to clean it up, so the garbage accumulates. This is true both of the members and the moderators.

So HN tries to avoid topics that are too hot-button politically. I like to think that we do better at having a reasoned discussion on difficult topics than other places do, but we have our limits.
You can write your own definitions for your types for instances of Functor, Applicative etc. explicitly. Are you worried about the performance when you refer to algorithmic complexity, or what exactly?
Paid Tier For Twitter?
Thanks, I'll add it to my list.
Honestly, as a noob, this is one of the biggest reasons I have such a hard time deciding to learn regex.

Python flavor would probably be different than PCRE, which is probably different than JS flavor.

Even worse is that it might be too late to standardize all the regex flavors because there is already so much written in different regex flavors that it just costs too much for them to become obsolete in the future.

This is really demotivating.
> Ignoring them doesn't fix the problem.

"The problem". What problem are we talking about again here? Is the problem that people are believing wrong things, or the spread of polarization and toxicity?

I don't care if people believe "wrong things". How's that old song go? "All lies and jests, still a man hears what he wants to hear, and disregards the rest"? People will always believe whatever they want to, regardless of "evidence", regardless of history, regardless of persuasion. "Post-truth" society is such a ludicrous term. There was never a "truth society" to begin with. Never. If someone doesn't want to change their mind, you're tilting at windmills. Doubly so if this person is an anonymous account.

What I care about is stopping the spread of toxic and divisive stereotypes.

Look at the front page of Reddit. Every other post is a screenshot of an outrageous anonymous tweet, or a picture of a receipt with a nasty note on it, or a text message conversation. Look at how the public receives this: "Who cares if it's real or fake? The point is that it reinforces my stereotype of 'them'. We know 'they' exist, and we must do something about 'them'."

That's what's driving polarization and toxicity. The urge to respond with outrage to anonymous trolls. This is a problem we can fix by down voting and moving on.
I would highly suggest https://thinkingwithtypes.com/ - it's not a 2000 page monster, and specifically addresses what you are interested in.
The Dawn of DevOps
> Are Android phone makers going to have to license the Lightning port from Apple? Or is the EU going to declare that USB-C is the be all end all of phone plugs?

It looks more like the latter. After all, Apple is the odd one out now.

https://www.androidcentral.com/eu-may-push-iphones-adopt-usb...
https://www.glassfrog.com/

SaaS for the Holacracy niche.
I'll note that What Got Done is probably a viable boutique SaaS business if you somehow figured out distribution for it, at price points between $50 and $200 per month. My confidence on this approaches total. HNers skeptical because it is technically trivial should probably reflect for a moment on how much time is spent on standups at a company with 20 or 200 engineers, what one hour of their time is worth, and how likely that company is to put an engineer on this project specifically.

I perceived an almost audible crack from how hard this statement hits it out of the park.
IIRC matrices are still required in Geometric Algebra ? Maybe by "matrix math" you mean "Vector Algebra? "
The massive amount of toxicity and drama among Twitter users with accounts linked to their real identity is strong counter-evidence to this. When I think of "polarization and toxicity on the web", I think of Twitter arguments that spill over into real life precisely because of this connection between online identity and real identity.
> If you did not spend enough time in Haskell to realize that you are in no position to judge it.

Sadly this will never stop anyone from doing it anyway.

I had a VPE (didn't know Haskell) who tried to read some of the team's Haskell and couldn't grok it despite his many years of software experience. His response? Spout that "people are saying the Haskell codebase is hard to understand" without any indication that he was in fact "people."
Why Sun thinks Hot Java will give you a lift (1995)
How is this better than photography? Surely it's easier to zoom in on a picture to see it's characteristics.

This is concerning: "her gaze is on plants, dried specimens of dead plants, up close, and closer, under a microscope. Sometimes she hydrates stems and flower parts, coaxing zombie life into them."

How does she know which parts of the plant to hydrate? What if it doesn't actually look like that in real life?
Quake 3 Source Code Review: The Quake Virtual Machine
For a summary of William Rowan Hamilton's life (including the bridge story), see this amazingly clever video based on the song from Hamilton:
https://www.youtube.com/watch?v=SZXHoWwBcDc
You don't get automatically added to all groups (or any), some other human, that works with you, does that.
Nope, they just lied about their addiction potential. Intentionally getting someone addicted to a drug can’t in any way be seen as forcing them to take it.
No, the desire to correct other people who are wrong is the fundamental impulse of pedantry.

The desire to compel others to conform to one’s ideal of correctness is the fundamental impulse of authoritarianism.

...but also libertarianism, for a particular aspect of correctness.
$20/h is shockingly low. That is an effective rate of around 10 bucks an hour, at or below minimum wage level.
I trust the government to do what they're supposed to do.
They failed. Too many straws in turtles anuses.
Ban plastic needles and straws worldwide. Now.
Kiinnitä huomiota -- attach/bind/fix (some) attention. Finnish.
We have, on occasion, had discussions of carefully-chosen hot-button topics, with a warning from dang at the beginning to keep it under control, and careful monitoring from the mods thereafter. They don't do it often, though - only when they think the value of the discussion has a chance to outweigh the risk of a flame-fest.
In other words, except for the scale, and the fact that it's infected the mainstream media, and the accelerants making it even worse, it's the same old thing?

So we can summarize as "there's been a huge uptick in the toxicity online (which was always there)?"
Let's say that imputed rent is, on average, 10% of the total value of the property.

That makes a 10% tax on imputed rent the exact same thing as a 1% tax on the value of the property.

So your point is really just an argument about the rate, not an argument about the fundamentals of what is being taxed.

Note that property taxes tend to be a fraction of sales taxes for exactly this reason.
Great. This will mean wonders for the short-term adoption of Wireguard, as it's now in a "stable" Linux distro. After Ubuntu 20.04 there's a big gap in new "stable/enterprise" releases.

Debian 11 - Mid 2021, probably

OpenSUSE Leap/SLES 16 - Mid 2021, probably

Ubuntu 22.04 LTS - April 2022

Red Hat 9 - probably 2024 ?

So if Ubuntu hadn't included this, we would have to wait more than a year to have it in the kernel of a "server-grade" Linux system by default. Most people don't like running more cutting edge distros or fiddling with the kernel on their servers. Defaults matter, so this will be great for Wireguard adoption.
Another point tho ... where I live doubling the taxes and pricing out those holding on with fingernails will only speed the gentrification. I would have no problem selling my house right now at market value and the buyers from the valley wouldnt bat an eye at the taxes ... not even including the foreign buyers coming in to hide the peoples squandered moneys. Prop 13 aids those like myself by keeping us out of the market loop ... I feel no pressure to sell and have no interest in buying again.
That doesn't mean that it's "gained with money", it means that it's spent like currency.
Quite often the error messages will tell you what extension to enable to use that construct.
And the only reason the language pragma is deprecated is because TypeInType is now just how things are, by default, with no opt-out.
Totally fair. I updated the post to say "web developer" instead of programmer, you're right that that's more accurate.
I remember the AOL instant messenger days and people being super derogatory and vulgar for kicks. Even xbox live of 2007 was just as vulgar as today. I don't think its that the internet is more toxic, its that we are more sensitive (more easily offended).

A strong immune system is the best defense. If it rolls off your back, is it really toxic?
> Twitter, aka the comments section they removed from their web presence

Oh my, I never thought about it but this is absolutely true
Large companies often end up getting hamstrung with homegrown solutions as they try to scale, and look for specialized SaaS solutions
I still haven't wrapped my head around quaternions, but 3Blue1Brown on Youtube has a good series of videos justifying and explaining the complex numbers and quaternions in terms not of sqrt(-1) but of transformations of space.
Thank you so much, we will definitly add these comparisons!
It's only in the last few weeks that I've started noticing people using "C" to mean "Control."

I've used "^" for "Control" for at least 40 years.

And more confusing is that these days "C-x" is supposed to mean "Control X." But since I'm used to Control being ^, I read it as "Control-minus, followed by x."
Illustration, by its nature, has the ability to schematize and make diagrammatic our experience of the world on multiple, concurrent levels, in an image or set of images. Using it, you can essentially overlay information about what we understand about a given object not present in a photograph of a said object.

The most obvious example that comes to mind for botanical illustration is the use of cross sections to display the various structures and mechanisms of a plant in a way that is readily interpretable.
Hahaha! That reminds me of the time I couldn't recall the name for "leaf blower" and called them an "air rake".

If anyone's curious the story is here: https://en.wikipedia.org/wiki/Utah_teapot
Only out of abundant caution, it seems. I mean, Cloudflare is using it.
How to Leverage SEO Writing for Your Insurance Brand – Adlibweb
Introduction and Formalization of Boolean Algebra
That sounds ridiculously inconvenient.

" and ' are on the standard French (and Belgian) keyboards.

In general on European keyboards, letters like ê, å, ç, ñ, ß are more useful, so some of the punctuation only of interest to programmers and mathematicians ([], {}, ^, #, |, \, `, ~, _) is accessed using the AltGr (right alt) key.

Usually, the AltGr symbol is printed on the bottom right of the key (Shift+AltGr symbols on the top right). Sometimes only some of these keys are printed -- typical British keyboards print € on the 4 key, but not á, é etc -- although (of course!) they still work.
Lockheed Martin F-35 Can't Even Shoot Straight, Has 873 Software Bugs: Report
The current state of things is result of

(1) Normie-fication of internet. Regular people who aren't necessarily enthusiats have a tendency to want or expect the internet to mirror their daily life; they're not escaping into something better, they're just using internet as extension of their normal life.

(2) An obsession with the self. Everything on social platforms today is self-promotion. "Showing off," to put it simply. Naturally, when the bulk of your internet activity is focused on self-promotion rather than pursuing an intellectual interest, you are naturally exposed to criticism. Some of that criticism will be harsh or inconsiderate, but frankly, that is just to be expected and it's always been this way.

In terms of practical, "what can we do," there's only one thing I can think of: getting rid of identities. The identity-obsessed, self-promotional social platforms will always be doomed. There is no way to "make people be nice." There is only a means to control the extent to which identity is exposed.
But then why do you assume i've got no expenses ? Just because i'm the only one working on it doesn't mean i don't have to pay myself something to live. That's actually my point : the app doesn't generate enough revenue to cover my personnal expenses.
? The original poster said 'how do we stop toxicity', and I am saying how can we tell the toxicity isn't at least somewhat down to bots and shills, the presence of either of which is hardly controversial, is it? I mean we've had people trying to convince us for years that it was the Russian bots that put Trump in the White House, unless I've seriously misunderstood.
But why would the area be expressed as a length? This always struck me as a coincidence, and having read on bivectors it just makes sense that it would be (because a vector represents a distance on a line, a bivector represents an area on plane, a trivector represents a volume on a 3D space and so on).
I agree, type signatures & inference and referential transparency offload the cognitive load from your head to the compiler/IDE.

Functions that actually work on the data structures are generally guaranteed to be able to work on the said data. This way you don't need to constantly be mindful of what the data looks like, the compiler does that for you.
> [T]he other media encourages polarization and demonization of the other for dumb short term. That's a purely American phenomenon...

I don't think that's true. The tone of American political news nowadays doesn't seem that different than British newspapers in the 1990s. "It's the Sun wot won it" was an explicit boast about The Sun's polarizing influence... in 1992.

Of course both The Sun and Fox News in the US are part of Rupert Murdoch's News Corp. But if anything this style of news seems like it arrived in the UK ten or twenty years before it was manifest in the US.
but how many of those are interesting to work on, i too have been freelancimg and know some of problems, but when i think about them i dont reality want to work on them more them i have to.
The answer is heavy handed moderation. You need active moderators who discourage toxic comments and commenting patterns, and give out punishments to repeat offenders. I don't know the the guys at HN do it since there are so few of them, but I like their method of leaving a comment why someone's comment is toxic (usually against guidelines).
I've seen both C-x and ^X since the 1980s.
I think the rising sense of division is caused by social networking sites that are increasingly interest-based or focused on small communities. When every interaction is focused around people who already agree with you, it begins to feel like the whole world agrees with you on everything. This is a pretty pleasant feeling. But then when someone wanders in to your sphere with a different point of view, the interactions are vitriolic. This is most notable on social networking sites like Twitter where you mostly follow / interact with people who agree with you, but randos can jump in out of nowhere and stir the pot.

I believe that we, as a society need to engage with one another better. Be less quick to judge. Be less quick to mock. Learn to get along with people that hold views that are antithetical to our own -- just like we have to in the real world. And when someone comes in to your community with the explicit intent of disruption, simply ignore them.
So basically, people are assholes and always have been.

Something stuck with me a long time ago when I was watching tv a lot, there was a character on Scrubs named "Dr Cox" who said people are bastard coated bastards with bastard filling.
Unfortunately I seem to have the passed the point of no return: I can't focus long enough to read an article on how to learn to focus for longer times :-(
Reflections on 10 years of Go (DevFest 2019)
> But, is it that turtle all the way down? I mean, the cops who broke the law to "get their hands on him" - why? The diplomatic backroom dealing - why? The politicians who should know better - what do they gain?

This is business-as-usual behavior. No one asks why when it has become _habit_.
Other reactors on the Japanese coast survived because they updated the breakwaters after the Indonesian tsunami. So it wasn't really a black swan event because another tsunami had happened a few years earlier.
Propaganda has always been there.

During the Golden Age of broadcast TV and Radio (pre-internet), the big networks broadcasted plenty of unchallenged lies. The difference now is that laymen can fact check the content put out by the big players. But the price for this is that every troll or nutter has access to the some of the same tools to spread their own lunacy.

I far prefer the current situation over the previous. While it may have felt more comfortable when people believed that news readers were telling the truth or reporting truth, it never was that way.
All of your arguments have the side effect of increasing the value of your home, thereby making you more dependent on Prop 13.
True but in BT that was SD's (Security Division) Job to set standards and our teams Sysadmin handled that

SD was the employer Of Bruce Schinner for a few years BTW
Even those have been around on the internet since the dawn of the internet.
Clearly ^ is superior to C in every way.
These seem like dispassionate technical observations to me? His argument is that it’s obsolete.

It’s ‘we’re ok without that thanks’ not ‘war’.
I thought I was too.
The Machine Without the Factory: An Interview with Cory Doctorow
Off topic: this Telegra.ph UX is really neat. I wish I could use Wordpress like that.
> don't touch ReadWriteLocks

I am interested in references that back this statement
Yes, although it's not always your responsibility to do that.

Firstly not all strings are on the heap, but ignoring that... If somebody passes you a pointer to a string and you aren't going to hold onto it for a while, you can just add to the pointer and it's no big deal. But yes, if you own the allocation, you need to keep the old pointer too.
Wikipedia blurb that has no citation but makes sense:

"The development of photographic plates has not made illustration obsolete, despite the improvements in reproducing photographs in printed materials. A botanical illustrator is able to create a compromise of accuracy, an idealized image from several specimens, and the inclusion of the face and reverse of the features such as leaves. Additionally, details of sections can be given at a magnified scale and included around the margins around the image."
It is really hard at this point to come away from reading anything about Assange or Snowden at this point and not feel you are being manipulated in some way or another. None of the agencies which are involved are beyond suspect, nor are Assange or Snowden without major faults/ issues.

About the only really clear winner in this whole disaster is Russia. Regardless of how this all plays out and what people believe, the US looks like shit here (to a large extent rightfully) and they walked away with piled of top secret and confidential US information.

This is perhaps the greatest espionage victory since WWII and it was largely self-inflicted.
Does Internet Advertising Work at All?
I've been reading that book occasionally for months but honestly, many parts are somewhat too advanced for me for now. I've sort of backed off from type level programming for now to maintain productivity with building actual things. Still, I'd like to read about it from someone coming from imperative languages.
You would need an autonomous drone, and a society willing to take the man out of the middle in the decision loop for a lethal event. We all love tech on HN, but consider the hype around AI and self-driving cars that were all the rage the last decade. Reality proved far more difficult than the advocates promised.
Coronavirus case in Chicago is first person-to-person transmission in US
> I don't care if people believe "wrong things".

But those beliefs lead to actions, which have negative consequences, which can affect us all.
It has always been a problem, but I agree it has gotten worse. The problem is that it has gotten worse in the real world too. Ive had friends family and strangers yell at me over minor political disagreements, and its not primarily coming from any particular side or group. You would think they were trying to fight about something important like emacs or vim.

But why is this happening recently? I think the rise of smart phones has facilitated way more people engaging on the internet instead of just browsing. This in turn has opened up people to the vast amount of viewpoints in the world, and unfortunately people tend to get angry at people that are different.

Another thing that has become a problem is people being paid to support or attack a cause. These professional rabble rousers are stirring up shit inside of people that would rather just have a sandwhich.
Well, at a top level, hardware and software (and maybe firmware).

Within software, maybe OSes, databases, graphics, games, embedded, web programming, languages, scientific/numeric, a couple other major areas that I'm forgetting at the moment, and probably a hundred smaller specialties.
There are many folks who refuse to exert themselves and a few smokers that do. Sometimes they meet.
Employers use algos to rate interviewees. New IL law gives candidates rights
Before Nick @ Nite, those same syndicated shows were the primary content for channels in the UHF band. The major networks were in the VHF band. Back then, a show didn't qualify for syndication until it hit 100 episodes. That's why they made such a big deal about it. That's also why they would have 20+ episodes per season to get to 100 in as few years as possible. Once you got to 100, you didn't worry about getting canceled as much because you now could earn mail box money from syndication fees.
I definitely wasn't cynically throwing up my hands and smugly concluding all sides are lying. All I intended to do was demonstrate how cheap it is to call someone a liar on the internet. It costs nothing to the reputations of you or your "lying friend" to call one another a liar and thats why it doesn't mean anything. The sooner people realize this the better off we'll be.
I just did an image search, and you're right — no brackets printed on the keyboard.

I find this interesting, because back in the 90's I happened to be in Austria and I bought a German keyboard for the sole reason that it had all of the brackets on it, and the US keyboard I was using at the time didn't.

Keyboards can be so random. I wonder what goes into these kinds of decisions amongst keyboard designers. (I know there's an ISO committee for this, but we all know "standard" ≠ "best")