skysight-inc/HackerNews huggingface dataset:
Well either half is utterly meaningless without the other, and could actually be arbitrary, right? So you'd have to have them both together for it to be illegal.
The cost of using and teaching formal methods will continue to come down and program synthesis will become the practical means of automating a lot of lower-level code.
I think it is, like most problems. I tend to favor the idea of term limits but while discussing this with a friend who used to work in politics, he made a good point I thought. His experience is that the staff change is the real problem in a political change. The ramp up time for a new staff is very long, the politician would not be able to get much done until the staff figures everything out, then it would be time to change again depending on the limit.
Is there a perfect BT headset out there? I'm still using this:
https://www.amazon.com/Logitech-Headset-H390-Noise-Cancellin...

Because BT audio sounds horrible to me.
Most religions are not 'successful', they are probably declining in numbers because the religious people in those religions are not having big families.
> Considering this background, what do you think will be a breakthrough innovation in programming which will enable programmers to deliver ambitious web/mobile apps at a very high speed.

Quality, Speed, Price. Pick two.

What is the driving force to "...deliver ... at a very high speed?" It's easy to assume that from the list above quality would be the one to suffer. Doesn't anyone here on HN ever get tired of being everyone's beta bitch?
I sell B2B software and I've noticed that lot of the customers that trial my service are developers of a company that want to evaluate it before dealing with all the red tape of contacting the billing department for approval. I don't do a money back guarantee, since I do a nice 14 day free trial.

I've had good success with offering an "extended" trial for those in the development phase, with the prerequisite that they add a payment method to their account before I extend their trial (usually, I add 30 days). The initial 14 day trial is usually enough to "evaluate", then the extended trial goes to billing and is approved quickly, since they already know more or less that they'll be using my service. A large percentage of my customers go through the extended trial flow.
Read again. He's comparing newer LED bulbs to the older, yellowed ones he was already using.
A Crypto-Mystery: Is $140M Stuck or Missing?
I actually hate the Earpods, they just don't fit well in my ears. Out of worry that AirPods will not fit either, I have resisted from buying a pair, even though I crave them. I am still waiting for an in-ear version (even though they might never arrive).
This is correct.

I just thought that "everybody" has switched to CFLs 10 years ago, when they became decent.
You can point your own domain to mailinator mx records for free.

Don’t have a domain to throw spam at? Pick a sub domain and use that.
This would really be fascinating to witness. I hadn't considered that anything would knock the JVM off of it's throne, but that has potential to happen.
Lime raises another $310M, bringing its valuation to $2.4B
Some other reinvented wheel that makes one thing 10x easier but takes five years to build up an infrastructure from scratch for everything else that real programs need (an infrastructure that was already present in whatever the new thing replaced). Let a bit more time pass to forget a few other things, rinse and repeat. In other words, no net productivity gains, just churn.
That makes more sense, thanks for that clarification!

However, snew.notabug.io is a mirror of the corresponding Reddit posts w/o censorship, which makes it not an alternative! Shenanigans identified!
Electric powered heat pumps (essentially air conditioners run in reverse) can have considerably greater efficiency than electrical resistance heaters.

https://en.wikipedia.org/wiki/Heat_pump#Performance_consider...
I wouldn't mind so much if it was like a platform thing like email... Choose an app, then all Reddit links default to that. I'm not going to switch from relay anytime soon. At least then it wouldn't be so annoying.
Transaction wrap around is very well known issue and easy to avoid with autovacumming.

Relational databases are tried and true and we have learned from the failures and have only made the technology better.

There are many use cases from data modeling perspective where a relational db makes more sense than a no sql and you really have to understand the trade offs of consistency and durability too. There will always be a place for both technologies and its not a question of either/or but rather what makes sense for your application in terms of not only system scalability but data scalability.
"The Bailey–Borwein–Plouffe formula (BBP formula) is a spigot algorithm for computing the nth binary digit of the mathematical constant π using base-16 representation. The formula can directly calculate the value of any given digit of π without calculating the preceding digits. (...) Though the BBP formula can directly calculate the value of any given digit of π with less computational effort than formulas that must calculate all intervening digits, BBP remains linearithmic (O(n log n)), whereby successively larger values of n require increasingly more time to calculate; that is, the "further out" a digit is, the longer it takes BBP to calculate it, just like the standard π-computing algorithms."

https://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%9...
For my money, Plantronics makes the best affordable Bluetooth audio stuff. I have a pair of these hanging around my neck right now:

https://www.amazon.com/Plantronics-Headphones-Sweat-Resistan...

The batteries last for something like eighteen hours, the audio quality is very good, and I find that they strike a really good balance: I can hear just fine when they're not on, but when I'm playing music I can't hear much of anything. It can also pair to multiple devices (though it calls them all "phones"); if I stop something on my Android phone and start something on my laptop, it does the right thing, and it also has an app for iOS/Android that lets me throw to the correct device (though to get back from a laptop you have to turn its Bluetooth off, which sucks). They're really nice overall.

