skysight-inc/HackerNews huggingface dataset:
But you could continue working and only have to apply minor patches forward if you later find your starting point needed to be fixed.

You don't have to wait for CI, just create a new branch and continue your work as though CI passed, and your PR was accepted. If that comes true you don't need to worry much, just rebase and continue.

On the other hand if you find out you needed to make changes - do those on the branch you made those changes, and finish your PR/CI cycle. Then go to the new branch you continued work on and rebase, and continue.

Is there something I am missing?
So, uh, it's not clear what exactly people are expecting me to do here. Wire up my repo to my contractors temporarily (not even sure how I'd do that as i don't have access to their machines or filesystems) then detach when github is back (it's already back)?
A local account is still created and used to log into the machine.
I was actively engaged in the field in the late-nineties when AI was also five years around the corner. I’ve mostly lost interest since then, and the disappointment that is deep learning has only dulled my enthusiasm further (not that it hasn’t achieved some cool things, but it’s a long way from where we’d thought we’d be by now).
It's not even "just" about privacy. I find the idea that "preferences, password, and files are stored in the cloud and carry over to new devices" a bit unsettling in terms of security and trust.

I am reasonably convinced that Microsoft isn't snooping on me, not at a level of detail that would bother me anyway. I'm sure they have the tools to do so if they want, but I'm not an US citizen, not doing anything illegal, not involved in anything shady or uncomfortable for the US government or its allies (which includes my country, for that matter) -- I think it's unlikely enough that I'll ever be a target.

But.

Microsoft, and its cloud servers, are a really big target. It's the holy grail of ID theft. Do I trust Microsoft to safeguard my passwords, preferences and files against attacks, not just today, but over the next ten or twenty years, at a time when Windows isn't really the focus of their business anymore? I'm gonna say a pretty big no to that.

