skysight-inc/HackerNews huggingface dataset:
On the one hand, I'd like it too. I use Linux as a daily driver - but I recently replaced my sidearm machine, and I keep it on Windows, so that I have a computer on which I can run desktop Office.

On the other hand, I'm convinced that once Office on-line reaches feature parity with the desktop, they'll quickly drop files, and turn Office into just another SaaS that holds my data for ransom. I don't want that.
They still scan for implementing things like assistant functionality but not outright advertising.
I've tried to get into this habit. Qualifications are great too because when someone comes back to say "you said X! You lied!" you can remind them of how carefully you qualified your statement.

This is Circle of Competence applied[0]. It's admitting what you know you don't know so you don't make mistakes by being overconfident.

[0] https://en.wikipedia.org/wiki/Circle_of_competence
I turned off the default Username in menu bar on MacOS so I had one less thing to take off my screenshots.
I didn't because I'm not paying... But I do know that the bridge ensures that all data is always locally de and encrypted before being read from and sent to the Protonmail servers. So Protonmail can never read your mail. On the other side of the bridge, your standard email client can talk normal imap (which does not support encryption). I think it is rather elegant.
> It doesn't make sense to stub out dependencies in unit tests (unless you absolutely have to).

The long string of assertions that follow this remark are quite wrong and misses the whole point of unit tests. You are expected to write tests that test a specific unit of software, and that unit alone. You are expected to write tests that provide well defined input parameters to your unit of software, free from side effects, and you are expected to put together combinations of those input parameters that enable you to cover an adequate amount of code paths within your unit of software. By far the best and easiest way to pull this off is by mocking interfaces.

When you start testing multiple units of software interacting or writing tests that rely on specific behaviors of external units of software them you're already testing one level above what you're supposed to be testing in the test pyramid: integration tests.
> Think of it the other way around: how much per month is Google making by reading your email [...]

That is a really weird way to think about it. For all I may know, google may be earning a million dollar by selling my data ... does not make the alternative product worth the money google is making for me to pay to avoid it.
I really like FileMaker.
Yeah, though no matter what his supposed crime, the situation is still absurd. It's clear from the video that he wasn't a danger to anyone nor resisting arrest in any way.
it is really disturbing how relentlessly hacker news reactionaries will downvote anyone who dares phrase the ipcc reports in plain english.

what does it mean to our concepts of reason and engineering if one of the most "technical" self-selected audiences on the internet cannot read basic graphs and charts?

