skysight-inc/HackerNews huggingface dataset:
>Pretty damn frustrating that Google doesn't have any unpaid inbound support _AT ALL_.

They actually do have basic customer support for free accounts, it just isn't very easy to find. I forget exactly how it works, but I was able to help someone in a similar situation recover their account by following the 'steps to recover your account' listed here:

https://support.google.com/accounts/troubleshooter/2402620#t...

After failing the automated recovery, it came up with an option to request a manual reset, with a free-entry text field asking what was wrong. It sent messages to the account and all of its recovery options with links to cancel the request, then after a few days someone took a look and was able to help.
I (@alfiedotwtf) got suspended. I asked support for clarification as to why I got suspended, but only to get a reply saying "we can't tell you why you were suspended, and don't ask again because we won't respond". Wtf Jack.

Edit: It was one week before the Australian federal election, which does make me suspicious as to the reasoning of my suspension

Edit 2: Since there's a slim chance that someone from Twitter will see this message, if you're able to see why I got suspended, could you Signal me the reasoning (+61-400-777-227)
pre internet weren't the masses spoonfed okayed information by network tv and newspapers?
Show HN: Pytorch library of NLP models has a new model: Facebook's RoBERTa
There's a twitch streamer called Kitboga that messes with these types of scammers in VMs. It's pretty entertaining. He uses a voice changer and has a timer in the corner on how long he manages to keep a scammer occupied.
I work part time. I work in a small company that is very accommodating.

It seems relatively common that people who work full time can do 2 hours if that's really what they want to do. You cut down other activities, like watching Netflix etc.
Obviously the natural answer is the companies who started first and developed these products that are now super widely used.

I’ve only heard two arguments- let Twitter do what they want (viva Capitalism!) or have government regulate (viva Socialism!).

I wish there was more thought given by Twitter, and others, to just self apply free speech rights and stick to using the current legal system to restricting speech. There’s a ton of law to protect people from damaging speech (harassment, slander/libel, dangerous threats, etc). It’s quite possible that Twitter can just use a more rational standard for their process.
I don't know. When I see that my benchmark has nondeterministic performance, I consider that as a bug and just remove the nondeterminism. For example, if Rust's hashmaps have a random seed, I'd find a way to initialize the hashmap with the same seed every time I run my benchmark. But I guess you can model the performance as a random variable instead, in which case you'll be benchmarking the Hashmap and not your code.
Software development does not have to be a stressful experience. I'm sorry that you believe it does as that implies that your experience has largely been stressful.

In my mind, that perspective is a huge red flag for me when I'm on the job hunt. If you are trying to stress me out in an interview rather than make me comfortable then I have to thank you for letting me know before I started working there that you would be exhausting both physically and emotionally.
Every single one of your claims is addressed by the programming language Idris [1], which has dependent types. This is not to say that Idris is the only dependently typed language which solves these issues, only that it exists as a counterexample to your claims.

1. Idris does not have type inference at the top level, but it does infer types within the body of functions. It can even disambiguate identically-named functions with different types, something Haskell cannot do.

Moreover, Idris (and other dependently typed languages) can perform implementation inference, something which is much more powerful and useful to the programmer than type inference. It lets you work interactively with the Idris compiler whereby you specify a type and Idris creates a skeleton of the function for you, filled with holes that you replace with expressions. You can ask Idris what the type of a hole is and it will helpfully tell you the types of all other identifiers in scope. You can even ask Idris to attempt to fill in the hole for you, something it can usually do when there is only one possible expression with that type (occurs extremely often in practice).

Watch Edwin Brady's demo of Idris 2 [2] to see this form of interactive development in action. Note that although Idris 2 isn't finished yet, a great deal of these examples (such as zip) work in Idris 1.3.2 (the current release).

2. Idris lets you specify your program gradually. When problems arise, you can refine your types and Idris will guide you through all of the refactoring you need to do to enforce your new invariants.

3. Idris does not force all of your functions to be total, only the ones you want to use in types. Idris checks the totality of all your functions and can produce compilation errors based on totality annotations attached to your functions. In practice, It is not very hard to make every function in your program total, apart from the main loop.

4. Idris has modules and gives you powerful tools (such as views) that allow you to define a stable API at the module boundary. This means you can mess around with any of the types of private functions to your heart's content, without any visible change to the outside world. This is entirely the opposite of 'non local' Java exceptions.

5. Idris has extremely powerful tools for working with state and writing concurrent programs which preserve invariants that cannot otherwise be checked easily with other tools. As for OO, well, that's a concept so nebulous as to be almost incoherent at this point. In practice, Idris's interfaces can dispatch on as many parameters as you want, unlike most OO languages which only do single dispatch.

[1] https://www.idris-lang.org

