skysight-inc/HackerNews huggingface dataset:
> Legally, it is like a private court. From the point of view of someone who is not a member, it's the same thing.

The US is not part of the Italian legal system, and yet when CIA officials were in Italy, and committed crimes in Italy, and were convicted by an Italian court for those crimes in absentia, is anyone questioning that?

* https://www.nytimes.com/2009/11/05/world/europe/05italy.html

* https://en.wikipedia.org/wiki/Abu_Omar_case

The crimes were committed in a country that gave jurisdiction to the court.

> The majority of UN member states are not democracies. If all of these non-democracies would set up a court, with the legitimacy of 'the majority of UN members', would they automatically have the right to prosecute the other countries?

If the prosecuted countries/people committed crimes in the jurisdictions of those non-democracies, yes it would have the right.

The crimes were allegedly occurred in Afghanistan, and the ICC has jurisdiction in Afghanistan because Afghanistan gave it.

> The ICC lacks universal territorial jurisdiction, and may only investigate and prosecute crimes committed within member states, crimes committed by nationals of member states, or crimes in situations referred to the Court by the United Nations Security Council.

* https://en.wikipedia.org/wiki/International_Criminal_Court

If the alleged crimes happened in Somalia, which is a non-member / non-signatory (AFAICT), then the ICC would have no jurisdiction.

