skysight-inc/HackerNews huggingface dataset:
This guy bugs me:

> “It’s concerning that we’re ripping down part of our heritage and building glass boxes,”

You can't complain about rising rents with one side of your mouth and say crap with this with the other. Rents in Seattle are still rising fast (even after the Bay Area is starting to cool off a bit), and the only reason it's not significantly worse is because there actually are a crap-ton of new dense housing developments in progress, even if it's not enough.
Neuroscience Says There’s a Huge Upside to Being Forgetful
Not only high-end cars.

Every Toyota comes equipped with lane following and smart cruise control. They call it Toyota Safety Sense, and even the lowest priced, $18k Corolla has it.
You must have missed this ProPublica piece:

When Evidence Says No, but Doctors Say Yes - https://www.propublica.org/article/when-evidence-says-no-but...

There's a slander against "alternative medicine" that goes something like, "What do you call alternative medicine that works? Medicine. " The inference is that Medicine adopts what's useful. If a herb is actually useful, the pharmaceutical industry will figure out what the active ingredient is and figure out how to synthesize it, etc.

My corollary to the slander is the truism: "What do you call medicine that doesn't work? Medicine. " The ProPublica story linked above says that heart stents [are now known to not be] helpful for anyone that's not actively experiencing a heart attack, but thousands get inserted every year anyways.

[edit - clarification [] above]
Getting the appraisal from the place that's selling to you seems like an inherent and obvious conflict of interest. Ideally the appraisal should be a flat flee from a third party.

In the context of your comment, what value do you see realtors providing w/r/t appraisals?
I wonder if maybe there's a downside to making the housing affordable by building out. If you build out during the boom years, what happens when the boom subsides? You'll end up with a city full of run down infrastructure that the city can't support on a smaller tax base. It makes sense to me to expand housing, I'm just not sure how much.
> I get that these underpin the technology we as programmers use every single day

Is this actually true? Of course Haskell, Idris, etc. leverage type theory, but how much type theory underlies the type systems of widespread practical languages like C# or Java? Can something like C++'s SFINAE be grounded in type theory, or is it just a hack?
In the 19th century industrialists used to build towns for their workers[1]. This seems like the 21st century equivalent.

I find the whole idea abhorrent, people would be working then handing their wage back to their employer for their food, rent, utilities etc. It seems very dystopian.

[1] Saltaire is one example https://en.wikipedia.org/wiki/Saltaire
I am actively looking the house right now. And getting disappointed by Redfin these days.
Previously it showed listed price for sold properties but now it has gone. Only sold price is shown.
Not only this, but the property disappeared from MLS then re-listed with higher price tag doesn't show previously listed price.

Information should be transparent between seller and buyer but Redfin is leaning to seller side at this moment.

So, I am using Zillow more frequently than before.
Nothing ever changes. Every time I see his name appear, there's yet some more absurd drama involved.
> Keeping people's computers safe is a primary goal of browser vendors

I disagree with that goal being primary when it comes at the expense of user freedoms.

I for one prefer taking a small risk rather than living in some dystopia where all software must either run in crippled sandboxes or be approved by the central ruling committee for trusted computing.
TBH: Do you like this?
If you haven't thought much about type systems but want to understand what the big deal is, I wrote a post specifically for you [1]. It draws motivation for wanting a good static type system from first principles.

[1] https://gilbert.ghost.io/type-systems-for-beginners-an-intro...
I have a .edu address....
> Plenty of others criticized Python 3. Zed was actually trying to harm the move to it.

This is exactly right, Jerome. I remember Armin being quite vocal against Python 3, but Zed was actively harmful, telling people to stay with 2 even though it was abundantly clear that 2 would not be supported by anyone any more.
It looks like you've created several accounts to post this kind of personal attack today. Would you please not do that here?

