skysight-inc/HackerNews huggingface dataset:
No they're not. I'm pretty sure, based on comments below, that they're legally allowed to not allow their platform to be used to process payments for thing they don't want. The same way a business can state "Cash Only" in the US. This would be terrible optics, and when you broker in money/payments and not thoughts/words, you're probably hamstringing yourself relative to your competition who don't care.

But what does this have to do with the price of tea in China?
did I offend someone? it's a legitimate comment.
iMessage is end to end encrypted by default. Apple couldn't market with it if they wanted to.
There have always been more people looking for work than jobs available
I have heard the term reciprocal altruism to also cover events such as the following scenario:

A country exists with a racial divide, let's say blue/green.

A blue person abuses a green person.

The green person does not fight back, and takes the abuse, knowing they are powerless in the society.

A different blue person, blue person #2, attacks the original blue person. This puts bp#2 at legal and physical risk, even though they were never under any threat of subjugation or abuse from the original attacker.

Blue person #2 would be said to have acted in a form of reciprocal altruism for the green person. This type of behavior is often seen, even in situations where BP#2 has little or nothing to personally gain, was never at any risk, and could potentially receive large negative consequences personally for their actions.

Clearly blue person #2 was also acting in a manner of animosity, that (more generalized) could or not be considered discrimination, economic or otherwise.
It's not just a weird experience for "the non-iMessage folks," it's a weird experience for everyone just because MMS is missing so many features in comparison to iMessage. Last I checked, it wasn't even possible to add or remove someone from an MMS group without creating a new group from scratch. Additionally, MMS is unreliable in my experience -- oftentimes, messages are delayed by upwards of 15 minutes, and it doesn't work at all if I'm somewhere with less-than-perfect cell coverage (including my home and work).
There's definitely a drop in trusting the police. How could you trust them after they hired the mobs to beat up people? In most places this would have triggered a civil war.
There seems to be two sources of "frozen" methane. The one you're referring to is on the ground of the oceans kind of trapped in ice. The other one is organic matter inside permafrost on land. When this warms bacteria become active and decompose the organic matter releasing methane.

It was only a naive relation I saw between the bacteria inside the cows stomach and the one in the permafrost ;-)
I slowly laid off 60% of my colleagues on Wall Street
So which drugs are recreational? Alchohol? MDMA? Caffeine? Just the ones you choose not to use?

>Recreational drugs are antithetical to emotional growth.

https://maps.org/research/mdma

> tl/dr: Recreational drugs make you immature which will prevent you from going very far in life.

When I was just a little young boy,

Papa said "Son, you'll never get far,

I'll tell you the reason if you want to know,

'Cause child of mine, there isn't really very far to go"
988 appears to be the area code for Saginaw, MI. I assume anyone who has a number in that area code would have to change.
Sounds like a great idea. I'm a huge +1 to E2E encryption and mobile support – I'm looking for something good to replace WhatsApp.

Minor bit of very biased feedback – the name "Thread" is quite overloaded. Thread (my employer) is a clothing recommendation service, ThreadsStyling is a luxury fashion concierge, Thread Group are an IoT specification, Open Thread is an implementation of that spec I believe.
How Sqreen blocked a major ATO attack against themselves
Type inference in idris works well if the types of the terms in question are non dependent. The moment you introduce complicated types, type inference suffers, which is expected because even idris cannot break the fundamental nature of logic.
The point is that Haskell allows you to push more business logic to the proposition (type) level. Nobody actually thinks Haskell programs can't include mistakes.

Dependent types aim to address exactly "How do I capture this extremely complicated real world semantics in code?". Except now you have the option to capture some or all of those semantics in types instead of terms.
Widely publicising is not the same as an expectation of privacy, strictly speaking.
It is not a company operating in a vacuum but a public company in a democracy and is subject to the laws (and in general, political will) of the society. If companies were free to "censor, modify, change anything they want at any point in time", then we would not have anti-trust laws or close scrutiny of dominant companies.

Ultimately, companies don't exist in a vacuum. If they don't adhere to the political will of the society they operate in,
I am super excited for the Librem Phone project but still think it is a way off from being a viable phone for most people.
Program Structure and Composability
They do two things that make it worth it: if you set your status as available, you will actively be sold to potential clients, so you don't have to do any sales and they do all the payment collections, ensuring usually net 20 payment. This is especially helpful for the larger clients that usually take their time to pay.

