skysight-inc/HackerNews huggingface dataset:
That accusation doesn't hold up at all when we look at the data. Indeed you could easily know that for yourself by looking at the histories of most HN accounts that post on the topic. The "50 Cent Party" didn't show up in 2014 to argue about Emacs so they could astroturf HN today. (I'm making that example up, but it's typical.)

This is really just a cheap shot, and there's a site guideline that specifically asks you not to: "Please don't impute astroturfing or shillage. That degrades discussion and is usually mistaken. If you're worried about it, email us and we'll look at the data."

What's true is: (1) HN users are divided on divisive topics, such as political questions surrounding China, so opposing views naturally show up here; and (2) HN commenters need to post substantively, avoid flamewars, and follow the rules at https://news.ycombinator.com/newsguidelines.html.
not sure why this was downvoted, a Cantenna [0] was originally created with a pringles can.

[0] https://en.wikipedia.org/wiki/Cantenna
45mph is a heck of an achievement, that's near my top speed down a 10% gradient!
Sure, but I'd expect a paid web developer to be aware of the statelessness of http to begin with, and also to rely on testing to get any form of guarantee of any kind.

What I find ironic is that creating the illusion of state in php is an absolute pain without a framework, which again applies to most language/server combos I've tried.
i'm surprised you didn't add cryptocurrencies in the mix
C++'s method is certainly a practical way to limit expansion on inductively defined data types. I think a better way would be to construct a type system _opposite_ of most constructed today (which focus on the ability to express problems) and instead intentionally limit the types we are able to construct to those with "easy to use" and computationally efficient properties.

