skysight-inc/HackerNews huggingface dataset:
- America: The Fairwell Tour - book, C. Hedges

- Nemesis: The Last Days of the American Republic - book, C. Johnson

-The Unraveling of America - article, book W. Davis

America is slowly boiling on the stove of corruption and apathy to become another failed state like Brazil, and has been unraveling for decades. It's not doomer hysteria to suppose it when it's demonstrably happening. Look at the burgeoning number of homeless, extreme budget expenditures on global MIC militarism, horrible leadership, lack of plans, lack of achievements like the JFK days, lack of leadership, lack of organizational effectiveness, lack of disaster containment, violence, political divisions, prevailing social hermitage and animosity, personal habits/escapism/conditions of despair (drug use, alcohol, hikamori isolation, friendlessness, depression, anger issues, road rage, screen addiction, virtual lives, extended adolescence, negative attitudes, poor social skills, fatalism, no families), cannibalism of public commons by corporations, power/influence of corporations, lack of accountability of public officials, lack of community, unequal distribution of wealth, and false beliefs by the middle-class and rich that everything is good enough.

To pull the republic out of this fatal dive towards the ground, nonviolent but assertive direct action is needed to undo the neglect and revitalize the American psyche. Better days are ahead when, not if, people pull-together to solve the big problems and advance breathtaking goals. The universe is malleable, not inevitable.
Except central banks don't live in a vacuum. If they print tons of money to buy it, that would push the price even higher, incentivizing even more miners.

And I don't think central banks would want to destroy it. In many ways, many useful transactions in crypto occur in stablecoins pegged to the dollar. If anything, central bank might want to participate and innovate with everyone rather than try to destroy Bitcoin.
Yes, use the "showdead" toggle on your profile page.
I don't quite agree, but this is very early qntm. You might appreciate his later work.

https://qntm.org/mmacevedo
I added in a paragraph with an edit that you probably didn't see, but to be clear these are separate problems. The plane trains are to get people around an airport. The subway/train connections are to get people to/from an airport.

He's wrong two ways. (1) most if not all major US airports are connected to rail and (2) international airports use plane trains and if they don't they have buses that do the same thing.
> Verify your age

Choose a random date with enough years into it, done.

Other than that, good to see it, I have most of the original editions in special release boxes. Spent endless hours playing them when they were new.
Sure you can try to have a proper discussion online, but too many people want to DESTROY people with FACTS and LOGIC. Or in practice ad hominems, false equivalencies, and just about every other fallacy in the book. If a topic is remotely controversial it's just about impossible to have a discussion that would make any sense at all.

HN is really the only place I even bother to write a comment, on the whole people seem to be at least have a somewhat charitable interpretation of other people's comments.
You can't buy a business if the owner doesn't want to sell.
This certainly wins for lowest cost, but I don't think it wins for lowest environmental impact - the spares reduce much of the benefit

If the author makes it to 10 years with these 3 laptops from 2006, it will add 3.3 years of lifespan to each laptop. Assuming the prior owners used them for 3-5 years, this endeavor extends the lifespan per laptop to 6.3 - 8.3 years, so I think buying new in 2017 and running with it until 2027 wins in terms of useful life per laptop.

I don't know if the energy usage of operation over 10 years is significant compared to the energy usage of manufacturing, but a 2017 laptop would be dramatically more efficient than a 2006 laptop (assuming the same software running on both).
I don't know what you define as insurance, but in this case it's basically something which contains things you can invest or save money to, and you get to name a beneficiary (e.g. your child/grandchild/wife/husband/etc.) who gets the money in case of your death. Plus some other details.

Otherwise it like a "normal" brokerage account, except the tax rules are a bit different, no capital tax on profit but you pay a certain percentage based on the size of the insurance (which has details like in which quartal you moved money in). Dividends are not capital taxed, there's a "template tax". Losses cannot be deducted. Etc.

Anyway, with the lending of your stocks the chance of everything going bad is very, very low, but of course it's still non-zero. I guess some people opt out not because of the inherent risk but because they don't like short selling as a concept.
you can swipe the thumbnail to save without waiting
What feeds people is fair access to food. If all Nano supply is controlled by people who happened to chance on the right corners of the internet in 2017, then this is not about feeding people but about rent seeking.
The repo is odd, it's hard to tell where the actual little-lang code is. I guess it's in the tclXXX directory?

https://github.com/bitkeeper-scm/little-lang
CMU also currently has a course in categorical logic [0]. Internally, the only prerequisite is a course in category theory. The course notes can be found at [1].

[0] http://mathieu.anel.free.fr/CLcourse.html

[1] http://mathieu.anel.free.fr/mat/80514-814/Awodey-Bauer-catlo...
I started “Invite Chain Group” on ProductHunt. Please support us. Thank you
I really hope the South Park creators run with this one. The episode about Metallica and Lars fighting Napster is one of my favorites.

