skysight-inc/HackerNews huggingface dataset:
Interesting. I think we really need a good cross-platform GUI development story. I wonder if Flutter will turn out to be it.

Does anyone know how Flutter fares when it comes to accessibility?
I too transitioned from Sequel Pro to TablePlus. Sequel Pro was buggy and wasn't supporting MySQL 8 properly.

TablePlus has been great.
You can use HTML in markdown, which is what was done here: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/de...
This also works for comments: https://github.com/dear-github/dear-github/issues/166#issuec...
I don't work at Tesla. Here is why I would:

I'm on team humanity. In spite all our failings, I want humanity to succeed and reach for the stars. Success means having a livable planet. For idealists like me who are also realists, the only way to get everyone working toward this future is to put it in their self-interest. Anything else just. won't. work.

To dedicate yourself in a practical way to the future of humanity, Tesla's one of the few games around.
Tilt your head, the smaller bits look like testicles and the longer one is the dong.

But it could be just me.
I absolutely cannot stand how GitHub on a Mobile browser is, no offense to whoever works on that part of GitHub, it's not your fault. But I hate looking up code and finding a GitHub repository on my phone only to get a fragment of what the repository should show me. I want to see the whole damn README every single time.

I wish they would show me the whole README not force me to click on show in desktop mode. The fact they show that button tells me people've complained about the mobile mode enough, cause without that link I would just set my browser to render as a desktop browser.

I love GitHub but mobile UX is one thing that kills me about the web, and it's not GitHub's fault, lots of websites get it wrong, especially ad riddled sites, or sites that redirect you to their mobile page only to not take you to the original content.
Building CockroachDB on top of RocksDB
Please tell me - where exactly do you draw the value of human life from? What exactly makes human life more valuable than any other life?

I'm asking honestly, in the hopes that it's something less delusional than appeal to "soul" or "god" (which would immediately terminate all discussion, FWIW)
DNA of People in Congo Shows Legacy of Kuba Kingdom
> How do you know that dogs have none of this?

If they did, they'd want to let us know. Now cats, on the other hand...
Crazy word wrapping
I don't think TLA+ is far too expressive to translate to Promela. There are, however, tools that translate subsets of TLA+ to ProB: https://www3.hhu.de/stups/prob/index.php/TLA
Thank you for your very interesting story! I'm in the opposite boat as you are - very strong on left-brain tasks but probably right-brain deficient. Your experiences suggest that I probably should try quitting.
I believe it will be helpful we keep developing fact-checking tools with AI.
But the video side... It's scary. The implications there can be once AI keeps generating more and more fake videos from famous/important people are tremendous...
Knowing a little bit about how government works, if they didn't have proof of what happened it is not unthinkable that they would close the immediate leak and then deny anything ever happened. Nobody would win in that case, because nobody competent actually verified that a fix was done. And nobody would know, either - it'd just be two parties denying the other's point of view.
It's done via embedded HTML, which GitHub flavored markdown supports. I didn't know about the HTML details element, though. Pretty handy!

<details>
<summary>Click to expand</summary>
<div>Hidden until expanded, no JS or CSS required!</div>
</details>
Marine Shaft Power Meter Market Remain Consolidated Among Tier 1 Players
adoro
This is a really nicely done client.

I've mainly used it from a "let's go in and see what's going on in the database" perspective, and it's been great for that.

I wish I had the same thing for Oracle and sql server.

It crashes on Mojave, but only when closing it so it's more an annoyance than a problem (and the fix is in the works).
Twins get different results when they put 5 ancestry DNA kits to the test
No offence intended or inferred but it's a little disingenuous to say it's not that simple and then imply that a simple reason is quashing ego - not that the fact that Russia isn't known to be a humans right bastion of the world should really need to be addressed, here.

You also seemed to have missed the recursive pattern in her statement. "I'll probably be on the streets," infers - to me at least - that she'll be homeless and/or without the prospect of any employability. This facet, right here, explains the recursive nature of repeat offenders.

