skysight-inc/HackerNews huggingface dataset:
Not even going into the issue that we don't have time to "go to college" before this needs to be fixed, what actually is the "college" in your analogy? And the balance is already negative.
Interesting I’d never heard of ipv7 until now … found this thread https://news.ycombinator.com/item?id=20168718
Indie games often do it because they can't afford to do more.
I can understand why large media organizations are but why do independent professional want to attract the joe six pack of the world opinion which makes up the bulk of facebook traffic?
Kind of like people using big-O notation when talking about constant numbers
Text article: https://newyork.cbslocal.com/2021/08/12/nyc-restaurants-agai...

Many businesses are declining to enforce the vaccine mandate.

I wonder if pro-vaccine-mandate customers will avoid businesses that don't require vaccines, more than anti-vaccike-mandate customers come in.
Thanks. That gives me another place to start looking when I try to fix this with a custom style - optimally I'd have the favicon work the same as on pinned tabs.

I won't be switching to "normal" mode as long as I use Firefox in a smaller window, displaying chat applications, videos, or whatever as I go about other things.

Mozilla seems to assume people will use Firefox in a maximized window, which isn't true for me 90% of the time, but I am getting exceedingly tired of having to fix the interface with custom styles every 2-3 releases.
Really, so you and a bunch of people predicted that the Taliban would take over all the prov capitals including Kabul within ~10 days? Interesting.

Your last two sentences are such an oversimplification of the situation... it shows how sophomoric your post is and most likely your understanding of the world.
Tried to build on M1/Apple Silicon, but hit some errors. Looks like one of the dependencies isn't playing nice with arm but would love to give this a try.

Any rust devs have second? I think its the miniaudio dependency that's broken.
Not including. But you make a good point, dividend reinvestment may have taken the edge off since the bubble.
Can confirm, played an old Windows copy a year or so ago, it still holds up. Endless Sky doesn't quite have the same magic for me.
Not trying to attack you, just an aside - I don't know that 'spot the core flaw' is the same as 'filet someone's flawed argument.'

The latter implies 'ooh, he won;' the former only 'ah, there was a problem and he spotted it.'
Giant Lair of Bones, Including Human, Discovered in Gruesome Saudi Arabian Cave
Is it possible for me to understand as a layperson why this is so important?
$58M?

In this case, you ask to dismiss the case for lack of evidence. That is, if you are innocent and there really is no evidence.
China has easier access to opium/heroin from the golden triangle anyway, if they need a non-syntheic.
"The Go team originally wanted to replace C++, especially inside Google"

Im glad you said that and I was not just imagining that myself. I remember following the Go language closely in its earlier days and it was often spoken about as a "systems language" but it actually seems to have ended up settling as a language to write servers for people who are sick of OOP but still like their imperative C style code.
To put this amount in perspective, $6,400 billion is 640 times the amount Jeff Bezos is putting into solving climate change. Wow.
Sure, but I think the wrong image is conjured by saying "a branch of a tunnel system", since while branches in a real tunnel may themselves branch, they don't tend to branch every few millimeters, the way proofs can branch with every character in possibility space.

Invalidating a proof is essentially what a compiler does when it blows up over a typo in the code you've fed it.

The thing is, most of the time, it is just a typo. The code as-is is wrong, but the code with one character different — the code if "branched" in an alternate direction for just a few millimeters, and then course-corrected back onto the original existing path — is right, and the semantic meaning of the code isn't changed/compromised by that correction.

Finding a logic-level flaw in a (presented) mathematical proof is usually similar: 99% of the time, it's something fixable.

That 1% of the time does still exist; there can be "fatal flaws" in proofs, where the proof's author can't find a way to salvage their proof. But it's not the invalidation of the particular proof, where the knowledge that the proof is unsalvageable (i.e. that there's no path that follows the general "plan" of the branch to get from A to B) gets created. That knowledge is only discovered after much more work by the proof's author, to try to "dig around" the problem, that all turns out to hit other walls.

