skysight-inc/HackerNews huggingface dataset:
He's also a (literally) down-to-earth author who knows how to hold the reader's attention ... a fairly rare distinction. He won Pulitzer Prizes for General Nonfiction (for On Human Nature in 1979, and The Ants in 1991).
Free things are abused. Non-homeless people will swamp a free network with video streaming. Bandwidth limiting would need implemented, which make make the network useless for VoIP or streaming. But sure, if it's possible, I would love me some free internet!
How would you rewrite this? Unique checks the database for an existing value.

validate('title' => 'required|unique');

Laravel validation can accept a callback as well. Laravel offers a lot of helpful small improvements that speed up development overall.
That’s a good point. Maybe the temporary afterimage was the worst that could have happened to me.
Facebook's terms of services agreement that you must consent to in order to open or maintain your account. These are the rules not because Facebook says so, but because you say so when you agree to their terms.
This is not a "moon shot". The total cost of the entire Apollo program over 14 years was around 200 billion 2016 dollars.

The costs of reserving half the Earth's land and oceans will easily be in the trillions in terms of economic opportunity costs.

In addition, it will need to be defended. My guess is that much of the critical areas needed for this effort are inhabited or exploited by some of the poorest people in the world and they will desperately fight anyone who tries to take away their livelihood (witness for example the backlash of people in coal country to any attempt to curtail coal)

Given how humanity is not really doing much about climate change which in the next few decades will significantly affect humans directly and costs a fraction of what is being suggested here to mitigate, I have no hope that anything even resembling this will come to pass other than by someone forcibly conquering the world and then issuing a decree.
Further, if enough people refuse to accept that justification, you _can_ make a meaningful difference. Maybe can't stop it, but as the number of willing engineers goes down, the number of things that can be built in any given times goes down. This gives society and the law the time to take up with and process the implications of the technology.
Yeah sure, it wasn't just a soundbyte, explicitly picked because completely devoid of context it would offend everyone. There's something to hate for everyone in that line. Privacy advocates hate it, leftists hate it, rightists hate it, all for different reasons that mostly wouldn't apply to the post as a whole. Well, except the privacy argument.

The actual message of that post SHOULD be expressed as "we believe the advantages of having people interacting on social fora outweigh the problems" ...

a) is obviously true

b) is very, very different from the statement that was picked and spread

And, I might add, we are switching into a political climate where people can no longer safely express themselves for fear of the consequences of offending the "majority" opinion. (between quotes because ... well because Trump got elected. Even if that view is really majority it isn't majority by much, obviously)

What baffles me is that progressives actually seem to think that doing these attacks will further their cause. It is blindingly obvious that all these progressive efforts destroy what we stand for:

fake news, and making online fora censor themselves

anti-racism and especially the constant doxxing (and worse) instead of protecting and engaging people with these racist opinions (yes, protecting. really)

and the repression of economic reality. The news about it, the facts ...

I don't understand how any of these are progressive. And yet, the democratic party is at the core of all these efforts, and many progressives I know participate in them. The net effect of them is almost fascist.
I doubt that advertisers requesting to have all their information deleted (apart from tax relevant data) would be more successful.
Whoa this happens many times at my gym, though the wait drops part way up. Will be extra careful now!
Any thoughts on Mastodon[1][2]?

I think "federated" is the term for its model, moreso than "decentralized" (?).

[1] https://joinmastodon.org
[2] https://instances.social/list/old
Since they're using it internally to make facebook work, I'd say it's a core product and a lot of engineering efforts are being expended to make the company run better.

It just also happens to be something you can sell to others too.
> Using refcounts to get around an overly aggressive borrow checker seems to be an ugly developing pattern in rust

Every single large, "modern", C++ codebase I've worked with uses way more refcounts than is typical in Rust.

(and it's worse because C++ refcounting patterns involve more refcount churn due to how they're designed on the copy constructor, and shared_ptr uses atomics even when unnecessary. Though these large codebases tend to use a slightly different design that lets them decide atomicity per-type)
Sounds wonderful, but I nearly laughed out loud at how unrealistic it is in today's political climate. We can't even uphold our end of the Paris Agreement.
It's quickly approaching a 1.0 release, and from what I hear when that happens it's going to see a price bump as well.
I mean this proposal is sort of ridiculous. There is just no chance this is going to happen at all.

Stopping global warming is far less ambitious and we clearly can’t do that.
You can certainly negotiate with the driver. With tipping, drivers are generally happy to do a little bit extra (e.g. make the delivery) in exchange for a reasonable tip.
Googled, but couldn't find the cartoon that showed an alien family (looking every bit like Ward Cleaver's family) looking at the Pioneer plaque while one of the alien children says, "They look like us except they don't wear any clothes."