We detached this comment from https://news.ycombinator.com/item?id=14720640 and marked it off-topic.
Weird, totally different experience with me. Found a place on Redfin, clicked the "buy"/etc button about 11pm. By 7am agent replied back to start offer. Was fast and great
That's great, but I'm not sure how it is really relevant to the point...
But a sales price commission, of all possible completion-based pay structures, makes the interest of the agent misaligned with (opposed to, in some respect) that of the principal.
Sources of various compilers, assemblers, and linkers:

http://www.exmortis.narod.ru/index_eng.html
I don't have enough context to know if it's enough or how much better we could be doing, but there actually are a lot of new housing projects in progress, and new ones getting started all the time. So we're doing better than the Bay at least.

But mostly they're coming from lots that were previously either parking lots or low-earning commercial property (for example, the McDonalds on Madison and Minor just got torn down a few weeks ago for a new apartment complex). Eventually those will run out and the only thing left will be to cannibalize Seattle's large and very unhelpful supply of low-density single-family housing. That's when the real problems and political fights are going to start, if the real estate market hasn't cooled off by then.
Why do you feel it didn't really generate revenue?

What would you do differently if you were going to do it again?
I've deleted all FB content last year (from activity history and timeline) and I regulary find few old posts in my already empty timeline. Looks like they will emerge from some dark corners of database for years.
If. I suspect that smcl can't get excited about type systems because of not seeing the benefit.

For me, types are sets of possible values, plus sets of valid operations on those values. I don't much care where they come from. As far as I am concerned, they are an engineering construct to make programming easier and safer, and are interesting only to the degree that they accomplish those goals. Any connection to pure math is completely incidental; if there were no such connection, it would not make (programming) types any less useful.

Now, math often gives deeper insight into what's going on, and enables you to create more powerful (useful) abstractions. But if the useful abstractions don't correspond perfectly to types as used by mathematics, I don't care.
Huh, that's very good advice. I would never have thought about slowing myself down, but now that you mentioned it, it makes perfect sense.
Yeah, what exactly are developers supposed to do if not this? Seattle is not built in the best place for growth, we're surrounded by water. It's either denser housing or hour-plus commutes.
> spline reticulation

Classic. I miss simcopter
> How about the case where the hardware doesn't support it. Would screen-grabbing be possible then? Where will the decryption take place in that case?

You don't get the content then. Full stop.
That is exactly what happened to the Russian translation:

https://ru.wikisource.org/wiki/%D0%9D%D0%B0_%D1%81%D0%B5%D0%...

In Russian, both words are female.
Because they killed a few products that a vocal minority loved, it's a meme that Google products are killed off. Like many memes, the underlying logic is lost, and it's now cool to quote the meme.
Nginx in-browser in-depth Metrics done simple and sweet
> watching the documentary itself would answer your questions, no?

I'm definitely feeling engaged, but not entirely enthusiastic... (EDIT: But I feel like I'm picking a fight with you, and I apologize for that. I'll definitely give this documentary a shot!)

Part 1 sounds like the fascist mode of thinking: "all our intractable emergent problems are due to an evil conspiracy of outsiders in our midst, with an inexplicable desire to destroy the world!" The whole problem with Ayn Rand is that she tried too hard to be anti-communist and accidentally turned fascist; seeing her followers pointed to as a fascist-style internal outgroup is as depressing as it is silly.

As for the other two parts -- tearing down the Gaia hypothesis and the Selfish Gene -- what does he think are the right things to think, if these are the wrong things? Are we going to just start pretending that the establishment Left was always anti-hippie, now that hippieness has turned out to have nasty emergent consequences?

I'm particularly annoyed that he blames the Congo situation on the Selfish Gene. The establishment likes to pretend that the Congo is too complicated to understand -- because the alternative is owning up to how the French backed the Hutus during and after the Rwandan genocide, and how the international community is still more sympathetic to the Hutus than the Tutsis. (See also the allegedly inexplicable causes of WWI.)
Team friendlyness, simplicity, readability, tooling, native compilation, built in syntax for concurrency and really fast compilation times for large projects.
I opened the article expecting to see more of what we have seen the past couple of weeks and was pleasantly surprised.