(Note here that I'm assuming that the proof isn't already believed to be true when it's invalidated. Which it usually isn't; most proofs that get invalidated are invalidated when they're still being circulated as something novel and for-scrutiny, rather than when they're already generally-accepted. If a proof was already thought to be true, then invalidating it would temporarily create "negative" knowledge — it would retract a previous consensus assertion of the truth-value of the proof.)
Perhaps 'unintuitive' is a better word to convey what I mean -- as in, there isn't an easily understandable (non-technical) narrative chain of events, there's just 'opaque box malfunctioned'. The cruise-control example you give feels a bit different, as CC doesn't claim to include automated collision avoidance, whereas something labelled 'autopilot' does.
Yeah, my understanding is that analysts are often quite strong in that domain of mathematical logic (there’s a similar where algebraic topologists are often incredibly comfortable with categorical logic).
Visibility in my opinion.

Plaid is a financially juicy target that has a lot of customers.
You're assuming perfect market transparency. That's a false assumption.

Company A has good security, which adds $5 in your costs.

Company B has poor security, which doesn't, which will lead to $500 down-the-line from a security breach and identity theft. It charges $2.50 less and otherwise has an identical product.

You have no way to know that. You will go with company B, and you will split the $5 gain, where you save $2.50 and they take $2.50 more in profit.

Company B externalizes costs onto the customer. Company A's customers have higher initial costs, but they wouldn't be defined as 'externalized.'
I haven't played it in over a decade, but I remember Freelancer being a great game.
OK, well this turns out to be easy to explain:

> Put it this way. With number theory 1/t is undefined at t = 0. But at the exact left side and right side of t = 0 everything is defined again. There is no mathematical property preventing this from happening with numbers. Same with the ODEs. Undefined at the point of collision with no explicit mathematical rule saying it's not defined everywhere else. So really it's [0, t_0) and (t_0, infinite].

Suppose the first collision takes place at t_0, and the initial conditions are x_0. I agree you can give solutions f_1 on [0, t_0) and f_2 on (t_0, infinity) such that the limit of f_1 as t goes to t_0 from the left is equal to the limit of f_2 as t goes to t_0 from the right (at least in the case of double collisions – I'd have to think a bit about the general case).

I do not agree this constitutes a solution of the system of differential equations with initial condition x_0 on [0,infinity). To have a such a solution means, by definition, that there is some function f(t) defined everywhere on [0,infinty) satisfying the differential equation for all times in that interval. As already discussed, that is impossible because at t_0 the coefficients of the ODE are undefined.

You might respond that you're not claiming you have a solution on [0,infinity). (It's a little ambiguous to me.) But "a solution of the three body problem with initial conditions x_0" means exactly a function f(t) defined on some interval [0,A) with f(0)=x_0 satisfying the ODE on that interval. And the only way I can understand your remarks is to take A to be infinity.

(Note this isn't even a determinism vs. indeterminism issue. It's about what is, definitionally, a solution to an ODE.)