https://en.wikipedia.org/wiki/Christian_Rock_Hard

Not a big deal?!?!
"Social Ladder"

What is this exactly? Why does it exist? Which societies have such a property?
> Don’t you see that you’re doing what the article describes, right now?

Clearly they are not doing what the article describes. No individuals were hurt by the writing of that comment.

> Your shallow analysis and careless invective,

Seems like you are trying to hurt the poster with this insulting dismissal. The poster is an individual who can be hurt.

> somehow pointing the finger at school systems for something that is largely a result of human nature, is bullying.

This is a false dichotomy. Bullying is clearly a result of human nature.

However an individual’s exposure to bullying is clearly a result of the social systems they are exposed to. If there are differences in incidence of bullying in different social systems, we can certainly say that systems are also a cause.

> You’re throwing school systems under the bus for internet points.

You are throwing an individual peer on HN under the bus for internet points. This is against HN guidelines, unlike critiquing a system.

> Could schools handle bullying better? Probably.

Seems like you think the current level of bullying may be the best we can do?.

> But your call for “questioning” is not at all constructive or actionable.

This is obviously totally false.

1. There are many alternative schooling systems, and many alternatives to schooling.

2. Many comments on this post are doing the exact questioning the commenter is calling for.

It’s certainly constructive to question the school system which results from government policy, and certainly actionable.

> To me you demonstrate only that what the article describes works just as well on hn as it does in schools. Dunking on easy targets for social standing.

The OP is critiquing an abstract system. You are attacking an individual. Which behavior fit the description in the above paragraph better?
Design your architecture for the acceptable downtime. We all want 0 downtime, but it happens. You really need to understand what you are building for. Calculate the time of downtime you are fine with. for 99.5% it is >3h but for 99.9 it is 43m. and 99.95 it goes down to 20m per month.
So the less time you have allowed, the less time you have to react to a problem. So how long will it take you to turn on your pc on a weekend and try to figure out what is the source of downtime? so if you plan to go above 99.95 things will really get tough, and you will have to do major restructuring to reach this, as you cant allow failures.

So If you need 98% or 99.99% availability, your design will be very different. When you start designing for >99.97% stuff will get complicated.
How is not winterizing equipment JIT?
JFK certainly doesn't have a subway stop at the airport. You have to get off the subway, get a separate AirTrain ticket, and ride the AirTrain to the airport.
ACA significantly impacted my life and the lives of others around me. My friends in medical school were able to purchase health insurance to cover the 2 months between graduation and starting residency. Graduating from school doesn't make you eligible for COBRA. The ones with pre-existing conditions would not have been able to obtain meaningful health insurance for that gap period otherwise. I'm grateful that the ACA made meaningful steps to solving that problem. I still want us to do better. But the accomplishment of the ACA has been the difference between having health insurance and worrying about catastrophic medical debt because of an 8 week in-between period when you're unattached to a large institution.
> Have you have had the sort of reporting requirements and workflows implemented in a tool where what's a simple workflow action in Jira with a transition screen that asks you to fill all the required fields implemented as just a screen full of fields that you are supposed to individually update correctly? And they're all over the screen seemingly unrelated?

Yes, the tool was called "Jira".

That's actually better than my experience of the "simple workflow action" approach, where the fields you need to change aren't available, because you clicked the wrong action at the wrong time or did the wrong thing three actions back. And since there's no way to undo an action or return to the previous screen, you're stuffed. If you're lucky you might be able to find a manager who's able to do some other transition or define a new transition to fix your problem. More likely you have to throw that task away and recreate it from scratch. Oh, and there's no way to close the copy that's in the wrong state, so it's in your to-do list forever now.

> Now the good part is that you don't actually have to use all those customizations if your company doesn't 'need' that much process. Whether you have a Todo-In progress-Done workflow or Backlog-Ready for Dev-In Progress-Code review-Ready for QA-In QA-In Regression-Ready to merge-Merged to integration branch-In Integration Testing-Ready for master-Merged to master-Released to Prod workflow is up to you!

You need customization to have any workflow available at all - that was what I said about hoping a manager thought of what you were trying to do first. You want to put your In progress thing back to Todo? To bad, you can't. Accidentally marked something as Ready for QA when it isn't? Tough, no undo. Etc.
The way to do it is to set the prompt to things based on the game world - so instead of 'City Hall' actually have that as a quest location to have the AI tell the player about. Could even dynamically change the Prompt based on the player's clothing / actions.

The Hot Dog vender in this example was just prompted as a 'hot dog vender' - but we could have told it what prices hotdogs were beforehand, then do gameplay actions based on the player's response (right now it only checks if 'bye' was said to end the conversation)
They've been advertising to hire someone to do the Android app for a while, so I don't think they intend it to remain iPhone only.

