skysight-inc/HackerNews huggingface dataset:
I tend to downvote cases where someone is using very toxic attitudes or disingenuously endorsing toxic things under the guise of fair inquiry.

This can take the form of “citation needed” or “sources please” bad faith sniped requests for “evidence.” It can also take the form of overtly abusive attitudes, defending things like misogyny or defending repression of different classes of people, for example if someone said something like, “I don’t feel like I have to make my heterosexual identity widely known at work, so I think people with a homosexual identity also should keep it to themselves.” This sort of thing is masqueraded as fair and balanced or “just an opinion” to make it seem like it deserves equal footing or equal consideration, but really this sort of thing is flagrantly uncivil and harmful, and dressing it up like it’s some innocuous comment is one of the worst parts.

Unfortunately, I can’t always explain my reasoning for these sorts of downvotes, because the community guidelines of HN are often very, very unfairly enforced, giving a free pass to things that are genuinely horrible yet reprimanding any follow-up comments that call those people out on their toxic bullshit. Sometimes the comments are so bad that I’ll take the risk of misplaced moderator admonition. But usually I just downvote & move on.

On technical topics, I will downvote things if they appear uncharitably one-sided or unfairly ridiculing an alternative on unfair grounds. For example I see this a ton in posts focusing on Nim & Julia, where instead of just dispassionately mentioning preferences or benefits, the posts go further to unfairly deride alternatives or make straw man comparisons.

I think downvoting is actually quite important for keeping bad commentary off of HN. Very sincerely, there’s a lot of commentary here that is one small step removed from The Red Pill or MRA toxicity, and unfortunately the site guidelines allow it to be treated as if it’s innocuous and fair / civil discourse.

I really worry a great deal for HN. As a site that aims to set high standards for community participation, it paints a bleak picture of societal discourse at large and in fact people who stand up for basic social norms and respect are the ones who get unfairly downvoted and admonished.
Wait, are you suggesting to use http 'internally' meaning within the same process on the device?
I think Hindi/Urdu is quite a bit like Serbian/Croatian. The preferred script followed the religious divide, but (if I understand right) both sort-of standardised quite similar dialects out of a range of possibilities. And then later they were politically divided, and there were some efforts to move the official vocabulary away from each other's.

IIRC Sanskrit has also been written in dozens of scripts, there's a perfect one-to-one transliteration into most (maybe all) the north-indian scripts, although they have extra characters for their own sounds.
How not to launch your website
Path to Native-Level Fluency for Japanese
That's exactly what GP is saying. Their stated end goal is the same, a multicultural, multiethnic, classless society.

Beyond that, Marxism-Léninisme (Classic Marxism much less so) and Anarchism/Anarcho-Syndicalism do not have much in common.
Course correct, after failing to course correct
Yeah exactly!

And worth noting that these are just the ones where you usually have good sequences on other cpus, but even then (like signed mul) they’re not perfect. Lots of room for improvement. It’s just that risc-v didn’t seize the opportunity.
Well first thing even in the case of video streaming the url changes with time with the current security measures and hence valid only for certain time

My second point w.r.t comparison is regarding the security of data channels of webrtc which is a pretty secure channel which is used in video conferencing as well but there is no known security loopholes in that and thus no concern
the US police is such a shit show, as the news of innocent people getting gunned down keep showing us. I have zero trust in a system that has even less accountability.
"it's slightly different" confuses the issue.

It seems easy to say, "actually, no, India has multiple unrelated language groups as different from each other as English is from Hindi, and I don't just mean in isolated villages"
Similarly ITER and the whole fusion research project is a jobs program to maintain a population of high-neutron-flux physicists to draw on for weapons work. (There will be no fusion power.) But has anything useful spun off? Maybe plasma dynamics maths.

Inertial confinement drove development of short-pulse lasers, which are good for research into chemical reaction dynamics.
If temperature keeps accellerating, most area around belt of equator is going to have increases of wildfires and firestorms, though area around poles warms up faster. Every energy increase from here on is going to be unprecedented for the past 10000 years. See David Attenborough's latest documentary on Netflix.
I was always surprised it was never referred to by an event that wildly predates the Streisand image: Alyssa Milano suing websites (Though apparently it was her mother filing the suits first) to try to have her nude images removed from the internet.

That was 1998. Streisand was 2003.