Maybe an old Scientific American or issue of OMNI magazine....
Are there any projects that use this? This is kind of what I'm looking for
I recall the distinction being made very clear on LiveJournal between "deleted" content vs "purged". I would be very surprised if they were not being forthright about this. Of course this was 10 years ago, before the Russian ownership. So I do have reason to believe that not all companies act in deceitful ways when it comes to retention of user data.
Rust allows you to take interior pointers to things (important for performance), which precludes the ability to move objects within memory at random. But for "memory-constrained" applications like embedded devices/microcontrollers, fragmentation isn't a problem in the first place because you often don't have a heap. For long-running programs that do have heaps, picking a modern memory allocator (jemalloc, tcmalloc, et al) will go a long way towards reducing fragmentation. And if you really need compaction, you could probably design a Rust library to provide it for certain types (though the operations it could provide would likely be restricted).
Why not just every day? Only use it as much as absolutely necessary (to communicate with people you wouldn't be able to reach otherwise) and use competitors instead. Even using FB owned companies (e.g. Whatsapp) would help. While FB still gets some data, they don't get contents (unlike FB messenger all chats are end-to-end encrypted) and most importantly no ad revenues. And lower revenues is what would truly change Facebook's policies.
What is the phenotype of the genes that increase chances of having children in industrialized society?
I like your project, but I'd like it more if it was accompanied by a video of the text being highlighted as it is being read (a kind of dual modality reading - visual + audio). I created such a tool for myself on MacOS with the Alex voice, that works in browsers on any page and in PDFs. I find dual modality reading to enhance my focus a lot. Btw, I use this tool to read this very thread of comments.

And of course I would want to hear the amazing Wavenet voices used in this role.
Maybe visibility:hidden too.
> where to hold state

Wherever it makes the most sense for the algorithms you want to implement.

> interactions between components

Again, driven by the needs of the algorithms, and, most importantly, their proofs of correctness.
Would it be possible for the EU to get an arrest warrant and extradite the creator to the EU?

Or if an extradition isn't possible, what if the creator goes on vacation to the EU, would the creator get arrested then?
None really for this one. They're not controlling the descent at all as far as anyone has been able to tell, there's just been a steady degradation of the orbit since it's last reboost years ago.
Whilst you could check the bill each month and do these calculations do you really want to spend anytime doing that for a server costing $3.50 a month? Anytime spent checking it is a false economy.
I find myself intentionally slowing down when completing forms in order to not appear too bot-like and be forced to complete a captcha.
I get a metamask (ETH Wallet) phishing warning on this site. Anyone else experience this?
(check-type foo string)

Does: it asserts the type of the place and throws a (restartable) error, giving the user a chance to fix the problematic value rather than bailing. I guess they don't really solve (1), but the stack trace that arises is a start.
Put differently: it would have been a moonshot three years ago. Today it's nothing more than a political statement.
You got down-voted because you dared to say that tax money gets wasted by bureaucrats. HN people worship government wealth redistribution programs and will never admit that they are often corrupt and wasteful.
As signatories of the Outer Space Treaty they should give a heads up to the international community, and are liable for any damage that's caused by this event even if they provide warning (but could probably get out of it with enough political double talk).

What's interesting to me is that China haven't officially admitted to losing control of the station, they have only admitting to lost telemetry- so we must rely on external sensors to track it. I suspect (but don't have any real information on why) that they are doing this to avoid some sort of admission of guilt in the event that it ends up hitting a populated area. I'm not entirely sure but admitting you lost control of an orbiting school bus might be seen similarly to a kid that accidentally breaks your window with a baseball- it wasn't intentional, but that kid is still paying for the window. If your window gets hit by something, but the kid never admits that it was his ball ("gee mister, I lost my ball yesterday but I'm pretty sure it didn't go in your backyard"), then maybe he can get away without paying for it.
Awesome post! I think a ton of people are coalescing on this idea - I’ve seen multiple people post thoughts around this very recently. I’m about to launch a distributed social network, built on ethereum and ipfs. Ethereum helps solve some of these distributed discovery issues. It includes an open source, centralized ‘gateway server’, which makes it a little easier for onboarding, plus it has built in support for ActivityPub out of the box, which makes it compatible with mastodon. I’m posting it here on Monday morning! Sorry for the self plug. I love your ideas around deleting content - that’s a tough problem that I’m only really supporting on the client side right now.
Wait until you go abroad and instead of saying "find the street signs" it says something in Japanese with no way of changing the language.
That's the right word.

(General note)

Federated is a bit different from decentralised. For example, email is federated, but not decentralised. In a federated network, if "your service providing server" is down (like gmail.com), then you don't have service, though others on other parts of the network would continue to have service. With a decent sized network, there is no "your service providing server" and other machines can take over when one fails. Decentralisation always goes along with redundancy whereas federation doesn't require redundancy.
Why would that be the good way to do it? Especially if that deletion action was behind a confirmation, or if the data was never recoverable by the user? At that point, just delete delete it.
Higher quality development jobs tend to use things other than PHP. I say this as a PHP developer. So there's at least that reason to get away from it.
Laravel has been around since 2011. PHP 7 is slow and continues to perform badly in all reasonably done comparisons:

https://www.techempower.com/benchmarks/

But even if both of your points were true, the point is to look at what is happening in other languages and frameworks. Every day you spend learning about PHP is a day that you are not learning about the languages that are really moving the industry forward to interesting new places. Ask yourself, honestly, how many interesting new ideas will you learn from studying PHP, versus the more versatile (as in more platforms, and also the frontend) languages such as Javascript/Node, or the more innovative such as Go or Rust or Clojure or R or Julia? And I'm not even mentioning the more experimental languages, such as Shen or Lux.
> This is to say, I don't think inference and gradual systems are necessarily at odds, but could potentially work together, although that doesn't happen today.

Type inference demands some rigidity in the type structure of a language. You must have the right amount of polymorphism: the STLC has too little, System F has too much. If you want both type operators and type synonyms, then operators can't be applied to partially applied synonyms [0], because higher-order unification is undecidable. If you want subtyping, you also have to do it in a certain way [1]. More generally, the type language must have a nice enough algebraic structure to make it feasible to solve systems of type (in)equations, because that's how inference works.

Your post contains a link to a paper [2] that contains the following passage:

> In this paper, we present a way to achieve efficient sound gradual typing. The core component of this approach is a nominal type system with run-time type information, which lets us verify assumptions about many large data structures with a single, quick check.

I have no way to confirm this claim at the moment, but it seems entirely reasonable. Checking structural types requires doing more work. But it is this very structure that makes type inference possible and useful.

So, yes, it seems that inference and gradual typing will be difficult to reconcile.

---

Footnotes:

[0] http://cstheory.stackexchange.com/questions/32260/ (I am the author of this stupid question.)

[1] http://news.ycombinator.com/item?id=13781467

[2] http://www.cs.cornell.edu/~ross/publications/nomalive/nomali...
"What to show" prioritization should mostly focus on the interest a reader (not the writer).

I, as a reader, want to see posts with recently deleted [or updated] comments.
>It was a tight-knit cult convinced of its mission to connect everyone

Did anyone ever really buy the "making the world a better place" kool aid?

Could you imagine if other companies were expected to act so grandiose and sanctimonious about their mission? Imagine a world where McDonalds bills itself as a crusader to make the world better fed.
We are working on hashcash.io - replacement for captcha. no more frustration to guess what google meant, just computer proof of work and you are good to go
I mean, it sounds like people have been confidently predicting the demise of academia for 25 years, and it has yet to happen. And I don’t know about you but it certainly seems like we have still been exponentiall since 94.
But we're not talking about space. We're talking about the earth's atmosphere.

The proportion of reflected light is called the "albedo", which ranges from a theoretical maximum of 1 (a perfect mirror, or a theoretical white surface with no absorption) to 0 (a theoretical "black body").

White clouds reflect a lot of the incoming sunlight (have a larger albedo). Light that strikes the ground from a clear sky causes more ground heating, which causes more air heating, which causes the atmosphere to expand.

ATW, the Earth's albedo can range from about 0.9 (fresh snow on the ground) to about 0.06 (open ocean). White clouds can approach about 0.8.

Edit: the height of the tropopause (the boundary between the troposphere and the stratosphere) varies from about 9 km (over the poles) to 17 km (over the equator) due largely to the greater temperature in equatorial regions. So that layer of the atmosphere, at least, is nearly twice as thick in warm regions than it is in cold regions. See:

https://en.wikipedia.org/wiki/Tropopause
Most of the things you listed are basically automated already.
I've had pretty bad tinnitus my whole life. In a perfectly quiet room it sounds deafeningly loud. I use a pink noise app in bed at night, but otherwise it doesn't really bother me. Point is, don't worry about it, your brain can adjust to anything and you'll be fine. As I understand it, tinnitus is only half physical damage anyway. The other half is neural. In my case I believe it's all neural.

At one point it got way worse for about a month, likely caused by stress. Freaked me out to the point of briefly having suicidal thoughts. Then I got used to it again.

TLDR try not to be anxious about it. Good luck :)
> It doesn't really have anything to do with clouds, though.

The expansion of the earth's atmosphere due to heating effects has very much to do with clouds.
> The costs of reserving half the Earth's land and oceans will easily be in the trillions in terms of economic opportunity costs.

That's not really that much money in the grand scheme of things, especially since the benefits would greatly outweigh the costs.
How large is a single camp that they'd need 11 APs? Couldn't you just have a few on poles? Why do 50 hotspots cost 300k? Are they rugged units bundled with GPS units and solar panels?
I use the Tor browser pretty frequently so I've gotten pretty good at these. It's much easier once you realize that there are three sources of data that determine correctness: basic computer vision, hurried/lazy humans, and a lot of bots. It's not about truth it's about following the crowd.

- Forget the slivers. If it's not more that 75% of the square forget about it.

- Anything not in the foreground might as well not exist.

- Poles != Signs If you saw pole sticking out of the ground you wouldn't call it a sign would you?

- It's not about whether it's a storefront, it's about whether it obviously looks like one. If you spend literally any time thinking about it it's a no.

- Mark the most prominent vehicle and skip everything else. Only mark a second vehicle if they're equally sized.
I don’t think we think that. Obviously, in the context of HN crowd, FB has no real credibility / ethical compass.
The speed of development, larger ecosystem, and the speed of php 7. Many problems have been solved in php that still exist those other communities.
I am thinking if the scientist in the article were comparing extinctions of recent years to mass extinction events his numbers would be radically different. He is comparing extinctions of modern times with the natural extinction rate of prior historical epochs.

The theme of the conversation is that species naturally go extinct all the time, but now in the age of industrial man the rate of extinction is much faster. This is likely a valid and accurate claim, but associating this claim with comparative quantities is not scientific.
Thanks for the correction! 84% of statistics are made up on the spot, and I'll admit, I didn't check current numbers before this comment. Mind you, I don't think the percentage significantly changes the value of my point.

I do wonder if that statistic will change enough for advertising not to be the core of Google's business though.
Also known as the Feynman Algorithm.

I've done that quite a few times too, and found it to be faster than trying to "design as you go" and having to constantly debug and make incremental changes to fix things (which also tend to have the effect of making the code messier.) If you think everything through and then write the code, the only bugs tend to be minor, spelling-related and such, but otherwise the code usually "works the first time".
They get solved captchas, but they're not using the user's brainpower and time to do it.
The Sky Guide iOS app (and likely others -- it's just the one I have) shows the path if you search for Tiangong-1. From my location here in MN, the next time it is will be above the horizon is Monday morning around 4:50am. It leaves only a very slim chance of seeing anything from here, but I'll have a camera running on my roof just in case.

Still, I wonder if the data in the app is updated regularly enough to account for the recent changes, or if it's just showing the original orbit?
What John Oliver got wrong about Bitcoin
This doesn't seem to be working. I have tried uploading a sample epub. After the epub is uploaded it sends me to a conversions page. That page is just a copy of the homepage.
> "Let me use this moment to feel better than those other people."

Or how about let's make sure at risk people are fully informed?

> What is "lack of judgment", exactly?

Feeling like you have wasted 5-10 years of your life - some of your best years.

The HN community thinks that intelligent people make highly informed decisions - and for many it's simply not true.
And he probably won't be able to go there in the future without issues.
Sure, but what do you say to the friends and family of the ones that die? Or to the ones who end up maimed and disabled for life? "Oh, it's just natural, don't sweat it"
Does anyone know why Facebook enforces the standardized, totalitarian blue-and-white theme for everyone?

I really want to hear what the internal discussions are, about restricting the color palette and UI appearance to a one-size-fits-all look and feel.

Is the reasoning psychological (blue light as an anti-suicide placebo), practical (everyone has to look at the same portal, and resolve techsupport themselves, helping each other), quasi-biological (blue as a circadian rhythm disruptor, not unlike gambling casinos), capricious (because mark zuckerberg just likes that format), or something else?

I find it oppressive to have to look at this unchanging furniture for the Facebook front end. It seems to severely dumb down the appeal to a lowest common denominator. Maybe that’s the reason?
Dog eat dog
Steve Jobs made many brilliant decisions but two of the arguably worst missteps were 1) not ever having been a gamer, he had zero respect for games and the future growth of the gaming market (possibly also due to the fact that early Macintosh accusations included epithets such as "it's a fischer-price toy"), only to have this finally rectified on iOS, and 2) thinking a fruit diet would cure his pancreatic cancer.

I've been a gamer and Mac user my whole life (our family got the Macintosh 128k when I was 12 in December 1984) and the entire time, Jobs had a love-hate (but mostly hate) relationship with Mac gaming (I must have been a masochist for persisting, except for the fact that my DOS brethren had nearly constant driver/IRQ/DMA/sound issues with their games, while Macs had zero issues, digitized stereo sound long before PC's did, etc.). Despite that, there was a time when some really excellent games existed only on Macintosh, until Myst got ported to Windows 95 and that pretty much was the beginning of the end of Mac-exclusive gaming, the final nail in that coffin being Halo (which was supposed to premiere on Macs) being bought by Microsoft (which I'm guessing Jobs simply let happen).
CentOS 6 has Perl 5.10.1. CentOS 7 has Perl 5.16. I work on installable software that needs to Just Work on the majority of servers without hassle. So, I don't have sub signatures, yet.
That is a very simplistic 1D view of programming. Quicksort is an algorithm, algorithsm are often reused. A UI framework is not an algorithm, and it is most definitely if you are writing a UI.