skysight-inc/HackerNews huggingface dataset:
> "Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

Love this :)
Can you explain your position?

Should Colt be blamed if a foreign government uses an M-16 to shoot a journalist?
https://www.goodreads.com/en/book/show/37986693-factor-man
attacks on those groups from bystanders are steadily climbing

Do we know why? I can understand why people might attack the cops (not saying it is right), but paramedics? Firefighters? These people literally save our lives while putting themselves in danger.

This type of attacks is growing in the UK too. According to the news, sometimes people deliberately set fire, call 999 and attack the firefighters when they arrive. I truly don't understand this at all.
It has email/password sign-in FWIW, if you enter an email in the box then username/password fields appear.
TensorFlow Removed Numpy 1.20.3
The market is the source. Just look at the market cap chart here, you can see that it's been flat for the past few weeks (after a long period of exponential growth): https://coinmarketcap.com/currencies/tether/
> Attribute all excess deaths as Covid deaths?

"Excess deaths are a measure of how many more people are dying than would be expected compared to the previous few years.

Although it is difficult to say how many of these deaths have been caused by Covid-19, they are a measure of the overall impact of the pandemic."
> It’s like making a telephone call in the United States. You don’t think about which telecommunications company serves that number. You just dial the number and let the telephone network figure out which telecommunications company is responsible for that number.

I don't think this is a good comparison. I make a phone call by getting my phone out. I've memorised this, just as I've memorised opening Word to start writing a document.

The right-click option would be fine if it didn't take longer and longer to work, and the list were easier to customise. What the heck is it doing on every right click?
Spanish police seize large drone used to carry drugs from Morocco
Most parts of most systems don’t communicate through a standardized data format, but an ad-hoc interface that addresses the immediate needs of the current requirements.

That’s actually a very big claim, and I don’t know how we could possibly test it.

Counterexamples are easy to find, however. Consider that you’re reading this in a web browser that is communicating with a web server hosting HN. That communication, as indeed the article itself observes, happens via several standard protocols layered atop one another. I didn’t really understand the argument the article made at that point that this doesn’t solve the N² problem because it doesn’t take into account the application data at the top layer, as in practice almost everything sent over the Internet is also using standard application protocols like HTTP or SMTP as well. This has enabled literally billions of devices to communicate many types of data effectively on a global scale with a wide variety of software implementations on both ends of each connection, so IMHO it’s a pretty convincing example of the benefits of effective standardisation.

Of course it’s still true that some software systems have connections all over the place using ad-hoc data formats and protocols, but often that is simply bad design. Software design is a skill and like any other skill you don’t get good at it until you’ve worked on it for a while. My argument here, in a nutshell, is that if you learn good design skills and make the effort to establish good software architecture and useful standards for a project, very often the N² problem described in the article isn’t such a problem after all.
Hey, if you are interested you can reply me with your email address here, i can ship you a laptop for free (intel 5th gen i5) that i dont use anymore. it has 4gigs of ram soldered (surface pro 3). and can hopefully be used for some development.
What is going on with the upvotes here? The incorrect comment by OP is upvoted, while this correct comment is downvoted.
They want nukes too, which also exist. It doesnt mean theyll get them.

Non proliferation treaties are effective against nuclear weapons theyd be effective against "cyber" weapons.
It's unusually or suspiciously "hyped". Not to the extent as the other sibling exaggerated to, but enough for it to be noticeable and to rub people the wrong way, myself included. It rubs me the wrong way because something feels off about the way it's hyped/pushed/promoted. It's like the new javascript in the programming world. And if we allow it (like we did with JS), it'll overtake way too much mindshare with the unfortunate detriment and neglect of all others.
Yeah, desktop oriented apps such as jupyternotebook and VSCode will need UI adjustments to make it usable on the phone.

That's cool to know that you can run localhost and expose the port to another phone.

Thanks for sharing. Wishing you the best on your journey!
Heh, I do android platform development for a living. Most devices are obviously ARM but you can't compile android on arm processors.
It was a higher years number. But when you are a dedicated firefighter (and most are), 10 years are just the beginning of your service. So the people who avoided military subscription by that made a good deal actually.

When I remember right, 3-4 out of my class avoided subscription like that (many on other ways).
> The example of renaming a function with thousands of callers, for example, is probably better handled by just temporarily aliasing the function, or by temporarily defining the new function in terms of the old.

Why exactly? The best I can think of is that you may annoy people because they'd need to rebase/merge after your change lands and takes away a function they were using.