(Note also the difference with Norton's dome: in the dome problem, everything –– coefficients of the equation and the solution –– is defined for all positive times.)
And not only listless now unemployed people, but listless now unemployed people whose only job skill was being a soldier. I mean what the hell did we think they were going to do.
Taliban Leaders Used Twitter and WhatsApp to Help Capture Kabul
> Let's go back to congress needing to authorize wars and give them sole war-powers

The issue there is the massive conflict of interest and legal bribery.

Members of congress are getting obscenely rich from the Military Industrial Complex and their "campaign contributions". Their bank accounts want more wars.
> Self driving cars don’t put that much emphasis on street signs,

They have to. Even the most accurate maps of speed limits have flaws and cannot adapt to dynamic limits. I'm pretty sure that if car makers could avoid the trouble of parsing signs, the would do so.

> their not for example going to drive into a brick wall because of an arrow.

Teslas first driver death was due to the car not recognizing a white truck. It would be easy to add a fake increase in speed limit, just before a white enough wall, so that the car would not be able to brake in time once the LIDAR picks the obstacle up. To the casual observer it would look like the car just decided to accelerate into a wall.
US formally investigates Tesla Autopilot system
History’s Greatest Horse Racing Cheat (2019)
> harder DRM measures

Is that even possible for Spotify at this point?

The OP project is speaking to Spotify servers through the same means that official clients are, but the official clients are not just on iOS, Android, macOS and Windows.

There’s official Spotify clients on almost every platform imaginable. Everything from PS4 to built into TVs. And even a lot of stereo systems have Spotify Connect built into them.

Spotify Connect works by having these other devices streaming and playing the media, and your computer or phone acting as a “remote” for choosing the songs to be played. See https://www.spotify.com/us/connect/

Basically they’d have to break a lot of official clients, many of which probably cannot be updated, if they were to change their DRM scheme. How do you update a receiver for example? Well, you might be able to flash a new firmware with a USB stick. But for regular people, they are not going to do that. And the DRM scheme, at least as of yet, would be defeated by the reverse engineers as DRM always is. And hopefully continues to be.

So at least as of yet I think they would hurt people with official clients more than they would hurt anyone using an unofficial client.

And even people using unofficial clients are probably paying customers.

Besides what’s the point anyways, everyone knows that if you really really want to rip audio you don’t need to circumvent any DRM at all. You can play the song on your computer or your phone and take the analog signal that is going to the speakers and digitize it again and make an imperfect but still good copy of any audio. Admittedly it doesn’t scale anywhere near as good as automatically stripping DRM though.
When has anything so trivial as legality bothered multinationals?
people on here care about laws too much. it's a api/webscraping tool redisplayed a gtk window. nobody is going to go to jail. even if they dmca it someone should just host the sources on anything other than github and let it ride. people cheat at videogames all the time, they can cheat on a music client.
At least I am competent dick.

I work with financial instruments and risk for largest banks in the world.

I am competent to point out you have no idea when you say nobody lends US money because I am calculating risk of that debt as my day job.

I am not allowed tell you how much but surprisingly large portion of it.
Rooting nexus and pixel devices makes them unable to be updated directly, so you need to update them via fastboot/adb and with a cable + root again with every update
Vaccination blunts, but does not defeat Delta
Years ago, if you wanted to do a spreadsheet task Microsoft had a help file on the PC that was readable and indexed and told you how to do common tasks. Now there is no on-system help whatsoever and searching Google doesn’t even get you something from Microsoft but rather a page from the Houston Chronicle (??) that probably doesn’t even work for your version of Excel.

I think in most respects basic “office suite” software has not improved in over twenty years.
There's an old joke that anyone who studies physics knows that helicopters are imposible.
I don't believe much of anythign Apple tells me. The x86 is fine, but any reasons to prefer it to other architectures are disappearing fast. As someone who's suffered (literally suffered) due to Intel's abysmal and execrable graphics performance in the past, I don't expect that they'll exactly blow out this market.

One of the biggest reasons I want a real next-gen ARM-based Surface Pro is that I want to put Intel in the rearview mirror forever. I didn't hate Intel until I started buying Surfaces, then I realized that everything that sucks about the Surface family is 100% Intel's fault, from beyond-buggy faulty power management (cutting advertised battery life more than in half) to buggy and broken graphics ("Intel droppings" or redraw artifacts on the screen) to "integrated" graphics performance that just simply sucks so bad it's unusable for simple 3D CAD, much less gaming.
yes, heaven forbid a country does what they want rather than what America wants. call me deluded and I'll just say the same to you.
No; they also have workers and drones; in spring the queen comes out of the earth, where she has been hibernating, and looks for a nest for the new state; she then lays eggs, collects pollen, and takes care of the brood alone until the first workers are ready; the drones then come in late summer and have to leave the nest right away and take care of themselves.
> Gulf War One, we went in, did the job and got out.

The Gulf War did not take place.

(It was a police action marketed as a war.)
One could argue that the seeds of destruction are so far entrenched, that there might only be 1-3 cycles left before the destruction of its own democracy is ensured. The Iranian clerical leadership was rejoicing on twitter about Trumps election claims and January 6th. This has also been cannonfodder for the Chinese leadership and countless other countries.

I'd say the US elites are still somewhat in denial of what actually happened and that it didn't happen in a vacuum, but was years if not decades in the making. Remember that Bill Barr had the unitary executive theory in mind long before Trump came into power, but previous Republican leadership considered it too radical for the American public to accept.

Those times have changed...
> not for example going to drive into a brick wall because of an arrow.

If the self driving car misinterpreted a "NO SWIMMING" sign to a "MUST TURN RIGHT" sign, I assume it's going to take the turn and drive into a lake?
Just put in whatever time you have. Spaced repetition algorithms are robust against abuse. I have some spaced repetition items I've neglected for years, when I go back, the algorithms will do the appropriate thing and my time will still be used efficiently.
"It feels like a missed opportunity"

I agree with that. I think looking back on it, Go arrived on to the scene at a perfect time where lots of people were rearchitecting so there was lots of natural appetite in the industry for a new language. Go vacuumed up a lot of this opportunity but ultimately hasn't really evolved the practice of software engineering all that much.
google+ had a lot of topic-oriented discussion. it was actually pretty cool.
> Only when the vehicle computer detects a known object on the road that it knows should not be there it is applying brakes or trying to steer around.

The problem with Tesla's "No LIDAR ever, cameras are good enough" approach is that it fails to detect emergency vehicles: they filter out stationary items out of radar signal as noise[1],and Tesla's ML models probably can't reliably identify oblique vehicles and semi trailers as obstacles.

1. Makes sense in isolation: frequent radar returns from roadside and overhead signs would be a pain to deal with
When you say “contractor” I assume you mean “US-based” contractor. I’d love to see a semi-credible corruption index to compare contractor and local corruption. To the degree that contractor corruption reinforced local, even worse.

The defection spiral was necessitated in part by a lack of available resources. If they required our logistics after we pulled out- at what point could they be weaned?

I agree with the self-absorption, point made over on the Taibbi post. I’m sure that would tie into competence, and in no way do I intend to mean “we did everything a competent world power could do”.
> It's never been a matter of money. We've seen the government can pass multi trillion dollar bills on demand and increase the budget at will.

Not without consequences. Contrary to the headlines, we can’t simply print as much money into existence as we want.

For example, the actual cost of the war was closer to $2T. The $6.4T number quoted in this headline is the theoretical sum total including interest payments on the debt well into the future.

Simply passing bills to spend money that we don’t have may get things done, but our children have to pay for it eventually.

Even cheap debt must still be serviced. A significant portion of your tax bill every year goes to servicing interest on national debt.

So no, it’s not simply a matter of political will to spend all the money we want. There are limits.
Repost of flagged: https://news.ycombinator.com/item?id=28203148
Wow, people don’t like this line of thinking. I wish one of them would refute it.
> just an axiomatic belief

So you prefer a data-driven belief, don't you? Let's see, this ICC probe [1] (ICC = International Criminal Court, a court that the US does not recognize, and also a court that it not known to be US-friendly) alleges:

>> Taliban actions are believed to have resulted in tens of thousands of civilian casualties [...] The Afghan security forces are being investigated for several war crimes against hundreds of civilians [...] The U.S. armed forces and CIA are now under investigation for war crimes against around eighty victims

So, the Taliban made tens of thousands of victims, the Afghan security forces hundreds, and the US armed forces "around 80".

Your turn, please.

[1] https://www.cfr.org/article/iccs-probe-atrocities-afghanista...
This is why I hacker news.
Those are likely simple robo scam calls. Robo dialers call an absurd amount of numbers on various schedules in something of a brute force social engineering scam. To keep their dialers from getting permanently blocked or reported easily, they spoof the caller ID (usually with an area code similar to the recipient's area code in the hopes that someone will be more likely to answer a call from an unknown number if they think it's local), which is why you will sometimes get texts or calls from people who ask you to stop calling them. These kinds of people are just other recipients of spam calls and your number happened to be the number the robo dialer was using as a spoofed caller ID for them; that kind of thing doesn't really have anything to do with leaked info.
I've used it for some math concepts. The memorized concepts give you something to mentally play with, and give anchor points on which you can build more knowledge.
Low-value post on my part but I'm pretty sure that's supposed to be foment, not ferment.
How would that work where streets signs _do_ change suddenly? A couple of examples I see every day are roadworks (new fixed signage for the duration of the works, or even a person flipping a sign between "stop" and "slow") and "smart" freeways/signage (screen-based speed limit signs that change, and have additional signs for speed-limits if all screens are off). Here in AU, we also have "school zones" with speed limit signs that turn on only during certain times and dates.

I'm not sure that governments would be quick enough to keep this "central roadmap" correct up-to-the-minute (to be honest, I suspect that "up-to-the-month" would be a stretch!).
Can someone explain to me the partisan tilt this coverage has had? Both parties seem to have wanted to get out of Afghanistan and this past few weeks is (at least per my understanding) the culmination of the plan the Trump administration had put into motion (signing the peace treaty with the Taliban, releasing their prisoners, etc). Is there something specific the Biden administration bungled? What would a better plausible outcome have looked like?

And yes, the wars in Afghanistan, Iraq, and on “terror” have clearly been mismanaged from the start in exactly the ways that critics predicted, but I don’t see meaningful differences in the way all administrations have bungled these things.
Nothing only if the other stores subsidize that particular store. In reality they will just close unprofitable stores.
Yes, a sorted vector is a common data structure for frequent queries and infrequent updates.
Death toll of the formerly perpetual occupation of Afghanistan:

American military members: 2,448
U.S. contractors: 3,846
Afghan military/police: 66,000
Other allied troops: 1,144
Afghan civilians: 47,245
Taliban/opposition fighters: 51,191
Aid workers: 444
Journalists: 72

src:
https://www.usnews.com/news/politics/articles/2021-08-14/cos...
Linux Sysadmin Commands
that depends on the developer(s).. didn't check in this case
Nowadays it's already difficult if not impossible. In the age of big data and open manipulation, there is zero incentive for the politicians, corporations and media to promote independent thought for ordinary people, or to put more precisely only independent thoughts that benefit their agendas.

The same goes to millions of middle class employees of those entities. They might want to teach independent thoughts to their own kids but other than that they have zero incentive to promote independent thoughts to their customers because it's profit and power that feeds their family.

I really don't see an easy way out of this downward spiral.
The difference between a crank and someone like Nelson is the ability to admit that their crazy disruptive idea, their challenge to orthodoxy, is after-all wrong. We need people to challenge orthodoxy; its healthy. But we also need people to admit when they are wrong. Nelson has my respect.
$6.4T over 20 years sounds like a lot of money, but the US spent $3.8T on healthcare in 2019 alone.

So all of this money could have sustained the US healthcare system for barely 18 months.

https://www.cms.gov/Research-Statistics-Data-and-Systems/Sta...
At my workplace, managing the team is only a portion of each manager's job. The other portion is carrying out administrative tasks assigned by their manager. Examples include gathering data for updating and maintaining a variety of metrics and dashboards, writing procedures, and so forth. In fact a lot of that stuff could be automated, and it is. The managers, including one former coder, use mostly Excel. If they have to create a tool for others to use, with a user interface, they usually find a canned solution that can be bought and installed.

In fact, my lack of interest in that side of middle management is one of the things that led me to turn in my manager hat and return to the rank and file. Ironically, they promoted me out of management, which is a pretty good hint. ;-)
I'm skeptical of this common claim. Perhaps that was true when they were an insurgent force needing funds, but I don't think it will continue now that they are in power. Afghan heroin production was at its lowest - essentially none - after it was completely forbidden the last time the Taliban were in power in 2000/2001.