* https://en.wikipedia.org/wiki/States_parties_to_the_Rome_Sta...
I used to own ARM stock before the Softbank aquisition -- I'd love to be able to buy some again.
Thanks for the "corrections". Some of them are fine (I didn't know about the FSF license change) but with some I really don't agree.

> Incorrect, AdaCore just packages their libs with their version of the compiler, with FSF, you have to build them yourself, which is a pain. But they are working on that.

Various fairly essential libraries maintained by AdaCore are under GPL, so you could not use them for non-GPL software that is distributed. That's what I meant by "incomplete", because the FSF version was traditionally used as the free option for developing distributed, proprietary software. AdaCore has always blocked that by making essential libraries GPL instead of, say, LGPL.

If you used AdaCore it didn't matter, since either you were forced to make your program GPL anyway, or you paid for a commercial license.

> MGPL hasn't been a thing for at least 10 years now. The FSF version if GPLv3 with linking exception.

The question asked was why Ada was not more successful / popular. Your correction just adds more evidence to the licensing confusion. The problem is you can't even be certain it stays a certain way.

> The syntax is not special, it's like any other, it's defined by a grammar, as are all languages.

No, Ada has a rather special grammar in comparison to most other languages, because it specifies every construct on its own, and that is one of the reasons why it is harder to learn than other languages. Grammars for other languages are much more compact and use more shared non-literals.

> all languages are "complete" to some degree

That's not the point. Ada provides much more functionality than most other languages, for example memory alignment for embedded programming and OOP with tagged types. It's as expressive as C++ for systems programming. That's what makes it way more complex than lnaguages like, say, Scheme R5RS, C, or Go. It's easier to learn than C++ but it's much harder to learn than a related language like Pascal or Modula, for instance.

> A lot of languages re-use keywords

Whataboutism? Languages that re-use keywords are generally a bit harder to learn than those with only few constructs and no keyword reuse. You don't think so?

I've never met any Ada programmer before who thought Ada does not have a relatively long and steep learning curve. You'd be the first I've met.
I can do this with my Asus laptop as well, at up to about 5 meters distance.
It also helps that the code is built on top of MFC and targets only a single operating system (Windows).
> ML-like high level language

Calling OCaml an ML-like language is like calling Common Lisp Lisp-like; it is literally the main ML these days with SML a distant second.
They will produce equivalent binaries, but not identical binaries.

For example, GCC's C++ front end will produce a different parse tree for the same C code as the C front end, resulting in a slightly different collection of basic blocks and data flow analysis (obviously, for very trivial examples, it will be identical). The result after all the gimplification and and different middle-end passes and rtl transformations you can end up with a surprisingly different set of generated instructions for the same code fed to gcc and g++. Equivalent, but different.
Are we underestimating the spread of Covid-19 based on seroprevalence surveys?
He can pardon him to test the effects on polling. If it helps, great. If it hurts him, get Snowden back, arrest him, and claim it was a trick to get the traitor that Obama couldn't get all along.
Yes of course one could have more or less of a response. Situations and circumstamces (we’re talking about entire lives worth of experiences) vary so much though that it would be impossible for an outsider to state you are weaker based on the limited knowledge you can have about another person.
Languages with immutability by default are the best. It's kinda like safe vs unsafe in Rust. You can do lots of things with immutability or safe Rust but when you need mutability or unsafe Rust then you just add the necessary keyword.

The "dangerous" parts of the application are now highly visible and neatly separated from the harmless parts.
As a former owner of an apparently popular gmail address: can confirm.

The really sad thing about it is that it exposes major flaws about the way we think about users and techonology.

* Lots of highly profitable and seemingly reputable sites give zero fucks about unsubscribe requests, don't require email verification and have no reasonable way of getting in touch with support staff.

* Considering the amount of errors stemming from failure to understand the concept of unique email addresses, lots of people who shouldn't use the net still insist on doing so. No clever app design or UX patterns can withstand the failure to grasp the most common uniquely identifying online token we have.

* A lot of the people mentioned above probably insist on using the net because they don't have a choice: Everything comes with an app or a web site and requires online registration just to harvest whatever is the desired user data du jour. Depending on where you live, even using official government services might require going online.
I'm pretty sure Hermann Hauser is aware of this, since he co-found and later sold ARM.

He doesn't consider the Japanese conglomerate owing ARM a blow to the UK's technological sovereignty, but he does for Nvidia.
"However, Hauser fears that CFIUS regulation could be applied more broadly than this. “If the president decides Britain doesn’t deserve to have any more microprocessors, then he can decide that Britain isn’t allowed to use its own microprocessors,” he says, adding that “these decisions should be made in Downing Street, not in the White House”. "

Don't worry mr. Hauser. The target of the US cornering of the chip market is of course China ...
A combination of targeted therapy and short courses of drugs designed to ease the therapy process and control symptoms in the short term?
Yes! Sidecar should have the option to show the iPad screen for presentations in OSX. Drawing apps on iOS are much better suited to live-doodling with a pen than OSX ones.
> Democracies like… for example Belarus?

Nope:

* https://en.wikipedia.org/wiki/Democracy_Index

By this measure there are "better" systems than the Swiss are running.

> I can't think of a single real democracy that isn't deeply flawed except for Switzerland.

IMHO:

* https://yourlogicalfallacyis.com/no-true-scotsman
Meh. More fun is listening to the GPU redraw the screen and the cpu servicing interupts, both of which you can hear by holding an AM radio close to the phone.
I kind of liked the list without Tell/Ask HNs as well (it has the bash shell guide on it) so I made it a toggle.
amule is not that much heavier. [https://github.com/amule-project/amule]

They’re just native
The UK is actually the one that has ignored and destroyed ARM (and Imagination Technologies) and it has been compared to 'selling off the crown jewels' [0] to SoftBank which was welcomed by a UK government cabinet minister in 2016 as a 'big vote of confidence in British business.' [1]

Actually, SoftBank got ARM at a special Brexit discount. For them, they saw it as the best deal of 2016 and for the UK, you might as well say they got scammed.

So fast forward to 2020, SoftBank didn't get that 10x return they wanted from ARM and is now selling to get a tiny profit, where it is apparently heading for Santa Clara.

The rest of the UK didn't care and didn't know what they had, until it was too late and the same fate was repeated for Imagination Technologies. What a shame.

[0] https://qz.com/734882/the-32-billion-japanese-takeover-of-a-...

[1] http://blog.policy.manchester.ac.uk/posts/2016/08/arm-holdin...
Why is middle age so depressing?
http://www.hasjamesclapperbeenindictedyet.com/
I agree. For one thing, relationships that were built in-person, around the watercooler and physically present lunches, are different than relationships which started out online and zoom-only.

I've had remote-only jobs and jobs where I went into an office every day, and I have many more pleasant memories and longer-lasting relationships from the jobs which had an onsite component.
This is a sweet tool. Which Swift API calls does it use ?

[shameless plugin]
I'm developing an app in a similar space (www.get-spoke.com) to be able to share video-conference summaries in seconds.
Wow, that brings me back! I had to check and Nicotine Plus was last updated... wait for it... yesterday.

I might have to install it for old time's sake.
know nothing about go, but surely the solution is using something like select?
I’ve tried to set up kubernetes at home a couple of times and I always freak out at the amount of layers and “just run this” style of tutorials. Am I crazy?

I’ve heard guix has some kind of container management thing. I’ve been thinking about trying it anyway.
> I don't think there is a similar option for CPU perf.

I believe there is an option in the Performance pane to throttle the CPU in Chrome.
At the end there is no real difference between moral and law. Laws are just something people have decided to judge each other by. Laws and jurisdiction are just the implementation, which might change, the specs seem well defined (when it comes to war crimes).

The US had the power to establish before committing war crimes, that it does not want to be investigated (acting lawfully but immorally), while any other criminal would not have the power to plan ahead and could only try to escape justice after having committed a crime (acting immorally and unlawfully).

So what I am saying is: Nobody cares about acting lawfully when it comes to war crimes. Especially not, when you base your dominance on your fantasy of a moral high ground.
> The ICC has no sovereignty over the US.

When a US citizen is in another country, they are under the power of the courts of that other country. Why is this so hard to understand?

The US military members, when in Afghanistan, are subject to Afghanistan courts jurisdiction—one of those courts is the ICC because Afghanistan gave the ICC jurisdiction by signing the treaty.

When the CIA operatives were in Italy they were under the jurisdiction of the Italian courts and were thus so convicted:

* https://en.wikipedia.org/wiki/Abu_Omar_case

If you do not want to be under the jurisdiction of non-US courts then do not leave the US. Once you step over the border you have to follow the rules of the other country.
I also have one of these email addresses, and have been accused of stealing it by some so-and-so who doesn't know what they're email actually is.

I unsubscribe and/or report spam where I can, but on a typical day, I still get around 3 emails intended for someone else.
HTML is not really the problem. It is overkill if you don't use DOM at least in basic way. To render static non interactive blocks it's better to use straight opengl, and probably easier no matter if you know opengl beforehand.

Electron ships and keeps in memory things almost everybody already has either installed themselves beforehand or laying in main browser cache (JavaScript libraries). A better, but slightly less user friendly alternative would be to ship applications that simply serve the same HTML on a local port and access it through main browser (like syncthing for one example) and perform computing on the local backend server. And here's the main issue: average Joe is scared by :8080 suffix in the browser. The average user is just a step away from the solution but that's... still not there.
Having read Barton Gellman’s book that describes and alludes to some of the details of what were in the actual (never published) Snowden files, I do not believe that the US IC would let him continue to live, even if he were fully pardoned.

I doubt it will ever be safe for him in the US again, despite his legal status.
Yes, perhaps those people are typically bad, but you know you should focus your criticism on the argument itself.
Heh. My Facebook username is one of the most common male names in Poland with no additional characters.

Until I blocked them, I was receiving password resets about 7 times a day, every day.

But I like to sit on it, just in case :)
ZTE announces the world’s first phone with a behind-the-screen camera
They should have thought about what could happen _before_ selling ARM. TBH seeing them crying is sad and pathetic.
They don't receive a summons, because the courts in their jurisdiction don't issue summons for that.
Thanks, I'll engage on the forum directly. But I won't get time to look at it until this Saturday.
It's not an in-depth theoretical guide, true, but it is still an awesome introduction and source of muscle-memory.
Let me contribute with this one please:

https://www.youtube.com/watch?v=dywM446-vcE
If your problems with distraction are severe enough to affect your mental health it's worth considering the possibility you have undiagnosed ADHD. Just because you sometimes code for 12 hours straight doesn't mean you don't (common misconception).

5 minute ASRS screening test here (pdf, not some data harvesting online monstrosity):

https://add.org/wp-content/uploads/2015/03/adhd-questionnair...
Yes we are also experiencing this issue
Show HN: Discover More Startups
> The idea that a person who only had one favourite was a really strong signal for that single link

Perhaps karma or account age should join the equation.
This page is raising a ton of security alerts:

"NoScript detected a potential Cross-Site Scripting attack from https://www.techprowd.com to https://carbon.now.sh"

Images are failing to load too. Not sure what's going on.

edit: Probably some misusing of DNS rather than actual attack but who knows. Author should fix the site.
I've read a similar article although with a different angle, stating that the advantage of depression is that members of a tribe which are a burden to the rest will eventually withdraw completely and/or kill themselves and therefore cease being a burden to the tribe. That said, I don't know how well-founded the claim was either.
Best Gadgets Manufacturer of India – Probus
Since there are multiple comments about how the US government must/should pardon Snowden now, I'd like to make a top level comment to clarify some things about how this does not obligate the government to change his status.

1. The court only found that a single program exposed by Snowden was illegal. Snowden released a bunch of other information that was a violation of the NDA he signed when he was given a security clearance.

2. Even if all the information he disclosed revealed illegal activity, Snowden's actions make him ineligible for whistleblower protection. Whistleblower protection for the intelligence community[1] is only provided if a person follows the proper procedure to securely notify their Inspector General and/or Congress. Since he's not automatically protected, it would take Congress or the President to decide to offer him protection. Snowden (allegedly) did not even attempt to notify the proper authorities before going public with the information, so not only is he ineligible, it's not likely that anyone will take pity on him.

3. There's a chance that this ruling won't stick as the legal system chugs along and a few more judges look at it, and even if they were willing to help Snowden, nobody in Congress is going to take action until there is some permanence with the ruling. IANAL, but I think this would be decided if the Supreme Court either decides to decline or hear the case. If it's declined, then it's pretty much final. If they decide to hear the case, then it could be another year or so before they make a decision.

[1] IC whistleblower protection is a little different than standard whistleblower protection: https://en.wikipedia.org/wiki/Intelligence_Community_Whistle...
Of course PTSD is beneficial: it gets you discharged from military, for example, so the chances of you being in the situation where someone is shooting bazooka at you drop to zero.

In general PTSD helps you avoid traumatic experience in future.
Something this reminds me of is the mccollugh effect.

WARNING: the following link contains a literal infohazard basalisk image that if stared at for a few minutes will alter your color perception for a significant period of time - potentially months. It is not behind a spoiler, which would be against the rules on English Wikipedia

https://en.m.wikipedia.org/wiki/McCollough_effect
I read the comment on the other post I made and I guess instead of acknowledging something and wasting others time with it, I should rather work on it and that's what I've been doing. My bad, I didn't check the comments on this post for a week or so but now that I have, I'd like to thank you for taking the time to help me out with this.

>Maybe I'll try a "What is it?" separate page that allows the user to understand it better?

>People in general won't click around to find out what the site is for, or what it does, unless they already have a reason to think it might be interesting. Why should they do that?

> So what does your site actually do?

> Competitions to test the experienced;

> Tutorials to guide the newcomers;

> Forums to discuss the challenges;

> Music to program by

Yes, this is exactly what it's meant for. To help the beginners/intermediates get better at programming, conveniently practice on challenges ( and quizzes ) from the same platform, discuss challenges or any other query they might have in accordance with the Forum Guidelines, music to program by, a disposable code editor for those who are getting started with front-end (basically allows the user to watch the tutorial, code and even have the preview from a single tab instead of having a tab for the tutorial, a coding editor and a local host preview window open), take notes and plan tasks on the platform ( not claiming them to be essential features to the platform but something users can use conveniently, I will be engineering a way to sync them with Google Keep in the future so it makes more sense to use them ), create project/product listings that encapsulates all the essential information regarding the product and all the other listings as well in a shareable product link and more ( more in regards to features that I'm adding within a few weeks ).
I created a pitch deck and that does have a Benefits slide that states :