[2] https://www.youtube.com/watch?v=DRq2NgeFcO0
I prefer “sustainable”, as in “this technology can be used as some scale for X years without causing major problems”.

High-burnup nuclear power, under reasonable assumptions, is sustainable for hundreds of thousands of years. Fusion is presumably sustainable as long as the Earth exists, as are solar and wind. Coal is not sustainable at all.
Electric vehicles are ranking number 26 in terms of total cost and total atmospheric reduction of CO2:

https://www.drawdown.org/solutions-summary-by-rank

So its not a talisman, but it is certainly a real step in the right direction. I don't hear anybody saying that electric cars means we can just forget about the other causes of climate change?

A very contrarian article that just argues against a straw man. I suspect people who write articles like this are usually the ones who revel in being smarter than everybody else.
Precisely, the marketplace of ideas has become the cesspit of lies and we need to pull ourselves and everyone else out of it.
Even if one were in favor of unfettered access to information generally, it doesn't logically follow that an individual publisher such as Twitter is obliged to offer or facilitate unfettered access. The WSJ isn't obliged to offer access to fake stock listings alongside the real ones.

And unless you are okay with your bank providing unfettered access to your ID, account number and PIN, I'd imagine that you are not in favor of general unfettered access either.

Democracy may require access to information but civilization requires that information not be universally shared.
I started with Headspace, but feel like I get significantly higher returns without it. Something about having to concentrate on someone else's voice that makes the whole experience a little bit less effective for me.

That said, I'd certainly recommend an app vs nothing, and perhaps as a good way to dip your toes in. I'd just also recommend trying it without the app after you've gotten comfortable with it.
If you mean on a legal level, it's less about what is gained by allowing insults than it is what is lost by disallowing them. That is, it becomes trivial to ban criticism by labeling it an insult.

On a social level, there is something to be gained from insults: authenticity. Perhaps it comes down to personal preference, but I would rather live in a society where people can speak their mind (and potentially face social backlash for it) than a society where everything is artificially sanitized. Empathy is great to strive for on a personal level, but forcing the appearance of empathy just leads to strained smiles.
Liberties are certainly an issue. By shutting down media and networks people are being stripped of their visibility. This is being done to avoid responsibility for currently actions being taken. Not being able to openly discuss what you are doing is a clear sign you shouldn't be doing that.
Reasons to Attend a Specific Conference as a Generalist
Are you the owner? It's ok to post your stuff here.

https://news.ycombinator.com/item?id=20708781
Haven't read that one, but "Buddhism without Beliefs" is also a great read on Buddhism without the supernatural stuff people have attached to it over the centuries.
I hope io_uring support will make it into 4.2.
Is Mastercard required to do business with the Bernie Sanders campaign, even though his stated policy goals might harm their business?
Just today, Dutch newspapers reported that courts in the Netherlands are running trial processes against suspected insurance fraudsters without any involvement from the police or the DA's office [0].

The idea is that the police force is too understaffed to do research against smalltime insurance fraud, but the insurance companies are more than happy to build the case independently. And the judge is still impartial, so everything is fine, right?

This worries me because the insurance isn't exactly impartial, right? I assume that once they suspect fraud, they really really want you to have indeed committed fraud, because there's hardly any downside for them if they wrongly accused you. They'll build up a very one-sided case.

Apparently in the US, the same problem is solved with an undereducated instead of an understaffed police force, plus semilegal bribes. To be honest I don't really see the fundamental difference between that and the new Dutch idea.

I wonder what HN thinks should be the solution. Staff more cops? What if recruiting good ones is prohibitively hard? What if the good ones would really prefer to be put on other cases than "we think Joe Smith stole $2000 from an enormous cash-loaded faceless financial corporation"? It's a hard problem.

[0] https://www.ad.nl/binnenland/proefproces-verzekeringsfraudeu...
The problem is that Twitter probably sees a lot of complaints to the tune of "but the other guy said the same kind of thing and he didn't get banned!"

If they want to enforce a policy consistently and not have to face constant complaints, then I don't think grandfathering in old violations after some arbitrary date is going to work.
> Dude, no, no it’s not ok.

I don’t think you understood my comment as a whole. Although it may be morally unjust, it is legal, and therefore “OK” to say whatever you want (bar a call-to-action). So, again, while it may be unjust, in the eyes of the law here, it’s OK. You can’t fordably control discourse—that leads to more negatives than positives. :)
While this is pretty cool, I have a couple reservations. How do you scale this up so that it can make a measurable impact?

What incentive is there for ranchers to get the seaweed for their cattle? I imagine that getting the feed or the seaweed itself would result in more overhead costs. Is there a subsidy for lowering emissions that would make getting this worthwhile?