For me, the point of view of the writer is blindingly, blazingly obvious. Women have brains too, ya know and maybe just maybe they don't @#%@^# appreciate being appreciated for only one thing when they just burned 3 years (or a week or 25 years or whatever) of their life working hard for something. No man would want a woman (or another man!) to do that to them, it's only fair to return that expectation of respect.

For me, too, it's about what future - near and long-term - that I want to see. I don't want to see a world built where most of the time, advancement comes on the back of such behavior. I need - most people need - to know that their effort will eventually produce a reward. Not wonder, ok, I did all this work, am I going to fail at the sexual part? That bloody sucks.
20 WordPress Core Functions That Don’t Scale and How to Work Around Them
>No, the author of these books should be ashamed. He was part of the reason it took 10 years for Python 3 adoption to get to where it is today. He wrote very nasty things about python3.

He played an insignificant parts compared to the large incompetence shown by the team that decided Python's 3 feature set and handled the transition.

In general, whoever decided that such few features (in the initial versions) and such lacklustre fixes should be enough to make people adopt an incompatible version of the language.

They still did it better than the Perl people, so there's that.
I believe you get an actual interest for type systems when you start using a rich one. Unfortunately, most mainstream languages have very poor type systems. In particular, it will come naturally over time if you start using languages like OCaml, F#, Scala, Rust, Haskell, ...
It looks like you've created several accounts to post this kind of personal attack today. Would you please not do that here?

We detached this subthread from https://news.ycombinator.com/item?id=14719496 and marked it off-topic.
Waiting for Jason Calacanis's "Angel" to come out later this month.
who still actually can't program a computer to solve even a trivial problem.

Or who get nervous, and freeze up.
I don't know much about streaming, but having watched lots of twitch channels, I think some streamers use one screen for stream display, and the other for everything they want to see but don't want the viewers to see e.g. chat, sensitive stuff, etc.
We detached this subthread from https://news.ycombinator.com/item?id=14719644 and marked it off-topic.
We detached this subthread from https://news.ycombinator.com/item?id=14720083 and marked it off-topic.
That sounds like they were just simulating the society based on data they had gathered about their fights. So not inducing monkey fights, just observing the monkeys fighting naturally and extrapolating from there. Though earlier in the article they allude to removing a few members of the society and showing the fights increased.

Also it should be noted that fighting is a very common part of monkey behavior. If you observe these groups in the wild individuals are almost constantly challenging and checking others to maintain or advance their position in the social hierarchy.
I loved this because I have read most of the source material in the context of logic, but never made the lead to type theory in computer science.
"Even though theoretically, type theories and type systems are not enough to prevent all the problems in logic and programming, they can be improved and refined to prevent an increasingly number of problems in the practice of logic and programming."

It's actually just a belief. Nothing suggests that type systems and type theories can be improved to be practical at preventing bugs. I'd say it's the opposite, even with as much understanding about the nature of bugs as we have today, they don't look very promising, unlikely to make it even into the top ten of other different approaches.
35 practical steps men can take to support feminism
Sovrin Status: Provisional Trust Framework
I've seen a bunch of single family homes that were zoned in multifamily areas turned into townhomes. Seattle is becoming more dense, and not just in downtown. We're not San Francisco, thank god.
You're underestimating how hard it would be to build such an engine. Google and Facebook have sunk $billions into their knowledge graphs so far, and not made much of a dent.
Learnable Programming: Blocks and Beyond
100% agree with this in general and specifically. People tend to get too hung up on issues that are over. Zed has moved on and so should everyone else.
> These companies know "more about your life than you do", but yet the targeted ads continue to be pretty useless

It always amuses me when Facebook reminds me that it was my wife's birthday the previous day. A real AI would alert me at least a week in advance!
Well, first he said he wasn't going to, then he got flamed by basically everyone on the Internet over it, then after that publicity died down he changed his mind and revised it.