But it looks likely it'll be only iPhone during their current invite-only phase.
This is a little like saying that starvation is human nature. Our entire society is organized around minimizing various aspects of human nature, starting with starvation and moving on up to murder, and at some point in the list of things we try to avoid, perhaps because they are part of our nature, is bullying.
Maybe it is easily reproducible, and that would certainly be concerning (at least until the issues are patched). But there's no reason to believe that based on one person's singular occurrence of the bug.

I hope you get a chance to repro the issue eventually so that we can all benefit. Eventually it will be possible to do the DFU restore from non-OSX systems using idevicerestore, so that should make the testing more convenient.
The European Union has strong regulation, and you pay for the stability in your taxes. As a dual US|EU (Croatian) citizen, who is culturally American, the EU can be quite a good deal.

They have dealt with populism before, unlike the US, and have much more resilience against this.

Even places like Croatia do not look so bad in comparison to the United States.

Regardless, my family lives in Texas, while I am living abroad. I am already making serious plans to take care of my family for the next time this happens. It really is ridiculous, when you think about it.
Actually back in the ActiveX glory days, ActiveState had browser plugins for Perl, Tcl and Python as scripting languages.

That is why script has a language attribute, but we ended up being stuck with JavaScript.
During one of the interviews, I think he says that payment for order from is like 1-2% of their revenue.
Only tangentially related: How do bitcoin network costs scale with market price?

We can expect the marginal cost to mine a coin to scale with price. So if btc worth $52,000 then people will invest on average $52,000 in equipment and electricity.

There are 6.5 coins mined every 10 min. So daily network cost approximates to 6.5 * 6 * 24 * $52,000 = $48,000,000

This is not strictly accurate as past equipment costs less and people may over invest expecting appreciation. But it should be close enough.

So to run the network at a price of $52,000 you need $17.76 billion dollars to enter as fresh capital to be burned as electricity and equipment, correct?

And if the price hit $1,000,000 as boosters claim, mining difficulty would rise to adjust and the new annual maintenance cost would be: 6.5 * 6 * 24 * * 365 * $1,000,000 = $341,640,000,000

And then this would decrease as halving happened. In May 2020 and then 2024. So the annual cost to run a $1,000,000 btc network post the may 2020 halving would be about $170 billion per year. That much new capital needs to enter the market and be burned up simply to maintain the price at $1,000,000. And to be useful to the world a $1,000,000 bitcoin would need to generate $170,000,000,000 in value annually.

Have I got this right or did I make a grievous error somewhere?
You're on a fishing expedition.
Whenever I read Pinker critiques (and I've read a few) they're always dripping with dishonest reasoning that leaves me even more confident in his position.

Take Jason Hickel's critique, where he lies about the poverty rate increasing (when in fact it's decreasing according to his own data) and then hand waves away all the other metrics that Pinker discusses in a single paragraph.

Take Nassim Taleb's (who I usually respect) critique, where he comes off as a raving lunatic, accusing Pinker of inadequately addressing tail risks when the objective of his work is mostly descriptive and not pertaining to possible existential risks. I recommend you read Pinker's hilarious dismantling of that rambling nonsense.

Or the debate between Pinker and Gladwell where Gladwell totally ignores all the actual metrics that Pinker discusses and instead waxes poetic in narrative form, discussing single anecdotes.

Now I'm half way through this Guardian piece and I already had to stop. Just because some Enlightenment thinkers had truly backwards ideas - and I'm sure that Pinker would agree that they're extremely backwards - says zero about Pinker's thesis. It's a borderline straw man to think that that's relevant to his thesis. If the latter part of the article has a better argument, let me know.
Xiaomi is undercutting the whole tech industry. And it’s working
Agreed. I doubt most people/services should build to 'guarantee' even .9999.

.9990 or .9995 is much cheaper, much easier, and probably closer to what your end user's network connectivity is anyway. (Yes, they're multiplicative, but if your user is connecting from a single-path residential connection and a $50 router, your 5th nine isn't needed to demolish their local 5-10 hours of downtime per year.)
I've been an avid fantasy fan since forever, but I'm a relative latecomer to sci-fi novels.

I recently finally completed making my way through all of the Culture novels - thoroughly enjoyed every one, and was kind of sad to have reached the end!

Have you come across any other sci-fi authors that approach the style of Ian M. Banks? Otherwise, any recommendations for other sci-fi with the depth that the Culture series had?
Looks like the researchers are running a sinkhole that the malware phones home to. From there it’s a matter of counting unique ips and dropping cookies.
You can build out backup gas without decades long political battles over one of the most singularly controversial issues over the past century or so.
Only because the Elders of Mars telepathically contacted Elon to tell him that colonists using accursed Windows would find little purchase on the windy plains of Vastitas Borealis, and their little colonies would end in the blue screen of death.
> RORO pattern, or Receive an Object, Return and Object

