skysight-inc/HackerNews huggingface dataset:
> It doesn't assert how they ought to be (theorists, like everyone else, may express their opinion but this is not what the theory studies). It is a study of formal systems; basically, it's formal logic under a different name: A formal system is defined, and its properties studied; another system is defined and its properties are studied, and so on.

This document is called "programming language theory". I would expect from this the study of programming languages in general. Yet only a tiny fraction of programming languages are studied, namely exactly one: The simply typed lambda calculus. So I think it's fair to say that the authors seem to think that the the simply typed lambda calculus is absolutely central. Yet among existing programming languages with real world adoption, the pure simply typed lambda calculus is completely irrelevant. Nobody programs in it. So I can't take this as a description of the status quo of "programming languages". Then how am I to interpret the mere existence of this, if not as an endorsement?

> Unfortunately, most texts on PL theory, and this one does not seem to be an exception, do not explain what a formal system is -- namely what syntax is, what semantics is, and what the relationship between them is. This leads to confusion later on.

I doubt you'll find a general definition of what a type system is. You'll find many examples, sure, but no general definition. (BTW, thanks for assuming I'm confused about this. I think I've talked with enough type theory researchers to conclude that they are the confused ones.) Case in point: The plethora of papers whose first sections have to introduce the type system in question. This also relates to your first point, where you argue that PL theory is not normative. If the type theory in question has to be introduced, it automatically means that the reader has to be convinced that what he's reading is not just random noise encoded as formulae and proofs. Most of the type systems studied are not used in the wild, so they can't be interesting because they describe something people are already interested in. The only other possible explanation for the relevance of these papers is that the authors hope to improve upon what already exists.

Finally, take some of Wadler's papers. If "Theorems for free" (spoiler: the theormes there are not freer than other theorems) or "Linear types can [!] change the world" are not endorsements, I don't know what is.
Washington Utility Boosts Security After Bitcoin Mining Moratorium
If you are spending 10k a month basically on a datastore don't you think you could use a managed hosting service like Softlayer (IBM), Internap, Rackspace ... there's also some smaller mom and pop datacenters that will image a server for you with x or y.

You can chop that 10k into 2k a month for 2 large boxes on Internap (10gig uplink, 128gigs of ram, 16tb sata with 480gb ssd and this isn't the actual price it's actually about 250 less than 1k, no guarantee you can get the same price)

There is a setup cost both from the managed hosting provider and from whatever you provide to install the datastore and configure replication and backups.

Its easily worth it but there's work involved if you up to it it's not going to break you. It will make you stronger.
I've seen such lights in remote construction sites on road trips. They do exist.
It's much different tho. Node is is backwards compatible, python 3 -> 2 is definitely not. And python 3 isn't exactly new ...
There's no reason at all the government couldn't give every citizen a bank account and let them wire funds to each other. In fact this used to be exactly the case: any citizen could walk into the Post Office and open a savings account [1]. Like most services that didn't benefit the rich and actually benefited the poor it got shutdown once the neoliberals took over in the 70s. Nowadays 7-10 percent of the population is unbanked and forced to rely on criminal pay day lenders, check cashers or hiding money in their cars.

FedCoin would have one benefit though over a traditional banking system and that is surveillance. It'd be very interesting to have a public, error-free record of eactly how much money each citizen is receiving or has. If it ever did happen and people could see in perfect black and white just how ridiculously unequal the country is I don't think the republic would survive much longer after that.

Which is why this article is kinda hilarious. Even the central bankers, supposedly the smartest men on the planet, don't grasp that this is the whole reason private banks exist: to obfuscate cash and risk flows. Like that's the point [3]. We wouldn't have an economy if private banks couldn't do their thing. An economy based on any kind of public ledger without private banking (and private ledgers) would be radically different.

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

[2] https://www.americanprogress.org/issues/economy/reports/2014...

[3] https://www.interfluidity.com/v2/2669.html
It could be reasonable to somehow have control over things like the difficulty of mining or to be able to spawn new currency at a reduced cost via some sort of master certificate while still allowing transfer without communicating with a central coordinator system. A distributed system is a lot less likely to go down or become completely compromised.
This mostly just makes it so less tech savvy users would have to be exposed to more advertisements. Even after they've gone out of their way already to install an ad-blocker.

If I'm installing an ad-blocker I want it to block all ads.
How about building and app that is never used, never sees the light of day, and it's construction never serves as an example of what to do or not to do to anyone?
1. Tim Ferriss Show
2. Exponent (Stratechery’s podcast)
3. Ezra Klein Show
4. Recode / Decode
5. a16z’s podcast
6. Dear Sugar
7. Techmeme’s new daily podcast
Yep. He uses a 2017 version of JavaScript but complains about a 9 year old version of Python.
Game developers wanted
I think that "Alice has a blue dot" is technically not a statement about the number of blue dots.
> Expect a bunch of coins to disappear.

