skysight-inc/HackerNews huggingface dataset:
> BBC and Al-Jazeera are alleged to have used footage from inside POK and claiming it as from Srinagar.

This is bullshit. Even the Home Ministry has walked back from the There were no protests line. Source: https://www.newslaundry.com/2019/08/14/the-truth-about-bbc-a...
The FT has being talking about this alot in the last few days too.

So how do I make money out of this scenario?
>Do you know what the #1, most significant thing any of us can do to reduce climate change? Have one fewer child.
Nothing else even comes close. But nobody wants to do that.

What the heck are you talking about? Every industrialized nation now has negative population growth if you ignore immigration. People are having fewer children, and frequently, none.
My dear qazpot, they enforced religious conversions in France, let alone England. Ever heard of the Huguenots?
A Faster, Lightweight Trigger Function in C for PostgreSQL
probably need to check the update release notes if there is any mention about fixing this on the devices.
I'm not in the US, and I don't follow the FCC's news briefs. What I do tend to hear (yes, from Reddit, and also other tech news) tends to be the more controversial things.

Perhaps you could enlighten us with examples?
It's a major bummer that Apple got the network effect bonus for "SMS++" (really any IM solution that has the combo of being ubiquitous, usable without setup/technical skill, and polished).

I have a hunch that most people who use these tools for group chat purposes don't really care about the features of iMessage that make it horribly incompatible with SMS clients (e2ee, pairing with computers), and just want what amounts to a Discord/Slack/whatever non-threaded channel, but on their phones and with good UX. That shouldn't have to mean lock-out.
>Because the news of the journalist got beaten up by the protesters went viral

Given there's a history of the government using provocateurs. I'd take that with a grain of salt.
> I do 2-4 hours a day. Several 7 day retreats per year.

I did the same in my 20s, but then slowly, my interest in sitting for hours a day, long retreats, faded. Not sure why, the experience itself is obviously deep, but it became a kind of attachment like coffee, and gradually I returned to the world.

> If I worship something, it's this moment

Wonderfully put.

May I ask, if you didn't sit, would this moment cease? Put differently, without practice would something be lost?
Oh yeah there are all kinds of firewalls, but you know there is always a hole somewhere. (Officially they've contracted with Amazon Workspaces to provide remote access which actually works pretty good, albeit slow.)
The Vice article says that “he regularly encountered racism during his experience as a Black worker at the company”, but the memo seems to just contain proposed diversity action items and a story about how his coworkers didn’t care enough about Eric Garner. Is there something I missed?
Two wrongs = one right I take it? I don't agree.

Disclosure should apply across the board. I personally don't even agree with the disclosure rule, but if it's there, it should be for everyone under the same standard. That's actually literally the whole basis of the concept of rule of law.
Are you saying you’re going to stop breathing after receiving the money?
>Planning for any rail line, then constructing, takes over a decade. Even in the environmentalist San Francisco Bay Area. Try a google of “Van Ness BRT” to get a sense for how slow infrastructure projects work.

That's a uniquely American problem. Maybe America should fix itself so it doesn't take so long to build infrastructure.
You get decent response.

There is someone on the line and follow-up emails too.

But actually fixing things is a crap-shoot.

I've had an issue with Google One family accounts for a month now.

I can not invite anyone into my family, so far no solution. Instead they keep throwing free storage at various family members because they can not escalate very much.
The investigative wing for life insurance is really interesting. They can sniff out fraud from a mile away. They still have to do a lot of insurance apps manually because people lie so often. How can people say they don't smoke but it shows up all over their medical records?
I don't know about smoking / snuss, but does one brand == one flavour? Or is it like a "Doritos" situation where you have x different flavours of the same brand?
Is it justified to temporarily suspend rights/privileges of 100 people to stop some 2 people from creating a situation where 2 other people lose their lives?

kashmir has been a breeding ground for islamic terrorists from quite some time now. some consider it an achievement that there has not been any loss of life (as a result of recent restrictions). there are vested political interest at work from all sides involved and nobody cares about anybodys rights.
I rememberdemoing Sikuli to the boss, when it clicked where we didn't expected just because the web we were trying to automate had a link we didn't notice.
I used some of these in the 1980's!
I began meditating every day after I wake up four years ago and it has been the most beneficial change I ever introduced into my life, quitting cannabis securing a stable second place.

I began with five min and worked my way up to 15. Now I have an iOS shortcut “hey Siri, start meditation” which sets a timer randomly between 15 and 20 min to counteract the body clock expectation of a fixed duration.
I started working on electric cars way before Tzero helped create Tesla Roadster. Wasted my young ages trying to explain the benefits of EV and died with no support at all. Next year Tesla turned into a billion dollar company. Our fault? Being located on Europe, instead on USA. And yes, Rimac uses our tech on their power trains. 14 years later.
I think this move is a no-brainer. But I'm also curious just how effective these hotlines are. Feels like something that's quite difficult to measure.
Boy does that bring back memories of the 1990s!

Some of these are not obscure at all, but absolutely standard. Xterm was the shell, I’m not sure there were even alternatives in early X. Xbiff+Xload+Xclock used to be on everybody’s desktop. XV was the main image viewer on X for a long time.

Anybody remember xvacuum? I guess it’s truly obscure since it didn’t make the list. One of my favorite tricks to play on other people in the lab, before X security was a thing, was to run xvacuum on other people’s displays ... it slowly sucks everything on the screen into the mouse cursor.

If the page maintainer is reading, Xsnow has a calculator in the screenshot covering the snow. This one is a bit obscure, but I loved xsnow, so I think it deserves a calculator-less view! :)
So in the kind of meditating he's talking about, you sit there focusing on your breath. When you notice your thoughts doing something else, you non-judgementally bring them back to your breath.