Approached another way: Was she originally in for theft, which could be a felony, and keeps landing in jail because she can't get a job with a felony on her record and, therefore, has to steal to survive?

Disbarment from employment because of a criminal past is an example of how, even though the debt to society has been paid (e.g.: prison time, fines, etc.), the person is still - punitively punished - until they die.

Now to finally address the Russia question: How do you think the quashing of the ego occurs in there, if - indeed - such action occurs there? Somehow, I highly doubt that discipline is the reductionary answer and that it includes far more unsavoury contributors than simple discipline.

Put another way, a lot of military forces in the world have rigid discipline training but that doesn't mean that the ego is quashed.

Now, having said all of that, the problem is manifestly far more complicated, I do admit, than my simple explanation.

For example, when jails and prisons are run by for-profit corporations and they're only paid per head, then there's - likely - an unnecessary influence in the sense that the city, state, county, what-have-you will need to keep the prison population at a certain level to maintain the business' profit maintained, to continue to retain their services. The for-profit design, in this regard, is such that a reduction in crime (and, as a byproduct, criminals) doesn't bode well for the system.

Is it any wonder, then, that the three-strikes law[s] aren't desinged around three gross offences but one gross offence (e.g.: felony shoplifting) and two minor (misdemeanor) offences?

Then, there's the societal implications of the devaluation and dehumanisation of life in society. Reduction to a simple action is how a person is defined. So, if we do this, then we are implying that this is all the person is - forever. That's it. Paid your debt by serving 30 days for stealing a candy bar? Too bad, still a shoplifter.

I agree that the issue isn't very simple but I think the majority of the corrosion that enters is far more societal-based than anything else.
Realistically? Probably art for a while until people can find a suitable UI that needs grid animations.

Or just nice transitions when changing responsive views.
Why is that? Battleships are badass and you don't have to spend the whole time in a tiny metal box underwater. If you're joining the Navy, don't you want to be in command of a big ship in the open seas?
Power of Independence
Would it be possible to think of a way to keep your satellite office open? Think of some plan so that you can support new customers, or somehow widen your scope to get fresh work. Is there some geographical advantage to where you are so that possibly they would like to keep the office open?

It seems now like if you do nothing, the office will close for sure. But maybe there's a way to convince the parent company to keep you open and thus avert what seems like the inevitable.

Or maybe you could all group together and open a new consultancy for yourselves (then you have to let your colleagues know).

- just thinking a bit outside the box, as it's pretty clear the writing is on the wall - and if you've been looking for something new for 4 years already, it will be even harder once you're out of work.
> I am highly doubtful that Netflix can produce great stories, whether in movie or series format. //

I have UK Netflix, I see no difference in the quality of the stories on Netflix and those on terrestrial TV (which costs more due to BBC license fee). The stories in the Netflix movies are as compelling as other movies IMO, though they don't have the budgets and sometimes that shows more clearly than others.

AFAICT we're looking at content producers all having their own walled-garden distribution channels; so they can keep more of the money and squeeze more cash out of consumers as an industry.

To fix this it seems we could require content producers to release to any channel if they release to one, giving a global per stream price. So, you release it to your own platform they pay X to the production arm and Y users view it; end of the year everyone else can pay you at a rate of X/Y per stream (plus an admin cost). Maybe that would homogenise streaming channels too much?

Remember copyright is an entirely UNnatural right, in theory we get to set its terms to be whatever is best for the demos.
In Portugal, we see many great tech startups growing a lot and that are a great place to work. Examples: Codacy, Unbabel, Veniam
I think your assumptions are off. Anyway, the event horizon isn’t the singularity itself, it’s the point of no return that surrounds the singularity.
> You will loose to an enemy who does it properly.

I agree with the need to always keep training in top shape.

There is no naval enemy on earth that is even remotely competitive with the US in any regard.