Similarly I'm a huge fan of their sport headphones. These are the only Bluetooth in-ears I can stand:

https://www.amazon.com/dp/B01JKJN71A

Six to eight hours of play time, completely acceptable audio when they're on, can hear just fine when they're not. They're the most comfortable headphones I've ever had; I often wear them for an entire day without noticing that they're in and I've accidentally gone to meetings with them in more than once. My only complaints are that the QC is not always great (or I got a fake, which is the guess I lean towards) and that there are a couple of firmware revisions, basically all the same but it's jarring to hear the robot lady say something different than the last time--because I have a really bad habit of losing them, I'm on my third set.
If you are worried about your user details getting stolen after signing up with someone else's email-

You aren't using this service correctly.

The idea is to not give away your email or signup for a website, but get access to that website.
It seems like an efficient house would at least want a "lighting circuit" where you have a single transformer/rectifier/controller driving a bunch of LEDs all throughout your house. That type of lighting scheme seems like it could last decades if you use quality LEDs.
That’s why I’d like to see us move in the direction of:

UBI
Automation
Open Source Software

And I am putting my money where my mouth is, for 7 years:

https://qbix.com

https://intercoin.org
To answer your question, yes, there is. The combination of tools used by NASA is Neo4j (database) + Linkurious (enterprise graph exploration tool).

Links: https://neo4j.com/ https://linkurio.us/

More info about this use case here: https://linkurio.us/blog/how-nasa-experiments-with-knowledge...

The screenshot in the article is from Linkurious (without any mention in the article, which is strange).

Spoiler: Linkurious co-founder here.
Scattered smaller components aren't really any more manageable. Its basically the same but with a load of network calls in the middle.
Curious, can see for it for Julia but what interesting stuff is D doing?
You would also need to distrust any ssl cert a multinational company's australians can access, as the law can compel and gag them to steal your ssl cert. All Australian residents and citizens, including potentially abroad, are now legislated to be untrustworthy when it comes to holding any cryptographic secrets or access to systems of your customers.
Works for me. If Google is happy to avoid taxes however they can, we should be extracting as much out of them as we can in other ways, such as fines. Not sure why we should be content with them not giving a shit about anything but themselves. Companies like Google only act out of pure greed. They don't respond to "positive reinforcement" and "education". They know perfectly well how to pay more in taxes, it's the default - they go out of their way to avoid it. They pay millions, tens of millions to lawyers to make sure they do exploit whatever loopholes there are. They aren't passive, innocent actors here.
What exactly is the difference between an open source font and a free font? I mean, don't we also have the bitmaps?
For me, it was taking time for some self-motivated projects. I am really only happy if I a planning/designing/building something. The way I cure burnout is to stop working on other people's priorities, and take on a challenging project that is entirely self-motivated. An achievable dream, that a few weeks of full time effort (with time off to sleep and eat well) will make happen.

For my first episode of burnout, I took some time off and built the ham radio antenna system that I had wanted for a while. Which involved some engineering planning, some construction planning (schedule the backhoe, schedule the concrete, schedule friends for a tower raising party, planning the after-antenna-raising BBQ party...), and lots of physical work out in the sun. It was an achievable dream, and entirely about scratching my own itch for fun.

For me, just "relaxing on the beach" never works, whether I am burned out or not. I need to be planning/designing/building. YMMV.
Having an AC to DC converter at the mains to your house would be great. Using a reasonably safe 48V DC in the home seems reasonable. Modern high efficiency motor driven appliances all use internal AC->DC converters and a 3-phase DC->AC driver anyway. I'm still on the fence about what the DC voltage should be - upwards of 60-80 are still nice and require less current for a given load but you don't want your PC and TV to need too many stages to get low voltage.

It would be nice if some people got together and wrote a standard for DC powered homes. Preferably without a bunch of patented stuff included in the standard. Then all the pieces could be produced by various industry players and we could switch.
Kubernetes and other container systems are so widely adopted and accepted that most common system services are solved and require only minutes to integrate. As a result people move back to their monoliths because it is easy and productive
Congestion pricing is a toll around Manhattan south of 60th St. Private cars would pay only on entering or exiting, since you can't use a private car to pick up strangers in New York (even Uber and Lyft use black cabs, which have a different license from yellow cabs that only covers pre-arranged rides and not street hails).

Since cabs may not necessarily enter or exit the CBD while doing the trip within it, a fee equivalent to the toll should be charged for an origin in the CBD or a destination in the CBD, with a double fee charged if the trip stays wholly within it.

The purpose of such a fee and toll would be to keep vehicles flowing. Cabs are actually worse than private cars for this, since private cars spend most of their time parked while cabs spend their time between fares driving in circles.