For me, Toptal has been a good safety net, not necessarily where I go first to find new work. And the vetting process adds some credibility to my name.
Not really, no. The American aristocracy tends to have a lot of capital, but has been pretty exclusionary toward those without that aristocratic background. Less than parts of Europe, but it's the same beast. America has historically had pretty high income mobility. In my area the majority of capital owners are not from the upper classes.
"I’ve heard co-workers spew hateful words about immigrants, boast unabashedly about gentrifying neighborhoods, mockingly imitate people who speak different languages, reject candidates of color without evidence because of ‘fit.’"
A company the heralds its Progressive values in one of the most Progressive areas of the country. Yes, this is exactly what you should expect to happen.
Wreeto – a fast, cluttered-free knowledge organisation toolset
I was expecting a new evolution of the unpowered exosuits like [1] that have similar performance enhancement without needing motors and batteries. This is interesting, but the gains seem like they will be minimal for the weight addition until battery tech improves significantly.

[1] https://www.embs.org/scientists-develop-an-unpowered-exoskel...
On the contrary, shame is social while guilt is internal:

https://en.wikipedia.org/wiki/Guilt_(emotion)#Cultural_views

https://en.wikipedia.org/wiki/Shame#Comparison_with_guilt
The subversive messages hidden in The Wizard of Oz
>His argument distills to: solve it all-at-once, or don’t solve it at all.

I disagree. I think the argument that's being made is rather that switching to electric cars isn't enough, but people focus on it so heavily that people feel as though switching to an electric car is saving the planet. The problem here is that it's not enough and due to how hyped up electric cars are there won't be enough will left to tackle many other problems that affect climate change.

I don't know if I came across properly, so I'll explain it in a different way: humans have a limited amount of attention and will. Switching to electric cars is a useful move to combat climate change, but due to how hyped up electric cars are, it will satisfy many people's urge to do something for the climate. This occupies most of the limited amount of attention and will, thus there isn't enough left over to tackle all the other, bigger, problems.
Advice for starting an online community with an ambitious goal
I have experience with these type of environments.

When you allow people to code in different languages and different environments, everyone has different needs.

They need different software, which often connects to different network resources. You get endless incidents where users can't program because they can't download a plugin, or their software needs libraries found on the internet, and if the network group is being lazy they could end up opening up more to the internet than they should, because it's too much work to accommodate everyone when there are no standards.

Network openings like these scenarios create are enough to infiltrate a company if someone does something as innocuous as clicking a random link on google with a vulnerable browser.
You have a lot of faith in rechargeable battery durability.
Most businesses -- even large businesses -- run on very low margins. The average person drastically overestimates the margins of businesses in general.
Modafinil and Startups(2012)
Hackernews always has such a strong pro-Modi bias. I wonder why that is because it doesn't seem to be the case on any other social media like this one.
Yeah, I figured it was. I'm quite open to a name change (http://www.paulgraham.com/name.html). I have some ideas in mind. Thread is temporary at the moment.
Meditation as I understand it involves specifically directing your mental focus to something. Sometimes breath, sometimes a visualization, sometimes an examination of a particular thought or situation.

You can do a walking meditation, where you will likewise be focused on something: one possibility being the physical sensations of walking (arms swinging, feet hitting ground), or the experience of the surroundings (light, breeze, sounds, and so on).

The difference to just walking around, or just sitting calmly, is that you are putting some effort into maintaining that particular focus, whatever it is. You will always get distracted by something else, but when you notice, you switch back. And keep on doing that for the length of the exercise.
No. You're either misinformed or intentionally lying.

https://www.theguardian.com/world/2019/aug/16/an-eye-for-an-...

https://www.reuters.com/news/picture/medic-shot-in-eye-durin...
Definitely. The reasoning is that it's common for Operating expenses to increase significantly ahead of an IPO.
Yep - we can even do this today in Haskell without -XDependentTypes :) using things like singletons
If I recall correctly we guessed this as children because the sound made by the rotary thing let go at "N" was the same as pressing the "hang" button N times