Even if I were convinced they had only good intentions (let's say they do) about this stuff, so did Yahoo, and LinkedIn, and Adobe and countless other vendors who eventually ended up with huge data breaches.

Do I have any guarantees that, twenty years from now, Microsoft's personal data storage systems won't give way, between budget cuts, incompetent management (twenty years is a long time, maybe Satya Nadella's successor is going to be worse than Steve Ballmer...), technical debt and increasing capabilities from malicious actors? Can I be sure that Microsoft is never going to lower their security standards? That they won't make any compromises that they aren't willing to do today, even, say, if they were on the verge of bankruptcy?

Granted, I have neither the budget, nor the security know-how that Microsoft does, but I'm not that big a target, either, nor do I store my data on systems that are accessible 24/7 from anywhere in the world. My passwords aren't too valuable -- for all the reasons that make me unimportant to Microsoft + a bunch of other ones (I'm not that rich, I'm not friends with any celebrity etc. etc.). The costs involved in getting access to my data remotely far outweigh any benefits -- which can't be said for Microsoft's treasure trove of personal data.
Is the current administration hostile to NASA?

Today, the President signed the Consolidated Appropriations Act of 2017, which funds the U.S. government for the remainder of the fiscal year. NASA received $19.65 billion—its best budget since 2010—and the Planetary Science Division saw its budget increase to $1.846 billion—its best budget in more than ten years.

http://www.planetary.org/blogs/casey-dreier/2017/fy2017-plan...
A kernel designed to run one and only one application in a virtualized env
I was so happy they had finally gone native.

The disappointment is strong.

On a side note, SBlack, a lightweight slack client is very impressive on memory usage [1].

1. https://www.sblack.online/
In America, nothing is more sacred than cash.
So many words about an editor as a CEO? I would like to cite Peter Drucker‘s „The Effective Executive“:

„Effective executives focus on outward contribution. They gear their efforts to results rather than to work. They start out with the question, “What results are expected of me?” rather than with the work to be done, let alone with its techniques and tools.“

I am guilty myself falling in love with tools (Emacs, vim, iTerm, Notability, Evernote and whatnot). But I founded and led companies myself. The time budget of a manager is extremely tight. You need to cut back on those things that do not contribute to your key result areas.

On the other hand you have someone like Stephen Covey who reminds us to sharpen the saw to get better results (i.e. invest time in the infrastructure as well).

But I try to imagine an Elon Musk writing a blog post about how to use Vim effectively.
"My wife's Windows machine kept slowing down. I wanted to put an SSD in it but we didn't have the ability to do a reinstall on a new drive. So we put an SSD, more RAM, and Xubuntu on it. She's been smooth sailing for 6 months."

That probably has more to do with the hardware upgrade rather than the OS
Associated article: https://www.politico.com/story/2019/07/18/usda-official-clim...

(found via https://twitter.com/Revkin/status/1153140641406377985 )
I dunno, Google has made hugely important contributions to open source and the practice of software engineering in general. Would we have all that if it was purely government backed? Like Bell Labs, having an effective monopoly on a new tech product has spun off a ton of innovation for technology in general.
The Startup Internship
Can people stop with the "it's working" or "it's not" - because there is intermittent / unevenly distributed failures. Still have some pages not loading for me.
> Code review I do using local tools (the editor) face to face, again not sure you need an online service for that unless you're a larger company with lots of developers coordinating (in which case it becomes pretty essential).

I mostly like online code review services because they offer an audit trail and semantic history that's easier to navigate than email. And of course, to let CI automation check tests, coverage and lint. Not because I don't trust my coworkers, but because otherwise I would forget to run tests and lint myself.
(Quoting a comment I made on another thread)

Some critics speculated that one way out for Hong Kong is for her to be integrated into Taiwan, and then get transitive protection by the United States.

The handover of Hong Kong from Britain to China in 1997 in based on the 1984 Sino-British Joint Declaration, which China declares is merely historical and no longer holds any “practical significance.” [1]

Note that Hong Kong was given to the Britain by three treaties in the 19th century (1842 Treaty of Nanking, 1860 Convention of Peking, 1898 The Second Convention of Peking), and the true copies of all treaties are in the hand of Taiwan, which were brought to Taiwan by the KMT government during its retreat to Taiwan before 1950.

So if the 1984 Sino-British Joint Declaration, the declaration behind the handover of Hong Kong from Britain to China, is revoked (partly because CCP declares it invalid), Britain might declare that Hong Kong should return to the holder of the three treaties–Taiwan.

Extremely unlikely, but arguably has legal justification.

As a side note, Hong Kong and Taiwan are the two main places sharing the use of traditional Chinese characters (besides Macau), and Taiwan has a good track record of respecting sub-languages of spoken Chinese (not just use Mandarin), so culturally they share a lot. And they also value democracy, freedom, and rule of law as core values, so ignoring geopolitics their integration is plausible.

[1]: https://www.theatlantic.com/international/archive/2019/07/br...
Because we forget how to let go of all this work stuff and get sucked into it. There is a life out there too. some one us can balance, some find it hard. this is an opportunity to just pause for a few minutes. Mentally pause.
I actually would have loved to switch to Android but unlike you, really don’t like the UI, which I find unpolished, and customization useful but not worth the risk of using android devices to begin with. And I definitely don’t trust Google (not using any of their services, except search via StartPage and YouTube in an isolated tab). I think Android has such a bad reputation by now in terms of privacy and risks, I will probably stick with iOS until something new, and preferably open source, comes along.
I strongly disagree with any one nation, but especially India, intervening in this situation. Firstly, what is the actual support that is being provided? Sanctions would do nothing to China, except maybe the EU and/ or the US. Military support, in any form, would explode the region into WW3. Secondly, India and China already have some significant animosity; India supporting HK would royally piss off mainland China. Also, I cannot see India's benefiting the HK resistance; mainland China will never surrender control of HK.

Overall, I am super pessimistic about HK; unless mainland China experiences a similar scale of unrest, HK will become just another mainland city.
>we are not even close to achieving insect-level intelligence

Then again I don't know many insects that drive cars, beat the champions at chess and go or similar.
I wish it worked it self out with community patches - more likely is a github mega issue, with people suggesting their forks as solutions if the original maintainer doesn't reply for 24 hours, or during the UTC+8 9am-5pm window.
It's so exciting that thanks to GDPR we are now seeing innovate analytics solutions that respect privacy.
Well done! I'm taking a course on SAT solvers [1], but it uses some lisp format and lets you input from a richer language (e.g. distinct, if-then-else, plus integers rather than just booleans), so I had to look up the conjunctive normal format in your app. The readme for this repo [2] sent me here [3]. Pretty simple format.

I love how fast your app is!

[1] https://www.coursera.org/learn/automated-reasoning-sat/

[2] https://github.com/msoos/cryptominisat

[3] http://www.satcompetition.org/2009/format-benchmarks2009.htm...
There's generally a lip on the overhead storage locker thingies, and they're definitely load bearing.
It has very advanced production tooling, several orders of magnitude more complex than we have.

We WILL get to there. But we are not close.

3D nanometer-scale lithography of arbitrary materials is pretty wild.
> In reality it has nothing to do with fairness

Well, yes, when I argued against the idea it was fair without also arguing against the clear fact that it occurs, I was rather clearly saying that the fact that it occurs has nothing to do with fairness.

> it's a result of real market conditions

Yes, specifically, the absence of robust competition for remote labor of the precise kinds Gitlab is buying is the “real market condition” that allows them to do this kind of segmentation.

Ironically, the more attention (and copycats) all-remote firms like Gitlab get, the less viable this cost-saving tactic will be, provided that they don't involve in illegal (in many jurisdictions) joint cooperation to limit wages of the type that, unfortunately, tech firms have engaged in in local markets in the past.
Kennedy himself had doubts about the cost as soon as the day after the speech! It was an immensely expensive programme which just managed to achieve its objectives. Had the objective been "build a permanent base" the cost would not have been palatable. It was barely tolerable to people as a one-off race to achieve a particular objective.
Trump is cracking down on China. Now UC campuses are paying the price
This looks very good and a fit for my end users who deal with excel files all the time. Is there any plans to add Excel as a datasource? Cannot convert to CSV without major pain since excel files are exports from mainframe apps which are out of my control. Thanks
It's funny I thought pi-hole was somehow blocking github, but dig returned good responses.

dig raw.githubusercontent.com +noall +answer 0 < 12:54:48

; <<>> DiG 9.14.3 <<>> raw.githubusercontent.com +noall +answer
;; global options: +cmd
raw.githubusercontent.com. 6 IN CNAME github.map.fastly.net.
github.map.fastly.net. 19 IN A 151.101.20.133

Naturally the first thing I did was check here and nothing was posted. After 20-minutes of TSing I thought it was DNSSec screwing up as after disabling it everything works.

And now I come back here and see this.. :D
How to Build a Xylophone App with Audio API, React Native, and Expo
A single repo can have many remotes. Adding additional remotes does not prevent you from also using old remotes, nor do you ever have to remove a remote that you intend on using again in the future.

Obviously it's a moot point for you now, but getting comfortable with how git remotes works is something that could pay dividends for you in the future.
As another lazy loading hater, I think that's a good thing. If a website wants to use lazy loading, it should be handled by the browser, rather than using a custom JavaScript code that the webpage requests. There being one universal method means that there is only one setting that I need to disable to avoid lazy loading. Currently I use a userscript based on heuristics to load all lazy-loading images, but it often doesn't work, as websites use a wide variety of methods to implement it.

Also, incorporating lazy loading into the browser would make NoScript viable in far more websites. Most of the time the only reason why I consider enabling JavaScript for a website is to view lazy-loading images, everything else works good enough (or better) without JavaScript. With lazy loading being done by the browser, almost no website I come across would have this problem, unless they choose to intentionally break without Javascript. Of course, this wouldn't be a problem in the first place without lazy loading, but alas, here we are, with most websites using it.
Author here - I'm anything but a UI/UX person, as you can tell. I built this because I wanted a tool for myself and to play around with making the pipeline closer to production-quality (it's not - it runs in my basement on a few GPUs and a good hug will probably knock it down, but it was fun to work on). Would love suggestions all around!
Yes, exactly. Here's an example for a repository hosted on my server and in Keybase Git. Pulls / Fetches will use the repository on my server. Pushes go to both.

[timwolla@/s/xxx (master)]g remote show origin
* remote origin
Fetch URL: git@git.example.com:xxx.git
Push URL: git@git.example.com:xxx.git
Push URL: keybase://private/timwolla/xxx
HEAD branch: master
Remote branch:
master tracked
Local branch configured for 'git pull':
master merges with remote master
Local ref configured for 'git push':
master pushes to master (up to date)
No, Linux is the kernel. What you're referring to is etc.
India has launched an ambitious mission to the Moon
I'm definitely in agreement with you here; it bothers me a bit to see an instructable or similar where one of the essential requirements always seems to be a 3D printer. It's always a breath of fresh air when that isn't true.

In many, many cases, most things done by "makers" can be done without 3D printing anything, and be more accessible to others. I can understand needing or using one when you need something custom to fit or retrofit into an existing commercial product. Even there, with a bit of thinking, one can generally come up with a solution where a 3D printer isn't needed.

I'm starting to see this same kind of attitude creep into laser cutters - projects that seem to think everyone has access to one, when that isn't necessarily true. For instance, I know where I could go to get access to one (and 3D printers, etc) - but it would be about a 50 mile drive for me. Far enough where I would seriously consider other alternatives.

I do have to say, though, that the 3D printer (and other CNC tools commonly used by the maker community) has allowed for a lot of people who may not have the dexterity or other related abilities the chance to design and build some fantastic creations. Furthermore, there are more than a few things that just couldn't be done any other way (or at least as cheaply or quickly). There is also the nice idea that (at least in theory) one can take those same files and use them with other CNC processes. In the case of laser cutters, if you can print the files full-sized, you can even cut them out manually with a coping saw or other more "manual" tooling.
Show HN: Stochastic processes and timeseris analysis in Brancher
"We acknowledge that nobody should ever rewrite from scratch... but after five years we're rewriting from scratch because we know better."
Assuming iOS 13 doesn’t kill the ability to distribute via Shortcuts JS or otherwise use it, are there any plans to reconcile it to ScPL?
AGI will the the worst thing that has ever happened to humanity. Even if you can’t see that, you can see that it has the potential to be very bad. I know this because OpenAI literature always stresses that AGI has to be guided and developed by the right people because the alternative is rather unpleasant. So essentially its a gamble and you know it. With everyone’s lives at stake. But instead of asking everyone whether or not they want to take that gamble, you go ahead and roll the dice anyway. Instead of trying to stifle the progress of AI you guys add fuel to the fire. Please work on something else.
I think you just have to look at the process and consider why is it being tedious. Is there anything specific humans do? Often there are many small decisions hidden in the checklist.

The second thing I would do would be to make sure that the automation happens in a "clean" environment, or at least, there is a clear boundary. Humans can adapt to changing conditions and have no issues to adapt the checklists where circumstances are a bit different.

IMHO the key part to creating automation is to make sure you operate in environment that you can fully control. You can avoid a lot of trouble with emulating the decisions that humans need to take if you just create environment where the machine doesn't have to make the decisions.
Ah, wonderful. We'll have animated, autoplaying 419 scams. We'll need Turing-complete spam filters, which will be exploited themselves. Just what we needed.

Edit: Wait a minute. Wouldn't these WebGL games need microtransaction ability? That's a must for any game company. Obviously we must be allowed to use the payment API in emails! So now the scams would be able to bill the user directly.
Why not supporting EL7? Is it that demanding? I am running dropbox on a docker container full of hacks and tweaks...
If "show-the-world" gets us all unified towards a common goal that also builds our science & tech chops, then I'll settle for that.
The other cynical view is that the moon program was really military.

As in, if the Soviets got to control the ultimate "higher ground", they could rule the world from it. Apollo made sure no one could control space, and we now have peace in space.

I kinda believe in this, though I don't know how historically verified it is. It's of course not what you ever say in your rousing speeches to the nation and the world!
The great thing about the original moon landing goal is that it was just about possible and the cost was just about tolerable.

If the original goal had been "land on Mars before 1980" rather than "land on the Moon before 1970", I do not think it would have happened.
I have multiple remotes already and know how they work. What I'm asking is, if github is down, and I don't have ssh or other access to my contractor's repo on their machine, what is my remote supposed to attach to?

Also, the additional effort to manage multiple remotes is entirely nontrivial.
How do we ensure OpenAI is still Open if they're exclusive with MSFT?
> We aren't loosing any sales over Linux

How would you know if you were?
How does this work? I thought Slack deprecated their IRC gateway; is this all API-based then?
This is a sort of "gambit" that doesn't work because it assumes that all religion is created by humans. But most religions claim they are handed down directly from God, so the point would be moot.

Of course anyone who thought their religion was made up by a human wouldn't really believe it. So this won't convince anyone either way.
If you manually rename a resource and refer to it by resource ID, I don't think ARM understands anything about it and assumes it's a new resource. That's just from using ARM, though, I don't know it's internals.

They are investing a good amount in ARM lately though. The vs code language server is pretty good and export template got much better
Out of curiosity

If your company is a for profit share company making inroads in this, then what is the point of donating money when the real progress seems to happens on the invested money looking for returns
I think what's missing in discussions over the death of the old web, is that people fundamentally want their work to be seen, or discovered. The weird web thrived when there weren't many websites out there, and discovery was as easy as being listed in a web directory like what Yahoo! had. You could "surf" them one by one like you can with cable TV.

That ended in the early 2000s as search engines prioritized their own news, sports and entertainment content (Yahoo and MSN especially) and the explosion of blogs made keeping sites in a directory totally un-scalable.

As others have said, the weird web exists on channels like Vine (rip), Youtube, TikTok etc, but the discovery UX is bad because there are so many people trying to show up on your home screen. So the result is most of the content is very standardized, because people want to be seen, and doing what's popular is the 'reliable' way of achieving it.
Parent commenter linked to their GitHub repo. Redash is open source under the terms of the two-clause BSD license. (Maybe they edited to add link, maybe you overlooked it?)
> the topic has been subject to overoptimism for decades now,

But so has every other big idea that went on to become reality, like planes (da Vinci was drawing designs for planes over 400 years before the first working ones).

> no one knows whether what they're doing is even on the right path towards AI

This is completely wrong. That would be like saying "no one knows if working on a wing is on the right path to flight".

Look at the way deep learning works. Look at the way the brain works. They share immense similarities. Some people say "neural nets" aren't like the brain, but that's not true--they are just trying to not over-exaggerate the differences which laymen commonly do. They are very similar.
I wonder if they increased their efforts after seeing VS Code (also a complex Electron app) run fast and memory-efficient.

Before VS Code everyone just accepted Electron's memory bloat, maybe slack even had plans to go fully native b/c no one thought it could be done properly.
I was expecting an informative discussion on the impact of producing/disposing/recycling Rechargeable vs Alkaline? Instead I just got, rechargeable = better.

My gut tells me rechargeable is better, but only if they are properly disposed/recycled 100% of the time. We don't need more heavy metals in our air/water from rechargeables being incinerated.

Any recommendations for chargers that don't require paired batteries? Some of my recent devices need batteries in 3's and 1's.