If you're literally just doing a rename, and you're using something like Java, why not just go ahead and do a global rename?
> If they were in the businesses of selling weapons of war and caught instead selling covert weapons with no legitimate use in open warfare to countries that disclose illegal acts of war to them, I think they belong in the Hague being tried for war crimes.

If they were doing that, I agree.

But these weapons have legitimate uses in law enforcement and why do you think that the client government disclose their illegal acts to NSO?
Is it time to revive the OLPC program? That one started the low-cost "netbook" trend, after that the smartphones and tablets got to the forefront.

How much would a ruggedized laptop cost to make now? I know there's some RPI kits out there but they seem pretty pricey for what you get; I suspect the biggest expense is the screen, so that's an area that could be improved on. Surely there's older screen tech that can be produced at ridiculous scale nowadays? 1024x800 is enough for the basics. If that can run on a 5w USB charger that would be ideal, it could run off solar panels and cheap powerbanks then.

Anyway, if that's there then the tech companies who want to deduct some taxes can order millions and distribute them to the countries where people could benefit from them.
I think we're using different terms here.

To me (and, I suspect, to Gitlab), "underrepresented" means "present in lower proportions than in the general population".

South Africa, to use one of your examples, has a majority Black African population (80%), but business management is overwhelmingly White[1] (67%).

That means Black African people are simultaneously the majority of the country and also underrepresented minorities that struggle with systemic, institutional racism.

1. https://www.bbc.com/news/world-africa-48123937
> Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something.

> Please don't use Hacker News for political or ideological battle. It tramples curiosity.

https://news.ycombinator.com/newsguidelines.html
We know why but it would be not politically correct to mention it.
Most big employers in my experience also have a neutral reference policy, meaning they won't opine on your tenure there except to say you worked there, for X dates and $Y salary. You're welcome to solicit a more specific reference from your choice of former coworkers.
It was written by top experts of the field through multiple years and is formally verified. It could have been written in brainfuck as well, since at that point the language is not important.
If you're not trying to display ads on your screen, you should try Firefox mobile!
It's slow and power hungry though :)
My state gave restaurant owners a billion dollars during the pandemic. A billion dollars.

During the pandemic, restaurants lobbied hard as hell against restrictions and cheated at every opportunity what restrictions they were obliged to follow. Our governor ordered bars to be shut down around 9pm during a surge last year and everyone joked that was great because it meant apparently the 'rona only came out to infect people after 10pm.

I really wanted to meet a prospective date and we wanted to be as safe as possible. We scoured websites, google, and and social media for information about outdoor seating accommodations. Whatever information was available was exceedingly vague, despite it being a year into the pandemic when you'd think any savvy business owner would have information like that readily available. When restaurants had outdoor seating listed as available, most of them had seating fees and some insane minimum order requirements.

Fuck the restaurant industry.
Where the violence takes place in public, the relationship between the perpetrators and victims, the fact that both parties are usually armed, that bystanders are often caught in crossfire, the motives for the violence being beefs over territory, and the minimal events required to trigger the violence.

Except for those and more, it's just like any other violence.
In Federal court the U.S. Supreme Court has set a high burden of proof for a plaintiff seeking an injunction. Unfortunately, once case law is established its nearly impossible to change. In this instance, in a civil case based on diversity it would be really difficult to prove public interest. Generally injunctions in federal courts are used to prevent states from doing things, like proceeding with an execution or changing voting laws.
I think we have the best defaults currently possible for the use-cases Loom targets, say, more than a few thousand concurrent tasks. The cases where you might observe some downside compared to the OS (before we choose to expose forced preemption) are not in that class. The only thing to consider is whether you have many concurrent tasks or a few, and if the answer is many, the choice is simple. Otherwise, you can experiment with different implementations, but the few-tasks case is not our initial focus.

Having said that, I'm interested in hearing about real-world cases (involving many tasks, not 32) where forced preemption, and possibly time sharing or maybe another strategy, can be useful. The "accidentally misbehaving subset" is a good example, but time-sharing probably isn't what we need to address it.
Off-the-record conversations with (ex-) climate researchers I know personally. Which I don't expect anyone else to find convincing, but there's enough talk going around of researchers who got the "wrong" results getting pushed out that I found what they said more plausible than trusting the big-name journals etc.
please enlighten us, i certainly don’t know..
>Stop fantasizing that the government cares about the shit you buy. This is not about you.

Well, it sorta is when this plan applies to everyone.
It's called Search Everything, and it's probably the best and most useful Windows utility ever written. I easily use it a dozen times a day, there's likely been days with over 100 searches.
Yes all these temp mail service work because they also constantly change domains. Since DDG offers a @duck.com address it will be a very easy thing to block.
Kubernetes Semaphore: A modular framework for x-cluster communication
I think a decently crafted capability URL should be enough security for 99% of password resets.