That's it. If you're doing it, you're succesfully meditating. It doesn't matter how often your thoughts go somewhere else, or for how long before you notice. No matter, if when you notice you focus on the breath, you're doing it successfully. Really, that's the whole thing.

If you're just starting out, you might find some introduction guidance helpful, either from an online video or app (there are many, OP mentions a couple), or from someone in person (If there's a Shambala temple in your area, they probably have intro to meditation sessions; there are other options).
Oops, "2: figure out how to lower the carbon emissions during vehicle production"
The world of iPhone/Android devices has been around for well over a decade now. Why is this suddenly a crisis? If anything, I would expect the negative effects of smartphone addiction to be trending downward as parents become better educated about safe internet access and the vendors have begun offering tools to limit device usage.

The anecdote about girls sleeping next to always-on phones with constant notifications is bonkers to me. So switch off notifications at night! This isn't rocket science. But a two-line article about how humans (teen girls and literally everyone else) feel better when their phones aren't constantly buzzing isn't sensational enough I guess.
Presumably because the CCP cares about its foreign image. Tiananmen Square 2.0 might result in sanctions from other countries, but if they can paint it as "cracking down on troublemakers", they might be able to justify it.
>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. That’s more difficult given family needs etc. If I didn’t have to factor others’ needs, I would have done this already.

This is exactly what I'm planning to do. However, for most Americans, it isn't a realistic choice, because it means you have to emigrate from America. There's almost no place in this country where you can live without a car.
Suicide is a profound issue so in that sense I support this.

But how many short codes can we have before we can't remember what they stand for? IN this sense 988 is a better choice than one of the unused [2-9]11 numbers -- I can only remember one of them.
Kind of a tangent, but I was traveling in Portugal last year, and one day as I was headed to a train station I felt my phone buzz. I picked it up and it had a failed Bluetooth file transfer. In the settings, the device name had changed from the default to what looked like a base64 string, if I remember correctly. Unfortunately I didn't think to screenshot anything.

