skysight-inc/HackerNews huggingface dataset:
No, the post is about people having to use real names to register to an ISP.

First, It's not new. Second, it's the same things in the USA and EU since as long as there were ISP.

There is really nothing about forbidding anonymous posts on the internet.
Elixir's built-in documentation and testing tools
Kubeless is going to suit you if you only need to run Python or Node.js code. OpenFaaS supports any binary / container for Windows or Linux as a serverless function along with some templates for common languages. This blog post raises some concerns around Kubeless and competition - http://www.devoperandi.com/kubernetes-faas-options-part-1/
i remember visiting cybercafes in China 13 years ago and half of the guys were watching streaming porn. And not hiding.
How to overcome Business Intelligence myths?
Selenium IDE for Chrome (open-source, unofficial)
I am looking at it from the standpoint that eventually some taxing authority will start the snowball by taxing any service based on perceived value or such. never under estimate a governments desire for revenue.

most likely an additional tax on the provider once their product is marked as a service. the users won't object because they won't be charged the cost, it would merely get passed on to investors and costs of advertising would increase to pay for it or more advertising would appear. embedded taxes are the easiest for governments to use, it puts the blame on the provider for the costs
Definitely start with the book I mentioned, it is by Edwin Brady, he leads the development of Idris. I am reading it right now and it is an enjoyable read :)
I have an install.sh in my dot-files repo - https://github.com/HashNuke/dot-files/blob/master/install.sh (no secrets in this repo). Works for both my macbook and online workstation.

Recently heard someone else's smarter idea. Put the dotfiles into a Dropbox dir and use symlinks. So updates auto-sync across computers.

[EDIT: I think it was Kenneth Reitz that tweeted about his Dropbox setup]
Anecdotally, I've met Chinese college students who thought of pornographic movies as "those Japanese videos".
Get a Wifi232 card when there's another run. They're wifi modems that connect via RS232 and provide a hayes command set interface.
An unlikely hurricane hero takes over chaotic Texas storm shelter
Other frameworks listed here have 350ms start time - OpenFaas is a number of times faster.

It also depends entirely on the disk storage, RAM generation & speed and CPU. Golang and Python are fastest. I am sure it could be further optimized for a given combination.