Iran? North Korea? ISIS? What enemy?

Russia has no global naval projection, it can barely sustainably push beyond the Black Sea with its surface ships. Their sub fleet is a medium threat. The US is also not at war with Russia, they aren't actually an enemy. There is no war coming with the Russians, they're only good for boogeyman status. They've got a perma stagnant economy (Australia will surpass it soon) and melting social-economic position (see: pension cuts making Putin unpopular), crimping their ability to continue to spend on anything military (most of their military is badly dilapidated, so they've taken to focusing very narrowly because they can't field a high quality force across the board any longer; this is also why Putin puts so much effort into screaming about his magic super weapons that are unstoppable, their conventional military is rotting).

Could China one day be a naval enemy? Sure. At some point in the next 20 years there could be a naval conflict near Chinese territory. The US isn't winning that near-shore conflict short of going to a WW2 level output of ships. The dumbest thing the US could do from a navy perspective is get into a naval conflict with China close to their shores 10-20 years from now. It wouldn't matter how well trained the officers are, it's an inherently losing position.
this page explains things better: https://www.isc.org/blogs/dns-flag-day/

A number of DNS software and service providers have announced that we will all cease implementing DNS resolver workarounds to accommodate DNS authoritative systems that don’t follow the EDNS protocol.

Domains served by DNS servers that are not compliant with the standard will not function reliably after February 1, 2019, and may become unavailable.

If your company’s DNS zones are served by non-compliant servers, your online presence will slowly degrade or disappear as ISPs and other organizations update their resolvers. When you update your own internal DNS resolvers to versions that don’t implement workarounds, some sites and email servers may become unreachable.

Why make this change now?

Extension Mechanisms for DNS were specified in 1999, with a minor update in 2013, establishing the ‘rules of the road’ for responding to queries with EDNS options or flags. Despite this, some implementations continue to violate the rules. DNS software developers have tried to solve the problems with the interoperability of the DNS protocol and especially its EDNS extension (RFC 6891 standard) by various workarounds for non-standard behaviors. This is not unlike the way a driver with the right-of-way might hesitate at an intersection before proceeding if there were another driver in the intersection behaving erratically. These workarounds excessively complicate DNS software and are now also negatively impacting the DNS as a whole.

The most obvious problems caused by these workarounds are slower responses to DNS queries and the difficulty of deploying new DNS protocol features. Some of these new features (e.g. DNS Cookies) would help reduce DDoS attacks based on DNS protocol abuse.
Many things that are morally reprehensible are also legal, e.g. adultery, drinking. The goal of having law is not to make people more moral, it's much humbler: to maintain relative peace and safety.

Don't mix law and morality. Attempts to do so gave us sharia law, let that be a cautionary tale.
Elon Musk's Tesla to cut about 3,000 jobs as cars 'too expensive'
Automotive Industry Shifting from Plastics to Thermoplastic Elastomers
No. This is all people that want to complain about something clutching at straws. It's a perfectly fine (if a little generic) logo. Better than the old one.
SlipSlap beta released
Hello everyone.

We are proud to announce our new app SlipSlap

Get it here:

https://bit.ly/2RBZRq0
With that explanation it became clear, so... thanks?

Probably wouldn't have seen it without the explanation though.
I like the Toolbox.

- It shows you the ASCII and pretty printed spec side-by-side.

