skysight-inc/HackerNews huggingface dataset:
Type systems can enforce so much more, depending on the language. They make reasoning about the code far easier for both human and machine. They enable efficient optimization. They allow far superior static analysis. They allow superior IDE assistance. They improve code navigability (ag/grep). There are countless advantages to static typing, and most of the disadvantages simply don't exist in modern languages any more. Meanwhile, dynamic languages haven't evolved significantly, except to add type annotations, which are like types, just almost always less powerful and not enforced by default.

Dynamic languages excel at fast initial development and "gimmicky" code (wildfire monkey patching, introspection, dynamic code generation etc.), and to get there you pay dearly. Practically all other properties suffer; stability, maintainability, performance, memory usage, ease of deployment, distribution and so on and so forth.

That doesn't mean that dynamic languages have no place, or applications developed using them are somehow generally inferior to those written in statically typed languages; choice of language is only one mosaic stone of many. But it is also a foundation stone, and dictates many constraints, both technical, and social.
He was my master's thesis advisor at imperial :)
From what I know of the Reddit community and their feedback on anything any of these "new devs" have done, it's not going to matter how pretty, well-typed or "scalable" (whatever that means) the code is.

All the new product is just awful. I feel sorry for them.
These are horrible stories.

Interesting to see if folks on HN have had the experience of being attracted to an interviewee/interviewer, or investee/investor, and how they dealt with it given the complexities involved.
Specifically the equivalent Heap's law: https://en.wikipedia.org/wiki/Heaps%27_law
"Then why do couples often say they met at work?"

That's actually my argument. Many do. Anyone applying nothing personal on the job wouldn't achieve that since each would report on the other per policy of no advances. Yet, there's tons of couples that met on the job. So, clearly a lot of people disagreeing with that concept or seeking to limit it in some way with a lot of relationships that wouldn't have happened.

"If you already have a steady, mutual friendship (or other positive relationship) with someone you work with"

How do you do that if you can't show personal interest in them if they approached you professionally? Other articles have women complaining about that where they expect to only receive professional interactions with men they sent a professional statement or response to. Note that, as in my reply to cortesoft, this is a subset of women where others may be fine with it. I've met a lot of those where I just saw them do it in their actions. Or they did the flirting themselves from the get go based on the value of the man. The differing views by both men and women are always left out of these articles that present just one. So, I wanted to see if anyone had something to say about it. Seems they're all in one camp so far that probably matches publisher's.

"and you hit on them, you're an utter asshole and moron. Yes, even if someone was dressed in a way that exposed cleavage."

Going straight to hitting on them before trying to get a conversation or friendly chat would be stupid. I said I'd probably not do it. Never have so far. I play it safe just being professional or friendly until one shows interest in me.
Chris Sacca on Medium http://imgur.com/a/BnI6n
Interesting.

> One of the surprising things from quantum theory is that these bumps have a finite minimum size

How do physicists know that this is a property of waves themselves, and not of their interactions?
"Apologies" like Chris Sacca's [0] don't make you too hopeful.

Often I have committed as their first limited partner and encouraged them
to use my name and participation to attract other investment. I’ve
introduced them to my fund’s most loyal investors and made sure they have
had the opportunity to make their case rather than get lost in an inbox.
I’ve also connected them to our trusted service providers saving them the
time and frustration I experienced when trying to get my first fund off
the ground. Above all else, I’ve rolled up my sleeves and spent the time
mentoring many of them in how to approach the business itself and how to
navigate the inevitable challenges that arise.

Yea, that's what VCs do?
Just apologize and take a bit of time to rethink stuff, nobody's going to be reassured by lame platitudes.

[0] https://medium.com/@sacca/i-have-more-work-to-do-c775c5d56ca...
It doesn't link directly to the GitHub, although nevertheless I have a comment, which is can be provide as a Csound plugin and LADSPA plugin? Then, can be use in Linux too. Probably a lot of the codes could be shared between the different version anyways
Even pigs fly, given enough thrust.
I wonder what are the chances of Typescript becoming (part of) ES.Next. It joins with plain JS as seamlessly as possible.
If you work at a tech-company, you might think, "oh, that happens at Uber, but not here".

