skysight-inc/HackerNews huggingface dataset:
That's a hassle. I get a nice route all worked out in Google Maps on my desktop, then try sending it to my phone. It seems like the only data transferred are the start and end points. Thankfully I live in a mid sized city, and don't really need super precise directions. When I'm out in the country, I find it helps a lot to have a compass. You can get a bell with built in compass, made for kids bikes, and it's really handy
I don't know how the contracts were actually written, but I suspect it would legally classify as a "breach of condition." This kind of breach entitles the innocent party (i.e., Van Halen) to terminate the contract. Of course, the contract itself can override this interpretation as it sees fit.

However, as noted by others, this is rather moot: someone who didn't notice this line in the contract probably didn't notice all the other (more serious!) issues.
But then maybe we should treat with the same scepticism studies diverging from the IPCC consensus in either direction. Those that downplay the risks of climate change as well as those that announce catastrophic outcomes that are not considered likely by the IPCC.
I actually think CUA binds are limiting and it's good to learn something else, but if you do want them, emacs has an option for enabling them. I've never tried it, but it's there.
It was mostly one person who was heavily downvoted, and some people making vague hypotheticals ignoring the difference between 30% commission and 3% payments processing.
How big is the "spreadsheet as database" market? I mean don't get me wrong, I am a huge fan of spreadsheets. But it seems like there are many products and companies trying to compete in this space.
Age-related mental disorders are the final frontier for the human species.

Heart problems are basically mechanical problems, we're guaranteed to fix them in the next 100 years, if only by printing new hearts and blood vessels. Cancer is a cluster of rogue cells, and just it's a matter of time before we can focus poisons, blades, irradiation, and nano-bots precisely enough before treatment becomes as routine as annual dentist visit. Similarly bacterial infection - it's just a foreign object that needs to be killed with some precision. Viruses are trickier but maybe not that much - killing infected cells seem like it would do the job.

Brains are complicated though, you can't just seek and destroy something that's wrong. It's not a given that we can fix them in the near future, and as all other diseases recede we will end up with close to 100% of people succumbing to brain disorders at the end of their lives.
This is ironic because Uber "innovated" by being a taxi service that didn't follow taxi laws and AirBnB "innovated" by being a hotel service that didn't follow hotel laws.

Sure enough, the Internet Archive chose to "innovate" libraries with the National Emergency Library, by simply not following copyright laws.
Tianwen-1: 5000kg/11000lb

Perseverance: 1025kg/2300lb
The call-to-action at the end of the thread is a call for the AFL-CIO to sever its ties with Police Unions.

Basically the entire thread is "Here are all the reasons, AFL-CIO, that you shouldn't associate with these unions anymore."

Using the fact that the AFL-CIO does support them is a bit of a tautological dead-end, because of course they do, otherwise this thread attempting to persuade them not to wouldn't exist.

Just in case anyone didn't get to the end of the twitter thread, the last tweet is as follows:

https://twitter.com/doctorow/status/1288130980650205184?s=20

Fixing policing is a long road, but it must start. We can begin by getting the
@AFLCIO to sever all ties with police "unions."

eof/
I tried it...it's absolutely and completely free :)

All the features, all the members, crazy stuff.
Perhaps it was in part good timing for the false information, with the top tech CEOs hearing that Apple/Tim Cook was involved with as well - it would seemingly be the time for such an unreasonable behaviour of keeping 30% fee on refunds to make it to the surface for public viewing.

I have a similar shock or fascination when seeing how little the HN crowd understands the benefits of UBI (when tied to inflation + VAT) - there's seemingly been little critical thinking done from foundational principles, and the same common misunderstandings repeat. There's enough momentum of people with little understanding jumping to post that those comments all gain the most traction, and it's too much to jump into discussion with.