Parking externality is handled separately; there is a tax on parking fees, and the total number of off-street spots has been capped for a while.
This analogy to "storing information" in the digits in pi is simply incorrect. The reason why it's incorrect is that in order to "store information", your access key must by definition be smaller than the data you are storing. This is not the case for "hiding" things in the digits of pi. In general, the index offset needed to find something will have more bits than the target information. This is clearly not the case for storing information in a blockchain as you only need a small index to find the transaction.
The reasoning was provided by the previous comment, mine was that it can apply to climate change, a much more accepted theory
Is this due to loss carry over ? The original link is timing out. Can someone explain the rational behind carrying over your loss ? I understand you had a loss in one year and you didn't pay taxes. But why is the business allowed to spread that loss across multiple years and lower their taxes ? That seems a little questionable to me.
Show HN: AI grammar checker
Honestly I can't be bothered to replace the fixtures.

Edit: looking at the price of fixtures, the economic argument is poor as well.
Getting started with webpack – Configuration and modules
Hey there, I wrote a simple AI grammar checker.
Research on AI applications in the field of Natural Language Processing (NLP), including grammar errors correction, is growing quickly. However, despite this progress, easily accessible tools are still missing on the web.
With this project, I'm trying exactly to cover this gap, a web app with an easy-to-use interface, powered with an artificially intelligent algorithm and trained on common errors made by not native English speakers.
Would be nice to get some feedback from you!
Thanks,
Outlawing lobbyists will be as successful as outlawing drugs to fight drug problems.
I recognize the good intentions of your comment.

However, I want to push back a bit. I was depressed, but not from trauma. I avoided going to the doc to avoid long term prescription drug use and therapy. I regret that decision, and it cost me career opportunities and damaged relationships.