A cynic would think that his criticism was an elaborate marketing ploy to drive up sales of the eventual Python 3 edition of the book which he had planned all along...
> Perhaps it is an outgrowth of the fact that people are basically institutionalized from ages 13-22.

I would also add that this institutionalization largely deprives youth of contact with adult role models, forcing them to figure out many things by themselves or from TV or the Internet. And models or advice which can be found there are various and not always provided with disclaimers regarding their accuracy and scope of applicability.
I saw a presentation by him a few years ago[1] and I think the best characterization I could come up with is "Nobel Disease". He doesn't literally have a Nobel, but I think his early success has gone to his head and he seems to imagine himself an expert[2] on things that he is manifestly not.

[1] On a subject that I could reasonably be called an expert on. No, I will not elaborate for reasons of pseudonymity. Take that for what it's worth.

[2] As if we even had objective criteria for judging language design at this point in time.
God forbid anybody on the internet has his own opinions AND writes them in a non-corporate strong/humorous language.

And God forbid anybody calls the Python 2 to 3 transition (which took 7 years and is still underway -- not even 50% done) for the actual mess it has been.
Hey Robbo, thanks for the post we've created another spreadsheet so companies post directly - https://docs.google.com/spreadsheets/d/1JDx5acZPvdmmSeMyEr77...
Very Cool, New League App
Hey folks,

I recently released an Android app to the Google Play Store. I would appreciate any downloads and (hopefully good) ratings.

https://play.google.com/store/apps/details?id=jabari.leagueoflegendsapp

It's a simple but useful app that displays lots of info about every champion and even has a lil quiz for ya to help you find a good main champ to play.

Don't fail flash :)
Betterment | Software Engineer (Fullstack, Backend, Mobile, Site Reliability) | NYC | Onsite | Fulltime | http://www.betterment.com

Betterment is the largest independent online financial advisor with more than $9 billion in assets under management. The service is designed to help increase customers’ long-term returns and lower taxes for retirement planning, building wealth, and other financial goals. Betterment takes advanced investment strategies and uses technology to deliver them to more than 250,000 customers across its three business lines: direct-to-consumer, Betterment for Advisors, and Betterment for Business.

Our engineering interview process: https://www.betterment.com/resources/inside-betterment/engin...

We're hiring for a variety of engineering roles including Backend, Full Stack, Android, iOS, and Site Reliability.

More details and apply here: https://www.betterment.com/careers/
LastPass – An Unsolicited Redesign
Cover off longterm restores and you are pretty much good.

Don't forget that families/friends can also effectively offsite each other's backups without invoking third parties. That does assume connectivity, storage etc. Also it does need managing 8)
Indeed. When I needed to sell a house in the East Bay, the Redfin agent wanted to list the property for almost 20% less than it sold for. When I told her that I thought she was pricing it too low, she looked at me like I was crazy. The local agent that we ended up using instead (who had recently sold 3-5 houses in our same neighborhood) had a much better idea of what the house was actually worth, and also paid to stage the house--which Redfin would not have done.

We used Redfin to purchase that house, and our purchase experience was very positive, but selling the house with Redfin could have cost us a bundle. It would probably have been fine if property prices had not been rising so quickly at the time, but regardless, I am a believer in the value of staging which is a service not covered by Redfin's fees.
Hnooch707
> Incidentally, this is not a call for the open internet; I could not care less if there's a leading provider for content, as long as such content is accessible in a standard way.

There is such a provider and it's called Facebook, that is if you don't care about the open internet is exactly what you get.
One would be wise to remember Zed's melodramatic exit from the Rails community. Once is surprising, twice is a pattern; reading the bitching about the PSF in this piece, I suddenly remembered the nearly identical bitching (including the le Carré style yarns of intrigue and "trusted associates" with chat logs) about certain folks in the Rails community. Read between the lines, and you almost identify a complete unwillingness to accept personal blame for anything: in "Rails is a Ghetto"[0], he claimed Rails and Mongrel ended his career and made him homeless -- which is odd, given the astronomical growth of Rails. In this essay, he claims the PSF is actively trying to suppress him for Reasons. So he responds to that by charging money. Come on. Think about that for two seconds.