Also I can't help but wonder how the seaweed affects the microbiome of the cows in the long term. It does kill the microbes that make methane. IIRC, microbes are pretty much essential for cow digestion. Are the microbes that this seaweed kills essential for digestion or some other purpose?
They're growing but not profitable. It's easy to grow by giving valuable stuff away below cost. It's not so easy to grow if you're making positive margin.

Given CloudFlare's size and age, why are they losing money?
You summed it up better than even I could. Thanks!
No, the alternative is to figure out how to change the very fundamental levers of the system in a way that enables change on a scale that matters. The individual consumption lens is going to accomplish nothing.

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.

Or if we eliminate meat consumption altogether rather than promising people magic lab meat every five years, that would have an effect. Or if we put some significant money into a manhattan project for carbon capture, that at least gives us a statistical shot.

But buying a tesla or a linen bag at the supermarket or paying 50 cents for a biodegradable cup at starbucks isn't saving the planet, it's the modern version of paying the catholic church for absolution.

And in the long and infamous history of bad references to fallacies, this isn't one either. If you need to go from 100 to 10 and you're spending billions on something that gets you from 100 to 99.9 you're wasting time and energy that you don't have.
Show HN: Poker arena for AI/ML bots
Best Apps for Every Pet Parent
Historical quarterly trends in the usage of web servers
Just checked mine on my honda with 200,000 miles. Fronts were a bit low, so I replaced them, rears were still about at half wear. Tesla is no magic beast in this reguard. The secret is a manual transmission.
Sell your first commissioned piece of art, use that money to buy the license, (re-render if necessary for higher output), have no money from first sale, continue using that version to create more art.
Hi HN,

Regular poker platforms ban the use of bots. They fear bots provides an unfair advantage. But honestly, I don't think it is the right response. Instead of fighting the use of bots, platforms should think hard on how to best incorporate bots in the game with humans.

For example, I could find on several forums that the capacity to analyze thousands of "hand histories" provides an unfair advantage to bots. Ok, fair enough. The solution is simple: anonymize players and hand histories become worthless.

That is why I am working on a poker platform for bots. The one thing I learned in StartupSchool 2019 is that you should talk to potential users before working on a solution. So here I am with a discussion and a landing page :-)

What do you guys think?

Thank you!

Maxime.
urban mass transit is never used by the wealthy. the last thing people with ill gotten gains want to do is to be around others who can identify them and see with their own eyes how much they’ve stolen. and they don’t want to be around their own kind as there’s no honor amongst thieves.
It's very frustrating. I've run my own mail server since before Google existed. Sometimes I have deliverability problem with Google Mail. Only there as far as I know, and not all the time. But sometimes it'll just put custom-written, non-bulk email in spam.

Even though I have friends at Google, I can't find out what's going on. Apparently that team won't even talk to other Googlers. It's maddening. Now if I need something to really go through (e.g., contacting somebody about a job) I have to send the mail from my gmail account. That feels like rewarding them, but I don't seem to have a choice.
Somehow I would guess tweeting trump is an "old fuck" wouldn't have Twitter enforcing the same rules.
Yes, so I think you're supporting my point right?

Of course HK would be a haven for anti-CCP refugees and in in the last few decades that has come to be an important part of HK's identity. But that doesn't change the facts surrounding the inception of HK as merely a British-held asset to ensure the continued extraction of financial wealth from an Opium-addicted mainland China.

Of course I'm not trying to justify the Chinese aggression, I'm just trying to understand why so few people seem interested in going beyond the "China Bad" stereotype and really actually try to understand the context of China's motivations.
Instagram Food Is a Sad, Sparkly Lie
Like what happened when HK was stolen by invaders. The over-correction in response is to be expected, regardless of how delayed it might seem.
They are real people unless you mean they're AI bots, in which case harassing them is even more pointless. They have zero ability to effect any of the changes she is complaining about. This is the equivalent of yelling at a customer service rep. It's not going to get you anything you want and it just makes you look like an asshole.
I've seen e-biker users absolutely blast past me headed up hills, not even breathing hard. They may get the same "amount" of exercise, but not definitely not the same quality.
I hope somebody is still actually producing it. The final episode has been "in production" for almost 7 years now.
The Mudras are also specific yoga asanas, which are often referred to as poses or exercises in the west. These Mudras are an advanced practice and should be done with the guidance of a qualified teacher.
OMG which part of "I Is A N00b" did I not make clear? :-)

The role of spdf and sigma/pi electrons, I'm aware of these things but don't have a mental model for them. And "p-orbitals pointing vertically from the disc"??.

That was brutal but you've given me a lot to aim for so I'll get to reading this afternoon - thanks!
Whatever he was, if the article is to be believed, it seems like his poor management caused the problem. I believe it. This is often the case, where managers actively interfere with priorities that the engineers try to provide. Not only that but he was using resources to play politics.

