skysight-inc/HackerNews huggingface dataset:
Should've called it a cyclyne.
They should just be able to forward you to 911.

And, also, is there an major epidemic of emergency calls being placed to 311 or similar?
Definitely give Idris a go. I'm working through the book Type-Driven Development with Idris [1] by Edwin Brady, the author of Idris, and I'm having a ton of fun with it. Idris is a lot more practical than I thought. It fixes some annoyances I had with Haskell, such as record naming (Idris lets you reuse record names in different types, it resolves ambiguity by type checking).

It's also eagerly evaluated (unlike Haskell), with a very simple Lazy annotation you can tack on to a type when you want laziness. I think most people will find this much easier to reason about than Haskell's laziness everywhere.

[1] https://www.manning.com/books/type-driven-development-with-i...
My issue with it is entirely different - the user isn't American. He lives in New Zealand.

Throwing HATE at a US politician during a US election in public is foreign interference and should be removed on that basis.
What a narrow minded, cynical and absolutist take on escapism through physical objects.
where did maya fail you ?

I love this thing to bits, so .. basically blind to its defects, tell me
Google Employee Writes Memo About ‘The Burden of Being Black at Google’
No one thought of reaching out to Facebook to see who this Lee is?
Oh wait, Facebook can't be reached XD, and please see FAQ related to death threats lol
It's a tobacco and nicotin business without regulatory oversight in MY, neighbouring Singapore just made it illegal. So there is nothing innovative in it except the product itself is responsible for selling itself like cigarettes, just with icing of no regulatory oversight.
Because it's the law to have certain insurance like health and car insurance.
Every Chinese celebrity have written the exact same post on their social media [1-3]. I don’t know if their views are genuine but it definitely feels like a coordinated social media campaign by the government.

These posts are made inorganically as most of these celebrities have never shared their political opinions before. All of the sudden they’re posting the same things on the same day. It’s extremely strange.

[1] https://twitter.com/layzhang/status/1161521747243520008?s=21
[2] https://pds.joins.com/news/component/htmlphoto_mmdata/201908...
[3] https://m.imgur.com/6tIRGSJ
So PRISM cannot get at your data? Fair trade.
I work IT and have the same issues, coworkers dont want to learn new tools. This is a huge issue, if your employer wants you to learn a new peice of software, that is your job.

It annoys me here at work, i go home and watch videos, download demos and put the effort in (and it is noticed at work) and some of my coworkers dont and then get annoyed when they dont understand how the new software works. it is just frustrating, glad it is not just where i work.
Thanks, Dan! The incessant console-flooding was actually one of the things that made me give up on React Native. Great to hear that this is being addressed.
Asinine comment, you fail to show how they are remotely similar.
Seeing as gnome is/was nowhere near the top desktop environment, ubuntu had its own version of systemd at the time, and systemd had already garnered a huge amount of support across other distributions … no, it's not "the only reason" systemd won. systemd won on merits of practicality, because while the vocal minority hates some of the things it does (such as providing a bundled ecosystem of administrative software that all works together), it's also a big reason why it's popular across people who just want their computer to work.
With the exception of local editors (gvim) and administration software (xload), the need for these applications is easier to satisfy with online HTML5 apps.

These are historically exciting, but nowadays the web browser is your X11.
> normal human beings need the right to appeal, public auditing, bright line rules, and due process rights.

Why? Who cares if someone gets banned from YouTube, Facebook, Twitter, Reddit etc? It isn't a big deal. I can see it as annoying, but it doesn't truly matter to anyone without some type of social media addiction. If "censorship" is the problem, we should support the establishment of government run internet forums that would be legally obligated to the serve the interest of the people rather than trying to arbitrarily steer certain popular websites into moderation strategies that don't align with their business or political prerogatives.
I'm an Ecobee user as well, what I really want is better vent control room-by-room and I want it integrated into the thermostat.

There are companies like Keen selling net-connected vent baffles, but the price is still really prohibitive. Like $1500 to do a house prohibitive. And then it's still not integrated with the thermostat.