https://money.cnn.com/1998/04/30/technology/internet_pkg/
Ask HN: Can a Kiss investor (debt version) ask for its money back?
Hello HN, I write because we are currently going through a rough moment just after starting to get better traction results. The thing is we have an institutional investor who previously told us they would likely invest in future rounds, and might even be interested in eventually acquiring us. Everything was great with them. But after covid they decided they were pulling out of all their investments outside of their core business area, and we are outside of their core business.
We signed the debt version of a KISS, and we are wondering if this entitles them to actually get their money back. Our lawyers at the time told us it was not the case, but with the current situation we want to be completely sure. We have not been able to find many resources on the topic, but the ones we have found either say (i) it's not a real debt or (ii) it is repayable after the maturity date. Any kind of information on the topic would be really appreciated. Thank you in advance and have a great rest of your weekend!
Lots of people got 80% of the way there with one of those keyboard templates -- a plastic overlay that fits around your function keys and tells you what it does by itself, and when combined with Shift/Ctrl/Alt, and in the margins explains some other useful keys. But it's easier to learn by word of mouth -- when everyone around you is using it and you can ask the person next to you. Obviously that route doesn't work anymore! So people might actually read the manual.
I scrolled through the front part of the article seeing 3-4 lines at a time before I realized I could roll down the thing covering up the bottom (since it has a down caret instead of an X, I didn't see it as closable). I never did go back and read the part I missed.
Countercounterpoint - accusations of "sealioning" are often used against people who genuinely disagree. The underlying assumption is that no good-faith disagreement is possible because the accuser is obviously correct.
Welcome to six years ago, where Americans where shocked that the NSA had spied on US citizens but did not give a shit about the spying on regular innocent people in other countries around the world.

As a Dane, I hope that the politicians a going to make it crystal clear the the FE is suppose to collect intel to protect the country, but not at any cost. Flat out lying and keeping secrets from the people who are tasked with the civilian oversight of the FE should be punished with prison time to make it clear, at all levels, that this will not be tolerated.

I don’t have much faith in any serious reprocaution though. At least two ministers of justice have told telcos to continue provide mass survilance to PET ( Internal police intelligence ). It’s clearly against EU law and EU courts have made rulings telling the Danish government to stop. They just don’t care. The police won’t even say how often it’s used. The general consensus seems to be basically NEVER, and it’s never the main intelligence source, still they refuse to stop.
> That was a complete UI overhaul which is different than FB and their hundreds of mini-changes but the idea is similar.

The problem with facebook's approach is that you can get stuck in local optima and it might be hard to break out. That is why Facebook has done some big changes in the past as well, not just incremental improvements
> Given the political situation in certain places in Asia, a device that either communicates securely or doesn't communicate at all, with no grey area inbetween, is more than a geeky obsession. It's a tool.

If one is worried about nation state actors, the ownership of a device that's secure and uncommon enough is likely to attract additional scrutiny or just be seized, legally or not.

It's a pretty cool device, mind you. The fact that they're going out of their way to make sure the device is fully inspectable and trustable is pretty impressive, as you point out. It's just not very usable as a privacy tool in a hostile environment due to it being rather conspicuous.
"I think this kind of society is something that is worth thinking about"

It absolutely is worth thinking about, but not blinded by ideology. I first read about the temporary anarchistic areas in spain praised as a Utopia. And I thought something like, wow, those evil capitalist forces did hide that from me and others.

Reading Orwells Catalonia set things straight a bit. And Orwell was a socialist. But not one blinded by ideology. He wrote about, what he saw. Not what he wished to be seeing.

Allmost all anarchistic literature I read, were very much on the wishful fairy tale side of things, when it came to real world events, like spain.

Anarchism can be without violence? Yeah well, how do you remove people from their property in reality? You come with guns and ask them nicely to fck off? Yeah, that works, but is not really nonviolent.
Interesting, thanks for sharing. That just made it even worse! What they should've done is to make it work either way so if the battery is low, you can connect it via USB to the mac and still use it while it is charging.
Used by whom? Humans. Humans control technology to control other humans. Several layers of failure, there.
So... JSON?

Honestly if json had comments and allowed trailing commas it would be perfect.
The point about sources on the internet being of dubious quality is quite important. The ability to critique sources is utterly missing from a lot of people's education, and it took the internet to expose it.

It's also one of the most frustrating things to explain to someone when their "research" is wrong:

"Yes, I know he's called doctor in those early papers, he was struck off the register. No, it doesn't cause autism, that was made up. No, I'm not a doctor, but I'm not the one making the claims."

All those rebuttals require a diversion that wouldn't be necessary to explain if people were educated in how to assess sources.

I don't know what to do about it, because it manifests as a dubious presentation of crappy sources, but the explanation of what makes a credible source itself is a long and somewhat vague story:

- Other credible sources support it

- Independent sources support it

- Connects with existing models of the world

- History of being credible

- Incentives align, no obvious conflicts

All of those are things for which you can create an alternate universe. Your own network of outlets that support each other, your own flat-earth physics and lizardmen politics, and your own history.
Missed it. Link?
The barbarians aren’t at the gate, Genghis Khan ain’t riding across Central Asia, Japan is unified, America isn’t in the midst of a civil war, and Europe is trying this union thing on to see how that goes, and the relative fallout if it doesn’t work out looks fairly minor compared to the Napoleonic Wars, the Franco-Prussian Wars, two World Wars and the Iron Curtain.

I know I know, recency bias and all that, but the world is pretty great these days, even if 2020 seems a low point in our lives.
First, UX is not (mostly) about the chosen theory, and the fact that all sufficiently rich formalisms can all be embedded in one another (indeed, TLA has been embedded in Isabelle/HOL, and Coq) doesn't mean that they all have the same UX, just as the fact that Assembly, C++ and Python can all interpret one another doesn't mean that their UX is the same. (And that TLA+ focuses "only" on TLA means just as much as saying Agda focuses "just" on lambda calculus; you can embed the lambda calculus in TLA just as you can vice-versa). TLA+ is specifically designed for engineers -- not logicians -- to specify digital and hybrid systems rather than explore formal mathematics in general. Plus, the tooling makes a world of difference.

Second, as I tried explaining before, all formalisms that focus on end-to-end verification must be more complex, because they must be programming languages; this means that they need a well-defined portion of their syntax to be executable. For example type-theoretic formalisms have distinct categories for the object level and the type-level, the type level not being executable (although in some very specific circumstances, it's possible to automatically synthesise an inhabitant from its type). TLA+ is not a programming language. It has no specific syntactic category that can be executed, and there is no distinction between a type level and an object level. There is just a type-level, you like. Moreover, there's an infinite lattice of formulas, and the simple logical implication, A ⇒ B, means that A implements or refines B, or that B is an abstraction of A (if you're familiar with types, this could either correspond to A being an inhabitant of B or A being a subtype of B, except there is no distinction between the two). In fact, there's a theorem that says that if B is an abstraction of A, then you can prove A^ ⇒ B, where A^ is A with some substitutions. If you're interested, I have a rather long text, written as a series of blog posts, about TLA+'s design of the theory and its ergonomics: https://pron.github.io/tlaplus. Parts 3 and 4 focus on the computational aspect, while part 2 talks of the data aspect.
With Visual Basic you could do these 7 things very, very quickly.
Go see a therapist, you have issues. The issue is with you. Not every company out there is bad, some are bad, some are good. They will of course have their challenges, and you can find one to be a member and figure out how to make them better or you can dip out and be on the sideline complaining about how everything sucks. Go see a therapist, if you can afford to take some time off to decompress and find yourself, so so do. Best of luck.

I've been in tech for far longer, I love it. We really live in the future, when I see the advances that have been made and stop and really contrast with 20yrs or even 10yrs ago, I'm very humbled. We can definitely get better, but things ain't as bad as you make it out to be.
I don't know much about the KISS structure either, but I hope you are able to resolve this! That is never news a founder wants to hear...
For others that don't know "sealioning", it's unreasonable harassment under the guise of a civil debate. The term comes from a webcomic:

http://wondermark.com/1k62/
What does it remember? The approach tried previously?
My understanding is that this isn't really the case. Flutter is focused on the user interface portions of an app and Kotlin MP is focused on non-UX portions. Flutter does have some docs on incrementally moving apps at https://flutter.dev/docs/development/add-to-app. This seems early, but with Tim Sneath (experienced with the issues involving moving Microsoft devs between UI frameworks and interop), I suspect that this area will get fleshed out.

What you need to do is analyze your situation and make a decision on whether you have significant non-UX code which will be a bear to maintain long-term. Most people do not, so maintaining a platform-agnostic layer is unrealistic.

To help with this, let's look at an older example: Microsoft. In https://channel9.msdn.com/Events/CPP/C-PP-Con-2014/024-Micro... they describe how they are using C/C++ as the basis for their Office applications. Why? They have a load of legacy code that needs to be reused and they needed the exact behavior on all platforms. This code runs on the client and can't be moved off to the server-side which would be the preference when feasible.

Since iOS and Android can consume C/C++ code it makes sense to maintain as much of the application in C/C++ as possible for sharing while creating native apps which are as thin as reasonable. They can do iOS and Android specific things where it brings value, but centrally, they can decide if it should be something available across all platforms, or even architect it partly in C/C++, and partly in the native API for the mobile platform. This allows them to bring it quickly from Android to iOS in a future release.

Microsoft can easily afford to do everything described above. If we look at Netflix they are in a similar position, but don't have as much legacy C/C++ code. Kotlin MP feels like a nice alternative given Netflix's situation.

Do you feel like you are in a similar situation? Few developers are in this situation, but it's attractive to architecture astronauts. While somewhat unpleasant, duplicating functionality in native iOS and Android code bases might be the right thing for your apps now. If not, there are in-between options such as moving to Flutter for all your UI code and Dart becomes your main client language. You have to be able to live with any compromises (I'm more familiar with Xamarin which is an aging, but similar trade-off.) That seems like one of the better balances today with good momentum behind the platform and strong implementation.
>Danish intelligence have access to cables running through Denmark.

Access to cables and access to xkeyscore are fundamentally not the same thing
Yes, it is exactly a candidate key as they describe it - simply another field which uniquely identifies rows in the entity.

EDIT: Agree with panda17, they're using it as "candidate keys which were not chosen as primary key."
I think you probably learned a lot more from those menial jobs than you realize. People who never did that kind of job often lack empathy for blue-collar workers; I used to work with one engineer who didn’t care whether production staff got laid off because our project was late (whereas others believed we had a duty to our co-workers). You also either demonstrated or developed an ability to cope with working on tasks that were tough, uninteresting and monotonous; many white-collar workers expect work to always be fun, with constant positive reinforcement, variety, and no failure (like school).

You learn the second lesson from sailing, but not the first.
Why shouldn't C++ continue to get faster, too?
There is no security without freedom. https://wp.puri.sm/posts/apple-is-right-about-privacy-but-wr...
This company's flagship product was a Mesos distribution. It actually is saying something if most of those customers wound up (also) running Kubernetes.
Install Arch Linux with accessibility options
How much did it cost? The process seems extremely expensive if you are not a millionaire.
If it can kill you it is critical.

I had an intermittent short in the indicator switch on a motorcycle. One day it suddenly started indicating left at an intersection when I was going straight. A car in the opposite direction was turning (their) left and almost hit me. According to the other driver my bike started indicating (my) left as I neared the intersection so it looked entirely intentional.

Fortunately we both had left ourselves safety margins and had eye contact so we didn't crash. But add youth, testosterone and aggressive driving and that could easily have been a really dangerous misunderstanding.
Unless you happen to be one of those 2-3 people. Just let us know when you are ready to be sacrificed for the sake of the market, happy to oblige.
> So I want open Hardware and Pine seems to be the best, there is right now.

Purism is better: they pursue FSF certification for their phone and develop software empowering the user.
Netgear is known to stop releasing firmware updates to their routers ASAP!
The model checker TLC, like SPIN, does verify "against all interleavings" but it doesn't "run" all of them; in fact, it runs none of them. Conceptually, it gives you the answer about all of them, but the algorithm doesn't actually run them.
> If one is worried about nation state actors, the ownership of a device that's secure and uncommon enough is likely to attract additional scrutiny or just be seized, legally or not.

The distinction between "tamper evidence" and "tamper resistance" seems to provide a good analogy here. Without secure devices, a state can spy on you in a clandestine way. With secure devices, a state can spy on you in a more overt way. You might still care about making the tampering evident!

("can" here probably means "can somewhat easily")
At least in gcc, vla and alloca prevent inlining.
The choice was not that. Well, actually, it was, kind of, but it was not presented like that at the time.

A Russian-style revolution was not the best perspective for the bourgeoisie, who wanted to keep their properties and their heads. The influence of the catholic church on this people was also huge, and the opposition of the republic to the church quite extreme (even violent sometimes). On the other hand, the plan never was to start a military dictatorship, but to restore monarchy. At that time, nobody could predict what Franco would do. Even now, we have no idea what would have happened if there had been no war or the other side had won, so it obviously was not easy to foresee it in 1936.

Unamuno is a good example of this. He was a republican, but initially supported the revolt because he did not agree with some actions of the government, in particular their radical anti-clericalism. But when he saw what was really going on, he fought Franco's side (with words, as was his style) and finished his days under arrest. Wikipedia tells the story, but if someone prefer to watch it, there is a recent film: While at War.
Since you've taken the worst possible interpretation of his comment: He's saying that clojure errors are not user-friendly and give you little idea how to implement a fix.

I agree with him, and I have spent a lot of time scratching my head debugging clojure.

Python gives a better idea of what's wrong, where it's wrong, and what a fix might be.

Here's roughly his example, but in python:

>>> "a" + 2

Traceback (most recent call last):

File "<stdin>", line 1, in <module>

TypeError: cannot concatenate 'str' and 'int' objects
No. Internal as in to “your” backend API’s.
"That's exactly what GP is saying"

No, it is not. As the shared end-goal of marxism and anarchism is the egalitarian stateless society.

I was talking about the concrete steps before that. Like those that happened in spain. Communalisation of farmland and factories with guns in hand. This action was done side by side from anarchists in spain as well in russia. The fact that the marxists later stabbed the anarchists in the back, does not change that.