The issue is that fundamentally that's what managers and executives do. Their profession is politicking and manipulation rather than solving problems.
Locking the account post facto without warning is debatable, but I don’t follow the argument of how the author has grown up since this tweet. Insulting people is not acceptable in a public space, no matter the date or the age of the aurhor, it’s basic education. Freedom of expression is not freedom to publish insulting messages. I’m glad Twitter is enforcing this.
What do you expect then?

A news report within the PRC that "Winnie the Pooh" was banned?

Reports from Hong Kong and Taiwan is the closest thing you can get.
I meditate 20 minutes twice a day and struggle to stay asleep for 8 hours. i am normally up after 6 hours sleep
Ok so strange question, does this have an effect on humans as well? Do regular sushi eaters fart less? (;
A conventional chain could be caked in mud, but it literally cleans itself - the contact points anyway. Also, if well-lubricated they're pretty good at keeping water and such out of the internals as well - or at least easy enough to clean up when you get home.
I keep hearing that blender's UI is no longer the domain of dark wizards ... between the cost of the paid products, and the funky UI of older versions of blender, I could never quite get into 3d modeling and design. Maybe it's time to revisit?
> Global trade requires us to spend stupid amounts of fuel in engines that have never been optimized for emissions.

Whoa there! These engines are indeed not optimized for emissions like NOx and particulates, but they are impressively efficient. I believe that a good deal less CO2 is emitted shipping a container across the ocean than would be spent driving it across the country.

Anyhow, the economic solution here is clear: a carbon tax that applies to imports. The serious proposals do this.
It’s a great project but they could be more clear about that 20% cut they take and why it’s double what they partners take. How does it scale? 20% makes sense when you are dealing with, say, 100m of donations, but not so great when it’s 1B. At 1B they’d be taking 200m for what? Hiring the best talent in the world, to do what exactly? I don’t know, I wish them well and hopefully they get more clear about their cut and lower that over time. I think if you are really going to make an impact you must be targeting few billions of donations and 20% is just unreasonable.
I’m amazed/skeptical that science could add something to millions of years of evolution and make it more efficient.
Is it okay to put plans for building nuclear centrifuges on the internet? No.
"is based on a single study with 12 cows."

Its not - most often "skeptical science remarks" although popular, are poorly informed and misleading.

A quick scholar search shows numerous studies broadly agreeing with the one featured here, including the seaweeds effects on sheep digestion and microbial and metabolic details:

https://scholar.google.com/scholar?q=asparagopsis+methane
that is not true. my options have NOTHING to do with additional funding, but with converting the corporate structure of the company - which Taso, CEO, said he would do, multiple times, back then - he's not changing his tune.
how did you start? did you take a course?
I don't think he is justifying it, it's just that you need to be able to deal with insults in a healthy way. Stoicism comes to mind.
That's just for scripting. A proper C API is needed for plugins that do more than the simplest edition operations. At one point I wanted to write a plugin that let you model distance field fractals and would make meshes from them, but there's no way I'll write something that computationally intensive in python. And if I do it in C with a python bridge, it would have meant copying mesh data to and from blender over python. That's not even going into stuff like custom intersectable primitives.

Blender would really benefit from exposing its inner data structures in a way that lets people write high performance plugins.
Thanks, sometimes it doesn't hurt to have some more perspective.
Even though Twitter and the like might be new technology, they are still replacing the old. People only have so much time in the day and all the other ways that people engage in politics compete with Twitter and the like. And it seems that Twitter and the like have won that competition. This means that a large chunk of political discourse now happens on services like Twitter.
Apparently temporary containers prevents this from happening...
That's a boneheaded excuse: if the comment was about improving privacy it would be highlighting mitigation strategies, not focussing on exploiting potential vulnerabilities.
Finally an S1 I can buy and not have the distinct feeling of the last guy in the pyramid scheme. Should easily be profitable.
That is the exact reason I prefer React - Vue feels like you are mixing HTML and code when you start adding in the directives. JSX feels quite natural to me, in particular because it provides an easy mechanism to code with a clean break between the app logic vs. rendering.

I know at the end of the day, they both still come out as HTML and JS in the browser, but React just feels cleaner. At least to me.
I needed/wanted it.
Care to share a link? Everyone likes a good NYorker piece :)
These packages are already implemented in emacs.
I think it's completely clear at this point that Tesla(or more specifically, Elon Musk) is just simply lying about what their cars will be able to do in the future with existing hardware. Don't get me wrong - the existing "autopilot" is fantastically good. But it's not going to jump from where it is now to full self driving, no matter how many years or millions are poured into it.