Theoretically your mail provider could just use the link to capture your account. Since accessing and scanning private data has been normalized by Google and co., that might not be the case anymore.

But we used that practice for decades and I am not aware of any abuses.

Inherently insecure is giving services your mobile contact data. This makes any form of data leak much more damaging to you. "Security" has been perverted for years now...

Many 2FA systems aren't really convincing in my opinion and case like this

https://www.techdirt.com/articles/20200804/01231345032/twitt...

are much more damaging than many trojans on PC systems. 2FA is a security breach, not a security feature.

There was no abuse of capability URLs to my knowledge for decades. Twitter probably didn't even need a year to abuse 2FA. Be smart about IT security...
It seems that termux is packaging rust now,

pkg install rust
The niche coding language for machine learning jobs
Dang, I can get a countertop fryer for $180?

Fried food's on the menu, boys! Quadruple bypass, here I come.
Emacs is great for these small screens since it comes from a world where 80x24 terminals were the standard.
The very first sentence of this article is "The developers of the popular chess engine Stockfish formally filed a lawsuit against ChessBase GmbH this week."
Best Arm Workout App to Build Strong Biceps and Triceps at Home
iFixit CEO names and shames tech giants for right to repair obstruction
The Raspberry Pi Foundation reveals details on next computers, inc. PCIe support
Early 80s?? We were doing that stuff up to the mid 00s in my school. Honestly I found it extremely unappealing because you could not get the result immediately, but in the long run, it helps to think about the working logic behind codes instead of simply shooting in the dark and debugging.
Height Increase App – Android Apps on Google Play
In the US anyway, most banks will require the buyer to purchase something called "title insurance" -- which is basically insurance against unknown claims against the property. That insurer will generally look into things at least a little bit.

Obviously it could be different in the Czech Republic.
We're doing something about COVID though. Even if some people are shouting "it's my right to have COVID", the vast majority of the population won't accept that stance. That's simply not the case with gun control.
Right they can claim 25% but you can also claim another 20% back!
Can't lose with that argument, eh? :)
Especially in India, it's likely that a good chunk of those deaths are the result of attempts to aggressively stop the virus without thinking about the costs of doing so. They're really not in a good place to attempt any kind of lockdown given how their economy and food supply chains are, and yet they ended up attempting it anyway with ugly results.
I highly recommend the latest episode of the Darknet Diaries podcast, which discusses a campaign of harassment aiming to get someone to give up a highly-valuable Instagram handle: https://darknetdiaries.com/episode/97/
The paper explicitly states that it’s about Functional Relational Programming, so that’s verifiably correct. I’m not sure if I can agree, though.

> It actually doesnt have much to do with "reactive" programming model as we know it today

What would you say is the ”reactive” model as we know it today?

If you asked me what FRP is, I’d tell you about Functional Reactive Programming. Maybe I’d point you to Conal’s writings[0] or something like Your Mouse is a Database[1]. Andre Staltz did a nice writeup on how it’s useful to think of FRP in more broader terms than the original definition would require[2]:

> it would make sense to talk about "functional reactive programming" as a paradigm or an idea where you build applications using listenable event streams (or "signals"), creating and composing them using pure functions

For me, that’s the spirit of FRP. And when I read Out of the Tarpit, that’s exactly what jumps at me. The paper seems to describe data that’s changing over time, and other data being derived from those such that when the original data changes, so does the derived one. That’s pretty much precisely Functional Reactive Programming to me, even if the words are different.

You might have another sense of the words in mind; I’d like to understand what you think, and why.

[0]: http://conal.net/papers/push-pull-frp/
[1]: https://queue.acm.org/detail.cfm?id=2169076
[2]: https://medium.com/@andrestaltz/why-i-cannot-say-frp-but-i-just-did-d5ffaa23973b
> Living next to busy roadways is linked to increased dementia and other neurodegenerative diseases. This has nothing to do with CO2--it's the rubber and metal and not addressed by Teslas or whatever.

I had thought that the pathological effects from highway pollution was at least partially caused by heavy metals and various unpleasant nitrates and sulfurs and the like produced by combustion engines, not only the small particulates released from tyres and roads. Obviously combustion-based pollution would be reduced if not eliminated by EVs.

See e.g. this study, which found NO2 and elemental carbon pollution to be most harmful amongst various highway pollutants: https://pubmed.ncbi.nlm.nih.gov/24231417/
I have to disagree with the idea that it's not a solution, governments refuse to hire foreign nationals all the time and even regulate the private sector through things like ITAR.