If the Feds can make it disappear, it was worthless anyway.
It's also relatively easy to implement async/await using actor primitives.
An (unspecified) antidepressant and self-care, apparently.
I encourage everyone to consider finding time for this lecture on depression: https://youtu.be/TIcf-2AFHgw

It helped me frame what depression the disease is compared to our broad usage of the word in everyday contexts. In particular it describes both the biology and psychology of depression.
What kind of shoddy programming means it can't just be compiled for 64 bit? Why would they bake the word size so deeply into a program like that?
Are you a doctor? Or just some random person who was sad once and believes they knows everything about depression now? You're a real piece of work.
The problem is that Facebook have complete control over the user experience of opting out:

To opt in just click 'Agree and Continue'. You won't ever hear from Facebook about this issue again.

To opt out click the much less visible 'Other Options' link, then scroll to the bottom of the page and expand each section and untick each box, then click 'Yes' when Facebook asks if you are sure, given that it will cause these problems for you. Then click 'Continue'. Now every 3 months Facebook will ask if you still want to opt out.

Plus Facebook can frame the opt-out option in the most unattractive light. When I try to disable 'ads personalisation' in Google it tells me 'You'll no longer be able to block or mute some ads'. Who wants to give up the ability to block ads?
How will WebAssembly play in to Angular in the future?
Node’s policy is that major versions may introduce backwards compatibility, and Node 4.0 did introduce some.

Just like Python.
The issue is that the ads/commercials are not relevant...and there are too many...many of them of very low quality and even misleading. I don't mind the ads from stackexchange for example or various Pro-audio forums that I use. But compare that with a file sharing website that you mentioned where you have multiple "download" links masking various ads. Micropayments don't work because nobody got them right...
... posted from a name called modbait "I see what you did there" ...
The problem is that modern browsers are too bloated to be a cornerstone of mobile web. The devices are still inferior in speed and memory use to a desktop PC.
Instead of blaming mobile apps, focus on bloat in the browser.
Cold callers are the same as recruiters.
Shout-out to the Civilian Conservation Corps. We should bring that program back.
Yeah it seems a like a lot of resources are wasted on useless pings.
I think a lot of the most valuable content is content produced by people not seeking to profit from it.

I often say this about movies but it's also true of a lot of online articles: If the "content creators" can't make a profit because I won't pay for the "content" I really don't care, in fact it's probably better for me and for society if there's less "content".

"content creators" - mostly companies that don't care at all about the subjects they have people write about, or about their audience

"content" - pretty much just junk food for your brain
I use vscode and visual studio, though I tend to use vscode much less now and tend to use webstorm a lot more.

Visual Studio focuses much more on the environment understanding the language and frameworks you are using it ripples through coding, build system, debugging, and deployment. As such it has multitudes of features that make life easy.
Here is a terrible awful fact most people are unaware of: The suicide rate has been going up steadily since 2000 and we are back where we were in the mid 1980s[1]. I found this out by listening to a speech from a mental health convention where the doctor giving the speech was blasting the commonly held idea that antidepressants had solved everything.

[1] https://www.npr.org/sections/health-shots/2016/04/22/4748888...
It turns out measuring CO2 is expensive, but measuring VOC (volatile organic compounds, ethanol) exhaled by humans is cheap and one can map from the VOC PPM to equivalent CO2, in the datasheet referred to as CO2-equiv.

https://www.mouser.com/datasheet/2/682/Sensirion_Gas_Sensors...
Google properties, and certain special programs like new sites that use AMP, get preferred placement at the very top of the results page.

This is not some sort of weird way-out-there conspiracy theory. You can test it yourself by going to Google, typing in something likely to have a video result, and observing how Google showcases a YouTube result at the top.

Here's what I see, in a private/incognito tab, searching for the name of a recent popular music song and the artist, for example:

https://i.imgur.com/iBSUBOV.jpg

Literally everything in that box is a link to a Google property, or to further Google searches that will promote Google properties.