- It plots TLC data as it runs and presents live coverage data in a nice way. Soon it will also show TLC performance profiles as color maps. (https://twitter.com/lemmster/status/1082787089140183040)

- It makes running TLC in the cloud (single-node or distributed) very easy. (https://tla.msr-inria.inria.fr/tlatoolbox/doc/cloudtlc/)

- I don't know of any other way of using TLAPS. (https://tla.msr-inria.inria.fr/tlaps/content/Documentation/T...)

Then again, I'm really not a fan of either vim or emacs, despite having used the latter as my main editor for some years. I think this may be because I value tools that present more information in a convenient way that allows me to inspect and analyze my text over tools that allow editing more quickly (when I write code, I spend 80% of my time in Sourcetrail and only use the editor to punch-in characters), but I don't know.
It's not appealing at all. No matter which 'g' it is, wireless will never beat wired. It's simple physics. Wired will always be higher bandwidth, lower latency, and more reliable - less dropouts and more consistent speed.

Wireless is already a 'good enough' wired replacement for areas where running fibre is uneconomical, though.
For me every bug I get that's not obvious/build stuff is something that GDB struggles with because of threads/program boundaries, etc.
If you're the author, I'm not sure that the definition of recall@k is correct.

>Recall@k is a metric evaluate how many items, in the recommendation list, are relevant (hit) in the ground-truth data.
Because most of those companies ask you for things in return that only a loyal person would do, like "work overtime with little or no OT pay" and stuff like that.
The markdown in there looks like some horrible HTML / markdown hybrid. Yeah collapsing elements are cool if you’re viewing in a web browser but the point of markdown is that it’s supposed to look good in a plain text editor / terminal as it does when rendered and the raw version of that markdown file definitely isn’t.

Ultimately though I’m not going to complain that an open source developer has documented their free code in a way that differs from my own personal preferences. But before jumping on the bandwagon it’s worth thinking about whether you want your README to be readable as plain text as well.
Every “Color of the Year” 2000-2019 – From Pantone Color Institute
It also works in issue/PR descriptions and comments. As far as I'm concerned that's where it's most convenient as it lets you e.g. post big screenshots or graphical rendering of profiles (flamegraphs) without taking up screenfuls of space and bothering everybody.
I think you’re reading tea leaves here
Most people in America live in places with comparable density to places in Europe with good public transport. The idea that America is so sparsely populated is only sustained because of the vast areas with really low density but also low total population.

California, for example, is only slightly less densely populated than France. Nevada is slightly less dense than Norway, but 2.2m of the 3m population live in the Las Vegas Valley, that makes up less than a percent of the total land area, so most of the population live in an area more than dense enough for successful public transit.

There are certainly really low density areas where trains and buses have less utility, but most people don't live there, or they wouldn't have been so low density.

And this is after a century of neglecting public transport. If there was more investment in public transport in the denser areas, density would likely increase further, because public transport hubs tends to drive up footfall to businesses nearby.
And even then, this is not 2009 anymore. Sure, you still need a new card to play everything on max settings with new games, but you can get easily get by with moderate settings.
I mean I haven't played Fortnite, but Destiny 2 is the same age (although the specs might be lower because I don't know how much the engine changed since Destiny 1) and it runs perfectly on ultra at 2560x1440 on my nearly 3 year old midrange AMD card with a 6 year old CPU.

Also what's up with kids these days not setting textures to potato mode to eke out the last FPS, like we did with Quake? :P
> Any time somebody already planned to replace their car and chooses electric over ICE is a win for the planet.

This is sadly not really true, especially in China, the biggest electric vehicle market, where most of the electricity is coal-generated. You end up with a car requiring more energy (e.g. more fossil fuels) to produce AND to run.

The situation is not very pretty in the USA yet either, but if you are hopeful in the next decade that the USA will decarbonate their electricity, then maybe you will get a positive return on GHG emissions over your car lifetime.

Electric cars as a means to reduce GHG emissions todaly only make real sense in specific countries with a low-emissions electricity profile, such as France and northern Europe (Sweden etc).
931 people have relocated to Estonia on startup visa
I think I'm about to say something that might be met with displeasure but I feel like it's a question I'd like to toss around anyways:

Is there really anything that bad about this message to the workforce? I feel like 95% of what was said is implied at other places and when that's the reality but it's never spoken of it would probably create an even higher level of anxiety? Maybe the more extended life of bigger and more dug in companies offer some sort of incentives or worker's rights that alleviate some of those anxieties?

I guess I feel like what's being said isn't surprising nor is it that remarkable, to me. What would be surprising or remarkable is if the message was: You don't have to work so hard, we're hiring 7% more people because we feel like it's a nice thing to do and regardless of our performance the failures of this company or the products we make will never be your (the workers) fault.

I'm sure everything I just said is stupid but, even if the message from Tesla rubs people the wrong way I somehow feel like the harsh truth might just be an OK pill to swallow compared to the, "Aren't you going at least buy me dinner before you... " type message / ethos that I see and have felt in corporate environments for decades?
If you can get emails every time you get an event, you could cease logging into Facebook and have them email you. Of course if they ever get rid of such emails that'd be pretty damn horrible. I always hear this about events, I guess I'm not in such a circle, every time I get invited to an event through Facebook it's never something I actually want to go to or people I want to hang out with. I try to only add people I don't mind seeing in real life, and mostly family.

There's only ever been like one event I was interested in and I just didn't have time to go to it, and it wasn't by any of my friends.

I feel like this is a cultural thing too, I'm Puerto Rican, and we just start calling everybody over the phone left and right when we have events. When I got married, my mom RSVP'd everyone over the phone practically.

I really want to see a social media type of site that does what G+ tried to do unrelated to any major social networking company (or advertising firm) that lets you have "circles" and have events, but somehow makes money without ads or selling anybody's data.

I have deleted Facebook before, so it doesn't phase me to stop logging on to it, I only keep it for family, but I may find myself replacing it with my own personal blog, and letting everybody know if they need me they can email me and my life updates will be on my personal blog instead.
Would Russia really have so few influential accounts that a loss of 75 could hurt them? I don't doubt the effect 75 accounts could have.

I do doubt the effect reducing Russian inventory of fake accounts by 75 could have.
Change that scenario just so slightly and I would bet that answers would significant change:

Do you think a dog owner would risk their own life (to varied degrees) to rescue a family dog if their house started burning?
Tiny animal carcasses found in buried Antarctic lake
There are ways to cut costs without layoffs and some companies choose to go that route. I think the point you are trying to make is that your employer will need to do what’s necessary to remain solvent. But that doesn’t automatically mean layoffs.

For example:

“We have a very skilled and competent work force and the last thing we want to do is lose them when we’re assuming this economy is going to come back,” said Craig Reider

https://www.nytimes.com/2008/12/22/business/22layoffs.html
Curated List of AI and Machine Learning Resources (2017)
The case that I have in mind assumes that you are an analyst who should know better, and was asked about… say, retention. You need a personal identifier in that table to match successive purchase by the same individual.

You can easily get your friend’s `user_id` because, well they share it on-line. If it is easy for me to take that 642819733 and find how much you spend, I can confront you and claim you are registered to more Slack channel than you have told me about. So it’s less “exfiltration” and more: some junior people are commonly given detailed data, for legitimate reasons, and you should make it hard for them to abuse it.

There are plenty of cases that I’ve been directly involved with where I was uncomfortable, but not sure I want to share them. I’ll just say this: Facebook analysts typically can type their own ID off the top of their head, and most know the ID of their close co-workers. I’ve never seen anything bad, but doing something bad felt a little too easy at times — and that _ease_ was a big deal.
People moving to more dense locations would solve that.
Possible explanation:
a navy ship runs on rotation of three watches, each in turn taking control of the ship for 8 hours. Thus a ship ought to have a crew of 3x the manpower needed to run it. So by "crewed with about 1.5X the number of sailors that were actually needed", GP means a very understaffed vessel.
I don't know those 2, but I like Sequel Pro and pgadmin.

And yeah, I found "data" and maybe reading the manual would even let me somehow get there quicker. Still, I don't remember ever working with Postgres (or Oracle) in whatever role or project and not needing the "data" view 10 times as often as the schemas or other stuff :)