The phone was literally only a couple weeks old. Nothing new had been paired. I changed the name back and figured I would look it up later. The failed file transfer was automatically cleared (just a phone thing) and I wasn't able to find information about it.
The really irritating thing about the 'solve it all at once' argument is that electric cars, in a very real way, are the keystone that lets the entire arch support itself. Renewable energy sources are already the cheapest ways of generating electricity at certain times, the trouble is that those aren't always when the electricity is needed. Energy storage makes investment in renewables much more profitable. The problem is, energy storage is itself expensive, much too expensive to invest in for most situations.

By attaching wheels and motors, electric cars make people pay more for batteries than they ever would otherwise be willing to spend on energy storage.
> The author correctly points out that the total increase in car usage, mostly conventional engines is going to offset the small dent that electric cars make,

That (almost-certainly-incorrectly) assumes that conventional engines will continue to grow in use forever despite electric vehicles continuing to decrease in price and increase in performance/versatility/diversity. At some point we'll see an inflection point, especially as charging stations continue to proliferate.

That is: just because electric cars ain't dominant marketshare-wise now doesn't mean they'll never be.
John's World of XV 'N' Stuff
You're getting downvoted, but I just want to let you know that you're absolutely right. It's a very adolescent thing to reduce life-meaning down to career, and project one's angst onto everybody else. I'm all for finding a way to enjoy the 1/3 of life that is your career, but the "wake up sheeple" alarmism is not higher vision, it's a failure to see both the restrictions of a scarce economy and the joys of family and responsibility.
Not related to Yoga, but I'm currently reading "The Mindful Geek" [1]:

The Mindful Geek details how to derive the benefits of mindfulness meditation without having to join a religion or drink metaphysical Kool-Aid.

I've recently started meditating myself using the Headspace app. It's still pretty early for me to say I've seen any benefits though.

[1] https://www.goodreads.com/en/book/show/26261124-the-mindful-...
Upon re-read, I don't mentally equate WAF (which is related to the breach, with Firewalls. In my mind, they are two completely different controls. However, I'm not sure if that's a pervasive perspective or just my own. Therefore, my aforementioned statement about firewalls may or may not be valid. YMMV.
> Consumption of red meat and dairy is generally unhealthy.

That could be said about anything. Everything is generally unhealthy if done in excess. Moderate amounts of red meat and dairy is fine (and delicious).
Webinar: “Wireshark for Hackers” with Laura Chappell - Aug 29 @ 1:00 EDT
> former AWS employee

I've yet to see anything that would imply that being an ex employee helped. It seemed that she used a "public" attack vector.
I always have a similar debate with knife sharpening. On one hand I can get a brand new victronix knife for ~20 or I can get it sharpened for ~16 but then I have to drop it off and pick it up. It’s wasteful to buy a new knife but overall cheaper to do so when factoring mileage and my time
I sometimes like to have a little thought experiment like this: I'm British, so what if, during the 1800s, China had, through unprovoked war, forced the handing over of the port city of Liverpool because we didn't let them sell us heroin? Or if you're American, think of San Francisco being a sovereign state of the CCP.

Of course you can never justify oppression, but I think such a thought experiment can give some very useful context.
I've been meditating for about 3 months now. Mostly focussing on building the habit part of it.

I could definitely recommend 10% happier book, It's a fun read, and a kind introduction to meditation. I had an easier time connecting with that author then all the other writers that have all have been meditating for 20+ years with countless 10/30 day retreats.

This week I finished Waking up from sam harris. Have been listening to his podcast for ages. If you are interested in meditation, from a non-religion perspective I would definitely recommend it. I'm still having a tough time understanding what all this no-self and no-ego is about. That will just take some time I guess.

For me personally I've been mixing meditation and stoisism a bit to find some peace and acceptance for my very critical self image. But it's hard to find good stoic teaching, most of it just seems written by sleazy marketeers.

Last thing I would recommend for anyone interested in meditation, starting with tools like headspace a good way to get into the habit. But to be honest, I'm having a hard time still getting value out of their teachings. I went from