I'm amazed that people still don't read Zed Shaw objectively in 2017. Zed is not a friend of any community except his own, including appeals to violence, and he has repeatedly shown that. I think it's extremely important to keep in mind the person being dealt with here and his history, because he absolutely does create toxic drama within communities (including in this thread, right now).

[0]: http://harmful.cat-v.org/software/ruby/rails/is-a-ghetto
Yes, it can! And that's why it bought WhatsApp, Instagram and tried to buy Snapchat. Defensive moves all the way.
> How about the case where the hardware doesn't support it. Would screen-grabbing be possible then? Where will the decryption take place in that case?

There essentially are several tiers of DRM

- hardware-assisted encrypted pipelines (described above)
- kernel module assisted
- pure userspace obfuscated code

If it's in userspace, such as some software DVD players or game DRM then you can use a debugger to dump the keys or maybe hook some method that sends the frames to the gfx card.

If it's kernel-assisted you would have to bypass kernel module signing and hook deep into the operating system because the OS will also prevent screengrabbing of the protected surface.

If it is hardware assisted you will have to find a flaw somewhere in the pipeline or buy devices that contain decryption chips that basically are repurposed official decryption chips.
Although I'm thinking of designs and snippets rather than actual functions.

But that's the thing -- at whiteboard interviews, they don't ask you to produce "designs and snippets". They make you write actual working classes and functions.
A great idea, but this also takes time, albeit once rather than N times. Any chance you could share some of the scripts (etc.)?
Sure. Try pirating Reason or Cubase for one...
You (the buyer) schedules the inspection, you can ask the real estate agent to do it for you but it's a simple phone call.

I don't understand the contractors statement, a contractor is not a usual part of a real estate transaction, at least in my experience?

Once again, scheduling photographs is a simple phone call to a photographer.

Putting an ad on the MLS can be done yourself for a small fee - https://fsbo.com/flat-fee-mls

Buyer's questions can be better answered yourself, most sellers agents are unable to answer any questions and they'll have to relay most questions to you anyways, once again, my experience.

Open houses are more about generating leads for the agent then they are about showing your house.

Negotiating with buyers can be done yourself easily.

Working with the title company isn't something real estate agents do, not around here anyways. My lawyer handled all the title stuff. Plus what sort of "work" does an agent need to do with the title company?

Handing off the keys? Seriously? That is done at closing and shouldn't cost $5,000+.
> and thats without considering the masses of "non-human" entities, such as gut bacteria

Actually, there's research that suggests that gut bacteria may have more control over our decision making then we are aware of. Really interesting stuff.

[1] http://www.smithsonianmag.com/science-nature/gut-bacteria-ma...
A lot of the heritage buildings are not designed to survive the kind of earthquakes that Seattle is prone to. So you can either tear them down now for development, or let the Big One do it later, with great loss of life.
I found this interesting article that claims that flu days / sick days reduced the number of workplace cases by 6% by reducing the in-workplace transmission rate by 25% for one day and 40% for two days of time off.

https://www.sciencedaily.com/releases/2013/06/130613161831.h...
Behind AI I would always expect at least Deep Learning. Machine Learning I use for everything that learns it's own decision boundaries. When it's humans teaching a machine, I'd call it simply automation or expert-system.
Although a lot of "teaching" still goes into feature engineering ...
That's exactly what I do when streaming Overwatch, especially when my friend talks to me via IRC and I reply with voice. That said my monitor is big enough to have both the game and IRC visible, and I could set OBS just to record the game.
Huh, interesting. I was looking around for PDF libs previously and PDFBox didn't show up in google results. pdftk was the only one that showed up in Google results anywhere useful.

Edit: Looks like it's on the second page of results and I never made it that far, heh. Goes to show how biasing the first page of results is.