Tested on a Type 3 Packet Bare Metal host with latest Docker Swarm. Golang sample markdown function - 0.024s / 24ms. The NodeJS example called NodeInfo comes back in around 0.1s / 100ms for a round-trip. A bash built-in (cat) is 0.015s / 15ms. Python is similar to Golang for start time.
A list of apps for advanced user without command line tools like pass (https://www.passwordstore.org/), vim, git... Seriously?
Why is engineering restricted to finding the most efficient way? That sounds straight out of the critiques of the Cult of Efficiency. In my opinion, Engineering is a process applicable to any goals, efficiency being just one possibility; hence I much prefer Wikipedia's definition:

Engineering is the application of mathematics, as well as scientific, economic, social, and practical knowledge to invent, innovate, design, build, maintain, research, and improve structures, machines, tools, systems, components, materials, processes, solutions, and organizations.
I like the idea that un-socializing flood risk pools might align incentives better... but my guess is that's not what would happen. Instead, by and large, people would estimate risk the way most humans do, which is to say "badly," and would value the premium money more than protection from events whose cycle is long enough that they seem like freak occurrences to some. If that's the case -- if that's been the case in the past -- then putting the government as the cause is putting the cart before the horse. It isn't that the market bent to the shape it's in because of the government, it's that the government adapted to the shape of the market and provided the socialized form of insurance that people were most amenable to.
Well South Korea also requires real name when posting on major websites. I wonder why nobody made a fuss about that when they did it many years ago.

https://en.m.wikipedia.org/wiki/Internet_censorship_in_South...
Also use Clean My Mac as part of SetApp bundle -- only positive experiences here.
Kick the tyres with this intro - https://github.com/alexellis/faas/blob/master/guide/deployme... and https://blog.alexellis.io/first-faas-python-function/
The 2600 actually had a simpler version of the 6502 called 6507. It had fewer address lines and could only handle 8KB.
"functions as a service"? Is it what it sounds like?

Why?
How to lag compensate Java/Libgdx game?
You have to wonder, how many of them would be doing this (or any other "crazy" thing) if there were no cameras, no YouTube, Facebook, or Instagram Live, etc.?
Eh, I've seen more old fashioned looking company websites. At least it seems easy to navigate rather than a whole giant list of random elements scattered all over the place like Yvette's Bridal Formal or the likes.

https://www.reddit.com/r/InternetLegends/comments/2x0g0t/yve...
Current timestamp as qr-code to sync camera exif data
List of Top Sites Like Microworkers
Checkout the beginner tutorial I posted on this story and the CNCF demo / intro video which gives a good tour and overview - https://youtu.be/SwRjPiqpFTk?t=1m8s
In the context of the video where nuclear weapons are used in a war:

"It's pretty straight-forward and has been for decades: conventional forces go first; if you begin losing badly, then you pull the nuclear card to prevent any meaningful territorial losses; the war ends in some variation of a stalemate."

Exactly where have nuclear weapons used "for decades" in this way?
Hey - what's the dataset?
> anything other than lack of an advanced editor with live preview?

Nope, that's pretty much it. I just happen to forget the formatting of comments a lot =P I may help to make discussions better if the output of comments were easier to read, and making that easy would be a good "feature".
Members of Trump’s cybersecurity council resign in protest
New possible explanation for the Tabby's Star's dimming
It certainly has been tried, and it's ongoing.

E.g. in much of Europe you're not getting a driving licence without passing a first aid+CPR course, and every car must have a first aid kit and a fire extinguisher.

Also, I recall that USSR had mandatory civil defence courses in universities - so everyone with a college degree, no matter if it's medicine or math, will have had a full semester of disaster followup & related issues; didn't USA have something similar during the cold war?
Android Oreo Takes a Bite Out of Progressive Web Apps
The TechCrunch article doesn't say that, and the link to the translated article didn't work for me.

BUT, if you translate the regulation itself (http://www.cac.gov.cn/2017-08/25/c_1121541921.htm) it does appear that it outlaws forum posts by anonymous users:

These Provisions shall apply to the Internet forums within the territory of the People 's Republic of China. The term "Internet forum community service" as mentioned in these Provisions refers to the provision of interactive information publishing community platform in the form of forums, postings, communities and so on.

then

Article 8 Internet forum community service providers shall, in accordance with the principle of "backstage real name and front desk voluntarily", require the user to register the account through the authentication of the authenticity information and carry out the verification of the true identity information of the sponsor and the manager. Users do not provide real identity information, Internet forum community service providers shall not provide information dissemination services.

So yes, this does seem to require real name verification for forums.

(Also, Google Translate is a miracle of the age)
The TC article misses it. See https://news.ycombinator.com/item?id=15115808
Show HN: Zunzun.com re-activated
Can you explain what you mean? If you'd like more intro information checkout - https://blog.alexellis.io/introducing-functions-as-a-service...
Exactly. The FDA is a major impediment to progress. Often times treatments already approved in other jurisdictions get delayed for YEARS without good reason other than bureaucracy and paperwork.

I also hate the bs about how trial participants are taken advantage off - people can freely choose to participate. If the FDA really cared, they could just mandate that people are properly informed of risks, rarher than try to mandate that people aren't allowed to participate in trials.
It shows project description/plan/prototype. Any project should start with concept. I have already tried to implement it more than once in my real apps. I would like to make this useful for myself and for many people as a template, in which you do not need to spend a lot of time on the deployment and access to the environment. Another goal is to help beginners run an already-ready application with the implemented requirements of Kubernetes
The Floor Is Lava: Cute Puppy Mania
The floor is lava: Cute Puppy Mania is a simple childhood game specially designed for cute children’s and cute puppy lovers. This could mean climbing the furniture, jump from one table to another in the bedroom and eat sweets like donut in this adventure game.
Europe, totally won't agree. We are maybe not so big than others, specially the little country that are not part of the Europe, but we surpass all the others country.

U.S. can be better with time, but they will be weaker and weaker if they don't stop losing money. Don't forget that you owes me 19 188 102 400 000 $ even in 4000 years we still talk about the debt.
Some languages have immutable bindings too, where you only shadow previous bindings.
United States, Russia, China, India, Pakistan, France, North Korea...

They are "used" passively. Any country that has the ability to create a nuclear explosion is constantly using them as diplomatic leverage. Even if you don't detonate them, even if you don't talk about them directly, the capability alone shapes reality.
Imagine how much better the discussion would be on sites like Reddit if the default was Real Identity and some sections were anonymous. How much better Amazon reviews would be. The return of commment sections on major news articles (the shit show or sexist racist trolls would stop almost immediately if you faced real life consequences).

I wonder if there is a market for a verified Online Real Identity service that could be used to solve some of these cancerous corners of the internet that comes with anonymity.
This graphic is about equally NSFW as browsing this website while your boss walks in.
https://xkcd.com/1053/

https://hn.algolia.com/?query=ski.ihoc.net

In my opinion, I don't see it being a "repost" epidemic.

> But really, while a nice diversion, this page just doesn't feel like it deserves to be on the front page of HN anymore.

So hide it?

This is the first time I've ever seen it.
> The question is, how do we incorporate this extra information, C, in our problem, consisting of A and B, if we wish to refute Jennifer's claim of 'A => B' being True?

If you want an intuitive result (Jennifer's claim is false) why do you start with unintuitive preconditions (John will never leave by 4:55 pm.)? If you allow for the possibility that John might leave earlier, then Jennifer can easily be proven wrong by A being true and B still being false.

If you really only want to consider the case A = false, B = false, then you can somewhat counter "A => B" by noting that "A => not B" is also true. Both statements only give you additional information when A is true, in which case "A => B" is false and "A => not B" is true. If A is never true, neither tells you anything interesting.
Could I get a link to that blog of yours?
Show HN: Connect5 through Messenger
I don't know your specific set up so I don't want to come across as preachy but it's not generally good practice to have everyone using the same UID. I know for a fact we would fail our regular PCI and gambling commission audits if we did that but even for businesses that don't need that kind of regulation, sharing a UID means you're sharing passwords / private keys which seems a major security breach just waiting to happen (eg what happens when someone leaves the team?)
Facebook already requires many users to submit government ID scans, so... yeah, not so different after all.
As Prosecutors Submit Evidence, WannaCry Hero's Legal Fund Returns All Donations
It may be bad for you, but I'd suggest being careful about extrapolating from your personal preferences to the general case. I use about a dozen command line tools on mac regularly, and on top of that maybe a half a dozen gui apps regularly. Plus a browser of course. I'm fairly productive (although these things are hard to measure objectively) and I have no desire to have the bulk of those compressed onto another runtime in the browser.
Yeah, I might be wrong when saying that services are automatically enabled in Arch.

My understanding is that Void has xbps-src [1], [2] for installing packages from source code, and it is somewhat similar to AUR. Xbps-src package database is essencially a github repository, you clone it and use it to build and install packages for your system. I installed it and used only once to build some obscure video streaming program, which failed to compile, and I did not follow up to figure out why it failed.

[1] https://github.com/voidlinux/void-packages/blob/master/READM...

[2] https://wiki.voidlinux.eu/Xbps-src
Can you share your location +-300km ?
When I cover the topic, no one ever is confused by T -> F. For the others, I have an example (in the metalanguage, obviously).

Consider "if a number is prime then it isn't a perfect square." Should be true, right? If you can't split it then you can't split it into equal parts.

Now take the number to be 6. That suggests that F -> T should evaluate to T.

Take the number to be 4. That suggests F -> F is T.

And 3 suggests what to do with T -> T.
You might, I might, but how many others will? A vast number of users can't. Just as many simply won't, for any amount greater than zero (a point briefly alluded to in the article). At some point, the "network effect" breaks down, diminishing value even for the users who remain. Good, you say, so Facebook and Google collapse into the same ruin as AOL and Geocities and all the rest? Perhaps, but the billions of users and advertisers and employees/suppliers who currently get some sort of value from the system might not agree.

Also, the advertisers will still be advertising at you, BTW. They'll just be doing it with even less information about what ads might actually interest you. They'll be finding other ways to make sure their ads stay in front of your oh-so-valuable eyeballs. There'd be a lot more "sit through this damn video before we deliver content" all across the web. I for one would not be grateful for that.
There's a second series of Top of The Lake, it finished airing in the UK last week, it's definitely current. Apparently coming to the states next month.
This is about all websites, not just "major ones", at least that is my understand from the article on TC.
> I'd also like to be able to specify my own braces to construct my own type as a shorthand, that'd be great DSL

That's the purpose of readtables in Common Lisp, defining custom readers for converting external representation to internal ones.
If I do not have fiber or my ISP is having a bad day, using my phone G4 as a personal Hotspot I get some 80 ms. I use USB instead of wifi to save 5ms. To save some money, I shutdown the AWS instance when I do not need it because it starts up in seconds.

For web browsing I often use the local browser because with Macs swiching the current desktop is just a key stroke away (which is not the case for W10 if one of those desktops is the RDP client.
A collection of radio communications that I'm using to study propagation. You can download most of the data here:

http://wsprnet.org/drupal/

And

http://www.reversebeacon.net/main.php

I also included PSKReporter in my dataset but the owner doesn't include public download options for that.

I've got this database set up on a PC on my bosses desk and no one at my University thinks new hardware is a priority. You get supplies by scrounging at colleges.
I know, and I use and like Telegram. But the result of optional end-to-end encryption is that most people don't use it. The whole idea of WhatsApp and Signal is to encrypt everything end-to-end to defeat mass surveillance.
Show HN: OctoCSS, Minimalistic “Fork Me on GitHub.”
"A while" being "two decades"
Writing Scalable React Apps with the Component Folder Pattern
as long as the set of 'major ones' remains dynamic, it doesn't matter which one gets censored. Make sense?
Trump Cybersecurity Advisers Resign in 'Moral' Protest – Defense One
It is easy to become jaded by the monetary or social aspects. But the technology in Snapchat is pretty staggering really. I felt a sense of wonder when I first saw filters that I have not felt about any technology for years. But it is just a toy for kids, obviously.
I'm not sure. Some subreddits cover pretty private stuff, like coping with disorders, or recreational drugs. These wouldn't exist without anonymous posting.
Here's an example of how Netflix makes use of FaaS: https://www.youtube.com/watch?v=hU25CIRPIJo
>>the shit show or sexist racist trolls would stop almost immediately if you faced real life consequences

Facebook comments don't seem to stop these. I'm shocked at what people post under their real name with a social media link handy.
Monty Python is inconsistent. (Even then, it was low budget time constrained stuff) Some of it still stands up, some of it is pretty offensive racial stereotype humor. I'll hold up the Argument Clinic as part of the good, and just point to the blackface in the Australian Philosophers and songs like `Don't Ever be Rude to an Arab` and `I like Chinese` for the bits that won't make it now.
Amazon Just Announced How It's Changing Whole Foods. It All Starts on Monday
In a live-coding session, how does the existing, running code knows that it should look at the new variables instead of the old ones?
The DevOps Checklist,Docker,SaltStack,AWS,Becoming a DevOps Pro and DevOps Books
> I'd gladly pay $5 even per month for Facebook or Google if only they treated me as a customer instead of the product.

If you paid them you'd just be the customer AND the product. There's no way they will not exploit your data.
Creating Web Components with Glimmer
Plenty of people are happy to post horrible abuse under their own names, including in national newpapers. Like Katie "final solution " Hopkins.

The problem is that social reprisals depend on social status; part of privilege is being able to post abuse without adverse consequences.
Wheelchair Deathmatch. Sounds fun, I would totally play that in VR.
I would love for this to be true, but unfortunately the migrant crisis showed that on one side some people are perfectly fine with posting hateful comments under their real name, and on the other they usually don't face any real consequences for that.
Yea, the actual process of connecting is solved, however, it would be cool if there was actually a service, sort of the old BBS, for these old machines, something scaled to their cpu and memory requirements, you will never be able to load even a stripped down web page
> but the requirement of some people (workers) to sell labour-power to landowners

There is no such requirement. Nobody is being slaved/forced to work (and if they are it's illegal) with anyone. And that's not what Free Trade is about at all.
If you can shadow previous bindings then that would also cause no problem for repl re-usage, unless the shadowing syntax is different to the binding syntax.

Either way, unrelated to the point in the article about the advantage of immutable values for repl, not immutable bindings.

I would certainly agree that truly immutable bindings would be at best quite a stumbling block for repls, but so far no one was advocating for them as a good repl feature.
It's a good article but nothing new. There are a million blog posts just like this by people frustrated with React.

If you want to change people's behavior, you have to address them at an instinctive, emotional level, not a logical level. React attracted people because it was new and shiny, and it had the prestigious "Facebook" label on it.

Most front-end developers don't have any ownership stake in the projects they are hired to work on, so they couldn't give two hoots about the legal ramifications of React. All they're thinking is, "I'm as amazing as Facebook now."
Is your point that S.Korea does it, so it's OK? Or that we're all a bunch of hypocrites and shouldn't comment?

This sounds like whataboutism - if you follow the link and read the wikipedia page, it seems like lots of people made lots of fuss about it, including the United Nations, EFF, S.Korean press etc.
It's not much of a style. I have to guess her audience has low exposure to literature.
I have no dog in this race, but...

> the top-to-bottom branching is really jarring

What do you mean? From what I've seen from skimming the first few chapters, it uses 100% standard natural deduction proof trees. How would you present the proofs?

(The "linear format" is indeed ugly, but it doesn't seem to be meant for human consumption.)

> I've only seen it used in Type Theory and λ-calculus books

That's the point of the Curry-Howard isomorphism: It's all the same thing. It makes sense to use the same notation.
Fair point. The counter argument is there is no work around when Bob gets banned from CNN for constant racism. He can't create another account and start up again.

The service could have cleaned itself up instead of being removed.
Perhaps because they are more civically minded, and want what is best for their society and not necessarily individuals.
When you buy a house in a town there's some chance you may spend the rest of your life there. Even if the risk really is 1/1000 per year, it's still N/1000 per house.

And the risk may be higher than 1/1000 per year given how much motivation is out there to understate the risk and say that nobody could have seen this coming.
Sorry I didn't explain my "eclipse veteran" terminology, I just meant that I've experienced one total eclipse, traveled to see another but got clouded out :-( and have done quite a bit of study into how to view them safely.

I viewed the 1979 total eclipse with unfiltered binoculars, and it was an awesome sight - truly an experience of a lifetime.

Alas, I didn't get to travel to the path of totality for this year's eclipse, but I viewed the partial eclipse from home with binoculars - of course this time with professional quality solar filters covering the front! Several of the neighbors stopped by to take a look.

Back to your comment about the protective glasses, I can only speak for myself: I didn't use them at all in the 1979 eclipse. I'd seen partial eclipses before - they happen fairly often and you can see them from a wide area. What I traveled to Oregon for was totality.

So I and the other people on the hillside with me simply ignored the partial eclipse. During the first partial phase we put on our sunglasses and looked away from the sun, waiting for the interesting effects that would happen on the ground as the moon's shadow approached.

Then when it became total, we turned around, took off our sunglasses, picked up our binoculars if we had them, and viewed the solar corona directly.