- You don’t need to navigate to dozens of platforms anymore, DomeCode organizes all the tools and resources for you.

- You can finally focus more on programming instead of finding the “right” website for every small thing.

- You get to collaborate with developers around you.

- DomeCode provides its users with a significant productivity boost.

- Save around 30% of your overall time spent in the process of learning a programming concept, taking notes, and practicing it.

- You simply get more without any hassle.

This is an investor pitch deck so the 30% claim isn't entirely precise but I found out that it was around that number for me to complete the process of learning a new concept and practicing it.

I'll include the relevant information on the website now and remove the non-essential existing info.

Thanks a lot!
> At the end there is no real difference between moral and law.

That's demonstrably incorrect, and we're talking about this exact counterexample. You're saying that the US has acted immorally (which I agree with!) while simultaneously saying the US is legally responsible, which it is not. That right there suggests that morality and law are not aligned, and that there is sometimes quite a big difference between the two.
https://www.youtube.com/watch?v=_p4_6ho9UyM (7.4 minutes sketch about idea that "you can find literally everything online")
SpaceX Rideshare users guide [pdf]
In China, the ‘Great Firewall’ Is Changing a Generation
> If they also investigate china Great Leap Forward

China has not signed the ICC, and so the ICC has no jurisdiction with-in China (including HK). Afghanistan has signed the ICC treaty, so the ICC has jurisdiction with-in Afghanistan.