It is a legitimate concern, but wildly overstated in my mind for 18 tough years.
2 terms in the Senate is 12 years. 4 terms in the House is 8 years. There will be plenty of knowledge transfer between junior and senior members in that time.
"Xamarin Studio" was the IDE worked on by Xamarin (which was bought by MS. (IIRC itself was a fork of SharpDevelop). Since then, there's been a lot of work in rebranding and improving the UX, I don't want to understate that. It runs under mono for Mac, but can develop projects targeting mono as a Framework option as well as .Net Core, which is a ground up re-implementation of .Net itself that is cross-platform from the start and well supported.

My complaints are mainly that it was painful to install (unsure of current version), and in the end missing a couple of features that I needed and fallback to windows currently.

Microsoft database projects are a project type that does builds against an MS-SQL database and afaik can only be built on windows (even though SQL's core runs well with windows/docker).

TFSVC is the TFS Version Control system that TFS uses, not to be confused with Git, which is now the preferred version control for most using TFS (and Azure DevOps). TFSVC is similar to SVN for practical comparisons. However, the tooling outside of windows kind of sucks, and there is no support for this version control system in VS for Mac. The eclipse plugin for TFSVC is probably the best option for a decent GUI surrounding the version control system.
As languages with more interesting type systems come along, more powerful IDE tooling will be possible (e.g. idris 2/blodwen code completion https://twitter.com/edwinbrady/status/1050528305743622147)

More hopefully, maybe new language developers will put more work into easier and easier FFIs? How often have you thought "I wish language X could catch on, but all the useful libraries are in language Y?"
>Generally, white hat security researchers publicly reveal flaws like this only after informing the company and giving it ample time to fix the issues. But Henze is refusing to assist Apple because it doesn’t offer paid bug bounties

This is starting to look really bad for the infosec "community." Without rehashing all the old arguments around disclosure, and the sorta-recent arguments around bug bounties, we're now at the point where this doesn't not look like extortion.

"That's an awfully nice operating system you've got there. It'd be a shame if someone were to disclose a security flaw without giving you ample opportunity to fix it."
Healthcare Accounts used for day-to-day costs, Not Long-term savings
Several links here that look reputable:

https://www.propublica.org/article/filing-taxes-could-be-fre...
3.7 billion is an industry thay produces 100 times the value on investment on average.
Also the Frito Lay executive talks about the snack food industry:
http://www.econtalk.org/archives/2011/08/odonohoe_on_pot.htm...

Here's a list of one guy's ranked favorites:
https://docs.google.com/document/d/1TejVbFNWkAaqRYQ4UaZfwNDK...
I think people will see that type safety and functional programming don’t impact productivity much in a business setting, and we’ll see a flight from these languages as examples of horrible legacy code reveal themselves to show that the problem is behavioral / sociological, and has nothing to do at all with enforcement on the code or compilation vs testing.

I also think more job candidates will reject interviews that waste time with unrealistic homework assignments, marathon on-site interviews, etc.

Finally, I think productivity losses and health issues related to open-plan offices will soar, but companies will continue to be disingenuous and act like it improves collaboration or saves money when it’s uncotroversially flat false.
If the lobbyists are merely providing a service to politicians, then why are they paying politicians instead of politicians paying them?
>The EU seems to be happy to substitute fines for taxes,

When I think at EU fines I think At MS, Intel and Google, in all this cases this companies abused the markets. Can you provide a citation of a company getting a big fine but that did everything legally?
> 1. The law applies to all tech companies who have users in Australia, regardless of where the company is incorporated.

Yes, but as someone not living in, working in, or traveling to Australia I don't really have to care. I don't own a company that makes crypto, but if I did, my reaction to this would be along the lines of "don't open a Sydney office but otherwise business as usual".
What if there are no other factors?

User A, new account, posts a single comment: "Illegal immigrants should be deported."

User B, new account, posts a single comment in reply: "You're a racist."

What does Tildes do?

It's not impossible to answer that. And the answer will tell us a lot about what Tildes wants to be.
I think you're being intentionally dismissive at the cost of realizing that basic, essential waste management (at a small scale) is more or less a solvable problem for people who want to live nomadic lifestyles. Is it a tedious chore from time to time? Sure. Is a marine toilet the same as a open-top bucket full of shit? No (and something tells me you do, in fact, know this to be true).

Here's the reality. People choose, sometimes, to live aboard a moving vessel - either by land or by sea. These people take an audit of the pros and the cons, and they decide that dumping out a compost toilet once a day (if that) while the coffee is brewing is worth the benefit of living in nature or at a low cost, or whatever their bigger rationale is.

What you are saying is basically: "Oh BROTHER! You thought you'd like to have a dog? Good choice, nimwit, bet you never considered they have to EAT and POOP and be TRAINED." The fact is that most dog owners enjoy the companionship so much that they actually have no problem taking on these chores, because the positive outweighs the negative. Of course no one enjoys picking up dog shit, but it's a price to pay and it has to be done, so most of the time good people who like dogs do it.
All my LED lighting had better efficiency numbers than CFLs. There's not the same saving as going from incandescent because obviously you can only make that saving once. But they're definitely better.

LEDs also don't care about cycles. A CFL doesn't like being cycled on and off very much. So that leaves a temptation to say well, I'll be back in here again in a minute and leave it switched on. No temptation to do that with LED.
Which is why it's crazy to me that you wouldn't want to keep your predecessor's staff around.
While the specific examples provided don't provide immediate value, one should not overlook the value of the "Badge of Seriousness". Perhaps the receptionist job at such a firm should be looked at as less of a receptionist job and more of a sales job. If they lose out on business because they are not perceived as a serious firm, then the receptionist job provides quite a lot of value to the company, just not in the "answering phones" sort of way.
The gains from every developer having really good go-to-definition and find-references for all languages and code bases would be immense. The Language Server Protocol (LSP) from Microsoft has standardized a way for languages to provide these features, and more and more editor and language implementations are being built.
One click app deployment for service providers?
Hello, I was wondering if something exists that allows me to offer one click app deployment?

The problem is that some customers would like an instance of cpanel to send/receive some mail... or they want to host a website and they are familiar with cpanel and just want it set up as soon as possible... or they want to deploy a wordpress site really quick without having to configure anything.

I know that these vultr offers something like this: https://www.vultr.com/apps/
and so does digitalocean https://www.digitalocean.com/products/one-click-apps/

I have a rack of servers I would like to dedicate this, with a /22... Does anything exist out there that someone else has written for me that I can buy/subscribe to?

I was looking at https://hostbillapp.com/products-services/openstack/ but it seems to be vm specific, I guess I could add startup scripts to install certain pre-configured packages, but I really would like that to already have been done by someone else. I also wonder if a docker based backend would be better to not have to deal with the OS overhead that a vm brings.
That's true! My nautical lawyer told me so!
Certainly at the household scale this is true. I cringe at the inefficiency of rooftop solar panels, hooked up to inverters, powering transformers that supply phones, lights, and electronics. AC in the house is great for an electric oven, vacuum cleaner, or fridge compressor, but so many modern electronic devices would be happy to run off of 5V or 12V.
Nah I'm from the US. I would just expect European culture to be at least as varied as US culture.
What if we took different size sliding windows, and moved them across a large dataset, and fed the resulting chunks to a pornographic image detector to look for what is likely a completely random set of data that can be re-interpreted as pornographic (or more importantly, illegal in some manner)? How much does creation matter compared to existence, compared to use? Does a formation of clouds or rocks that looks a certain way also fall under this category?

With regard to illegal child pornography, I'm sure it has a lot to do with the wording of the law, but I think the intersection of how laws are defined and how they may conflict with the natural world (including randomness) is itself interesting.
It's a function of both. At equivalent voltage, DC has much lower loss than AC.