I mean it was an easy association to make, so at least a couple of friends guessed it. I can't remember if I was told or if I figured it out myself, but at least the explanation I was given involved this empirical observation
I've used apps and various bell tones, but now I generally choose Moonlight Sonata: it's quiet and gentle and beautiful and very gradually drags you out of the place you were.
I'm really looking for this markets to come out and work. I tried to find a way of looking how the market forecast some events (like the price of soy for example) but I don't know where to start.
Not only do I not dislike type theory vehemently, I really like some of its uses (like linear types; don't believe me? I praised them in a recent talk: https://youtu.be/r6P0_FDr53Q?t=553). I'm not too fond of deductive proofs as a software verification method because so far it manages to scale worse than other formal methods (that don't scale that well, either). What I strongly dislike is:

1. Fetishization of certain formalisms, particularly combined with a rather limited understanding of said formalisms or formal systems in general.

2. Appeals to "the power of math" (mathiness) when discussing the extremely complex disciplines of engineering, especially when combined with a very limited knowledge of math.

3. Claims of the sort, "I like A more than B, hence I conclude that A is the best thing in the world", especially when combined with little knowledge of C or D (or A and B, really).

And I don't like cults.

It just so happens that those qualities are common among those who claim to particularly like type theory or functional programming (or, at least, among those who publicly talk or write about them). I don't think it's accidental, either. I think that some luminaries in that field encourage that kind of cult-of-magical-mathiness behavior, so this sort of thinking has become a part of the ethos of that community.
8.18 is one of the peaceful protests. The police rejected it a few hours ago and render it "illegal".
> A choice that I’m grappling with personally (as someone who lives in the suburbs in the US and owns two Teslas) is that I should really move somewhere more sustainable, i.e., more density so that I can get rid of my cars.

There is an alternative. Lobby your city to relax zoning. Let someone replace one of the homes in your subdivision with a coffee shop/convenience store/pizza parlor. Things like that.

Your current built environment isn't perfect for perfectly sustainable living, but allowing it to grow organically in that direction is far more sustainable than abandoning it and building new cities.
Historically kernel development had very little of this kind of systematic, automated testing; it relied on careful review of pull requests followed by the core developers running regularly-updated builds on their own machines.
> while these are all legitimate worries someone should take a minute and ask why, when mustached men have been stalking women since the days of Whitecastle yet no systemic changes have been effected, the moment women feel threatened from the safety of their LCD screens America opens the nuclear briefcase. No one finds that suspicious?

> regular stalking is barely ever mentioned in media, no matter how many times the guy was laying under her new boyfriend's front porch on Wednesday nights after Organic Chemistry class, what drives the article is "and then he stalked her on Facebook!" [...]

> As the recipient of not zero decapitation emails I admit it does make you curious about whether or not you can buy an alligator, but while you're arming your windows like a Saw movie you should contemplate the difference between what should be done and why it appears something should be done.

http://web.archive.org/web/20150905124257/http://thelastpsyc...
That's silly - otherwise we can rationalize infant death as a perfectly acceptable length of time to live.
It doesn't belong on HN. It's not tech-related and explicitly is against the rules. I know election season is coming and more of these types of threads will be made but they belong on reddit, 4chan, and others, not here.
Diamond Age was amazing when I read it in 2008. I couldn’t believe it had been written in ‘95, given its vision of (what we call) 3d printers, Amazon Turks, software mediated 1:1 relationships, etc. I imagine reading it today, it would read as a likely near-future-history, but in 95 it must have seemed laden with far-fetched original invention, both technological and societal.
`Open link in new tab/window` avoids the referer header and JWZ's bile.
I have an electric car because it lets me get in the carpool lane. I understand that investing the delta between an electric car and an ICE into some sort of carbon capture technology would likely be better for the environment, but then I wouldn’t be home for dinner 15min earlier.
How many more black people than white people per capita commit crimes, and have interactions and altercations with the police?

I can show you the answer for New York City:
https://www1.nyc.gov/assets/nypd/downloads/pdf/analysis_and_...
The crime of shooting is very striking: Only 2.2% of perpetrators are white.
Aren't you just blindly accepting the skeptical response?

What did you learn from this great conversation:

OP: This study has never been reproduced!!!!

Response: Uh, yes it has.
Love this XKCD. My response, as it might apply to what I'm working on, is that I don't just want to build a new messaging standard. It has to be radically better than alternatives to be sticky.
Vacuum has nothing to do with it. Twitter is a platform, you are not compelled to use it. Don’t like it that is fine but popularity doesn’t imply it requires to operate any way other than the way it decides as a company. Why do we expect companies to act like a government we have control over?
People are still figuring out how to make things "easy" with them. The theory says you can prove cool stuff, but the syntax to do that while making it approachable is still something people work on. But that's an outsider's perspective.
If you only drove your Hummer H3 a foot would you still say "seriously, all this to go a foot?"...
>>Even though Twitter and the like might be new technology, they are still replacing the old.

Which "the old" specifically? What did my great grandfather use to directly contact the Henry Ford and get into a flame war with him about how his newfangled "horseless carriage" was killing his equestrian breeding business?
is there any evidence of WhatsApp conversations being monitored?
Can you elaborate on this please, or link me? I am genuinely interested - do they build their own servers or something?

I know they lay down their own network cables.
Wow, what a coincidence! I saw a live screening of this in NYC -- nice to have a permanent way to see it again when I please.
Facebook’s content moderation plans for Africa
Recent paper on tree planting potential:
https://science.sciencemag.org/content/365/6448/76
Oh I know! I just mean that the product _feels_ nearly identical (apart from stickers which aren't intrusive) to how it felt pre-acquisition.
Anyone here use Corellium? From marketing descriptions it just sounds like they made a hypervisor that can run iOS, which doesn't sound illegitimate to my. I'm assuming that Apple would have to go at it in a distribution-of-iOS-firmware direction to have this case hold any water.

This is just my opinion/conjecture, but I would assume that Apple just doesn't like the idea of the core product. I personally don't understand why a company that bases itself on morals would find issue with a tool like this. With introduction of things like the T2 chips in their computer product line, I would assume they have a real problem with people running their software on anything that's not an Apple branded device.
There's a bit of a debate over the definition of falsetto. It's either synonymous with "head voice," or it's a breathy, disconnected head voice sound. As long as it's connected, with a good singing, you might not even be able to tell where it begins. It's like the difference between Journey and the Bee Gees.
Given the recent hardware-level security issues that Intel and others have suffered, I think it's safe to say that security is hard. Just building silicon doesn't make you a security expert, clearly.
The 911 dispatchers shouldn't be dealing with suicidal people, they should be forwarding calls from suicidal people to the correct place. I would hope they already do this. What happens if you call 911 and tell them you're suicidal today?
This is just plain factually incorrect. Around two million Chinese immigrate to other countries every year (net).

Note also that it's similar to India's immigration rate, while India is doing much worse economically than China.

Source: https://en.wikipedia.org/wiki/List_of_countries_by_net_migra...
https://www.youtube.com/watch?v=tJoe_daP0DE

Skip to Q&A
Valve added a "Funny" button to steam reviews, since many top reviews were great jokes but had little substantial in them. I feel like it helped at least somewhat.

I also have a hard time believing the GP that there is no experimentation anymore. Probably a lot more subtle, but you can do a lot of stuff behind the scene without giving feedback to the user. I'd be shocked if there is not at least some form of shadowbanning bad actors.
> This is of course an incredibly crass way of putting it...

Aside: Perhaps then spend the extra time to find a better way to put it then? HN is an open board like many others, but one of the many reasons people come here is for the good community and commentary that is somewhat rare online. First to comment is not (generally) that big of a deal here, we all can wait for a measured response.
“You can log off Twitter” is not an argument that is compatible with the idea that Twitter is so important that moderation is tantamount to censorship.
Can't say I really wanted to read about Adam Levine, so I'm happy he was left out.
Out of curiosity, do you remember why you didn't just call or send a letter? I have zero familiarity with what it was like to send a telegram, but I imagine even 40 years ago it would be more difficult to send a telegram then a letter or phone call.
Having been dumb enough to use ceramic bearings in a BMX bottom bracket, and in the hubs of a mountain bike... I would not purchase this system.

The replacement rate for those bearings would be astonishing.
Throughout the human history most inventions are aimed to improve military strength initially and find civilian usages later on. Wars, detrimental to individuals, are surely one of the boosters for human race progression.
> proper separation of concerns

My favorite part of working in Haskell professionally is that my coworkers never use imprecise folk programming terms like this :)

Also everything you said just doesn't ring true given my professional experience :)
I mean that, over the past week, the information I’ve gotten from news articles was basically:

- The protests are still ongoing

- A lady was shot in the eye

- The airport was not functioning

- There was a fight in the airport.

It could be argued that these points are indeed news, but the whole weeks reporting has been reiterating this same information, and the human angle in those articles is completely lost.

I don’t know, I just feel the news I read should be more in some intangible way.
Do you recommend Google things to other people?

Personally, having experienced a similar thing but not regained access to the account, I never will.

Actively encouraging the exact opposite frankly.
If you implement by manipulating the types directly, a few operations with a loop (just for counting lines mind you). Again, I’m not sure how this would be done in Agda, Idris, or COQ, and the system designing is a bit different from other type systems.

But also, any discrete one dimensional problem like wc is going to benefit from a type system with types that resembles regular expressions.
Stocking Series, Part 1: Wartime Rationing and Nylon Riots
Well that's technically what will happen when the forcing function of Earth's climate reaches a limit. I suppose it will be Earth killing us rather than us killing ourselves at that point though. We'll see if we get there with our current methods or not, hope electric cars work!
Meaning, they are not a good life goal and a poor substitute for very basic things like socialization, enjoying nature, enjoying time with yourself, accomplishing goals, and exercising. Money and what it can buy are a means to pass time between the parts of life that are “really” worth it.

Of course I may be wrong here but it sure doesn’t feel like that; I’ve had the blessing to be able to compare my life with a lot of money closely with my life with very little money.
I have a coworker whose background is from Hong Kong and he HATES the mainland government. Reading some of those articles, I can see why.
San Francisco was, in fact, taken from Mexico during the 1800s through unprovoked war. Mexico doesn't and shouldn't see this as an active political issue.
I agree with you except for the last part about dismissing the power of social platforms to influence people through consumption of “news” and current events.
Pocket Science Lab Open Hardware Frequently Asked Questions
I don't think they saw crypto but AI and VR was definitely not just luck.
Message broker / queue for image processing pipeline?