skysight-inc/HackerNews huggingface dataset:
I moved (very roughly) from Java to Python to Haskell. When I was coding in Python if you asked me what percentage of bugs I encountered could have been caught by types, I would've probably said about 10%. Because I would've been thinking about types in Java and errors like calling "length" or a string and then accidentally calling "length" again on that int value from the previous call to length.

Now that I am working primarily in Haskell if you ask me the same question I would say probably about 90%. Not only does catching the "calling length on an int" types of errors at compile time but it gives you whole new tools (newtypes, Sum types, mtl-style constraints) for expressing complex concepts in a simple manner in the type system.

And all of these tools result in having to spend much less time thinking about things I had to think about in python, leaving me to spend more time thinking about the business logic which reduces the number of logical errors (which obviously can still occur).

As a concrete example I transliterated some Python code that someone was asking about on reddit into Haskell here:
https://gist.github.com/lgastako/f7465339214c6fde0fd75f4e488...

You can see on line 57 "unless (status == Fresh) $ do" -- I originally wrote checkStatus as a function that returned a boolean and the expression was "unless fresh $ do" but I replaced the boolean with a tri-valued sum type and rewrote the check against the value "Fresh" -- this avoids the boolean blindness problem and makes it much harder to get the condition wrong -- and while it's still possible to get the condition wrong, it's much easier to find it when you do.
70% of species on the planet have become extinct in 100 years. If insects collapse, who will pollinate plants?

A warming planet as we've seen also makes viruses more prevalent as we invade natural habitats and expand to more food sources... (we may need to hunt all animals for food someday, including apes, tigers, monkeys, etc.. )...

Honestly, I think the best solution is a full stop on consumerism, and all industries and combine forces and resources to find a solution that will work like - a big effing huge solar shade that can cool off the planet and maybe put us in a small mini-ice-age to bring back some polar ice, and ice in antarctica and essentially reboot the global temps.

Carbon capture tech and methane capture will be important too, but the feedback loops are going to be what really speeds things up.

Warming planet also means more water evaporation, so we'll need to desalinate water just to be able to have drinking water for everybody. Water wars are going to be the biggest fights of the next 40 years.
Can you provide more details on this? Is there an announcement or blog post?
We've got tons of non associated domains that we've single spam inboxes on. We then put aliases on them as needed. That way when some demos / trials require a valid domain we have it but we can also get away.

Life Pro tip, do this for conference registrations otherwise you'll be crushed.
Not nearly as hard of a problem, but I built a maze on a Minecraft server for my kids, and used an online random maze generator as a reference. I realized the walls in the generated maze were thin lines of 0 thickness whereas the maze in Minecraft needed to have walls of 1 block thickness. It wasn't hard to redraw the maze by hand with non-zero width walls, but interestingly I had no choice but to redraw it because I couldn't do the conversion in my head and build the maze using the original.
That chart is so depressing. 5 generations?! To "approach the mean income"?
Which I'd assume will be filled with alt-right and similar content (banned from other platforms usually for good reason), anime avatars and a liberal dose of poor taste (and potentially illegal in certain jurisdictions) content such as "lolicon".

None of this is something most people want to be anywhere near. While mainstream social media has many flaws, at least I am grateful for the fact that it bans, discourages or significantly dilutes this kind of content so that it isn't visible in most cases.
The inland northeast (Upstate NY, Vermont, NH, Maine, etc) seems to be pretty well insulated from climate change for now.
Shirking from home? Staff feel the heat as bosses ramp up remote surveillance
Knowledge in philosophy, particularly strict epistemology and logic (binary vs trinary), with the intent to constantly apply this knowledge through life.

Enough knowledge in psychology and neuroscience such that you can have a decent understanding of how the human mind works (and ways in which it fails imperceptibly). Time spent in psychedelic and spiritual realms seem to be quite practically useful for this type of learning.

Systems thinking - gain an understanding of the presence and importance of unseen systems, and the unseen complexity and causal relationships contained within. For example, we live in a system (that itself is composed of numerous subsystems), and each of us is a system (our mind, itself composed of two distinct parts, the conscious and subconscious, each consisting of numerous subsystems). Such things are very easy to forget in real time, but even if remembered, our perception of the state and behavior of these systems is extremely inconsistent (sometimes even backwards) with how they actually are.

Realize that outside of the hard sciences, we are rarely dealing with facts, but rather coarse approximations, and that this is often completely not realized (to put it mildly). It seems this can be decently learned from an abstract perspective, but the degree to which this abstract knowledge can be drawn upon in real time seems extremely inconsistent.

(Meta) In general, people's minds (and broad Western culture) often seem to find these sorts of ideas instinctually repulsive, so exercise disciplined skepticism with those who dissuade you from study.
The best UK mailing label I've seen (on a 19th? century wooden crate bound for Dunvegan Castle) was:

Route via Derby, Grantham, Ft William, Mallaig, David McBrayne's steamer to Armadale, and road delivery to Dunvegan.

Do the postal codes uniquely ID a residence on their own? My dad's old address (from his youth) was:
The Coolins, Emma Terrace, Blairgowrie PH10 6JA

Does the code get the package to the right address on it's own? I'm guessing not, but the UK does use alpha-numeric codes (US is numeric only), so has a broader range of codes available for fine-tuning delivery.
There is some evidence of some kind of takeover though. Searching for site:http://instagram.com/danny in google, the first result is the following:

Danny (@danny) • Instagram photos and videos
www.instagram.com › danny
8690 Followers, 134 Following, 100 Posts - See Instagram
photos and videos from Danny (@danny)

This is still in Google's cache. The current instagram profile is very different.
Eerily timely advice for me. I've developed a persistent pain in my right wrist over this weekend. I guess RSI is finally getting me :/.
Completely agree that having a fundamental understanding of most things is good, but that it’s more important to know what you don’t know than to really and truly know something.

Changing a tire? Yes, you should know that (or, honestly, be able to intuit it, it’s not exactly complex). Being able to change the oil, a fan belt, or coolant? Yeah, I know I could if I had to, but with the hazardous waste and all it’s far from worth it for me to try to.
I’m not wrong. Your quote supports my assertion.

You seem to be ignoring these important words:

“...in an anonymous and encrypted form”

Apple doesn’t end up knowing where you are.

Even though colloquially we can say they ‘send your location’, they don’t actually learn where you are.

This invalidates support for your claim about how iOS privacy is worse than Android.
At least per 2019 when it was opened Mjøstårnet[1] is the world's tallest timber building. It's only 85.4m (218ft) though[2].

There's also a report[3] about a glulam burn test, something I was quite curious about.

[1]: https://www.moelven.com/mjostarnet/

[2]: https://en.wikipedia.org/wiki/Mj%C3%B8st%C3%A5rnet

[3]: https://www.moelven.com/mjostarnet/glulam-can-withstand-a-bu...
More straightforwardly, you can escape it with a backslash, pretty sure.
Who said anything about numpy?
Mini Project with SpriteKit
>Is it reasonable to expect Facebook to do all those things, compared to other choices that are consistent, neutral

I think there are two ways to think about Facebook, in the context of this article. One is as a journalistic organisation. If we go that way, then yes, I think it is reasonable to expect Facebook to make massive efforts to understand context and make informed decisions.

These decisions are impactful. If you are the primary journalistic news source for something this meaningful, then yes, you have a responsibility to do this job well.

The other way of seeing Facebook is as a neutral platform. In that case, they need to have genuinely neutral and transparent rules. Ad hoc, subjective, closed door decision making is not neutral.

The problem is that Facebook is having it both ways. So, they're getting criticism (as you point out) from both directions. That's not unfair to Facebook, it's a choice they make.
Yes the obvious answer is you can click once to Mark as Spam and be done with it forever.

IMO this is just a weird form of grandstanding.
1) costs,
2) ultimate observability and performance tuning - with self-managed Postgres, you have full control and can tune it better, monitor all the details, put pgBouncer or Odyssey on database nodes, there is no need to spend hours and sometimes days or even weeks with support engineers trying to understand what's happening under the hood and how to fix/improve it (but you need skills -- if you don't, managed service support may be beneficial, of course if you're lucky to reach experienced engineer),
3) specific need: have replication connection from outside, control backups, etc.

That being said, the benefits of managed offerings are clear and sound: you don't waste your time for many DBA tasks, paying some extra and losing some control. Many companies choose this. Some change their mind over time and move back to self-managed, or use hybrid approach.

One more thing. If you need to maintain dozens or more databases, you need automation. This leads to either managed offerings, or k8s (look at StackGres.io).
According to The World Bank Data, South Africa has the highest Gini in the world: https://data.worldbank.org/indicator/SI.POV.GINI?most_recent...