what possible hope is there to get policymakers to base their understanding and decisions in the science if self-professed engineers can't or won't?
Totally agree. Like taking a leaf blower to a nice natural spot and turning it on.
Actually clicking on the "License Agreement" link pops up a copy of the GPLv3 License, so it looks like you can distribute GPLv3 software in the app store (and charge for it!)
I have a few domains from a time where I could just add more domains to my server config. Getting all of those to work on ProtonMail is quite expensive (I'm on Visionary right now)
Yes, for performance. If you need something to be fast and yet portable, Fortran is still the #1 language of choice, especially in supercomputing and finite element analysis fields.
Hi everyone. I am working on a crypto scanner for my personal use but then plan to make it into a SaaS mobile app. I wanted to share and get feedback on the idea of building Tradeplan.

I hope it helps you as much as it will help me.
Personal Letter to [Future_employee]
For the bigger ARM cores it is a huge issue. They're pretty much just used inside phones and compatibility with everything in the app store is an extremely important component of their requirements.
The US works by checks and balances. You can't point to, for example, the US military and say "see, we have the expectation with the military so it will transfer." You have to say, "See, the world holds respect for <$Centralized_Power>'s military despite centralized power."

Finding the value of $Centralized_Power might take a while.
RoboSoccer announces next innovation in tabletop industry
Yes, exactly. This is at least granular enough to see location, gender, type of message, etc. previously with TV or old media, we couldn’t access who politicians were targeting with ads. Now we can. I don’t see how this isn’t an improvement?
Many third party APIs that your code may depend on are either rate limited, cost per use, brittle, etc. if you run tests before check in or once per integration build, you can easily end up incurring costs or have unreliable tests and false positives.

Slow tests are tests that aren’t run. Having unit tests that depend on databases and APIs are slower, increase the deployment cycle and usually end up being skipped.

Trying to make dependencies substitutable is overengineering and leads to poor design and gives you more work when implementing unit tests.

How is it a unit test if it can fail due to other dependencies?

Hiding the source path of a dependency is a terrible anti-pattern. When it comes to programming, there are few things more horrible than not being able to determine where some buggy piece of logic is located. I cannot imagine any use case where that would be a fair tradeoff.

If you are only using dependency injection to enable unit testing, finding the real implementation is trivial - it’s the only concrete implementation of interface to the constructor.

Any kind of injection of dependencies should be done via an explicit method/constructor parameter. Sometimes it means that the dependency instance has to traverse a few classes in the hierarchy, but that's way better because at least you can unambiguously track where the dependency came from.

Again if you have only one concrete implementation and you’re using a DI framework, finding the implementation of an interface is trivial with any halfway decent IDE.
November 2019 Monthly Horoscope – Alwayswomen.com
Cost aside, it would do wonders for productivity if everyone was using the same tool. Right now, collaborating with customers and suppliers on design work is often difficult due to mutually incompatible data formats (even between old and new versions of the same tool).
Obviously? When you want to manufacture things you probably don't want to fall back down right away.
The term CBD isn’t used in the US, as far as I’ve ever heard. That’s probably why some commenters will be confused. I am only familiar with it because of a former coworker from Melbourne.

(Seattle is sort of similar in that there isn’t really an old town center, or rather it’s directly adjacent to the downtown highrises (Pioneer Square).)
Definitely not a physicist here but isn't forward time travel somewhat possible by approaching speed of light? I read about effects where if I left earth, travelled very fast a year to me might be many to earth. Could a person not therefore 'travel fast' somewhere and come back so a place like earth had advanced significantly in time relative to them?

Not sure if that is time travel in a 'jump to a new time' sense but it effectively is. And I wonder how far you could push that with theoretical technology. 1 day for 1000 years type thing...
Good response. I think this is the clearest way to explain to people why researching X is important, the benefits to humanity are almost always in side effects of any research, development and engineering feats: The techniques, understanding and technology required to _attempt_ to figure out or achieve X are usually far more valuable than X itself and are often not known ahead of time, but can be invaluable to the future of humanity.

The problem is researchers are far more likely to express their interested in X to the public - quite right - since that must be their passion for the significant focus required to follow that path. This is what the public find so unintuitive, we need to focus on X to benefit from Y, although we don't know what Y is, but it has the potential to be far more useful than anything more direct.

Reminds me of the more literal explanation in a letter by Ernst Stuhlinger at NASA in response to a similar question:

https://www.forbes.com/sites/startswithabang/2017/10/26/even...
Indian govt used Pegasus to target human rights activists on WhatsApp
and no ht in http
I never heard CBD until the first time I went to Sydney, but I understand it's common. I think in the US we tend to name our CBDs instead, like Chicago has "The Loop" and most places just say "downtown".
"military-grade" is such a dumb adjective.
They mentioned it can be retrofitted in older aircraft. So it might be an option in the future if you are doing $100k panel upgrade in your 1950s tin can airplane.
Justification of an act does not relieve one from its consequences.
There’s an interesting lack of nuance in the decision, perhaps due to the path taken by the plaintiff.

We all pay a price for police work (taxes, of course, plus some inconvenience At times). But this ruling says there neeed not be feedback to determine proportionality.

Some crimes are not worth addressing. We could put automatic speeeding enforcers in every car, but we don’t. Famously we could eliminate passenger risk on air flights by forcing everybody to fly naked with no hand luggage, strapped to the seats, but people aren’t interested in that much security. Surrender in warfare is a cost/benefit decision.

But, particularly in the US, the feedback loops at all levels (determining what’s a crime, what punishment is worth enforcing, which offenses are worth prosecuting, etc) runs open loop, with the obvious result.
> general peace and well-being of society (from which better conditions for the minority tend to spring)

This parenthetical is doing a lot of the work in your argument, and alas, it is not always (or even usually) how things work.
I know trump tells a lot of blatant lies (I think most Americans recognize this), but if you’re a Trump fan you’ve been hearing Democrats calling Trump a traitor, a dictator, a Russian-pawn and colluder and a criminal long before any of those titles could be considered “facts” (they mostly still cannot be called facts, though the Ukraine call may have changed that).

Yes Trump tells a lot of lies, but I also think each side of the aisle tends to ignore their own hyperbole (or at least fail to appreciate when the other side is hearing “lies”)
The title is a bit misleading. The author doesn't really discuss whether computers can perform the act of proving. He's mostly focused on whether computer languages can represent proofs (yes) and whether computers can check them (yes).

Computer can also search for theorems and proofs to those plausible theorems. There are issues, of course. Both of these spaces are very, very large. It's not clear what makes for an "interesting" theorem to prove.

Proof through proof search is also semi-deterministic in that the search will continue until it finds an answer. If the search hasn't terminated yet, it's either because there is no proof or because it just hasn't worked hard enough... yet.

You could conceivably "race" searches between P and (not P) and hope that this would save you since now one of the two will return in finite time. Unfortunately, most of these proving languages are constructive and thus it's possible for both of those to be unprovable.

It's all very cool, but we're still not getting close to having computers realistically "prove" things of interest.

Edit: Worth also noting quickly that proof search is used pretty regularly in these systems, but it's a sort of localized, partial, and interactive proof search where "tactics" for the search are human specified or search is used as an interactive tool for skipping over "boring" parts of proof construction.
New Software Products Tracker
Curious if anyone knows a website that tracks all new and upcoming software products (e.g. productivity tools from different categories, CRMs ,finance platforms, etc. - really can be anything). I see products and companies pop up here and there (e.g. on TechCrunch) but can't find anything in one, organized place. Please let me know.
What does this say about mass migration into the west from the third-world?
No, China if anything is making us take a second look at this creeping authoritarianism and maybe push back on it. Their authoritarian influence on our politics and in other spheres (e.g. universities) is a hot-button politician topic currently.

The main cause, as far as I’m concerned, is the overwhelming apathy of the common voter. People simply don’t care. We’ve had it way too good for way too long, so as long as it isn’t an immediate threat to Barry’s ability to buy a case of booze and watch Friday night footy with the boys then he doesn’t care.

We avoided the GFC largely with minimal pain. Housing has been a sustained boom that has made generations really wealthy. Our economy has basically not undergone recession in 13 years, and has only twice in the last two decades. The social security nets we have in place, whilst being eroded, have yet to really show obvious signs of strain unless you actively look for them. It’s really hard to adequately describe just how easy Australia has had it in general for the last several decades.

As a result of all of this, both major parties have had to do little to continue these good times, so politics becomes very samey to most people. For the large majority of the population, it doesn’t really matter which party is in with respect to their day-to-day lives.

All this means that Joe Average voter has it really easy. They become apathetic as fuck, and unless an issue directly impacts them they basically do not even register it. Creeping erosion of free speech/privacy either slides under the table or becomes a “well I’ve got nothing to hide” argument.

I mean for god’s sake, our current government proposed the idea of using Webcams to facially recognise porn viewers to confirm their age. It sounds so ridiculous that most people just scoff at the idea rather than consider the attitude of ‘fuck your privacy’ behind it.

It’s really frustrating because it’s so wide-spread. The depressing part is that I don’t see that apathy changing before many of our hard-fought freedoms, or carefully-built systems that give us such high quality-of-life get destroyed. There will be a substantial lag time between them being ruined and it finally impacting the voting public enough that they actually stop, consider it, and maybe do something about it.
> general misery they cause to minorities

And also non-minorities. According to Scott Alexander the rate of killings per police encounter in the USA is similar for both black and white people.
> So why does it need to be wrapped in a format that's verbose, underspecified, doesn't have comments, doesn't have namespaces and doesn't have any notion of metadata?

Because the OP article doesn't even consider s-expressions, so I'm working with the tools I was given.

Personally, I find it frustrating that EDN (or some other form of s-exprs) aren't widely adopted.
It was an illegal, explicitly forbidden referendum that voted 90% for secession. That anyone even bothered to turn up, just to vote "no" is a small miracle. So, yeah, it seems very likely to me that >90% of those who didn't vote at all would have voted against.
Ask HN: Getting started in biology with a software background
In the past few years the news around biology has been getting more exciting and frequent, between CRISPR and biotech firms working on niche drugs. I'm really interested in learning more about the skills needed to start a biotech company, but I'm lacking the masters degree in biology. What skills are actually needed to get into the field and does anyone know any good resources to learn them?
Of course, nature is very racist.
In the US, electrification of rail is very expensive, since bridges were not built to allow installation of overhead catenaries. Third-rail electrification is inefficient for freight and it interferes with operation of container well cars, e.g. in the Long Island Rail Road.
> Why would that be the case?

I have a desktop Java app with platform-specific installers (.msi, .deb, .dmg). The Windows and Mac installers include a Java runtime, so the user doesn't have to worry about installing an external runtime. I'm forced to use Oracle JVM, because it's the only Java distribution that includes the tools needed. There's ongoing development on a tool that should bring these and more related features to the open JVMs, but it's not done yet.

> Dependencies which still fail with module errors are basically abandoned and should probably be replaced. But even for those there's an escape hatch if you really want to continue using them, so that seems to be a non-issue?

The issue is that the upgrade path isn't smooth. I have to upgrade everything at the same time, because what works on Java 11 doesn't work in Java 8, and viceversa. It makes everything way harder than it should be, if there was a clear migration path.

> I've worked either directly or indirectly with so many companies of all sizes using Java without any dedicated JVM specialists I'm pretty sure you're doing something very, very wrong with all the problems you seem to have.

What I do falls into a niche. It's not "very wrong" but it's uncommon. The main issue is that Java was a non-issue, a stable platform to build upon. But the recent Oracle license change forced us to move to fully open versions of Java that do not have the same features, do not bundle the same libraries, and do not have documentation detailing all these differences.

I'm not asking for a community to finish whatever feature I need, or for a company to make what I need free to use. I'm just trying to explain my own problems caused by Oracle forcing us to move to open distributions of the Java platform.
Who are you talking about? It sounds as if you are saying that people with HIV deserve to be quarantined.
> The alternative here isn’t a FOSS-distributed iOS app, it’s no iOS app at all.

>> You should put the blame on Apple for this, not on FOSS
advocates.

It seems like an odd interjection to make at this point if Apple is the target. It’s well known that Apple’s store is proprietary and closed source, adding this comment to one of Proton’s news releases can’t help but come across as an implied criticism of Proton.
There is extensive literature on twin studies that finds effects of roughly this magnitude on a range of health/earnings/educational metrics. 40%-50% genes 40%-50% random/non-shared environments and small impact of shared environment.

https://www.researchgate.net/profile/Bruce_Sacerdote/publica...
I have a Garmin 530 and it's IFR rated, most of the 430s are too and relatively common in single engine planes. The ADS mandate was more for transponders.

It does seem like a lot of airports have RNAV only and if they have an ILS they also have an RNAV.
It's inertia. Among other things, the much higher inertia of the broomstick has a damping effect on changes in its motion.
Microsoft PowerApps is basically the current replacement, or Visual Studio Lightswitch which was discontinued a few years ago
I’m sure no one will read that but a Reddit comment pointed out the Homeowners insurance is covering the damages to the house. The guys son was renting the house from his dad and failed to get renters insurance. The sons stuff is not covered.

PSA: Always get renters insurance. Flood, fires, vandalism, and I guess police damage can happen.
Well, this assusmes that the ads are served from the origin site, not some other domain right?
I'm sorry this comment is being downvoted so hard. I think it's excellent, apart from the "koolaid" bit.
I keep seeing posts about wanting “explicit” DI instead of “Magic” DI. The article’s author only showed examples of using constructor injection. No one is arguing that it should be done any other way.
> Somewhere else in this thread someone mentioned that 90% the vote in Catalonia was 90% for secession, and included half the population.

That's a lie. The current catalonian separatist government got about 50% of the votes from the catalonian people. 90% of secession it's just not true.
This study found no correlation between environment and earnings when genes were accounted for. So you have a gene part and a random part, but parenting and such doesn't matter.

Of course it might not apply to a few special cases like if you inherited a billion dollars, but for 99% of us that is not the case.
Depending on your use case, Yandex is a good alternative to Gsuite. No charge to use your own domain...it's free. No doubt Russians can scan it all, but maybe they have little interest in a US centric small business for example.

Also, I imagine they have little interest in complying with US LEO requests.
Coq is definitely the best documented. Unfortunately, the tendency to use the tactics language—while incredibly practically useful—obscures how the structure of proofs relate to their theorems.

This isn't really a problem per se, but instead an invitation to look into, say, Agda to see that side of things, too.
All the app needs is the option to arrange emails into a thread similar to desktop
Wait what do you do when someone breaks into your house? Grab a bat and go fight them? That's an easy way to get stabbed or shot.
I read this yesterday, it seems apt:

https://www.irishtimes.com/culture/film/paw-patrol-mighty-pu...

The central task of the police, according to classical Foucauldian analysis, has been to thwart and foil the possibility of revolution, the possibility of transgressing the order of capital: “For the bourgeoisie the main danger against which it had to be protected, that which had to be avoided at all costs, was armed uprising, was the armed people, was workers taking to the streets in assault against the government.”

If protecting citizens isn't the first mandate of the police, then it comes as no surprise at the level of force that can be deemed acceptable as a course of regular action.
It's a moral obligation, yes. Plus, it's still nowadays a very powerful lever to keep relationship with local elites.
>but DJTs children, none are “outliers” as far as intelligence goes

How on earth could you possibly know this?
Nice solution, but there's no way I would touch it unless it's open source. Any plan for that?
Ah, that brings back memories. Boarding a direct international train from Zurich to Amsterdam, only to have the train terminate at Frankfurt airport because of congestion problems up ahead (spring weather). Then having to wait for hours because a few thousand stranded passengers had to be served by a two-man information desk, then receiving a voucher for a taxi ride that would only take us to the border (wtf), instead of the destination printed on our train ticket. If there had been a plane to NL available at the airport, I would have taken it immediately.
Indeed and the build up is strange because a one person account is 5 euros (4 paying yearly) a month. But then add a family with (2) kids that hardly do email, use the same domain, may even share the same GBs and for 4 persons it becomes more than 5 times as expensive. All separate accounts is not an option because we share a domain... It's very weird and aimed a single people I think.
Kind of pointless because you're still installing a compiled binary from the app store with zero guarantees that it's even the same source.
The problem isn't usually with the runtime itself, but with all the ecosystem and tools around it. This becomes very apparent when venturing beyond web services and you start depending on those tools.