It almost certainly does.

One of the easiest things men can do to help is collect those stories anonymously, curate them, and share them broadly. (For example: https://www.bloomberg.com/news/articles/2017-05-23/at-google...) Women shouldn't have to bear the brunt of the burden of making the majority believe them.
I don't know, but the reddit blog post says:

> One of the worries we had with Flow was that it was built to solve specific needs at Facebook and that its future would be determined by that scope.

if you replace [Flow/Facebook] with [Dart/Google] , I guess you could make the same point.
I mean... rotten characters can make rational decisions, to achieve their rotten ends.
There's a term I'm playing around with "sinecure culture" that describes a society that is very well off compared to the rest of the world because of moats. The US due to WW2 weakening many other countries and HK because it was a gateway into China. This leads to lack of motivation to constantly improve and also entitlement.

The entitlement is a result of technology equalizing the playing field making things egalitarian. To rationalize why a simple job pays thousands of times more than backbreaking or highly technical jobs in poorer areas, this society has to feel superior in some way.

Few people seem to notice that in a perfectky fair world, the highest populations have the greatest advantages.

Another thing often ignored is that there isn't enough to go around. Divided equally the world's wealth is 10k each. Livable only if the world's cost of living is equalized as well. However in the Bay Area I cannot buy the 1 dollar delicious meals in other parts of the world.

When there are only a few immigrant going to a sinecure society, it is friendly. However once resources become strained you get tribes, boundaries, and rationalizations for more pie.
Yeah, my comment was a bit snarky. At least CL admits side-effects and non-pure functional programming are necessary.

McCarthy obv knew what he wanted to be able to express and process, but the LISP he ended up with after the s-expression interpreter was hacked together was like the assembly language he was going to compile m-expressions down to.

At the time his main alternative seemed to be FORTRAN. It would be interesting to see if he came up with the same ideas with today's computing landscape and keyboards that had more characters than a card punch. You could argue that many of today's languages incorporate more and more LISP ideas as they evolve but it still might look and work a bit different.
I remember coming across a 2011 article on similar behavior by a New York investor, where I could not figure out whether the writers were condoning the behavior, in an almost fawning tone, or highlighting a problem.
http://observer.com/2011/11/charlie-odonnell-women-in-tech-d...

Just read it again, it is beyond cringeworthy.
Have fun sweating your ballz off Fred
Promoting and educating everyone of their rights is very important and essential to the function of a civil society.

You're absolutely right that tech gets the beatdown because it is new. It is much more difficult for people to complain about their conditions in older industries without finding themselves unable to find another job in the same industry.

The Tech industry, especially in Silicon Valley has the friendliest working environments. Why do news papers make it seem as if sexism is so rampant in the Valley? Why would a girl want to become an engineer if all she sees are stories about how badly women are treated in Silicon Valley?
That last part seems to go beyond creepy and into criminal sexual assault territory.
Not yet, this was only just released to the community yesterday. I plan on making an example app, further polish the docs and create a video. There's lots to do!
A lot of the features, seemingly taken from the jailbreal scene, were rather obvious additions previously found lacking in iOS, e.g. custom keyboards, call filtering and a common filesystem. Tweaks may have hastened.their development however I am yet to be convinced that Apple relies on other people for ideas.
> socially maladjusted nerds who suddenly ended up in positions of power

A lot of people who are socially awkward when they're young work hard to overcome it. Some just naturally grow out of it.

But some find a "trick" to avoid having to overcome it.

The trick is simple: be an asshole. Being an asshole doesn't require any actual social skills, and very few people will challenge you. Most people just go along to get along since they don't want to risk the social cost or spend the energy to raise the issue. It's a great way to superficially escape social awkwardness without having to actually work at it.
>Nope. These people are being assholes because they ARE assholes.

To be fair, even an asshole may show some restraint when they have a clear understanding of consequences. Thinking their money buys them immunity from consequence is an enabler as they don't believe they have the slightest need for this kind of rational self-interest.

You are both right, an asshole is an asshole as you suggest, but even so, assholes are worse when they think they won't face consequences as the poster your replied to implied.
United Nations and WHO Call for Drug Decriminalization Jun 27 '17
Dynamic typing is from 1958 Lisp. Your history is off a bit there, by some forty years.
Typescript and React and Recompose and Reselect
Peek Behind Bret Victor's Lab at YC HARC
Since most of the stuff I work on are prototypes that might never see the light of day, I love dynamic languages like JS. I always find it confusing why more implicit casts aren't allowed when I have to use things like Python or C#.

If print() in Python includes a string and an int, I think the interpreter should be able to implicitly cast my int to string in order to make it all work. As it stands, I have to go back in and cast it myself, which kills productivity.

Any idea as to why implicit casts aren't more supported in strictly typed languages?

I'd prefer a warning on runtime than having to go back to the code.
The good ol' "I don't want to be accused of a crime, so I'll preemptively commit a crime" defense.

I would strongly advise against discriminating against people based on their sex in the course of your business dealings.
HN Women. I am a male and I am genuinely curious. Is the following SH or does the position of power the person holds make it SH or does the environment (workplace) make it SH.

"“I was getting confused figuring out whether to hire you or hit on you.”"
I have been doing exactly the same thing for years! But personally I think it also depends on, well, your physical attributes: being tall/big makes the backpack seem always small, and also makes it kind of invisible to the people in front of you (who are the ones that will eventually decide whether to check if your backpack fits into the limits or not). I think the same trick would not work for shorter/smaller persons. But I might be wrong of course.
I find it interesting that India's INSAS is widely considered to be a failure as a weapons platform, while Japan's Type 89 is by all appearances an excellent rifle. Both weapons were designed and produced indigenously, and both weapons followed a similar government acquisition process.
See my other comment on this thread: https://news.ycombinator.com/item?id=14668402
There was a constant murmur(or was it a constant shouting) of hate crimes performed in the name of Trump shortly after the election, but almost all of them turned out to be hoax hate crimes perpetrated by the victims. I'm not saying that is the case with sexism in SV, which certainly exists - I am merely saying that people claiming something usually isn't enough proof alone that something is happening. Of course, you shouldn't treat them as liars automatically, but I don't think you should also just blindly accept what someone or multiple people say. It can be evidence towards a problem though.
NASA Denies That It’s Running a Child Slave Colony on Mars
Tutanota Update: Restored Emails
Thanks for the tip. I didn't realize other stuff happens around me.

But still, there's lots of "constant murmurs" that don't pan out, and in many cases they're driven by agendas. It's easy to make or perpetuate claims when there's no attribution, no specific examples, etc. Just vague innuendos.

So if some vague innuendo is contrary to my personal experience, yeah I won't believe it as fact.

Kudos to these women for bringing VC sexism out of the realm of murmurs.
I think attempting to use Swift on a Linux server would be a big nuisance

I beg to differ. Look at Vapor, Kitura & Perfect.
I know Foundation is missing implementations for Linux, but it is not something that makes it a big nuisance IMO.

You can quickly have a setup with Swift on Linux running a simle CRUD app.
I've mentioned it before, but it's frustrating how linked 'freedom' and 'free' are. If you buy into the security walled garden, you must too accept the commercial walled garden. I don't think those things must theoretically be intertwined, but in today's market they certainly are.
Then why does their behavior disproportionately affect women, who have less power to complain about their behavior? If this were entirely an aspect of their character or personality they'd be an asshole to everyone equally, not opportunistically take advantage of people who have less ability to stop them.
Or to go all-in - we have a `--strict` flag that gives you `noImplicitAny`, `strictNullChecks`, `noImplicitThis`, and a mode that always puts you in `"use strict"` mode.
That is pretty funny.

If they provided larger meal sizes it would probably come closer. They'd be able to provide you one meal's type of food (less variety, fewer things to measure, and fewer types of ingredients = easier supply chain management) and you could get 5 or so meals out of one cooking session's worth of prep.

It probably still wouldn't come down to $7. But I assume there are people more willing to pay than me out there who would be happy with it.
Tell one.
TS has nice features to avoid js bombs but all JS 'bad code' is legit by definition (JS superset). TS is super nice compared to JS but it is NOT excellent Lang.
I'd say that on-scene pain management is a luxury compared to fixing an opioid addiction. (Maybe the desensitization makes pain management harder anyway).

A drug addict seems more likely to suffer from his addiction than to suffer from an accident.
I am basing this on the assumption that naltrexone will only delay pain treatment by a day at most. If it has people in agonizing pain until it wears off things are different.
HN discussion from 2 years ago:

https://news.ycombinator.com/item?id=9943589
> Any idea as to why implicit casts aren't more supported in strictly typed languages?

That's the difference between weakly and strongly typed. If you take a strongly typed language, and add implicit casting, you get a weakly typed language.

How this is resolved (or if at all) depends a lot on the language. For example, in C++ it is straightforward to define implicit conversions (which can become confusing). In Python on the other hand, it is generally up to the receiver to call some kind of conversion function, like str(), which will use an object protocol (like __str__) on the instance. This is what print("foo", 1) does, or "foo %s" % 1.
For one - we conflate VC as being "tech" when it's simply just finance (i.e. Wall Street). VC's literally take money and put it into investment vehicles and generate profit from selling those investments. That's basically what Wall Street does.
>If anything, the reorganization the USAF needs is to lose the close air support mission, and the A-10 Warthogs, to the Army.

The Army wouldn't take the A-10s if they were offered.[0]

>doesn't want to get involved with smaller fixed-wing aircraft for close air support.

But they have[1]. An OA-X demonstration is scheduled for August, of which they're looking to field an off-the-shelf plane.

[0]: http://www.military.com/daily-news/2015/02/25/army-not-inter...
[1]: http://www.defensenews.com/articles/air-force-leaders-confir...
Go spend all the time with your brother you can.
Has anyone actually bought these despite your (evidently constant) nagging to the contrary?
confused. none of the flights are supersonic.
It's actually pretty good. I have no idea how or why, but it's pleasant to the eye and very readable.

... It's probably not worth $200 though.
Notably, delete is not broken, but you have to refresh the page first, as an anti-spam measure
Then tell the stories. Don't repeat third hand rumors of other industries as whataboutism.
Lisp has nothing to do (in many ways) with the late 80s and 90s wave of dynamic languages.
By your definition of "asshole", are openly bigoted people not assholes because they're not "an asshole to everyone equally"?
The other side of this coin is that many people have sex at work. So when a guy/gal comes in and sees this is the MO they may try to participate.
> "If you're really truly worried about false accusations then here's another fix you can have for free: record your meetings, texts, emails, and calls with founders and/or don't meet alone."

Well, there are two problems with that.

1 - It puts the burden of proof on the accused. I.E. it totally throws out of the window what has become a de facto human right and an universally established legal one in every democracy: "Innocent until proven guilty", into a: "Guilty until you can shows us some footage that proves you are not guilty" (which let's face it, it's basically impossible if the accuser is lying on purpose and knows how to do things).

2 - In America I think you are free to record other people interacting with you or in your office/home (perhaps some American can clarify this), but in many other countries, specially in most of EU, that's a crime. You can't go around recording people unless they are of public interest and in a public situation or they expressly consent to it.
NYPD is canceling its Palantir contract
My problem is that I don't trust the Angular team not to abandon Angular 2 like they did with 1. Angular 2 should have been named something else to avoid all this confusion around Angular 1's abandonment.
I'm not sure if your cooking analogy holds in this case. As someone who has never operated a record player, I don't think the act of merely setting up the equipment would really add to my experience. If we were talking about replacing a musical instrument with an iPod, then your cooking analogy is more cogent. Perhaps the pleasure is more rooted in nostalgia - I remember an episode of Everybody Loves Raymond in which Frank (the elderly father) shuns a state of the art CD player for his vinyls (https://youtu.be/ZQM6GwUancI), and his reasoning for why was that it reminded him of the enjoyment those records gave him earlier in his working life. It's like when I watch a sketchy VHS of Mr Bean, it reminds me of times with my maternal grandfather in a way a crystal clear DVD copy never could!
How about.. oh i don't know... actually building a quantum computer?? no?? ok. Sry..
> You don't actually want qubits, you want an analog computer with differentiable signals. Most likely photonic. Qubits are a dead evolution branch.

that's quite a bold claim. im pretty intrigued, but it seems like there isn't a lot of easily accessible information on this topic. the wikipedia article on analog computers mostly focuses on mechanical ones from the past. do you have any recommended starter readings for analog computation? is it a model that has the computational time complexity of a non-deterministic turing machine? thanks.
It's hard to take these kind of posts seriously when Reddit mobile site is one of the worst performing SPAs I've ever used.
Agreed. I don't see the use case for Reddit to be a SPA. Given that it's a list of documents linked together, I can't see a better use case for a plain old static hypertext document.
Not yet! But that's because the crowdsale doesn't start until July 4th. I announced the ICO a week early to make sure everyone has a fair chance to make a smart decision with their money and not buy these.
Start with http://www.progonos.com/furuti/MapProj/Normal/TOC/cartTOC.ht...

If you want formulas, https://pubs.er.usgs.gov/publication/pp1395

If you want to know more, there are many books about cartography.
Interesting project, but these silhouettes reflect the programmer's coding style not anything specific to the languages themselves.
How do we get out of this dead end?

Have women as your first few customers. Sell to Women initially. Only pitch to women VCs etc... When you get beyond a certain point hire men to deal with men you don't want to deal with.
These silhouettes reflect the programmer's coding style not anything specific to the languages themselves...
Again, that statement is only false if these are false accusations.

Are you saying they're false accusations?
I think when he says bypass, he might mean you can explicitly cast to `any`.
Minutes/Summary for the 2010-06-15 FESCo meeting (includes systemd)
Summary of Solutions to Climate Change Ranked by Cost-Effectiveness
Wow, this seems terrible. For these women (and from the sounds of it, many more) to always have to second guess if an investor likes them for good business reasons or whether it's just because they're pretty.
To always dread meeting a new business contact, knowing there's a small but substantial chance he'll make some awkward comment.

Some thoughts:

1. Is this more common in silicon valley than elsewhere? (I've never seen any remotely similar male->female sexual harassment in the non-valley places I've worked)

2. Is this more common among high-powered people than low-powered people (seems definitely so)?

3. There's definitely a double standard here. I once worked (in tech) with a good looking former male model. There were many very suggestive comments made to him and about him, and they made him feel obviously uncomfortable. Of course, the women making these comments did so pretty openly and with humor, as female->male is not really considered wrong for sexual harassment.

4. Obviously some of these remarks are worse than others. But many people do end up dating and marrying their coworkers (Bill Gates, Sergey Brin, Phil Knight...). I think there is not a black-and-white line for suggestive comments to people you are connected with at work. The line is thick and grey, but wow do some of these guys not have any self-awareness.
Here’s my suggested alternative, also conformal, http://i.imgur.com/Y6ki0l9.jpg

Inspired by http://www.genekeyes.com/Cahill-desk-maps/Cahill-1918-rotate...
Original systemd thread on fedora-devel