Brazil is up there. Some of the data is old, let me know if you have a better source. I wasn't trying to exaggerate.
I think the OP's point was that there _should_ be a law, and that the current legislative framework is insufficient.
Images on public Facebook are indeed marked (a unique ID is embedded in every picture's EXIF data) so I wouldn't be surprised if the exported ones were too (not necessarily for malicious reason even, if the images are being marked at upload time, Facebook may not even have the original unmarked image anymore).
Apologies for the irrelevant comment, but does the New Yorker really pluralize 'aircraft' as 'aircrafts'? They're not even consistent about it, as they have 'line of aircraft' in the same article.
> Types are meant to document code. Without the annotations, you can't look at code and know what is going on

With the rise of VSCode IntelliSense/JetBrains code inspection, do you believe this is still true today? The programmer now has easy ahead-of-time access to inferred types that used to become available only at compile time or runtime
Depending on the instrument, e.g. On piano start with c major, but on violin you're better off with g.
> Kid from poor impoverished rural town made big bugs as a software developer!

Freudian slip? Although if they make big bugs perhaps they won't make big bucks...
then why is virtually all of the rhetoric focused on the 1% and jeff bezos and taxing the rich? i don’t hear any concern for the poor, only hatred of the rich
> and just did an email change + password reset on the original account.

But isn't that why the user had 2FA on? Why can someone change the email + switch off 2FA; you would want only 1 of these would you not? If you tell support you lost your email and 2FA, that would be very unlikely, so why would it be so easy to set that up?

Are there immutable logs with credentials for this kind of action and how easy is it for employees to access / change it; I mean why would many people have the permission to take this action? Especially without some kind of flag that there is something up with the account (like unused, flagged content etc).
> Fortunately, we have words that convey exactly what we want.

Words can be just as fuzzy as body language. Sometimes, this can be done intentionally, for dramatic effect (e.g. "The duke yet lives that Henry shall depose"). English can have syntactic ambiguity, which limits the understanding of a phrase. In the sentence "I saw the man on the mountain with the telescope.", was I using a telescope to see the man on the mountain, or did I observe that the man on the mountain was himself looking through a telescope? [0]

Whether words are to be taken literally or metaphorically depends entirely on the context and the audience. Heck, the same word can be functioning both literally and metaphorically within the same sentence [1]. In the sentence "He took his hat and his leave", the word "took" is literal in the phrase "took his hat", but metaphorical in the phrase "took his leave".

There's an entire class of errors [2] related to encoding of thoughts to speech not matching the decoding of speech to thoughts.

[0] https://en.wikipedia.org/wiki/Syntactic_ambiguity

[1] https://en.wikipedia.org/wiki/Zeugma_and_syllepsis

[2] https://en.wikipedia.org/wiki/Aberrant_decoding

Edit: This may have come off a bit harsh, but that was not my intent. I had the same understanding ten years ago, that the uncertainty of communication can only be shackled by the rigidity of language. I found that I had built my house upon sand, for there is nothing sturdy to be found within language, and seekers will find only chaos and descriptivism.
Any example where the type is defined as something more specific than an array (especially in PHP, where the `array` type doesn't even differentiate between numerically indexed arrays and dictionaries).

Regardless, I still think the type hints in Symfony's version are better than nothing. It's also worth noting that `private static` is concerned with scope, not types.
what do you need context for? just assume everything else is the same in the two worlds including purchasing power etc
Only annotations which can be checked by mypy or other linters. I think cpython doesn't check them at runtime.
Poshmark Filed to Go Public
> This whole need to create a narrative about all western history evil

You are building a strawman here. Nobody is saying all western history is bad ( as if there is such a thing really - there isn't ), but the west has been the source of most evil in the past few hundred years.

> human empires behave exactly the same no matter origin or creed is dishonest at best and malicious at worst.

No they have not. The greeks, japanese, romans, mongols, etc never had racial extermination campaigns like the british empire, the us empire, nazi germany, etc. That is a fairly new and uniquely western "ideal". That entire races had to be exterminated because they were native, aborigine, jewish, etc is something new.

Sure cities were destroyed, people were persecuted, enslaved, etc in the past but you won't find many empires in the past that committed the atrocities that britain, nazis and we have. And the most evil singular acts in human history is easily hiroshima and nagasaki. And who committed those evil acts?

You can argue that others would have been just as evil as the west if they had the power and I'd probably agree with that. But that isn't history, it's conjecture. And even if it was true, then it just shows we are no better than everyone else. Which runs counter to the dominant narrative that the west is "all good, perfect, civilized, etc".

The narrative that the west is evil is needed because it's fundamentally true and we need to counter the dominant false narrative that the west is all good. How many millions have we butchered in iraq, vietnam, syria, central/south america, africa, etc all in the name of "western good"?

Your sentiments are correct but you are misguided in your anger. You shouldn't be mad at the "west is evil" narrative. You should really be angry at the dominant "west is good" narrative.
I don't know that they'll all be winners, but Big Auto is one of the largest investors in self driving tech, and they're aggressively poaching talent.
I mean there's also an argument that those people don't stay in dynamic systems for very long.
I usually use president@whitehouse.gov and the like...
I don't think it even makes sense to calculate US wages as a percentage of US GDP, because if I'm understanding the definition of GDP correctly it includes economic activity done in non-US countries with non-US workers. In particular, it's defined as the total value of finished goods produced in the country, which I think means that it includes the cost of imported components and raw materials even though that money doesn't end up in the US at all. So if production of those raw materials and components moves from the US to other countries - which it probably has done, quite a lot - it wouldn't affect GDP but would affect the actual pool of money that US workers could get paid from.

Actual labour share of the actual money being made seems to be pretty hard to measure accurately, from what I can tell.
Yeah, it makes sense. I don't mean to propose a standard where nobody can believe anything because it might be made up.
https://forms.gle/mGHzdCakPmt1YE5y9
As someone who used to be following his account, any messages we'd had have now gone from my inbox. I also haven't been able to find any likes on any of my images (there was previously)
Looks like some managed database and storage services are on the horizon, along with better analytics without tracking cookies, then caching improvements, etc.

It also seems like new domain registration is still not on the (spoiler free) list.

A couple of months ago, I’d asked in one of the posts here [1] about why new domain registrations aren’t allowed on Cloudflare years after domain registrations was introduced, and the official response in a reply to my comment was that they didn’t want speculators to buy domains on the cheap and sit on them. I didn’t understand why speculators couldn’t just buy them somewhere else and transfer them over easily after a few months. In my understanding, speculators buy plenty of domains with the hope of profiting from a few of them, and so a slightly higher initial cost shouldn’t be a barrier.

Snark: Here’s to hoping that new domain registrations will come in the next few years.

[1]: https://news.ycombinator.com/item?id=23966336
Google produces irrelevant results no matter what I try (searching anything about Facebook tracking pixels brings up tons of marketing-related SEO spam) so I suggest someone with a Facebook account just tries it and reports back. Until then, better safe than sorry, assume the worst (which at this point should be the norm when dealing with the company we're talking about) and proceed accordingly.
Probably worth looking into. Sounds lucrative since PNC has money.
Thanks, cf history seems to be forgotten. Let's revive it for a new age.
This is all public, just need to dig to find it.

One day an extreme racist got angry his favorite sites were falling to ddos attacks. He figured out how to absorb ddos attacks. He used it to protect his favorite sites for a couple years. An exposè was written about why racist sites were no longer falling. At that point regular sites looked for protection and cf grew.

Every so often someone revives this. A couple weeks later cf states they dropped certain sites. Only problem is those sites rolled into other sites and all cf does is drop a domain not in use anymore.

At this point in time extreme racist sites enjoy free protection while everyone else pays. What type of sites you ask? The kind that espouse and sell books about measurements of facial features and whether you are worthy of being part of society or not.the kind that go on and on about how blacks can't do math and asians do it wrong...

Yeah, so while your employer pays to avoid ddos the racists get it for free.
Honest self appraisal, giving a proper apology, empathize with people you don't like, giving and receiving praise for work well done, setting boundaries
You can continue using /etc/resolv.conf to specify the private IP addresses even for a website that does actually exist. The point of registering the domain is to ensure that your computer/software can't ever accidentally hit anything you didn't intentionally configure that is actually under the control of someone else. You don't actually need to use publicly visible DNS to configure your internal network just because you used a real domain name.
Restaurant Tech
How one invention radically transformed America
> Is anyone really going to risk their cushy FAANG job to give their buddy a cool handle? Possible, but seems far fetched.

Given the kind of ethically vacuous tech-bro who might join FB in 2020? Not _that_ far-fetched.
> when will people learn that Facebook, Google et al do not care at all about individual users?

When will people learn, not just Facebook, Google et al, but no large company cares about individual users? Coca-Cola, Delta Air Lines, Ford, Unilever, Visa, Walmart do not care about individual users.

Not because all of them are bad, but simply because they physically cannot deal with every complaint. Even worse, when they become better at handling complaints, people start complaining more. So they focus on some more important complaints, and some users get thrown overboard. This is sad, but this is inevitable.

That said, it would be great to have a paid technical support. You have lost an access to Google account (hacked, lost password, not logged in for two years, whatever), pay $100-1000 (if it's really valuable to you), and a special qualified person will do a proper background check (e. g. call your employer) to verify that you is really someone who you claim to be.
Which is one of the reasons I always insist our dev and prod teams use FQDNs (under domains the company owns) in all of their configurations.

In more dynamic environments, the config may have the domain as its own setting and each service as just the hostname, but the software must combine them before use, or better yet combine them in the config if variable expansion is possible in the config language they are using (ex: db_server="db-01.${domain}" with domain being defined near the top).
I wish I could upvote this twice - I came to say the same thing. Being able to cook is one of the best things I've learned. And not just cooking, but being decently able to cook a variety of things.

I've been able to have wonderfully comforting meals after moving overseas, change my diet while still enjoying my food, and actually eat cheap but good tasting meals, a small joy if you are pretty broke.