skysight-inc/HackerNews huggingface dataset:
> The daughter (a journalist) of the Huawei CEO was harrassed and detained without cause, in what was essentially a kidnapping for ransom/extortion. How did the American people not feel outrage when Trump did this?

This is news to me and I can't find anything with a search. Are you referring to Meng Wanzhou? If so, your facts are muddy at best. Meng was arrested in Canada on request of the US, and is currently in the Canadian legal system (under house arrest) facing extradition. She's also directly named in the new charges. Far from being a journalist, she's the CFO of Huawei. And while she was neither harrassed (she's been very complimentary of her detainors) nor detained without cause (the US government was clear about what charges they alleged), China on the other hand arrested two Canadians in retribution fully without cause on bogus espionage charges, in an attempt to assert leverage over Canadian officials to circumvent due process.

Trump's comments over China and Huawei have been inflammatory and frustrating to Canadians, but let's not straight up make stuff up, if this is what you were referring to.
I would think it's the other way around: "sufficiently sophisticated malice is indistinguishable from stupidity".
And check this: https://flightjs.github.io/
Boring but effective.
I was surprised to learn that the place my father used to hang on is 232 years old. It's in a crossroads, but not so frequented today, since they made the beltway and took away parking space that was around.

In Spanish, with photos:

http://puentechico1.blogspot.com/2020/01/restaurante-el-paja...
LibreTaxi 2 published, open-source Uber PoC
This is an important effort, but it's weird (disconcerting?) to me that something so fundamental as a formal language specification (for a language that advertises safety as a key feature) is being bootstrapped not by the core team, but by a third party. It doesn't feel like that's something you only need "collaboration with" the core team about. I can't think of anything that's more "core".

The rest of it makes sense as an auxiliary effort: working directly with relatively niche industries on certification, narrowing down a fully-safe subset of the language, etc. But I don't see how Rust can ever come into its own in the space that it's targeting without having a real specification outside of the compiler.
> You see this attitude in "Japan's oldest temple, burned to the ground and rebuilt every 20 years".

Thats only in Ise. Dont make generalizations. For about every other old building in Japan something burning down is a tragedy, even if they try to rebuild it afterwards. For example Osaka castle is technically standing now but nobody is fooled by the fact that its an empty shell compared to the original building. That is precisely why Himeji castle is so precious in comparison.
Hipchat was also not nearly as stable as Slack in my experience. It was a big reason we switched at my company.
"Pretending this is somehow how China specifically operates is disingenuous."

Once again the Chinese 'moral relativism' argument I think falls flat.

"Hey look, 500 years ago someone did something, so hey, it's ok"

What is 'disingenuous' is this kind of rhetoric that completely denies the material issues at hand. China (and not just Huawei) has been systematically stealing and cheating far beyond anyone else (by the way, probably anyone else in history not that it matters), and this is really just the tip of the iceberg.

These charges are well warranted, and they should be applied to any number of entities who've encroached on general principles of trade.

If China wants to play with such shenanigans, it's fine actually, it's their choice to use this strategy, but the response should be pretty forceful as well.
Most crimes have a pretty poor return on investment. That's why criminals tend to be poor.

For example, the people around criminals tend to know they are criminals (and criminals often brag about begin criminals). People don't trust criminals and don't want to do business with them - leaving the criminal with fewer legitimate options for making money.
My memories of childhood friends are utterly bittersweet. When I was ~9, I fell in with a group that played with WWII munitions that we found in the woods. A few years later, two of my younger friends were seriously injured. I was never overtly blamed, but I felt guilty.

And then, about a decade later, now in the US, I fell in with hippies, and got into dealing LSD. But then a couple friends got busted. So I dealt drugs to pay for their defense.

My point, I guess, is that I never really learned how to actually maintain friendships. I am capable of making friends, and doing what friends do for friends. But it always feels like I'm playing a role. Maybe that's why I've become an anonymous coward.
I met Dr. Murphy through a mutual friend in 2018, and attended a presentation that he gave about his prTMS treatment. I thought it was a bit odd that someone who had a radiology / oncology background would be pushing TMS, and was very disappointed by the rigor of his presentation. I wish I had the slides to show, but it appeared to be something out of a pop science article, and lacked much scientific background other than a sort of 'drugs are harsh and non-specified, but I have a personalized treatment that works much better.'

This set off the crank alarm for me, which got even louder when he made claims about it being a sort of cure-all for psychiatric and even non-psychiatric problems (depression, PTSD, anxiety, concussion recovery, and even cognitive performance). Furthermore, he appeared to lack a technical or mathematical understanding of the technology itself, using only vague analogies about aligning the frequencies of different parts of the brain and whatnot. However, I'm not the one with titles and prestigious academic positions, so my complaints about his lack of evidence weren't taken too seriously.