> ..Functions should always accept an object as their parameters and they should always return an object as their result.

> We will then destructure the arguments and the return to have more expressive way of knowing what goes in and out of a function.
Depending on country, the title of Doctor might become part of your legal name - enough that you're going to get issued new IDs and the like
Where by “competitor” read “defined and standard”.
No. They just want more opportunities for jobs. Healthcare is a product/service and the very basis of individual liberty is you cannot coerce someone to provide a service to you against their will.

Dignity is not given or an entitlement, it is built and earned.
If you lend out shares, any dividends are taxed differently too I think.
the product is essential reinventing conference calls by adding tracking and gamification to voice calls. who are these people who voluntarily sign up and have their data stolen just so they can listen to Dunning-Kruger types who love nothing more than hearing the sound of their own voice. people who think they're genuine but aren't because they build their opinions based on what their audience wants to hear.

it kills authenticity same as all the other services that create humans that consider themselves "influencers". it's not too different from the CCP's SCS only that we are too propagandized into thinking that this won't create a society of digital slaves who bow to the one with the highest karma.
You don’t need an authoritarian government to plan ahead, just leadership.

If my state can sign a 99 year lease with a sports club, surely they can plan for real issues for longer than 6 months, right?
Texture Compression in 2020 · Aras' website
Can you expand on the "Health checks around the world" ?
It depends, you prompt GPT with a (limited) amount of information and it will most likely keep it's answers consistent. I think that's what they did for the three types of hot dogs and the price. You can't prevent it from producing inconsistent answers though, especially if you ask nonsensical questions, so usage is very limited as of now. But awesome idea, hope we'll see more of it.
Bad regulation is not the same as deregulation.
EEELite Console
I think he's arguing that, with a different funding model, transportation between airport terminals would be integrated with the main transit systems. Which mostly works if the airport is at the end of the line--and, even so, it introduces some complications to the degree that intra-airport transportation is usually free.
There were no major causes it was a systemetic failure across all sectors due to nothing being winterized. Gas failed, coal failed, wind failed, solar failed, the grid failed. Its politics to point only at gas or only at renewables, it was systematic, which might be what you are saying.
I'm wondering about whether this translates into work. In a sense, corporate ladders are social ladders.

Someone might be difficult to work with through insecurity. If they assume that showing weakness hinders their ability to climb the corporate ladder, but are not confident in their abilities, then this insecurity may translate into bullying tendencies. They may seek validation through leadership, but find this only heightens their feeling of inadequacy, and resort to managerial force over discussion.
Two Free Crypto Airdrops Could Outsize Token Handout – Theurbanmine.com
This is good - potentially even life saving - advice if we're talking about doing serious activities outdoors. And in that case, even wool is probably best replaced with synthetics that are lighter and dry quicker when wet.

For around town, though, a cotton base layer and wool works pretty well.
> have a much more spiky load on security than the average of all gates

That’s a very good point. And, the airport itself has already balanced the departure times for all flights across the airport. Every flight has a pre-assigned departure window, so in theory, when you average all flights, you shouldn’t have (many) peaky surges in passenger load. Or at the very least, they would be predictable.
try https://www.lucidlink.com, works like a charm and you are in control of your files.
Apple makes claims that they're "secure" but is that really true? Is their fundamental design really different from anyone else's?

No word in this article about the infection vector.
The generalisation of Curry-Howard to parallelism was outlined in early interpretations of linear logic, I think Abramsky's [1] was the first, there has been a lot more work in this direction since. A good place to start to understand the relationship between functional and concurrent computation is Milner's Functions as Processes [2], it's incredibly simple, my mind was blown when I understood it (if you understand CPS transforms, you will find it natural, indeed, I'd say the Milner translation is the essence of CPS, see also [4]). A Curry-Howard correspondence of sorts has now been produced for linear logic and session-typable name passing processes [3].

[1] S. Abramsky, Computational Interpretations of Linear Logic. https://www.sciencedirect.com/science/article/pii/0304397593...

[2] R. Milner, Functions as Processes. https://hal.inria.fr/inria-00075405/document

[3] L. Caires, F. Pfenning, Session Types as Intuitionistic Linear Propositions. https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.22...

[4] H. Thielecke, Continuations, functions and jumps. https://www.cs.bham.ac.uk/~hxt/research/Logiccolumn8.pdf
TECO on VMS was much less capable compared to MIT TECO, and was IIRC optional and rarely installed.

And while original EMACS was written as TECO macros, the experience of using them was completely different. I could use original EMACS, but TECO would leave me completely lost.
Very cool. I think one of the main things I miss about Turntable is the avatar experience, but I can see using JQBX for another purpose that I think would work super well.