A good comparison of differences in abilities and then innate failure/mistakes that we can all make - Elon Musk, who understands exponentials and economies of scale via his success as a marker, and stating he decision makes from first principles, is in support of UBI. He says it's inevitable with technology-automation, and then comparing that to his tweeting some arguably misinformed or shallow on the details about COVID-19 - perhaps not having as full or clear as a picture as he should before someone with his reach posts about something so serious. To me however it's really all just signals for the state of the union, and these are canary moments that highlight how reactive people are and how ill-informed they are - due to not having a hierarchy of trusted sources that most of us follow. Is there someone who's as successful and trustworthy competence wise as Elon is with EVs (etc) but for viruses? It was supposed to be Fauci in the US, right? But he first lied to Americans saying masks don't work - and that lack of integrity is harmful and blinding.
>And we have the Michael Moore produced doco on Youtube (Planet of the Humans) that criticized the mainstream green energy narrative and also got temporarily deplatformed due to outcry.

That pseudo-documentary was so dishonest, though: https://en.wikipedia.org/wiki/Planet_of_the_Humans#Factual_a...

As Dana Nucitelli said: "The film's case is akin to arguing that because fruit contains sugar, eating strawberries is no healthier than eating a cheesecake."
I agree with your third point. People will take the money and make bad decisions and then ask for more. In US we have food stamp program to grant free food to people who cant afford it then why do people still beg for money. I have heard of people using food stamps program and sell them to store for cash and these types of fraud exist because people easily do them without getting caught. I guess we can apply technology to reduce this fraud as much as possible.

Another thing happening in US is the unemployment program and the Coronavirus relief program which pays unemployed extra $600/week on top of unemployment. This way they make more money than they used to when they were working. In this case their incentive is to just stay home and not work which is also not right as without essential workers in the service industry we cannot get work done and if we start paying them higher than they get with the extra $600 we won't be able to afford them to be hired full time or temporary basis. For example someone even earning the lowest minimum wage can make $800/week and that is about $42,000 annually so we sort of do have UBI currently happening and worth learning from that.
Since moving to SF, I've _really_ wanted to take the plunge and start biking to work (COVID notwithstanding). I haven't done it yet, though, because I'm not super confident on routes that prefer protected lanes and minimize hills.

This post was super helpful. Citymapper wasn't even on my radar, but now I want to go grab a bike rental and give it a shot.
Basically, it doesn't.

TLA+ is first-order temporal logic, where you can write formulas describing how the state of a system evolves over time. If you have a concurrent process, you can describe it as a state machine, and then write TLA+ formulas to describe the evolution of the system state as the system reacts to events and evolves through time.

In contrast, Petri nets are not a logic. They are a generalisation of finite state machines tuned for describing concurrent processes. In Petri nets, the state is decomposed into a set of "places", and you mark the places with "tokens" to indicate what the current state of the system is. Depending on the state, different state transitions are enabled or not. The variant of state machines that Petri nets correspond to are called "vector addition systems with states" -- basically finite state machines plus a finite number of integer-valued registers. (However, the post this article links to describes a restriction of Petri nets where the markings are 0-1, which makes them exactly the same as FSMs.)

Since the logic of TLA+ describes infinite-state systems, if you want, you can represent Petri nets pretty directly as a set of integer-valued variables and then just write TLA+ formulas about them.

However, the main interest in Petri nets comes from the two facts that (a) they do a good job of describing concurrent systems (you can mix state- and event-based descriptions easily), and (b) are very well-behaved algebraically -- there is a wide variety of constructions which build bigger Petri nets out of smaller ones, which preserve various good properties of the smaller ones. (This latter thing is in fact what the linked post is doing.)
Apple halved app store fee to get Amazon Prime video on devices
Yes, well aware of the Soviet Venus missions, including balloons. NASA is promoting it as the first extraterrestrial powered aircraft. Analogous to the Wright Brothers.
I would argue that "no market need" is not one of the biggest reasons why startups/companies fail. Most startups fail because they fail to execute specifically within their market and/or find their product/market fit. So in other words, market is definitely there but there is failure in execution and inability to capture a decent market share. They try to sell to everyone which basically becomes you sell to no one (unless you are Amazon but that takes 20+ years of capital to survive and is outlier)
Yeah, but I don't think it's a problem that a human is involved - someone has to tell the user what will be in the release.