I asked him direct questions, but he didn't answer much other than that his brother, a chiropractor, had helped him write the software for prTMS and designed the protocol (which I thought was very odd). Furthermore, he described prTMS as TMS-like treatment that was based on EEG readings and supposedly personalized, but given at a fraction of the intensity of usual TMS treatment (which made me skeptical that it would work).

I'm surprised that he was able to attract so many big-name patients and supporters - which included the Notre Dame University football team too. And, given that his lofty claims about prTMS are completely unsupported by research, I'm not surprised that it has reached the public eye.

Some of what was discussed in the article was news to me ($10 million in funds he said was for him, claims about Newport's surveillance, etc) However, none of it was surprising. He appears to have a history of disputes with his partners and employees (including at other offices that offered prTMS not mentioned in the article) and Notre Dame (he 'treated' their football team). It's a bit ridiculous to hear him claim that people's lawsuits and complaints are simply a result of jealousy and malicious behavior, considering his history of deceit.

Edit: it appears that he's under investigation for the university funds he took: http://rewired.inewsource.org/UC-San-Diego-Investigation-10-...
For 3: There is an "x" next to the unfurl that you can click to make it go away for everyone.
it's still not fixed yet. `npm install` would take forever.
The global keys are actually not generally customizable, unfortunately. I would encourage you to file feedback in feedback hub asking for this.
I can understand escaping from Java enterprise hell to Clojure but devs using a CL runtime will just write CL?
The case studies are all race conditions in distributed systems. Is TLA+ useful for complex serial systems like compilers, etc.?
Speed kills but this is a breakthrough for machine learning. Keep the hits coming
Ask HN: How do I program GUIs to be commutative?
I'm working on a personal project to make GUIs commutative.

https://github.com/samsquire/additive-guis

I am struggling to add the commutative property to a layout. I am inspired by N3 syntax, to make GUIs renderable in any order according to rules.

How should I go about this problem?

I want to be able to specify where things are on the screen with rules. Such as the following:

todoField above todosList

todosList above todoFilters

submitTodo rightOf todoField
Another fun fact: the oldest monarchy in the world was also founded by a Korean immigrant

https://www.nytimes.com/2002/03/11/world/japan-rediscovers-i...
Japan and "the west" (broadly speaking) do have different norms about what counts as continuity, but there is a lot of ship-of-Theseus kind of stuff that goes on in the west too. Two categories come to mind offhand. One, there have been restoration projects on ancient Greek and Roman buildings that have involved completely dismantling them, stone by stone, and then reconstructing them from the original stones. And two, it is fairly common for independent shops and restaurants to advertise things such as, "[City's] oldest restaurant, serving you since 1833", but since 1833, the restaurant has been sold three times to new owners, changed location twice, and completely overhauled its menu many times.
The tried and true thread model from usenet, email and vbulletin-style forums leads to long-standing topical conversations that easily stretch days and weeks, commonly months and sometimes years.

The continuous fountain of content model at reddit/hn/digg/etc is good for retinal adhesion but not so good for exchange of ideas.
What problem do you see with multiplication or division? You can still do those with the precision you need, followed by the legally valid rounding for the use case.

Unless you don't have a use case where those are defined/relevant, then ¯\_(ツ)_/¯
I lived in an old, converted GE lightbulb factory. I doubt the management around back in 1912 would recognize the company today.

Imagine explaining that GE would make a thing called a “jet” engine that would let people fly between continents in a few hours. Or that they’d be building power plants that worked by splitting atoms. And then tell all the workers that all light bulbs they’re making will be made in China instead.

By this Ship of Theseus reasoning it would seem that GE is not the same company it was when they were making incandescent bulbs in 1920s Oakland.
Can you share a screenshot of Airbnb saying "there are x other people looking"?
disclosure: this is your project
I am glad I scrolled this far. I too had the same question in my mind and thought the config variable was confusing. But the way you phrased it made it clear. I originally read it as “show confirm-close-all-tabs dialog box”.
How do you turn on the ShowDead settings? I don't see that in my settings page..
It sort of reminds me of Schindler's List where the war materials they cranked out were mindfully out-of-spec, yet plausibly just bad quality.
Ruricolist/Cloture
I think the stealing instead of R&D thing is somewhat misled. These guys are definitely spending billions on research as well.

I get the concern, and fines and punishment is all fine. But I think they might also have got caught in the geopolitical crossfire. It's a messy world; Samsung and Apple are stealing eachother's billions everyday, Google and Facebook are spying on us, DOD is killing people. I don't know who it's morally permissible to do business with anymore, but we're trying to get by.
I would also suggest to set your tab completion to MenuCompletion.
I was thinking about home routers, preloaded and preconfigured for privacy (i.e. preventing all the spyware "smart" appliances and whatnots to call home).

I am about to buy big TV and want to get some "plug and protect" WiFi router where this thing could connect but not siphon out any data i am not aware of.
Why would it be anything but the hourly contracted rate agreed in the employment contract? Anything else is a breach of contract just like not being paid at all is a breach of contract (which is also illegal but unenforced).

What should happen is a penalty for the CEO. I'd like to see Cook spend a few weeks in jail, incommunicado because I'm sure this was done at his direction. The government will never do anything to hurt such a company's bottom line in a significant way, however. If a regular person steals fifty cents worth of merchandise from the Apple store all hell will rain down upon him, but if Cook steals millions from his employees, he's a great CEO.
The team is incredibly small compared to other teams. 2-4 devs at a time, roughly a tenth of those on powershell. Much of the difficulty of the project came from the lack of resources yes, but also the age of the codebase. It was originally written in the 1980s (before most of the dev team was born) and the original authors had long since left the company by the time the mothballs were dusted off. The team also owned other codebases that time had to be split between.

Maintaining compatibility and performance were two of the main unbreakable tenets of the team (and Windows in general). This made it difficult to move quickly with features right out of the gate. A few of those years were spent understanding the system and modernizing the code from crufty C to C++17, while still managing to add features.

One of the first dev tasks I heard about when I became exposed to the project was of a dev mapping out all of the PVOIDs in the codebase so they could be eventually replaced with better abstractions. Another fun one was a different dev that refactored the GDI rendering, as a side project squeezed in around other tasks. The new renderer ended up being much faster and ~7000 lines shorter, if I remember right. We also took CJK language support quite seriously, which was difficult as none of the devs could read one of those languages day to day to catch bugs quickly.
Air travel has been sabotaged, but for a few dollars extra, you can get a direct flight, a better seat, get to take some luggage and even have some food.
The MCU Dilemma
Look at this wagon, honey. It has no horse. FFS.
What generalization? There is no other "japan's oldest temple" which is being raized every 20 years.
I am surprised they didn't mention Iris[1] and RustBelt[2] projects. Iris works on creating the formalization framework based on separation logic and Coq. They have the Rust code model specifically[3].

[1] https://iris-project.org/

[2] https://plv.mpi-sws.org/rustbelt/

[3] https://gitlab.mpi-sws.org/iris/lambda-rust
In his benchmark, the author is assuming that qsort() is implemented using quicksort, but that's not necessarily true. For example, glibc is using mergesort (although it falls back to quicksort if the system is short on memory).
Plaintext version: https://en.wikisource.org/wiki/Simple_Sabotage_Field_Manual

Quick link to the longest and most interesting and practical section: SPECIFIC SUGGESTIONS FOR SIMPLE SABOTAGE https://en.wikisource.org/wiki/Simple_Sabotage_Field_Manual/...
I'm very glad to hear that :)

Took your suggestion and updated the webpage!
Of adult males for the sole purpose of keeping a business as a "family" business?
No, matrix multiplication is just an implementation detail.
> It is hard to get our ordinary minds around the achievements of the great Cambridge mathematician, philosopher, and economist, Frank Ramsey.

How is anyone not immediately repelled by this style of writing? Seriously, though.
It's $200k/year, which is basically nothing to a megacorp like Huawei. Not sure why you're so incredulous
Qt, Flutter, JavaFX, hell even Swing is infinitely better than any JS framework. Easier to get started with. Easier to ship. Easier to maintain. Easier to do actual, you know, computer stuff with because you can do actual I/O and talk to the OS. It's not even in the same solar system as JS, from either the user's or the developer's perspective.

The state of the art in web is React which is an ad-hoc, informally-specified, bug-ridden, slow implementation of half of Win32's UI loop.
Most Vexing Parse
$1k/hour is reasonable billable rate for big law firm partners in a big city. Probably a bit cheap depending on speciality.
Why “Cloture”?

Beside the obvious: cloture is a parliamentary procedure to end debate on a subject, and I would like to end certain debates. Yes, Common Lisp is “modern.” Yes, Clojure is a Lisp.

While this doesn't actually explain why the person started the project itself, it does shed light on one possible explanation.
on 8/4/2019 cloudflare ceo posted publicly on their blog that were now looking at the data going through their pipes and making decisions about taking it down.

The ramble back and forth shows it was a tough decision, but nonetheless they admit to knowing their power controlling so much of the net, and they actively suggest more countries pass more laws to make them hand over even more. They say they do not do anything with the 1st amendment in mind.

https://blog.cloudflare.com/terminating-service-for-8chan/

At least they say "We continue to feel incredibly uncomfortable about playing the role of content arbiter and do not plan to exercise it often"

However the pattern I have seen over the years is that lots of noise is made for cloudflare to take something offline, and they say 'we can't, we don't moderate content, we're a dumb pipe' - so lots of groups complain about stuff they don't like, but free speech keeps going. Well that all changed, and now that all these groups will start to know that they will moderate content it's only a matter of the slippery slope.

this part:
"what we have done to try and solve the Internet’s deeper problem is engage with law enforcement and civil society organizations to try and find solutions. Among other things, that resulted in us cooperating around monitoring potential hate sites on our network and notifying law enforcement when there was content that contained"

Tells it all to me, but I see it as just the beginning. More will come to them and more will be cancelled. They appear to also be engaging with jurisdictions to also change laws to make it so they can say they are forced to give up the data not that they are voluntarily doing it.

At least that's how I read it.
Between email and noprocrast?
Something seems off.

If China steals all the US IP, why are US technology companies still so valuable?

For example, Apple is a very valuable US technology company that also has extensive dealings in China.
I have an old version of adblock for ios that can block (and even break) apple services. Just what I wanted.

Apple forced the developer to "upgrade" it to use DNS based blocking and provide no lists of adservers, which pretty much let everything back through.
"A ‘competition management group’ was tasked with reviewing the submissions and awarding monthly bonuses to the employees who provided the most valuable stolen information."

Just wow.

How could any nation, let alone any company, allow any employee of Huawei anywhere near their operations?

Literally, they are incented to steal whatever they can from you, out in the open, systematically, with nary much effort to cover it up it seems.
and most of them anyway are in Japan
>is clearly intended to presuppose the guilt of the defendant

This does not presuppose guilt in a way that would represent a direct conflict of interest in the US Justice system.

The Department of Justice is an executive agency whose directive is to bring indictments like this to trial - like a District Attorney.

The US court system, or the judicial branch, have no obligation to agree with the Department of Justice's position and are actually often don't side with them on matters like this where they test the precedent and definition of the law.

Ironically, the Chinese court system on the other hand has the rule of 3 Supremes - in that the views of the Communist party takes precedent over written law in judgements. In China, if a similar charge levied by the executive branch, this actually means guilt is presupposed in those passing judgement due to their lack of separation.
Interestingly, this feels related to the low levels of entrepreneurship (Japan ranks 4th lowest in the world)

https://bradchattergoon.com/japan-and-entrepreneurship-e468a...

These things are neither universally good nor bad: I do believe the Japanese conception of duty (and how it diverges from an American sensibility) plays a large role in the fact 33k businesses are over 100 years old. As an American this many businesses is definitely an impressive number, but then again, 100 years ago the US was only 143 years old. We’re ~3 lifetimes (8 generations) away from the signing of the Declaration of Independence. ️
they sunsetted code dot google dot com like 10 yrs ago...it's not coming back
You've got that backwards.

Most criminals are poor because poverty drives people to crime.
I'm convinced the way we'll return to the golden age is if we all jump off broadcast social media if it's not anonymous. The amount of people I see demanding special treatment because of their follower count or whatever, or insisting they're to be free from all criticism is insane. I remember my parents telling me to never upload photos of ourselves onto the internet, now 20 years later we seem to have forgotten that little bit of common sense
I might finally ditch mintty that comes with Git for Windows
It will get worse before it’s better.

Sometimes I wanted to get off this planet so I can get away from humans and all of those irrationality and hatred. But in retrospect I probably just need to get rid of the part of me that are engaging the same.
There's plenty of love for Ada, more than ever.

https://blog.adacore.com/the-emergence-of-a-new-ada-era
modern breakers are from the 20s, the originals are from the 1879.

https://en.wikipedia.org/wiki/Circuit_breaker
IMO the main reason Slack became successful is the massive number of pre-built integrations that were (and still are) available even on the free tier. It meant that you could use it as a message/log/notification aggregator for the various pieces of software you were already using. Furthermore, those messages/logs/notifications immediately became searchable so you could for example do a search for <customer name> and have ALL the stuff related to that customer show up in the results (with links to the source applications).
Reminder that this exists: https://git.zx2c4.com/cgit/ and is the preferred implementation of "web frontend to git" by Linus himself (ahem the creator of git)
Plan to dam entire North Sea could protect millions from rising oceans
The Business Idea That Got Me Out of $30K in Nursing School Debt
I think OP is referring to the news that only have entertainment value and one that does not empower the citizens but makes it a spectacle. There was a Hidden Brain episode just on the news topic. It is a great listen.

Here is the link:

https://podcasts.apple.com/us/podcast/hidden-brain/id1028908...
> IP which is in peoples mind

I think a general term for acquiring that IP is called employment.
It’s still not the health care prices
What you're really describing is the stasis of the last 60 years.
Is this similar to “work to rule?”