Below the fold (it's a large box) is a carousel of news stories about the topic, promoting Google News as a news aggregator.

The actual search results don't start until below that.
BuzzSumo competitor with a different set of features.
An Introduction to A/B Testing
uninitialized global array in FORTRAN. Chemical PhD, three to four years into his thesis. His "amazing data" disappeared once he stopped looking at random memory state. I think his thesis was in trouble.
Monome Norns
وظائف مهندسين 2018 الامارات
Very interesting, but incredibly complex. I'm tempted to make a python implementation to play around with for better understanding.
I identify with this bit from the paper

> To offer a third analogy, a folk deﬁnition of insanity is to do the same thing over and over again and to expect the results to be different. By this deﬁnition, we in fact require that programmers of multithreaded systems be insane. Were they sane, they could not understand their programs.

I actually had this exact notion when implementing pthreads for a course. I noted to myself "Gee, I keep doing the same thing and every time I get a different result... I must be insane according to the definition"
Hong Kong–Zhuhai–Macau Bridge
And OneNote would be happily qualified as a database project even without the truism. The whole point of the thing is to quickly and consistently synchronize multimedia notes across computers.
I certainly didn't mean to imply that the programming languages ignored by these reasearchers are any good, on the contrary. It's just that I find the way these researchers sell themselves questionable. They don't have a theory of programming languages, they have a theory of some variant of the lambda calculus. It would be more honest to call it just that.
The same happens in Hangouts. I’ve lost count of how many times I’ve had to choose safari.
Yes? No? Abort, retry, fail? I mentioned jobs making local sense. And it's true! If any single one of these jobs were to go away, things would get worse. The system would leave its local optimum, and many problems would ensue. And I want to get out of that Nash equilibrium -- but how?
That must have been difficult to write, but it was also difficult to read. I don't think he needed to lash-out at the adults who didn't understand his illness; how was a director in a weekly TV show meant to diagnose and accommodate depression when he's handling dozens of people to a tight schedule?

Its the same in any context of work, unfortunately. You're just a cog and if the cog jams, add more oil or replace it. That's probably not something a teenager would have understood, hence his frustrated efforts to find answers from adults he held in regard, and I don't know what the solution is. But sniping isn't it.

I am glad that Mr Wheaton is in a better condition and hopefully this essay will help others, but it seemed unnecessarily cruel in places.
I'd believe it, if somebody can show me windows 10 core product which clearly has electron inside. Or, if you can show me code pointers to 'developed in-house, in VSC'

I am in OSX, without access to W10 so its conjecture for me.
The internet is a pull medium. An "adblock" is nothing more than saying I do not wish to receive your files.
I absolutely adore Sapolsky, and suggest everyone also listen/watch his human behavioral biology lectures. They were infinitely more interesting to me than my intro to psyc class, and perhaps more informative.
I work for a stone distributor and we have issues with trucking, but had never delved into it.

This was interesting to read.

Donyou have more sources for gaining more insight into how this all works? I'd love to take a crack at parts of this.
What are examples of progressive web apps that don’t suck? I’m not sure I’ve ever seen one.
The Topic of Suicide for a Transgender Woman
Imagine what one could do with access to every phone conversation in terms of training a neural network. A properly trained network could easily identify code words among a network of certain individuals and then use the frequency of usage to identify potential windows of opportunity even if they didn't specify time windows over the phone.

And do all of this without actually saving a single thing so it wouldn't be considered "collecting".
The basic premise of this headline represents a complete failure to grasp the point of a cryptocurrency, which is to take the power of money issuance away from incumbent authorities who can back it with physical force (that is, states), and devolve it into a first order power available to any social group. The paradoxical claim that a centralized bank could ever issue currency based on the presumption of decentralized support is epitome of misapprehension, or at least misappropriation of jargon.

The Fed already has "FedCoin" for all intents and purposes, and does not need the cooperative casino incentive system known as a blockchain in order to compel rules-compliant participation from its users.
Awesome, a meta-checklist.
Because some ATT and Cisco devices use that address already.
There is no reason to need to remember it.
Maybe better to say: People judge the value of what they have by what they had to give up to get it.
someone presented a list of questions, many of them provocative and probably fallacies. You posted a regular ad hominem and and insult. ```you're a real piece of work``` will never be constructive
> What exactly does the NSA do?

It's a military signals-intelligence organization.

> Whom are they protecting?

It's hardly monolithic. Imagine Catch 22 on steroids. Likely each power center is primarily protecting itself, and its funding. Overall, they're protecting the military-industrial complex. The 1%. The powers that be.

Edit: Whoever pays the bills.
What SSH Hacking Attempts Look Like
It's interesting to read this first hand account after having read some more science focused stuff.

>The power of war, like the power of love, springs from man's heart.

Both actually almost certainly arise from evolution. Love helps reproduce the species, wiping out the adjacent tribe and grabbing their resources helps also and if you are too nice they may wipe you instead. See 'Demonic Males' and the like for how chimps and early man did much the same kind of thing with of the order of a third of males dying in war like activities
https://en.wikipedia.org/wiki/Demonic_Males

Now we're getting quite good at not having wars (see Pinkers stuff or https://medium.com/future-crunch/the-decline-of-war-8760f9a5...)
through things like the UN, EU democracy and so on but the warlike instincts remain and come out in football, political battles, video games and the movies. Also I've found things like high altitude mountaineering have some war like aspects - bunch of mostly blokes fighting the mountain with some risk of death - and are quite fun.
The actor model is a great tool, but I think it's best looked at as a low level concurrency primitive. Most of the time, folks should be working with higher level constructs in conceptually simpler control flow paradigms like call-and-return (async/await) or streams.
They need to explain why it is an accident in detail, otherwise they are just being incompetent for disrupting large number of their valued customer's internet connections, and likely wasting their valuable time. They can't just say it is unintentional, they need to convince me that it is. Technical word salad will not cut it. It has to be clear to most people.
This reminds me of an entry level Business Japanese class I took many years ago from Peter Firkola at the University of Hokkaido, except as applied to modern day Japan. My memory is a little fuzzy about the specifics, but the following is the main gist of it.

Basically the Japanese government funds a large number of "pointless" projects, such as freeways to nowhere, large sea-facing cement walls, or things like subsidizing construction companies and the like (this is why you'll see 6 people standing around a hole in the ground, 3 "bosses" doing absolutely nothing, 2 of them old men flagging traffic, 1 person doing the actual digging). This is how Japan manages to keep their unemployment rate low, and thus keep money moving through the economy - by making sure people are able to obtain a job, even if it's useless or redundant.

At the top of it all you have the massive Zaibatsu (big conglomerates) which fund the lower level companies under their umbrella which in turn pay these meager salaries and keep people employed, typically as some kind of tax write off and the side benefits of having all of these various companies at their disposal (concrete, construction, real estate, etc).

The bottom of the system is incredibly inefficient, but it helps make sure that a bare minimum quality of life is available for people willing to try to get any old job.

Interesting article which sums up big infrastructure projects and their long term drawbacks/benefits better than I can (2009) - https://www.nytimes.com/2009/02/06/world/asia/06japan.html
It is probably not always as simple, or even as logical, as that. For one anecdote, Planet Money did an interesting piece following the motivations of an inside trader: 671 - An Insider Trader Tells All (https://www.npr.org/sections/money/2018/03/23/596533461/epis...). As mieseratte says in another comment thread here, "it's not black and white as you paint it." What I'm saying is, that one of the (perhaps uncountably many) driving forces of corruption might be misplaced altruism – a few skilled con men who know how to present the right argument to persuade others. To hack their neural network, if you will. Or another answer might be: "why not? it was possible to do". Another recent episode to follow a similar line of investigation would be "Episode 685: Larry vs. The IRS".
You're talking about verticals here, but it sounded like you were accusing them of manipulating organic results. That's what I was skeptical of.

It's worth mentioning though that vertical videos will pull from other sources as well. Here is an example of a vertical video result pulling from Vimeo.

https://i.imgur.com/9q7HavK.png

It's not specially hardcoded for Youtube. Youtube is just extremely popular in comparison to other video sites - especially for music queries like yours above.

Re: News, Google News is their index and engine for news results but those are still links to non-Google sites.
Show HN: WhatsApp Web Bot
The suicide rate for 10-14 year olds has increased over 250% since 2007.
The problem is publishers assuming I care about this. That they're actually indispensable to the ecosystem, rather then what they are - a passing interest who's absence I wouldn't notice or care about.

Most of internet media just isn't good enough.
What environmental disaster are you talking about?
That's far more agreeable than saying it doesn't matter at all. Also very different.
He mentions he implies he started taking anti-depressants.
Europe fires back at ICANN's delusional plan to overhaul Whois for GDPR
Really? At my company, promises have long since won the day. Now I'm trying to get people on async/await, which gets you like 90% of the way to the simplicity of synchronous code.
Compilers and IDEs are resource intensive pieces of software and VS is over twenty years old. I can imagine innumerable opportunities over the years to increase performance by assuming the size of certain variables in memory. That kind of stuff would have been a big deal when compiling C++ on a 333mhz processor.
I get the impression that the author of the article hasn't used a debugging feature any more advanced than breakpoints before. I don't want to stick up for Visual Studio because it has so many issues, but it's an incredibly powerful debugging tool with tight source control integration, and isn't going away any time soon. Visual Studio Code just doesn't provide the toolset needed by a team of 500 developers working on a monolithic software project, and it shouldn't, that isn't what it's intended to be. It's good at what it is already.
Apologies, my bad! It's so confusing being a Luddite in these days.

I don't think I have a career ahead of me in the trolling business either.
The properties of "unlikely to go down" don't require a trustless blockchain; the attributes of being resistant to a node being compromised don't require trust beyond consensus. git is unlikely to go down and verifiable. Copies of a git repo verified by gpg signatures and repos that only accept commits that pass verification requires only as much distribution as running three instances. The fed can do all of this without giving up any control.
Not really. The process takes RGB and depth images and regenerates a new mesh of the scene.

The process is able to reconstruct occluded objects by using multiple images from within a view box. That way the scene should look fully intact as long as the viewer is within the box.

Think stitching together a 3d panorama but with enough capture data that you can also peek around things.