That needn't necessarily be at the time of the release, btw. If you have a consistent process to update your changelog, then if you do have some completely automated release system that just releases every x time, it can simply look at the changelog to determine what version number to give it.
Mars's atmosphere is very low density, so the balloon would have to be unreasonably enormous to fly anything useful. Venus, on the other hand, has an extraordinarily dense atmosphere. So dense that folks have hypothesized floating entire cities.
I'm not sure what that critique has to do with the original question about the distinction between science and pseudo-science, but I'll respond anyway.

The purpose of science is the generation of knowledge, it's to have a formal understanding of a system and essentially a language and methodologies to make inquiries.

Economics as a science does solve real world problems, but it's not the dominant purpose of a science as such. It's the task of problem solvers to take scientific results and then turn those say, into actionable policies. Scientific work does not exist for the purpose of solving 'real problems' in the sense of being subjected to that goal. Scientists are not engineers. When Computer Scientists talk about Big-O complexity they often do so in a way that's not really applicable to real-world software development, but that isn't their job.

That said economic theory actually does very much factor sucessfully into decision making. Be that macro-economic policy, central banking, the design of markets and incentives, and so on.
Alcohol has positive health benefit articles get far more shares than alcohol has negative health benefit articles. People/companies like to share things that support their views and advertising dollars.
It never leaves the hands!! At least for us Italians!

We don't speak Italian; we just pretend we have a language so you guys out there don't freak out :)

How do you silence an Italian? Tie his hands.

</sillyjokes>
I’ve been a hardcore pro-UBI for years from the perspective of moving (part of) the distribution of newly minted money from private banks to spread out over individuals. Gradually I have recently been feeling doubt for another reason: it makes everyone dependent on the government in the sense that if the government completely controls the demand side of the consumer economy (in the frame of the article). A majority of the population will (either due to unemployment or committed spending over non-UBI income) be unable to make ends meet without UBI.

It actually puts a lot of power in the hands of government and central banks.
If you run into one of those where you don't have a choice, the best phrasing I've found to explain why I left was "hostile work environment."

I had one of those for about a year and leaving after just over a year was a question I got used to answering.
I get why he doesn't like crypto currency stuff. Why is it so toxic if haskell is used for it? Is there a suggestion that those that participate in coin related projects should be persona non grata.

Is there really no discussion about software as a dual use technology?
>>>As simple as Woman. Man. Room. Camera.

Can you explain what this means, I keep seeing this in places and have no idea what anybody is talking about.
True, but deaf people are able to communicate quite effectively with sign language. So it's not like hands are completely worthless for communication. Plus, in certain cases the "hard to see" is an advantage.
And because anything that can float on the light martian atmosphere can be blown away by the light martian wind.
Reducing defense budget seems the obvious place to start. Why is this a “non-starter”?
In addition to farther fly ball flight, the thinner air in Coors Field lessens the amount of distance a breaking ball moves when pitched. You'd think they would spend top dollar for every pitcher with a heavy 94+ mph sinker.

While other teams play a single (or handful of) series a year at Coors Field, the Rockies have to adjust to breaking pitches being more effective while playing away half the time which would be a bigger disadvantage than the ball not flying as far at away ballparks.
Because the atmosphere on Mars is orders of magnitude thinner (depending on altitude), making balloons a bigger challenge (and less useful in some ways).
The fee is usually not returned to the merchant from payment provider in case of chargeback (in this case, merchant is Apple, but payment gateway may also not get the fee returned from acquiring bank also). In this case, Apple returning the fee result in them paying the refund out of their own pocket, which may be a source of abuse. This varies by payment provider, and some do charge extra in case this happens. I've posted a bit more about this in other subthread.[1]