headspace > just settings a timer with the Oak app for 20-30 min > back to headspace.

I feel if made less progress then the simple timer. of course I'm not 100% sure if it the headspace app, or me just simply plateauing but my I think I'm going to go back to a simple timer. The headspace app is just so damn noisy.
Do cowsay templates allow you to set the color for each character?
I've been thinking about this for awhile and I think the problem is roads. People will go wherever the roads are good. They will build houses everywhere and subdivide everything a million times. However, if there is no way to access a certain area or it is very difficult, they will not go there and build.
It makes them petite bourgouise. Depending on their material conditions they will side with either the prolateriat or the ruling class when the revolution comes.
Or those things will just scare people into doing nothing because it's so overwhelming and hopeless to be so uncompromisingly perfectionist about it.

Whereas making a car or a plane trip or a burger or a child x% more expensive will move us in the right direction and even that will be resisted to a crazy degree.
I do not have any problems writing macros (in fact, I recently finished my guile scheme version of rackets for loops) It is just that the macro I wrote did a lot more work than it had to, and led to weird syntax behaviour. I didn't delimit what I was trying to do. John over in #guile put me on the right track.
> [...] Idris is a lot more practical than I thought.

This may sound like a stupid question (but is probably necessary in a thread about the convergence of proof systems and static typed functional programming languages):

"How can i implement something like unix' wc?"

So just a program that counts lines (forget words and bytes for now) of a file. This means we need to support (at least in some kind of standard library) basic IO stuff like files, processes and environments. If the language talks about how "simple" (in terms of code/term length) it is to define a binary tree ... the integers >= 0 (the famous Nat = Zero | Succ Nat) example, or beware the Fibonacci sequence - most people won't be impressed.

Because that's what is associated with "programming language" (as compared to "proof assistents").

Sorry that sounds a bit like a rant, but after 5 minutes of searching I couldn't find an example how to read a file in Idris. The closest I found was: http://docs.idris-lang.org/en/latest/effects/impleff.html but it did not tell me how to open a file ...
It probably isn't the exact Funko casting, but here's how someone made their own soft vinyl figures (including concave features) using rotocast molds: http://www.mnartists.org/article/how-make-your-own-vinyl-toy...

Basically, sculpt by hand with polymer clay, make a resin cast of your sculpture (from a local vendor or DIY), and send the resin cast to one of many rotocasting vendors, most in China. Here's some examples: https://www.alibaba.com/showroom/rotocast-toy-manufacturer.h....
but at least the attacker would need to be within range of broadcast

So anyone who lives in a small footprint high-rise or spends ample time on a coffee shop. Yikes!

edit: format
When some of those protesters broke into the legislative council of HK, threw China' flags into the ocean, swung US/UK flags, beat up random drivers on the street.

They don't need the CCP to make them look bad.
Having worked on a crisis hotline I agree that it's difficult to measure but it felt like we were helping enough of the people we spoke to.

The calls from someone who's just swallowed a bottle of pills are harrowing and thankfully I never got one of those myself.
"Currently, this pilot offering is only available in Australia, Canada, New Zealand, the United Kingdom and the United States. We are currently piloting indie versions of 3ds Max and Maya so that recent graduates, freelancers, hobbyists and those starting out in the industry have a more affordable option to use our tools. We hope that this pilot performs as expected and can be expanded to other countries in the future."

No thanks
> “I realized that my team simply did not have much to say on the issue of police brutality. This was odd—mostly because I’d watched them debate countless other topics, newsworthy and not, with a proud deftness and alacrity,” the memo reads. “From disappearing Malaysian airplanes to the spread of Ebola to the marriages and divorces of celebrities I’d never heard of, my teammates always had something to say about everything. But when it came to the violent policing of black bodies, they were silent.”