The alleged crimes occurred with-in Afghanistan.

If the alleged crimes occurred with-in Somalia, which is not an ICC member, the ICC could not investigate.

When you go to another country, you are bound by the laws of that country while you are with-in that country.
Where will people migrate to? The entire earth climate is changing. We may find the earth only supports medieval population levels.
This is the reason I think game reviews on Steam are excellent. Next to every review you can see how many hours the user has in the game. A negative review is read differently depending on whether the user has half an hour or 4,000 hours.
There's a butcher fairly close to where I live that's been open since 1760 and there's often a line out the door on weekends etc. I love going there as if you ask where the meat is from, they'll give you directions to their fields up the road! If that's not the best way to determine animal welfare then I don't know what is.

https://www.fconisbee.com/
Is that actually valuable information though? I mean internal IP addresses are fairly generic (like the 192.168.x range mentioned in the article).
How to Get Your Customers to Give You the Information You Need
But this doesn't make economic sense. Billions could be lost from prescription revenues worldwide if this became the prevailing view. Hence, we will all continue to be "sick" and treatable with medication, rather than adaptively responding to adversity.
Fyi on a semi-related topic I learned from a fascinating Youtube video... the color "brown" is a psychological construct[0]. But from an RGB perspective ... there's no such color as "brown"; it's actually just "orange" in a particular context: https://www.youtube.com/watch?v=wh4aWZRtTwU

[0] pedantic alert: yes "every color" is ultimately a mental construct of the brain but hopefully you know what I mean
I made a tool to quickly add text to any screenshot
I didn't say that I don't like go's design, but there are no features in go that justify the hype it gets. That's all.

Rust for instance is not among greatest when it comes to language features either (the borrow checker is quite a thing though), but it combines lowlevel/performance with FP and language features that enable a high level of abstraction. I'm not really a Rust fun either, but that is a personal opinion and has nothing to do with my impression of if the hype is justified.
Yes, eastern Norway. And as it gets colder the humidity goes down. It's typically less than 50% here in the winter.