[1]: https://news.ycombinator.com/item?id=23996366
I think it's the possibility of nontermination that leads to unsoundness. You can construct a well-typed program that never produces a result, which means the fact that a program has a particular type does not mean you've proved a particular proposition.
You keep citing the difficulties of imperfect first steps as reasons to avoid trying anything at all. Of course it looks like nothing can be done!

I can only hope you come to your senses, regardless of whether the biological risk is exaggerated or not.
Typical digital lending programs are artificially crippled by publishers. They require libraries to purchase expensive licenses that are worse than physical books, like being subject to embargoes or expiring after only 52 lends.[0] This is why every traditional library's digital catalog is a tiny fraction of their physical inventory.

The IA merely allowed people to borrow books that exist in physical form with the convenience that modern digital technology allows.

[0]https://www.eff.org/deeplinks/2019/11/publishers-should-be-m...
"Adjoint Treasury is a real-time payments and settlement platform for corporate treasury"

Stephen Diehl CTO and Founder at Adjoint

I feel our author may not be entirely impartial here...
Venus atmosphere is so thick light beach balls pumped with regular Earth's air would floating in it.

Mars atmosphere is so thin it's almost impossible to make a ballon float in it.
Mars Climate Orbiter Failure Board Releases Report (1999)
Economics is not something that can be tested easily on a large scale, so most of it becomes about trying to explain why things happened in retrospect.
Big Tech CEOs Give Congress the 5 Ds of Dodgeball on Anti-Competitive Behavior
It’s a worse recession than the Great Depression or any war AFAIK.
Can you give any recommendations on banks that really get it right? How about the inverse?
I see this problem with formal methods, which are also increasingly used in the cryptocurrency world. I compare their use there to the claim that a tightrope is safe because it's anchored to towers assembled from cards made of the strongest titanium alloy.

Having said that, I doubt the impact of Haskell's reputation on cryptocurrency users, technical or otherwise. The myth that Haskell results in more correct programs might still be alive in portions of the Haskell community despite the failure to support the claim with any evidence, but few outside that community have ever heard of that myth, let alone believe it.
Ask HN: What are your sources for non-sensationalized news?
Most working poor have to manage their finances every day. I think about my finances maybe once a week, because I make developer money and I don't have to worry about it.
Interesting. I would think conceptually lateral joins would suffer from similar issues, as it would seem like you need to run a query, get a result, and then use it in the next query, and these are all just fancy ways of writing out subqueries/temp tables.

Lateral joins are able to use "downstream" lateral join queries to optimize "upstream" ones?
So this effectively lets you use chip data to recreate a magnetic stripe, which passes validation when the banks don't check against the right CVV.

Yeah, not great. OTOH I worked on an early EMV implementation almost 20 years ago now, and it was obvious even then that mag stripe was a huge security problem. I'm amazed we're still talking about mag stripes and issuing cards with them in 2020.

They should have been retired over a decade ago.
Maybe because it could leave at some point. Not overnight, but maybe gradually after primitive language or sounds being bundled with gestures for some time. Considering that humanity were hunter gatherers the main topic was likely animals and the weather. I think it grew out of those campfire situations and planning huntings, map making (drawing scenarios on the ground) and then basically animating it with sounds and signs.
I plan with Strava using it's popularity heat map (I road 9000 miles in 2019). I then cycle using my Garmin 520 bike computer, which is painful to use for directions, but up to the abuse particularly on single track, and I try to use memory based on previewing with street view and satellite photos while planning. I often have to backtrack, typically uphill. But most of the time I'm repeating rides, at which point I'm going off memory.
But... who actually thinks this way when they select technologies? If Go was used for a lot of crypto scam, I wouldn’t spend a second thinking about it when I’m deciding to use it for my non-scam, non-crypto’s project.