An Ecobee-compatible vent baffle for $30-$50? That would be a no-brainer.
I'm using the same keybind as you do.

The space one however, did not work well for me. It resulted too frequently in space not working at all. Supposedly it got matched as a combination with another key instead of a tap.

I recommend to apply a new rule, then test it out, then make another change. This way, you figure out which rule poses an issue.

There is one ruleset in Hammerspoon in the Github repo which I mentioned which -for me- makes it impossible to type cd. It always becomes c d
Thank you much for your thoughtful suggestion. I have to get a lot of things in order.
I haven't launched anything here, so cannot really speak for those who have, but:

If I were to create and launch something here, I would likely create a new account as well. The reason would be because I would not want personal and business lines to blur, and the things that I have posted in a personal capacity to potentially affect my business.
Seems like those shots were from just one camera.
There is a difference between a platform and a publisher. Publishers can curate, platforms aren't supposed to.

As I understand it, whether social media companies are platforms or publishers forms the actual core and substance of this debate about "free speech."

edit Apparently there is no legal distinction between a platform and a publisher? It looks like this article may explain the confusion that I myself had. => https://www.techdirt.com/articles/20190613/03172142391/once-...
I apologise :)
I thought there needed to be 2 parties in agreement to enter a contract. I don't know much about how Corellium does business, but if they can get their hands on iOS images without specifically agreeing to a contract - is there a contract?

Perhaps the whole EULA thing is old news but I'm still not sure if I'm bound to every condition stated in a EULA when my cat clicks "Agree"... I thought at one point, the courts ruled that EULAs are pretty toothless. These are honest questions - I have no clue.
Why can't it work the other way, suicidal thoughts are certainly a psychological emergency.
This company is still around? Amazing.
Imagine a YouTube that cost $10 to upload a video

Isn't that basically Vimeo's business model?
Even personal elec vehicles is a dumb way for millions to get to/from work in the future. Its very 'western' and old way of thinking. In 100yrs ppl will be either walking/biking/public transit or remote.
Yeah, none of that sounds like AI. It sounds like standard features of IDEs and PaaS. I can't imagine you have a programmatic way to save much time on pricing/specinf/ideation because machines can't do that yet.

Also, the clear message of the company was "AI writing code that would otherwise be written by humans".

Again, would strongly suggest you stop posting anything about this situation without consulting a lawyer. Based on your HN posts, you can't claim ignorance anymore.
I was talking about deductive proving, not constructive in particular.
I've heard that calling the Suicide Prevention Hotline can cause some pretty terrible unintended results (like cops showing up at your home and being placed in a mandatory medical hold) if called. Especially if one is not actually contemplating suicide but rather needs to talk.

