skysight-inc/HackerNews huggingface dataset:
Haskell is an excellent imperative language and can simulate some aspects of dependent typing. There are also refinement types which are related.

Typesafe printf is actually a very old trick, typed scheme and even Common Lisp have been showing off macro-based variants for some time.

As for why there aren't more languages directly LIKE Idris and Agda? Probably because the technology and theory to actually make them feasible has existed for less than a full decade. Sorta like how people don't realize sort is an O(n) operation, CRDTs exist, or that we can write lazy succinct parsers of complex tree structures, or can write universal query-insensitive indicies over relational data.
Well, the programming language is called Emerald...

But really, they didn't pick emerald, they picked 'screamin green'(#55ff55)

Emerald(#50C878) would have been a much better choice(but still a bad one)
This is a problem with old highways that were upgraded to substandard interstates. That isn't the case here with plenty of room to build a safer design.
Ironic perhaps? Cloning the Github interface would take thousands of man hours at least. Still completely negligible compared to $7.5 billion, but certainly not a weekend project.
On a more mundane note, they also don't track commits on forked repos.
What are the causes? I had been under the impression that they are not fully understood
I wouldn't call it sudden at all. Python is great for the reason Java is great: diverse robust ecosystem for a ton of different fields. It's about ubiquity.

It's installed on virtually everything already. It's one of the easiest languages to learn (the basics), and is used as a teaching language. Even outside of CS everyone knows it.

Used in web programming (Django, Flask, etc.), numerical computing (Jupyter, numpy, scipy, pandas), AI/ML (TensorFlow, scikit-learn), bioinformatics, easy bindings to EVERYTHING (openCV, bullet physics, kafka, zookeeper, protobuf, json, xml).

It's usually concise enough, mostly straightforward to read, reasonably structured (though big codebases can become a pain). In most companies you see python used in tooling ALL THE TIME. It's fantastic for ducktape programming; often 'promoting' a largeish bash script to python. It ate perl's place there before.

I've even seen ipython work well as a login shell. Jeezz.

Sure the 2.7 -> 3 thing was a ton of drama, the package manager situation changes ever few years, but hey: a lesser language and ecosystem would have fallen apart under it.

Disclaimer: I'm a Java+Python fan boy in all their incarnations.
What city do you live in?

I live in Denver. Houses last way longer than 50 years here. Old houses here are quite desirable due to many of these neighborhoods proximity to downtown. The last two houses I rented were from the 1929 and 1943. They were in great shape. They were not the "old house" on the block either, both neighborhoods dated to that era.

Of course they have had several roofs in that time, but roofs don't last much longer than 15-20 years here due to hail. Siding has a limited life, but Hardie Plank which most new builds I see around here has a very long life. Brick will last basically forever along with plaster walls and hard wood floors. The foundation, framing, and plywood basically last forever if you keep it dry.
To force hydrogen to bond with CO2 must expense a large amount of energy. The energy has to come from somewhere and delivering the proper amount cannot be a trivial thing.

The reaction between CO2 and H2 to form hydrocarbons is actually energetically favorable (thermodynamically spontaneous). It doesn't require outside energy inputs to force the reaction forward.

See e.g. "CO2 valorisation via Reverse Water-Gas Shift reaction"

https://www.sciencedirect.com/science/article/pii/S221298201...

and "Turning carbon dioxide into fuel"

http://rsta.royalsocietypublishing.org/content/roypta/368/19...

The key issue is, as you note later, producing large quantities of hydrogen without relying on fossil sources.
I'm convinced that Google is touting its' 'principles' with a hackneyed blog post probably written by some PR flack.

As an American, I'm disappointed, and positively enraged by the hubris on display here. A bunch of (non-US) employees have pressured Google and therefore compromised the national interests of the United States.

See this for an alternative viewpoint: http://www.chicagotribune.com/news/opinion/commentary/ct-per...

It's high time these companies are regulated and their malfeasance reined in by the United States.
Some amount of people always go above the number. I have someone on my own $5 level paying $10. And it's perfectly common for people to put $3 in a $1 level. I wouldn't be surprised if the first person to take me up on my $200 level doubles it.

That said, because it's normal for people to pay more than you ask, it's not a bad idea to have a higher level or two if you have lofty goals for it.

I don't think it's really impulse spending though. Most of the people on my Patreon are people I talked to for a year or more on social media before they signed up.
You’re going to prevent a Twitter-organized revolution by... being on Twitter?
Using HackerNews reaction as a main source of information will almost always drastically skew reality. It reminds me of people shorting Facebook because of the #deletefacebook campaign, when in reality getting a few thousand people to delete Facebook in protest is offset in a few minutes by growth.
That's why I linked to that story. If you have an undesirable immutable property (i.e. white or male), then you have to toe the line by deprecating yourself. But if you are a minority then you are not required to do that, you are accepted simply because you are assumed to always be oppressed.
Has Gitlab finished their hosted migration from Azure to Google's cloud yet? They announced they were starting in April, but those things take time.
Behavioral Game Theory and AI
That was kind of my joke. Which another responder missed.
The Crown made me re-learn about this event.

https://www.radiotimes.com/news/2016-12-16/the-crown-discove...
oops didn't mean to imply that for the driver. meant it to as a meta-comment.

my point was that the driver probably didn't know the crash was about to happen. broader investigation into "why the crash happened" is more fruitful than "what the driver could have done differently once the crash happened"
Github is already essentially Linkedin for developers.
What's making you leave the Ruby ecosystem?
I've got a few network services working with Idris and they run okay. The compilation time grows so quickly you can't use it for very large projects though.

Honestly, Haskell dependent-typing is SO MUCH MORE COMPLEX than Idris's "well what if I just write a function that takes a type?" approach, it's not even funny. Even the author of singleton says it's a rough landscape.

Haskell's going to get much closer with QuantifiedConstraints in ghc 8.6, in that it'll simplify a lot of this work, but it's still years out from the simplicity and library unification.
C corps require more red-tape around day to day actions, and as a result are generally more expensive to operate.
Bussing is actually a classic example of a well intentioned policy most supported for its symbolism which ended up damaging its supposed beneficieries because it ignored the necessity of matching peoples' abilities with the expectations placed on them. Putting 2nd-grade readers in classes with 4th-grade readers is a recipe for frustration and failure, not matter how pure your heart.
Well, if SDVs take off as advocates espouse, the volume (plus Moore's Law) will make costs drop.
Usually, Agda programs would not use Haskell libraries very much, even though they could. The reason seems to be that it is an unstable language and we are still figuring out how to do dependent types correctly. To me, working in Agda is like working in a very powerful version of Haskell, but for most people it's more about working in a research language. Idris and Agda are quite similar: don't build a company on them, but expect really cool ideas to spawn from them. Dependent types is really an awesome idea.
This is clearly the only reasonable response to these 'principles'. Google must have a strong employee presence here.
Eh, I wouldn't be surprised if they're already working together. PR teams are used to cross-company collaboration.
If it was intentionally "photoshopped" it'd have been an awful job given that you can see the arm abruptly ending in a jagged pixelated edge, so you're probably right.
Or you 3D print them: https://www.3dprintedhouse.nl/en/
> Perhaps most tellingly, it was London Underground 1938 Stock involved in the 1975 crash.

Thanks, that's something I'd not realized. I'd assumed the situation was more like the current London Overground system.
Fwiw, I'm all for systems that mitigate bad luck. It's just that... these systems are large, have been in place for a long time, and have immense amounts of inertia. Which is not to say we shouldn't try to change them!
Gnome didn't move to gitlab because Microsoft is buying it. They weren't even on github. IIRC, they were self-hosting. And they still are.
In a nutshell, it is more complex & expensive to run a c-corp compared to, for example, a LLC. The way taxes are handled is a meaningful part of the issue.
Little things like this build more trust with me than all the carefully written press release blogs ever could.
Life in the past: probably

Fossils: probably not, those require fairly specific conditions to form

Life now: probably not, but there's a chance.

We have multiple moons with liquid oceans in our solar system. That's where I would place my bets.
The media is reporting the claim; to reflexively disbelieve the claim because the media is reporting it does not follow logically. Somehow I doubt you'd be bashing the media in your comment if the story delivered propaganda (your words) that supported a position that you agree with.
Several reasons:

- Screen real estate: we simply don't have enough space to put everything

- It's a responsive webapp: if we create a new button just for mobile, then we'll have to hide it for desktops, which means more complexity and testing

- Icon discoverability: our users aren't tech-savvy, so we'd have to create a new button with the word «Refresh» on it, because they could easily miss it if we use an icon (also: screen real estate)

- Familiarity: pull to refresh is a familiar gesture we can take advantage on, and it's easy to disable on desktop
Gnome has never been hosted on GitHub!
Continuous Development: How Iterative Processes Can Improve Your Code
Just watch Anon on Netflix...
It's now an open standard inside apple, nowhere else... lol

Promise kept.
Fame is all about context though. I'm reminded of a specific incident when Kanye was leaving a taxi in France, and bumped into some woman. They had a short conversation and she walked away. Paparazzi asked her if she knew who he was, she said "no," they said "that's Kanye West!" She said "who's Kanye West?"

Similarly, I wouldn't recognize the president of Brazil. Or the senators of Idaho... Or the governor of new York...
Claude Shannon Juggling
Emerald is older than Perl by several years, though.
'Impossible-to-cheat' emissions tests show almost all new diesels still dirty
I'm not looking for sympathy. I'm looking to put out useful information.

Telling an internet stranger "it's fixable" when you don't know what the problem is tends to go very bad places.

My initial assertion was that, no, most people don't really want to understand because then they might have to be kinder and that isn't usually on their agenda. Given the pile on of down votes and every reply to me being dismissive and argumentative, I stand by that assertion.

Whatever interest I had in trying to do some kind of PSA here has basically died. I think I am done here. I have made my point, though, no, most people won't see that. They are too busy trying to come up with counterarguments proving they aren't somehow part of the problem.
This is exactly how apartment buildings are built. There are tons of examples of copy-paste development, even miles apart, in my area.

Regarding the article, pre-fabricated buildings have been a thing for decades. For example in my area Quadrant Homes contracts out framing to a local builder that assembles interior and exterior walls in a factory on a gantry and then ships the entire wall package out to the house to be assembled.
We're also exploring Titan, Venus, the Moon, Jupiter, Saturn... the list kind of goes on.

Mars is the easiest place to get to and stay on, aside from the Moon, and is much more interesting than the Moon - thus, more interest. (Venus is harder, the gas giants and their moons are further and thus more expensive.)

(edit: I removed "Venus", because I don't think we have anything actively orbiting it, nor any specific plans to launch anything.)

(edit 2: wait, JAXA has something! https://en.wikipedia.org/wiki/Akatsuki_(spacecraft) )
Thankfully, only high capacity assault facial recognition software is likely to be banned as a result.
I think we've been agreeing right past one another, then. I'm reminded of the Joe Rogan quote to the effect that "the sooner we can all realize we've been taught how to live life from people operating on the momentum of an ignorant past" (or however it's phrased), the better off we'll all be.
It depends. On parameters like interest rates and rates of return on other asset classes and rental prices and inflation. There is opportunity cost - in some circumstances paying cheap rent and investing the difference into other investment asset classes might leave you better off in the long run. See the New York Times rent vs buy thing.
And now someone else will easily pick up the contract, and Google loses any ability at all to influence it. Perhaps they could have reduced civilian casualities more so than whoever picks it up.
> We believe that AI should:

>

> 1. Be socially beneficial.

> 2. Avoid creating or reinforcing unfair bias.

> 3. Be built and tested for safety.

> 4. Be accountable to people.

> 5. Incorporate privacy design principles.

> 6. Uphold high standards of scientific excellence.

> 7. Be made available for uses that accord with these principles.

While I like this list a lot, I don't understand why this is AI-specific, and not software-specific. Is Google using the word "AI" to mean "software"?
How is that better than a human solving it?

The trolley problem is unsolvable; that's the point.
However, longer term we must still move away from burning fossil fuels even if we make them completely carbon neutral, because while its a slow effect they are not oxygen neutral...

If synthetic hydrocarbons get their hydrogen from water (electrolysis or high temperature thermochemical cycles), their life cycle is oxygen-neutral as well. The extraction of hydrogen from water simultaneously produces a matching quantity of oxygen.
> It’s extremely rare for real estate to decline in value

You and I must have very different ideas of what the word "extremely" means.

> walking away from the property is always an option

That is only true in twelve states. In the other 38, the lender can sue you to recover the difference between the house's value and what you owe even after they foreclose.
Well I’m guessing everyone will have a slightly different viewpoint, but my use of google services over the last 15? years has not had me feeling they’ve done anything evil to me.

Yes I’m sure they have a huge swell of data about me, but so far the use of that data has not caused me any suffering, or pain, or misfortune etc.

“Don’t be evil” is quite a poignant statement. If they were to say, “don’t do bad things” then I wouldn’t have quite the defence. But no, for at least me, a sample size of one, they have not been evil.
When you have realized your present goals or have new goals that cannot be achieved by what you're doing.

I greatly enjoy my day job as a developer. But my organization is floundering (aspects of my team need improvement, but also the multitude of others across the org). I want to improve it, I can't do it as a developer (alone). So I'm moving up closer to management (but doing my best to stay out of management proper) to a position where I can have more sway on decision makers, and advocate for the resources, training, and improvements the product producers need.

I have other goals with respect to learning and improving my craft as a developer, but they're slightly (just) lower priority than getting this organization to function better. And if I fail, I can at least say I tried. To pursue my developer craft goals, I'd need to leave this company. And I'm not ready to yet (I'd have to move, which is not something I'm ready for).

In the worst case, I tried. I learn something new about how management functions. How to be a leader. And that'll prepare me (success or failure) for my next role.
Zero carbon emissions? The uranium drag line, trucks, ships, trains, and smelters are all fossil fuel powered, and that doesn't include the prodigious amounts of steel and cement needed for a nuclear plant. It might be less carbon-intensive than, say, oil, but it's certainly nowhere near zero.

LFTR reactors, if they actually had significant economic potential, wouldn't need incentives. India or China would have gone all-out on them, but the fact is they still require Uranium to get started, and even in theory they aren't much better than what we're currently using for fission-based power.

Ignoring both coal and nuclear is pretty much inevitable, as long as natural gas and renewables stay this cheap or cheaper.
Let's hope nobody ever names a language red-on-green.
You aren't doing much in terms of brand ambassadorship for PIA by muck raking and bickering with a competitor. It's quite petty. The comment about PIA wasn't put forth by ProtonVPN. They clarified the discrepancy you raised and did so in a civil manner.

I wasn't that familiar with your company before today but I can tell you that I won't be a customer at any time in the future based on your comments.
I was CEO and co-founder of doxIQ (https://www.crunchbase.com/organization/doxiq), a similar product. We were acquired by Nitro, another PDF software company, after a couple of years. DocSend started around the same time as us and has become the standard for final format document tracking.

My suggestions:

- read analytics are valuable, but it's hard to get people to pay for that alone given how many other products offer it for free

- pick your target user persona (SMB vs enterprise) and focus on making them happy

- focus on integrations with other systems that your target persona uses, like CRM/marketing automation/email/etc

- ignore shiny object syndrome. you'll be tempted to add more analytics tools or insights to "add more value." while YMMV, i've found this to be a waste of time.
Sleep deprivation doesn’t just affect cancer. With immune suppression chronic viral infections like warts flare up after a day or two of sleep deprivation.

Allergies get worse.

Anxiety shows up more easily (in response to milder stressful stimuli), has stronger effects, and takes longer to subside.

In general cognitive function is impaired: alertness, memory, attention span, ...

The skin and hair get greasier.

...
Why only in the past and not in the present? Methane could be produced from living organisms.
Well, Tesla started with a functional prototype. It's always been an economics game; and a game of scale.

Theranos didn't start with a functional prototype.
> Twitter reported an actual profit for the past two quarters and user growth has accelerated.

I wonder how many of those new users use the new video features, and how many aren't bots.
> To reverse the visibility to private, you mean?

And also making private anything you legitimately wanted made public, because they couldn't tell the difference.
Stanford Seminar – Optional Static Typing for Python [video]
Anyone who has done serious performance testing on a DB knows that there's a massive gap between initial findings and a well tuned system designed with the help of the database maintainers. I've seen some nasty performance out of Riak, Cassandra, SQL, ElasticSearch etc. But with each of those, once I talked to the DB owners and fully understood the limitations of the system it was possible to make massive gains in performance.

Databases are complex programs, and if I ever wrote one, it would be infuriating for someone to pick it up, assume it was "just like MySQL" and then write a blog post crapping on it because it failed to meet their expectations.
Maybe we should actually have a meaningful test that is based on scientific evidence of understanding things like consequences and the current (at the time) structure of the government.

Failing the test, BTW, doesn't mean an individual can't vote (ever, just until they re-pass "high school"): it means society has failed them and they now qualify for extended schooling to correct their lack of education. Including provided room and board while they are studying as well as medical care to correct for sources of learning defects (such as poor vision, etc).

If someone is too impaired to be able to pass high school in that supporting environment then they should be 'retired' the same way someone with a more obvious disability is.
That wasn't no bug, that was a feature!
Survivorship bias: you don't see the shoddy homes from that time period because they didn't make it.
FYI, Nat Friedman, co-founder of GNOME, is now the Microsoft employee who is the CEO of GitHub.
Well sure lets put 28000 people out of their jobs. It's a perfectly good company with a bad management. Management is being replaced, fine is levied, enforcement is done to prevent future mistake, life goes on.
Counter-Counter-Argument: Refreshing a page is probably as or less common as needing to zoom a page. Scrolling is far more common than needing to refresh a page. Breaking one-handed scrolling in order to allow for one-handed refreshing seems like a poor choice. Especially when my browser already has a built in refresh button that's easily accessible with one hand. My mobile browser does not, however, have a built in scroll-bar for one handed scrolling in the event a site breaks scrolling in favor of refreshing. In fact, since the scroll gesture is such a standard websites are often designed around not having a vertical scrollbar for mobile because it's pointless... that is, unless they break scrolling.

I find the concept convenient. I find the execution terrible.
Google bars uses of its artificial intelligence tech in weapons
Well, how are you defining type?

Are you defining type by the collection of methods a value or term of that type would have? That doesn't seem like the best definition to me, but ok.

I would think that a good definition would probably involve something like, a type is the thing which restricts what terms or values can be in what places in what expressions/statements.

As others have said, a function could very well require that its argument be a list which isn't of length 0.

The way you phrased the question sounds like you are thinking of the methods as being contained in the value or something like that. Things don't need to work that way.

You could just treat "calling a method" of an object like a different notation for calling a function with that object being the first argument.

(Which, if the method required the list to be non-empty, would just be a compile time type error if it couldn't be determined that the list would be non-empty.)
>Young (white) men are completely lost in the US right now.

None of the anxiety or malaise you describe in your comment exclusively applies to white people or men, so the parenthetical seems irrelevant.
If they want to be thematic, they should make the word Emerald in emerald green, which this background is not. Readability should not be sacrificed for some theme or branding dealie.