I have difficulty to understand how it is an issue that a programming language is used for a niche that has bad reputation.
https://www.rollingstone.com/politics/politics-news/trump-co...
Komoot, Wahoo Elemnt Roam and communities dedicated to route planning such as OMTM. Most of it gets contributed to OSM.
A good example is the parallel legal and law enforcement systems on college campuses. In the past, you'd call the regular police and you'd take issues to the courts used by all other citizens outside the university. Now universities maintain their own law enforcement and farcical "justice" system. This stuff is not cheap to operate and comes with tons of overhead.
The internet archive was expressly using "Controlled Digital Lending" [0], a term that they subscribed to that seems to clearly mean "no more copies lent out a time than the number of physical copies owned". They decided to abandon this limitation. The opposite of controlled is uncontrolled, so seems like a fair term to me.

[0] https://controlleddigitallending.org/
That section lists very weak criticism. Some solar farms are lower efficiency than others. So what? That doesn't go against any of the points made in the film. They did not say that all solar farms have lower-than-average capacity factors. The fact that you can get deplatformed for this really surprises me. This level of technical criticism is not even remotely proportional to the massive negative backlash it got. Clearly there's a higher-level battle being fought.

A lot of what it had to say about the combustion of renewable biofuels (air pollution, carbon emissions) was pretty right-on though, and is not very well known.

The fact that there are indeed actual externalities to renewable energy is a conversation that needs to be had. I think a lot of people are hoping they won't be too bad at scale.
I strongly recommend the service of a GREAT Hacker to you whose email is andrewalanhacks@gmail.com…I have used him quite a number of times and he has never disappointed me.He does all types of mobile hacks, fix school score or grades, clear DMV,get unrestricted and unnoticeable access to your Partner/Spouse, Skype, Facebook Account, Email(s), Whatsapp, Instagram, Text messages, In coming and Out going calls, Twitter, Snap Chats, Bank accounts, Viber, Deleted files, Emails and IPassword etc.

Getting the job done is as simple as sending an email to andrewalanhacks@gmail.com or Whatsapp/Text 559-634-0249 stating what you want to do.......
In finance, you would compare 2020-q2 with 2019-q2. You would still get a similar 8% - 9% drop.

That figure (32.9%) is based on future projections. Stating the predicted future as something that took place already would get someone fired in finance.

>> This is more like the general populace not understanding how finance works

It looks to me more closely as someone applying mathematical formulas either without understanding what you are doing de-facto behind them, or being ill intended in the first place to manipulate the market. Either way, it's bad.

Unless you're explicitly writing "in Q2, the GDP dropped at an annualized rate of -33%", you're committing the capital offense when it comes to writing good journalism: not knowing your average audience, not adapting your content to the audience and probably most significantly, not understanding as a journalist what you're writing about.
They stated "...administrators to keep up with regulatory demands."

I wonder, however, if administrations just take on a life of their own and grow bounded only by available budget. It seems like this happens in the private sectors with layer upon layer of management.
> It was media-constrained

It 100% wasn’t. IA after the fact tried to justify their uncontrolled lending by saying they were lending out copies that were owned by the shut down libraries all over the country.

First, nobody gave them ownership of those copies.

Second, most libraries already have legal digital lending systems and so their digital stocks were going out too (which also negates IAs after the fact justification).
I strongly recommend the service of a GREAT Hacker to you whose email is andrewalanhacks@gmail.com…I have used him quite a number of times and he has never disappointed me.He does all types of mobile hacks, fix school score or grades, clear DMV,get unrestricted and unnoticeable access to your Partner/Spouse, Skype, Facebook Account, Email(s), Whatsapp, Instagram, Text messages, In coming and Out going calls, Twitter, Snap Chats, Bank accounts, Viber, Deleted files, Emails and IPassword etc.

Getting the job done is as simple as sending an email to andrewalanhacks@gmail.com or Whatsapp/Text 559-634-0249 stating what you want to do.