I don't think it's reasonable to expect your co-workers to openly protest any issue. People have families to take care of, paychecks to earn and rent to pay. They for the most part, want to do their job with minimum of drama. I'm sure there are a million issues that the memo author was not openly protesting that other co-workers may have cared deeply about. I would hope they wouldn't hold that against the author.

I'm not questioning whether this person experienced racism at Google, as that seems likely in an organization of that size. I just don't think it's ok to be upset about your co-workers not being openly vocal in the workplace about a political issue you feel strongly about.

There seems to be a strong push to politicize silence that seems very unhealthy. You don't know how people feel and act outside of work and the public sphere. Silence on an issue is not a political statement.
When your demographic is known to be hostile dicks to the other demographics you mentioned, it's understandable as to why he felt that way.
> Because that would make the verification problem even harder (possibly to the point of undecidability). And this approach simply doesn't make sense.

What? If foo terminates and bar terminates, than foo bar clearly terminates. How does this make no sense?

> Most correctness properties are just not compositional (inductive), and the belief that a non-compositional property can be proven by combining results about the components at a cost that scales with their number (polynomially, exponentially -- take your pick) is mathematically false.

Ok, let's check your blog and what paper you mention

> A Parametric Analysis of the State-Explosion Problem in Model Checking⋆

What? You state that proving doesn't scale referring to constraint based solutions? Sure, they don't scale.

What this foobar example has to do with this tho? Foo does not terminate due to exception, and so does Foo Bar. How doesn't this compose?

> I don't understand this simple proof. How does allowing some automation prove that it's not the method least amenable to automation?

Because you can automate anything you can prove with a SMT or model checker?
Not GP poster but the contradiction is Apple (wants to be) serious about security. Thus, Apple will pay for (certain kinds of) bugs. Corellium is used to find bugs. Apple is trying to shut down Corellium.

This move by Apple seems to contradict the notion that Apple is serious about security - how are researchers supposed to find bugs without this?(a successful lawsuit would also set precedent that no US entity could run a very similar service)

Sure, there's workarounds (eg buy a pile of iPhones), but why is Apple making it harder to secure their product?
Some cities have dedicated mental health crisis units that are trained to deal with such situations, and some cities do not. In most of these cases, emergency services are only called if the situation escalates out of the control of the person on the phone or therapist. E.g.:

Situation 1:

Therapist/volunteer: "Are you planning to kill yourself right now?"

Client/Hotline caller: "No, I just can't stop thinking about it and I don't see any other way out."

Therapist/volunteer: Gives resources, talks "Do you think you will be safe until you can make it to counseling/crisis center/other help?"

Client/Hotline caller: "Yes."

no emergency services are called

Situation 2:

Therapist/volunteer: "Are you planning to kill yourself right now?"

Client/Hotline caller: "Yes, I have this bottle of pills/knife/rope and I'm doing it tonight."

Therapist/volunteer: tries to talk them out of it, and get positive affirmation that they will be safe, but fails

emergency services are called

Situation 3:

Therapist/volunteer: "Are you planning to kill yourself right now?"

Client/Hotline caller: "Yes, I have a gun and I'm going to kill someone else too"

cops are called immediately

Those are extremely contrived examples and I'm not a therapist/volunteer myself (I just know a few), but that's generally how it goes. Emergency services are called only when the caller has a concrete plan, the means, and refuses alternatives or represents a danger to others. In some places with poor services (read: places that probably need them the most, unfortunately) this just winds up being poorly trained cops and people get shot sometimes because the cop "felt threatened". Bear this in mind in how you communicate such an emergency, if you ever face it with a loved one. Know your resources.
Show HN: We built an interactive demo of the Capital One SSRF hack
Such great timeless stuff from the old Polish and Russian SF masters. I do sometimes wonder what gets lost in translation though. I'm kinda envious of native speakers who I suspect has a even higher appreciation for these bedrock SF classics.
In that situation, what do you think would happen to customers who've paid $6000 for the 'Full Self-Driving Capability' ?
Well, it's one of the hardest things, along with cache invalidation.