Consider this sample. We want to be able to define inductive types such as `List(T)`, but not `InfiniteList(T)` or `BigArray(T)`. While `BigArray(T)` is an interesting construct (it's effectively a dependent type)* it jumps past the "can I keep it in my head" smell test for me. As soon as a I have to reason deeply about what a type constructor does it just doesn't feel like Go to me.

So we want to be able to construct types which are inductive but can only calculate a single type. List{T} calculates one type, BigArray calculates _n_ types, and InfiniteList calculates an infinite number of types.

* In Idris one would write something like:

data BigArray : (n : Nat) -> (l : List m) -> Type where
Z l : Vect Z v
n l : Vect n l
Could you describe what precisely you mean by antigravity?
In the UK and paying a monthly National Insurance tax:

About 5 years ago, I had 6 weeks in hospital, a total of 3 angiograms, one MRI scan...and then 5 stents (should have been 4, but they tore something and had to put in a covered one!).

The wait was mainly down to an unfortunate series of events: One stent was needed in a 'tricky' place and so I was timetabled to be operated on by a specialist surgeon elsewhere, but his father fell seriously ill so he went on leave. My first op was rebooked for another hospital...and they had a 'flu outbreak so ops were postponed. Eventually I was booked in elsewhere had a one hour ambulance transport ride for 'third time lucky'.

The stents were fitted in two separate operations about two weeks apart. The most notable expense I incurred was for data top-ups on my cellphone because hospital wifi was still being setup and hadn't quite made it to my ward.

The NHS gets a lot of flak, and it's by no means perfect, but it's generally there for you when you really need it.

PS: I'm on a slew of meds for my heart condition and T2 diabetes - all free at the point of collection.
I would create or use a style file which would redefine standard macros to apply the desired styling.
>> Already, the training infrastructure used to teach the OpenAI Five — a system called Rapid — is being turned to other projects. OpenAI has used it to teach robot hands to manipulate objects with new levels of human-like dexterity, for example. As always with AI, there are limitations, and Rapid isn’t some do-everything algorithm.

Oh, yes, indeed, there are limitations. The robot hand in question can only manipulate cubes and then only a specific kind of cube with standard dimensions, as far as it's possible to tell from all the demonstrations publicised by OpenAI. And, I'm guessing, if they had a robot hand able to play the yo-yo, they wouldn't hesitate to show it.
The point is that the NSA doesn't need to own Let's Encrypt to do that; they could use literally _any_ certificate authority.

Also there _is_ a third piece of the triforce; certificate transparency logs; and those would be very difficult to compromise without the certificate transparency monitors noticing.
These are the latest wargames instalments (you know, the Matthew Broderick kool-aid from his 1983 film and so on) and still in their infancy for optimising local, transient tactics behind the overall goal. AIs playing Civilization by Sid Meier vs themselves is fascinating enough and possibly useful for transfer learning here? At the very least, the weakest links in real mid-game situations coming from learned-led plans would be discovered. Apart of military uses of such studies and many other techniques giant corps masquerade behind emoticons and facial recognition apps, why not let the latest AIs play vs climate change, for example? It would be much more fun in general and possibly able to highlight the contribution of many impending agents humans can’t fathom already.
I wrote about it in the past if someone is interested in a tutorial: http://blog.christianperone.com/2015/08/googles-s2-geometry-...
Shit, a mobile DoS hub sounds like it would still be a good use case for the cops / FBI / DHS to "shut off" local internet.
Most companies sell your data even if you pay.
Were you peering? I'm under the impression that they would not use an ISP connection for individuals. Thus, you would have no ISP account on which to receive copyright infringement notices.
People die in places like what you have described, and that's why there are codes against it. A bed or sofa on fire is enough to turn that place into a combination gas chamber and oven. Rooms need more than one egress for redundancy, since fire and smoke in another room may block your normal transit.
> Many times when I don't find the results I am looking for, I subconsciously assume that google would be able to find them.

I've also been using DDG as a main search engine for a while and feel the similarly. Even more, for some queries I subconsciously assume that DDG won't find the result I want and resort to Google before I even search. Examples of such queries are complex programming questions etc.
So... fundamentally, encrypting data on the very same machine that retains the related keys, is tantamount to simply encoding the data in plaintext form without any real protection, yes?
If I have a conversation with you and you agree with everything I say, I learn nothing.

If we have a conversation and you reveal that my assumptions are wrong, I can go back, rethink everything, and come out with a stronger world view.

Basically, this experiment didn't tell scientists anything they didn't already know, or didn't prove them wrong--which might lead to newer, more interesting models that reveal more about the universe.
Brains are not computers, and brains were not the model for computers.

Formal logic and the Turing machine were the model for computers.

Turing and Church did not invent computers based on their careful study of human biology and physiology.
I recommend the LitterRobot. Life changing.
I do not like slack either.

that being said, get involved and get them in Matrix or IRC, not too difficult to enact change I think people could get in on it with appropriate leadership!

zulip looks interesting to me as well.
That might be true, but remember that MacKay's numbers assume 100% non-renewable energy. In reality, solar panel prices are dropping fast, and they'll likely make up a substantial portion of the energy supply. Solar energy captured with photovoltaic panels is solar energy that's not heating the earth directly, so the waste heat problem is much smaller. The same is true for all renewable sources, e.g. winds and tides heat the earth uselessly if we don't capture them.
For bikes replacing cars, you need flat paths to places you want to go (your home, shopping, work) not to places you go
to ride a bike.
In Amsterdam and Copenhagen alike, a lot of bikes are sort of community property, usually involuntarily.

I ride a reasonably nice bike for transport, which I keep well-maintained and always secure with two locks.

But most bikes I see are in a rather sorry state, with rusty dangling chains, wobbly wheels, flat tires and busted accessories. Yet they seem to still perform adequately well for their task.
An introduction to the Julia language, part 1
What an arrogant view. What danger were you in, almost getting hit by something with 4% your total mass, surrounded by airbags? Yes, that cyclist really deserves to die for scaring you like that.
It's new tech. It's not for you to keep in your closet. It's for hotels and arcades and parties and other such rental use cases.
Any recommendations on PCB fabs?
i'm sure the abstractions will increase out of necessity. it was just nice for once to warily peek into the code of a great product and see a single, well organized ~9k line file of small functions that I could follow with relative ease. best wishes on the new version!
I look forward to hearing your thoughts--feel free to email me directly: dane [at] envkey.com

All the crypto/security details are here btw: https://security.envkey.com/
Slightly off-topic and maybe this is just the way especially physics-related press releases and layman articles are written, but they tend to often have a part with "now that we have finally proven this, imagine what new research/flying cars this discovery will open up for us!"

The truth is there whether attempts are made to prove it or not. Also proving/disproving does not alter the fact. If you prove it to be true, great, but it was true already before. Now you just have the fact formalized on paper, so to say.

Now, couldn't one just make an educated assumption that some-particle-physics-problem has been already proven and then see what new things can are made possible with this assumption.

And then try some low hanging fruit enabled by this "virtually proven" assumption. Any success would indirectly prove the assumption, too, or at least give strong evidence in favor. Also, it might make interesting discoveries happen faster.
Maybe the Netflix crowd is more into TV shows. They have/had a decent selection of shows from the 80s and 90s: Cheers, Bob Ross, Friends, Full House, 3rd Rock. Which suggests that the person you're replying to is onto something.
I work for a CDN, but am not a networking expert. I will try to answer as best I can:

Yes, it is a physical location. Often called 'an exchange', there is usually a building in major cities that most networks connect together at. You rent from the building owner, and they provide a 'drop' which is basically a cable you can connect to your core router in your part of the datacenter you are renting (your 'rack' or 'cage')

From that point, you set up BGP sessions with your 'peers', other networks you have agreements with. Sometimes those agreements are for 'transit' (which means you pay per bit sent across the wire, but you can send all your traffic that way) or they are peers you don't pay (you might have other agreements, like we only send this much traffic or that hte inbound and outbound traffic has to match)

According to that peering link from the above poster, these guys will peer with anyone. They basically want as many peers as possible, and are hoping those peers agree to route as much of the internet as possible.

The way BGP works is that each side of the BGP session tells the other 'i will accept and route traffic for these subnets', for example "i will accept packets destined to any IP address in the 1.2.3.240/24 space" The /24 is what is known as a CIDR, and is a way of writing "all the ips between 1.2.3.0 and 1.2.3.255", 256 IP addresses.

So if the core router on my side gets a packet from my network destined to 1.2.3.123, I could send that packet on to the peer who is advertising that they will accept packets destined to 1.2.3.240/24. You need to have a peer for every IP address to be fully connected to the internet. If you don't, you would normally pay for transit, which will route for all IPs.
I’d roll my eyes. It’d take a month just to onboard you, and then I’d have to go through the miserable hiring process (which eats tons of time I don’t have and takes long enough that I should probably start on your first day of work) to replace you. Consider looking for contract work if you want short-term gigs.
It’s not the heat it’s the humility.
6 years, 35 minutes ride for me, admittedly mostly over a well-lit separate bike path, and most kids rode in groups of friends there. Only exception was when there was black ice on the road, then I took the bus. Strong side wind could be worse than rain, actually. Every country has its own way of building character. As we say in Dutch: we aren't made of sugar.
No government is "trustworthy". Singling out the one you don't like seems dodgy.
But the problem with Web Torrent is that the seeds go away when you close the tab, whereas with IPFS the page keeps getting seeded.
I'd be skeptical you get sufficient volume with just specialty uses.
Machine learning can control tsetse flies
Researchers have traced the most prominent way the Higgs particle decays
If you're implying that the Fed can rig official inflation rates, that's not really true. The bond markets would treat inflation-rate fibbing as a quasi-default, so the Fed has more to lose than gain from doing this.
Sure, but that would still leave the data open to the world. Not an alternative to TLS.
ConTeXt provides similar feature called [modes](http://wiki.contextgarden.net/Modes) and you can imitate it in LaTeX using the [comment](https://ctan.org/pkg/comment?lang=en) package
80f with 30% humidity = no problem. 80f with 70% humidity = hello no, won’t get used to that.
Temperatures over 105°F/40°C can be deadly for some people. Hydration is just one of several factors that affect how much heat the human body can handle. As far as I know, a reasonably healthy person with hydration and shelter wouldn't die from the heat alone anywhere on earth. But people often can and do die during heatwaves in many parts of the world.
The other thing is that Europe doesn't have nearly as many huge SUVs as America. Helps a ton with visibility, driver awareness, braking speed, and less momentum in collisions.
Also,

riot.im

Mattermost

Zulip

Wire

Rocket.chat

and more here:
https://alternativeto.net/software/slack/
> Ethics of that aside, it hasn't been working. Obama and Bill Clinton won on thinking and inclusiveness.

Clinton and Obama received almost exactly the same criticism that you've made here of (presumably, you haven't actually named a target except by vague implication) current Democrats, by both those outside the party and some of their critics within the party. Sure, it wasn't well-founded, but it was no less well-founded than your criticism.
I don't think it's a bad thing either. It gives DDG a very clear signal so that they can improve: "you are not giving me the results I want for these queries". For most other search engines people just switch.
Quantum computer simulates two types of bizarre materials
Great, another metric-supremacist jumping up out of nowhere to bash non-metric units.

Listen, the metric system had some great ideas - using only one metric for all spatial divisions is one - but you got ahead of yourself, got half-assed, and have this insane obsession with a useless scaling factor (10).

The meter isn't bad; it's basically a yard. But then you went crazy and tried to related all of your measurements to the Earth, which is just this unnecessary obsession that has no actual intrinsic value. Why is it important that a unit volume of water have a unit mass of weight? Why is it important that there be an even 100 degrees between the freezing and boiling points of water? It's not! You could have chosen any arbitrary weight and temperature baselines and it would have been basically the same.

And then you did a shit job of it! The density of water is 0.997 g/ml! Measuring the Earth to determine the meter was silly all along, and you ended up redefining the triple point of water to 0.01 degree Celsius because it was too hard to fix the discrepancy by then! You started off with these supposedly noble goals, and then got half-assed because it was too hard to correct your earlier mistakes. Sound familiar?

Meanwhile, you've abandoned the archaic units of measure's reliance on powers of two to fetishise powers of ten! (On a computer programming forum, how can you defend this?) Common units are littered in powers of two because factors of two and four make for really convenient subdivisions. Four cups in a quart, four quarts in a gallon, those are very useful subdivisions. Eight furlongs in a mile, sixteen ounces in a pound. Binary divisions produce very useful natural units at human scales. Decimal divisions let an idiot multiply one number by a very large powers of ten easily. Which do you think is really more important?
People are surprised when I tell them I simply refused the 3k dollar (after insurance) couple hour hospital bill for having the flu. They couldn't tell me why two tylenols, a saline drip, and a prescription cost that much. (I was vomiting blood which is why I was taken in).

They ended up dropping the bill altogether as insurance had already paid them.
> These crime statistics are often being used to push a racist agenda

I agree in part. I don't think the agenda matters though. You shouldn't be banned for sharing facts.

> private entities are under no obligation to be a platform for that.

Of course, but is 'agenda pushing' on a public forum really a surprise? And why can some types of agendas be pushed and not others?

Whether you agree with what's being shared is irrelevant - the point is there should be fairness and consistency when implementing policy. That has not always been the case.

> Picking one statement, using it to decide she's crazy, and then using the opinion that she's crazy to dismiss everything else starts to get close to being an ad hominem.

Sure but if somebody believes that merely posting on Twitter promotes white supremacy, it signals that they're slightly hyperbolic and so should be taken with a pinch of salt.
Development is definitely ongoing! The high-level changelog is at https://changelog.reviewable.io/ and you can get more granular updates via https://groups.google.com/forum/#!forum/reviewable-enterpris... (though these releases usually go out a few weeks after the respective changes hit reviewable.io).

Not sure what you mean about putting state in the repo. It's possible of course since you can stuff anything in there, but what would be the advantage? It wouldn't integrate with GitHub any better and it would throw away the real-time updates, queries, etc., available thanks to Firebase.
The bots might be running 5 instances of the software without communication, but they all have the same vision. It's probably better to think of it as one instance controlling 5 bots, since each instance can predict the others perfectly.
A question on generics from the docs

if the declaration is

func Keys(type K, V)(m map[K]V) []K

why do we need to call it like

keys := Keys(int, string)(map[int]string{1:"one", 2: "two"})

can't the types int and string be inferred from

Keys(map[int]string{1:"one", 2:"two"})
Hi Derek, I’ll be interested please drop me an email wesie.wesie@yahoo.com
I have repeatedly offered to pay for hosting a standalone Matrix server for the Julia community, and so far been ignored. Seems like people just don't care.

I think the best I can do at this point is set up my own server running Matrix (or Zulip, which I haven't really explored) and host my own bridge to ease the transition. It's the classic problem where, now that I actually have money to spend, I don't have free time or infinite energy for side-projects anymore.
> Trivially disproven by UK's health care system

Not trivially? [1]

[1] https://www.theguardian.com/society/2017/jul/18/uk-cancer-su...
Florida Shooter Bought Guns Legally Despite Mental Illness
Show HN: Vania – Open edX scripting in fun way
Nowhere in this article is any mention of the weather so how can this be lies about the weather?

Anyway, firstly I've been cycling the half hour distance to work for about 20 years now and the number of times it rained is just a small percentage.
Secondly, you if possible you can time your usage of the bike according to the weather forecast.
Thirdly, we (the Dutch) always complain about everything. The weather included.
Still I wouldn't want to live anywhere else (for a long time).
I don't understand how Magic Leap thought this was worthwhile. Nor do I understand how TEDx thought it was an idea worth spreading.

Can anyone explain the logic behind it on both sides?
What exactly is Verizon's plan with your company if I may ask? Are they just looking to make money off of existing customers and the few good products they have, or are they going to try and make a move to become a serious silicon valley competitor?
A big problem with meshnet sofar is that it goes against the status quo, and it cut out the moneymakers and regulators, thus mesh nets have segment distances limited to ethernet and repeaters as well as where does physical infrastructure live? utility poles are owned by someone other than common people, and a trench transect for fibre is limited by property concerns...we need to develop a method of long hauling signals that wont be interfered with and will not interfere physically with anyone else...optical linkage works and has no palpable medium to be destroyed by hostile action. The bandwidth of a line of sight laser is very high, so high that it doesnt need to operate 24-7-364.25 of the year...if two or more LOS linked supernodes cache each other you win...if something gets in the way, point your LOS to a different LOS caching peer...
Not a chance at our 3-yr old startup. That's less than a summer project, and nobody expects much from summer interns. Maybe you haven't written highly async Go services in containers orchestrated by kubernetes. You would spent those two months just ramping up on our code base and customer issues just to be productive. And if by some miracle you actually produced production code, nobody wants the author of that code to immediately walk out the door. Experienced programmers understand that 80% of the cost is in the maintenance over the lifetime of the code. That is a lot easier to do if the author is still around.
Please don't take HN further into flamewar with grand nationalistic rhetoric. We're interested in specifics here, not loud generics.

https://news.ycombinator.com/newsguidelines.html
You might find construction with Durisol blocks interesting - the end result is an insulated concrete house but the construction process is manageable by one or two people. There's an interesting article covering the building of such a house here: https://edinkist.wordpress.com/diary-of-the-build/
Korean supermarkets, like H Mart & Lotte, all give me tears of joy. For many people of Asian heritage, these supermarkets offer rare but familiar tastes in the United States. This story reminds me that the meaning of it may be different for Koreans themselves.
> Also, if it reduces costs for the end consumer, what's the harm?

Less profit for the company.
Fake LinkedIn Recruiter Message Generator
I remain sceptical and feel reminded on the 3D-Displays in the late 90ies from 4D-Vision, later x3d and then opticality. 3D without glasses but no content (except some plugins for 3D-SW) to drive adoption.