Does anyone have anything that backs this up?
No worries for the insurers -- you're legally required to get insurance for all sorts of things in the US. Vehicles, mortgages...even some landlords require that renters hold a renters' insurance policy.
sadly i guess it worked fine from their end. you sorted out the problem on your own without them helping.
Most likely because the cost of a single complicated support call (of the sort that can't be answered from a knowledge base) that may need to be escalated to 2nd level support or beyond would appear exorbitant ($100 perhaps, or more?).
Thank the Lord you can't be jury and victim at the same time.
> Why would Youtube or Twitter have to?

Comparisons with the old media always neglect to mention the unique protections these platforms enjoy. Unlike the old media, they aren't responsible for the content they publish.

If they'd prefer to be treated like publishers, not platforms, they should also have the responsibility of publishers, not the protections of platforms.

But as long as they remain platforms, they have a unique responsibility to respect the freedom of speech of everyone.
Even modern natural gas plants would have just half the emissions.
>the alternative is to figure out how to change the very fundamental levers of the system

You can already do this. It's called voting, but unfortunately the majority of people don't want the government dictating to them every aspect of their lives (what they eat, drive, or where they live).

>If you could move an entire country from being car dependent to being largely car free, by pushing rapid urbanisation and transit and you put 20 car drivers onto a train or a bus, then we're starting to talk about measures that actually have some effect.

Are you advocating forced relocating? Should people just sell their homes? What if you don't like living in big cities?

>it's the modern version of paying the catholic church for absolution.

And your climate doomsday fearmongering is the modern version of Catholic eschatology.
> This may be true in principle, but your whole argument falls apart because religion does make assertions about the real physical world. They (taking here the example of Christianity) they postulate miracles, divine intervention, life after death, an unlikely and unsubstantiated cosmology, not to mention of course stories about the creation of the universe or biblical floods...

I don't think you could have articulated my point any better.

The so-called "assertions"[1] you're talking about are narratives that came well before the scientific method, including presumably your conceptual understanding of the whole model of a "real physical world".

So, therefore, at least for your examples here, there is no way that religion could have been making these "assertions"[1] in the way that you're talking about.

[1] Also this word "assertions" is so grounded in this narrow (but extremely useful at times) scientific/propositional/static worldview. Science derives value from "assertions", "axioms" etc. The religious derive no value from static "assertions"; for the religious the value is in a dynamic mimetic process to the characters and narratives of their long-evolved spiritual texts & scriptures.

We are so deeply entrenched in this "static" view of "assertions" that for many, many people it is the only way to "see" the world. But it is a narrow, severely incomplete picture of the world -- and, of course, extremely useful at times, but extremely narrow as well.
That’s probably a bigger problem of 911 being hard to enter compared to, say, 999
Sounds to me like you're being overly reductive of statistics and probability.
For a satirical look at why brief emergency service numbers are essential, there’s always this gem: https://youtu.be/ab8GtuPdrUQ

In all seriousness, there is possibly no better domain where reducing friction leads to lives saved. I applaud this decision and hope it comes with sufficient funding to handle increased call volume.
Vast majority of porn sites track user data, often without telling you
Video surveillance showing the bolt hitting, perhaps?
First, A lot of people buy Teslas because of looks and performance, or a linen bag because of ocean pollution. It may not reflect a desire to address climate change.

Second, we can do both moonshots and paper straws. Why not encourage people finally pulling their head out of the sand?
Deliver hay by air bale.
I mean the protocol is documented enough to create an implementation of it from scratch

It's not. If you want to write your own, you have to reverse engineer most of the protocol. The clients aren't fully open source, and when they are, the public code usually lags behind the actual binaries that are released, often by months. It's nearly impossible to write a client that keeps up with the features in Telegram.

You may be thinking of the bot API documentation, which is documented. Many bots don't use that, though, as it's very limiting.

I suspect there is enough implementation there to write a server implementation too, at least a simple one.

The servers behave in very strange, unexpected ways, and the official clients expect these quirks. Most of the third-party clients either use TDLib, which is official and not fully open source, or have also grown to expect these quirks.

Just as a quick example, pretty much everything in Telegram has a numeric ID. Clients, bots, etc. have come to expect that IDs within certain ranges represent certain objects--users have a range, private chats have a range, channels have a range. These ranges aren't documented and may not be obvious even in a fully open source client, but if you don't adhere to them, stuff will break.
Testify – Earn money by testing applications
The Suicide Prevention Hotline may go to a national center and forwarding to local 911 may be complicated.
Depends on his margin. That he had to quickly reduce head count from 400 to 15 would seem to indicate it wasn't wildly profitable.
I went to a college like that. Most colleges with big ag programs aren't spending big resources on cow emissions. Their flagship researchers that get the money are going to be studying things that are of more immediate importance to the farming industry and farming in general. At present those things are usually along the lines of how to minimize negative impacts and/or leverage the current and future changes in climate.
Why not both?

At least in terms of priority, the damage is done and is already in the atmosphere. imo, we need to first focus on cleaning that up and getting some form of homeostasis before it gets much worse, WHILE working on solar/nuclear/renewable tech to make sure we don't just relapse and make the problem worse again.

I'm optimistically hoping that's the route we'd take anyways. Money tends to say otherwise tho. =(
true, but I'd bet a 100$ that people accelerating too fast do speed too long and brake too much..
Soon they will discover contrast so that we can actually see the components.
I'm an EXPERT in internets and can confirm you are correct here ^
I’m not saying that it is discrimination. I’m saying that everyone has the same opportunity to ramp up to acquire the appropriate skills whether young or old. If I, who came from a no name school in the 90s, could theoretically qualify for the same job as someone who graduated from a top 10 school just by studying, how much more egalitarian can you get than that?

It isn’t any more discriminatory that a new college graduate has recently learned skills that an older developer will have to learn on his own than it is that I had to learn C# or Java on my own to be competitive since neither existed when I graduated from college and a new college grad could learn those languages in school.

We all signed up for field that requires constant learning and evolving with the landscape. I’ve been programming since 1986 in 65C02 assembly language in 6th grade. I’ve known exactly what I was signing up for the day I stepped foot on a college campus in 1992.

If someone has to put forth a little effort to qualify for a job that puts you well into the top decile of income - it’s not a bad tradeoff.
Some relevant Wikipedia links

1-
https://en.m.wikipedia.org/wiki/Jizya

2 -
https://en.m.wikipedia.org/wiki/Conversion_of_non-Islamic_pl...

3 - https://en.m.wikipedia.org/wiki/Ghazwa-e-Hind

4 - https://en.m.wikipedia.org/wiki/Taqiya

5 - https://en.m.wikipedia.org/wiki/Hubal

6 - https://en.m.wikipedia.org/wiki/Shirk_(Islam)

7 - https://en.m.wikipedia.org/wiki/Khilafat_Movement

8 - https://en.m.wikipedia.org/wiki/Exodus_of_Kashmiri_Hindus

9 - https://en.m.wikipedia.org/wiki/Bleed_India_with_a_Thousand_...

10 - https://en.m.wikipedia.org/wiki/Rotherham_child_sexual_explo...

11 - https://en.m.wikipedia.org/wiki/Aisha#Relationship_with_Muha...

12 - https://en.m.wikipedia.org/wiki/Antisemitism_in_Islam
Youtube doesn't actually censor anti-LGBT hate speech very effectively. For example, this asshole's videos are still up:

https://gizmodo.com/youtube-no-we-wont-remove-these-videos-o...

(And no, they're not blocked in Poland.)
Rust release announcements? And why does it matter? They linked to the change log in the post
A lot of partially informed individuals en masse may act more "informed" on the whole than what you're giving them credit for. It's also a less brittle organizational structure than having a few authorities who are supposedly totally or mostly well informed. If any of the authorities aren't actually as well informed as you'd thought, it has a large impact. It would take a very substantial number of peers in a peer to peer system to create the same sort of miscalibration.
Bicycles are great, but there is no reason all cars need to weigh two tons or have room for 5-7 passengers.
> it's time "Big Tech" starts accepting rule of law.

Which laws? I will acknowledge they are gaming the system somewhat by claiming to be an impartial platform (thereby gaining copyright protections) while removing what they find distasteful (but not illegal, so moderation based on opinion). However, it sounds like you believe removing videos that are not illegal in and of themselves is itself illegal. We don't have a law prohibiting that, so I'm not sure to what you are referring. Protecting speech also means protecting the right not to speak.
Reminder that even in democracy, our celebrities get threats from the government.

I am unsure how we can ever keep government accountable.
Top Best Sounding Wireless Earpods
Couldn't find it in your profile. Does it end in us.io ? NL ?
Several grand in debt now and I think I'm starting to realize this. Half the shit I buy I never touch a month after I buy it,and then it's on to the next thing
Stanisław Lem is my favourite sci-fi writer, and this is one of his best books!
The Memo [PDF] itself: https://assets.documentcloud.org/documents/6278613/The-Weigh...
The clickbait largely funds the longform journalism.

https://www.poynter.org/tech-tools/2016/how-buzzfeed-built-a...

> But Schoofs acknowledges that BuzzFeed’s investigations may never rocket into the social media stratosphere with the same velocity as the company’s lighter fare. Major investigations seldom get fewer than 200,000 pageviews, but that’s a dribble of traffic compared to the 73 million pageviews garnered by The Dress.
Without evidence, this seems like a pretty irresponsible thing to suggest.
$20 / yr?

Even if I'm not using any of the other features, that seems like the cheapest support plan ever.

They say "Google experts"... so who staffed the phones? Are we talking actual customer support who are empowered to run playbooks and cut tickets, or what?
10 minutes of guided meditation per day is the only non-medical option that helps my ADHD other than removing caffeine and getting more sleep.

It's insane how little I need to feel much more in control of my thoughts.
They are clearly both, just as newspapers were before them (heck they had classifieds and personals while I was alive, that's a platform). The editorial section of a newspaper is a platform, but a highly curated one, because of resource constraints that a platform like Twitter doesn't have.
Ask HN: Is it worth it to get a subscription on Climeworks?
Any thoughts on this startup [0]? Is it worth to join as a pioneer[1]?

* [0]: https://www.climeworks.com/

* [1]: https://climeworks.shop/
If there was a profit motive, and it wasn't free to emit greenhouse gasses into the atmosphere, I bet we would figure it out.
> What? You can generate proofs for the trivial cases using various algorithms like constraint solving. Things like sledgehummer tactic, omega tactic, the whole F* language simply prove you wrong

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

> If you proved that foo does not crashes on head for any predicate P and any integer X, and bar terminates, than foo bar terminates. What's the problem?

Because that would make the verification problem even harder (possibly to the point of undecidability). And this approach simply doesn't make sense. Clearly, the important correctness properties of your program arise from the composition of all components of your program (or you wouldn't need them). If the same correctness property arises from each component in isolation, then you wouldn't need all others. 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.

> Could you refer to the proof of that, as well as give the definition of ``cheaply'' and especially the evidence that a composition of lemmas and theorems would be more expensive than a constraint solvers-based methods?

I never mentioned "constraint solvers-based methods" (and I'm not even sure what you're referring to [1]). Once you need to prove something, the method is irrelevant, and the theoretical limitations kick in. Showing that one method is easier or harder for instances encountered in practice requires empirical research, so I can't say whether their harder or easier, just that so far deductive proofs are the least scalable in practice. Finally, I can say that we cannot in general decompose correctness to make it easier. Some relevant results are in the papers mentioned in my post in the sections "Correctness does not decompose" and "Language abstractions cannot generally be exploited".

[1]: Perhaps you're referring to SMT solvers and the like, but they are rarely used in isolation. They are used as components in deductive proofs, model checkers and concolic tests. As usual, they are more effective when used in the latter two than in the first.
Definitely. We'll never harvest more than 10% of the energy we feed livestock. https://en.m.wikipedia.org/wiki/Trophic_level
Given how the US is one of the worst polluters, both in absolute and relative terms, and how at a policy level it is way behind, a "benevolent dictatorship with the mission to reduce CO2 emissions by any mean necessary" would have a huge global impact.
I'm seeing similar results on FF68.0.2 Win10 with a GTX 1060.
>it seems that Buddhist meditation is focused on love, compassion, empathy or some kind of goal.

You may like Mastering the Core Teachings of The Buddha, it ditches all the woo-woo fluff that many people in the US want more than the actual meditation. The book certainly believes enlightenment through meditation is possible (otherwise it'd just be a meditation book with no Buddhist connection). But the author doesn't pull any punches when he shoots down at all the ways people over complicate and brand buddhist meditation as something it's not.

Slate Star Codex review of the book: https://slatestarcodex.com/2017/09/18/book-review-mastering-...

the book: http://integrateddaniel.info/book
All prosecutorial cases in adversarial systems are "one-sided", surely?