Now I agree it's an unfortunate solution in some respects. There are moral issues both utilitarian (1000 Einsteins) and idealistic (all humans are equal). There are also work arounds. For most purposes if you naturalize and renounce your previous citizenship you will legally be treated as a national. ITAR only requires a green card.

Arguing against discrimination in a security context though, when nationality is indeed a reliable discriminant, is difficult.
Extremely minor nit, but it should be point out that Japan is cost efficient because they've mostly built out their "easy" terrain, especially for Tokaido line (the current Tokyo-Osaka line).

The Shin-Hakodate to Sapporo extension will cost them 1.24T yen for 131 km of many tunnels and bridges [0], or US $83M/mi. This cost is why it's taken Japan so long to build a complete Tokyo-Sapporo HSR line, even though the Tokyo-Sapporo air route has been one of the most popular air routes for a long time [1].

They're also working on the Chuo Line which is a new Tokyo-Nagoya-Osaka line going through mountainous terrain that will facilitate 67-minute travel between Tokyo and Osaka. This line will cost 9T yen for 438km [2], which will be a whopping US $187M/mi.

Funnily enough, speaking of the Tokaido line, the president of Japanese National Railway and the chief engineer resigned before its completion due to cost overruns [3]. Japan makes it look easy, but the Shinkansen had a troubled start.

In comparison, for the CA HSR [4], the fairly flat Central California portion is costing $19.5B / 199 mi ($98M/mi) while the more challenging Palmdale-Burbank section is costing $16.8B / 41 mi ($382M/mi).

I know you use it as a figure of speech, but all of this means that a US intercontinental line going through the Rockies would be difficult. Still, I would love to see an intra-Texas, Midwest, or East Coast HSR in my lifetime.

[0] https://www.town.kutchan.hokkaido.jp/town_administration/shi...

[1] https://en.wikipedia.org/wiki/List_of_busiest_passenger_air_...

[2] https://en.wikipedia.org/wiki/Chūō_Shinkansen

[3] https://www.bbc.com/culture/article/20140714-built-for-speed...

[4] https://hsr.ca.gov/about/high-speed-rail-business-plans/2020...
"We get the governement we deserve"

How often have politicians of all countries said and promised to enact or revoke certain policies during their election campaign and then developed amnesia, stalled until outrage dies down or simply shrug until re-election time?

People don't always get the government they deserve.
Each dead persons family will get 4 lakh rupees, thats around $5000. Unbelievable. Why should the govt pay everyone who died? In a country that’s already poor and starved of cash.

India economy has already been eroded with lockdowns and huge expenses on vaccines being given out for free, and now you have to pay those who died too.
This is only true for people earning below a threshold - most professionals in the UK will need to file taxes, but accountants are very cheap here.
> Only tasers are worse.

Only tasers are worse at killing people. They're perfectly adequate for their intended use; allowing an officer to halt a person who presents a real danger to the officer, when alternatives are not available.
> This is probably quite unique compared to other countries.

Nope. Same thing exists in Poland, and from what I've heard even in some non-European countries.
Most regular cops carry patrol rifles in their vehicles. They are almost never outgunned.
Changing Personnel to Human Resources was definitely the start of that process.

It was an attempt to "professionalize" the work that Personnel departments did and make it sound more important.

It meant that you could have "Vice President of Human Resources" which sounds as "impressive" as "Vice President for Manufacturing".

It also leads towards today's stupidities where these same people are called things like "Leader for People and Culture" or some other BS touchy-feely title.

Employers do what they can to commoditize and standardize their use of workers. Anything to make them more fungible makes them more replaceable and therefore easier to a) lower costs (ie wages) and b) automate.
In Germany it's reverse. In the typical case the waiter verbally abuses the paying customer. Like when are not friendly enough to the waiter. Or you only can pay with credit card
RiftSketch: Live coding in VR with Firefox WebVR, JavaScript and Three.js (2014)
Had an interview at Company A, which in itself was a bad experience. 5 people crowded into an office with printouts of my response to a 20-question tech challenge, implying I'd had help with it/cheated.

I was invited back for an "extended interview" on a Saturday, "compensated, of course", where I did sysadmin stuff including setting up a work email for myself.

Taken out for lunch by the guy running my "interview" who bought me a burger, and said "He (the CEO) is a bit cavalier in making promises, so I want to make sure you get something out of today".

So basically I was paid a burger to onboard myself on a Saturday. A week later I'd received an offer from elsewhere, informed Company A, and got the saltiest email from their CEO about my unethical behaviour.
This is nice, and really impressive especially using a CRDT for syncing between users. It's like having the debugger running all the time.