skysight-inc/HackerNews huggingface dataset:
Because it's written intentionally to make data access patterns which are weird. Having multiple modalities should theoretically make a lot of different design options awkward.

Presumably Stalz intends to use cycle and show that capturing everything as an Observable is a good unifying framework.
aren't they still at risk of displaying mls data in a non-canonical format?
I said this in another comment, but based on what Alexis said here, it seems like there might actually be staffers (reporters) doing additional research into the stories as they appear on upvoted.com.
This is all a great idea - but state laws wouldn't permit it (I work in the industry).

Most of the features you described, and the fee structure associated with them, would be in violation of real estate licensing laws. Hence why no one has provided a modern, competitive alternative to real estate brokers: you simply can't under the current regulatory regime. Otherwise, what you've described would almost certainly already exist.
Am I just misreading this or completely uninformed on something, but since when is Wordpress extremely new?

In your child comment, you say "I can see it replacing newer languages like nodeJS, Go and PERL in the future. In the next couple years people will start realizing that the consistency, speed and security offset the lack of communities using it, and I can see it becoming really popular."

Again, I feel like I'm in a time warp, but when have those three things been qualities of PHP? Also, PHP has been huge for years. Node.JS and Go have only recently been taking over.

I'm so confused…
> You sound like a rabid child

As you probably know, you can't comment like this on HN and we ban accounts that do it repeatedly. Please post civilly and substantively or not at all.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
I would love to read a new Penny Arcade review of this vs. Surface Pro 4. I hope it happens...
It could, but it would require a compatible budget. Now how many companies that develop software (so I include the myriad of financial, healthcare, etc companies that create their own enterprise software) would do that? For example, take Bloomberg that develops the famous Terminal. How much software engineering is in that product (I can't tell, I never worked for them) but I would guess it is much less than DO-178C.
So "acceptable" can mean one thing for the academic community and quite another for the real life companies.
Caption reads: "A suffragette defends herself from a policeman's truncheon". Poor choice of words much?
I would like to see some transitions, as that is something that I have found hard to do in a bunch of frameworks.
Actual software engineering probably shouldn't be considered the same category as the methodology cults and poor management. I actually read books like Mythical Man Month, Refactoring, etc... and it's helped me to write better software. Theory and practice are very different though.
If all you plan to do is develop applications for the web, then go for Linux.

If you ever plan to step foot into corporate IT, you're going to have to deal with Windows because Linux is a bad platform for Microsoft technologies -- and most corporate IT departments exist to deliver Microsoft technologies to end users. Exchange, Outlook, Excel, Word, Powerpoint, Sharepoint, etc. are the standard in the corporate world, and there really aren't any other applications that measure up.
While true, the risk of exposure is significantly smaller if the derived key is different for every site.

The algo can work by the site sending the user their personal salt. The algo will then encrypt the password, use the salt, and send the derived key.

This DOES remove the burden on the user of trusting every site with their password. The problem is quickly the password is only but one of a lot of data hackers look for.
And the US Government has a big advantage over banks--they can print more USD.
I'm almost certain the comment you're replying to is satire. I had to read through it twice to be sure though. It's either satire or coming from a parallel universe where everything is upside-down.
It really isn't narrow. Mathematics, philosophy and computer science are just three different ways of viewing the same problems.
It's pretty normal for there to be militants, as well as moderates, in a resistance. The militants create pressure and demand total capitulation while the moderates leverage the pressure to promote pragmatic solutions. Good cop, bad cop.
Watch Fox new much? Climate deniers love this argument. Jon Stewart answers your question here:

https://youtu.be/lPgZfhnCAdI?t=459

While looking for the clip I found this gem:
https://www.youtube.com/watch?v=cjuGCJJUGsg
I think on_ is just trying to be whimsical...
I'm sorry, but I've never heard in all my decades of life about female mutilation among Christians. Can you point to some credible evidence?
Yes, and I actually just had dinner with some humans working on figuring it out. One possibility is that an invasive species of seaweed is throwing their diet out of whack.

Humans can keep helping by gaining greater understandings of the impact our actions have on everything around us (negative externalities if you want economic-speak).
Interesting that you don't see this post as containing significant new information. The Business Insider article had only the briefest of mentions of the NSA, and nothing about the political consequences, and doesn't have any perspectives from US privacy and civil liberties organizations. The EFF unsurprisingly gives more context on all of these aspects. So the net result is a textbook example of Hacker News' "objective" policies penalizing alternate perspectives.
So I can't use AWS to store stuff if I'm in EU? Whst happens if I just ignore this?
I use shift+alt+left/right to highlight lines, but I don't use shift+alt+up/down ever. I use my mouse for that.
That wasn't an "opinion", that was a serious breach of the HN guidelines. Please read and follow them.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
Yes, libraries and frameworks vary in quality. My e.g, was for "standard libraries", meaning those that come with the language, though I didn't emphasise this.

Another problem with libraries in the wild is that as they add features, they add bugs. If they don't add features, they lose popularity and don't get used. If they are commercial, they are less popular, and get fewer bug reports (and fewer eyeballs checking for closed source). People don't want to pay for correctness.

I think you're right: correctness is pretty far down the priority list. Good enough is good enough.

BTW: static types have correctness benefits, but dynamically typed languages are very popular - and when static types are used, it's for performance and documentation. Languages using static types for correctness (e.g. ML family and haskell) are not mainstream.
I agree - it's so challenging to keep up with Terabytes and Terabytes of moving data ... but reproducibility is so fundamental to science in general.

I'm not disagreeing, I'm just wondering if there's somehow a middle ground. What do you think? Can you share any experiences or tips?

I am running my own company at the moment, and my main dataset is about 2.5 TB, it's a very skinny table (it's actually a 191,000,000 x 6,000,000 matrix). It takes too long to iterate the whole dataset, so when I'm training my machine learning classifier I subsample the large dataset then compare previous model results to the new model, and inspect the differences.
I think the parent is being ironic.
We really need to differentiate between the two types of "security" when we're talking about them. Are you worried about your personal information being stolen? That's security. Are you worrying about being spied on? That's privacy. People generally aren't worried that the NSA will steal their personal information, run up their credit card bill, etc. They're worried that the NSA will see something that could be used against them in court, or used to target government actions against them in any way. Not to say that an NSA backdoor couldn't compromise both security and privacy, but this is a simplified view.

BitLocker is secure in that it keeps out the attackers. If it keeps out the NSA is a different story (one that is much harder to determine).
you gave me flashbacks thinking about "RETS", and how many times, it was a XML formatted CSV.

thankfully, someone else was managing the contracts, and we had built a fairly decent feed management system.

i still have nightmares, though.
Can't you just chose the Irish or Frankfurt region foot your deployments?
Doesn't help the slow-as-molasses NTFS unfortunately, or the inefficient scheduler.
Unless I missed it, she didn't say for how many of those 38 years that programming sucked, though. Her examples of suckiness were all from just a few years ago.

Anyway, that's a potentially long time to be doing something you don't enjoy.
In advanced stages, martial arts also teach you about meditation and working on your breathing/mind. Great for hacking :D
Sola dosis facit venenum!
Internet of “OF”
Would this link work better?

http://blogs.windows.com/devices/2015/10/06/a-new-era-of-win...

Blog post with links to all the new devices.
True on the first. On the second, I would bet that the entire air supply in the car could be sucked through the system in under 3 minutes once the door is closed.
Rogue Wave owns IMSL, mathematical and statistical libraries for C, Fortran, and other languages.
Not sure I understand how that's related to the article either, to be honest.
Out of curiosity, how old were you when you get started with martial arts? And which one it was?
Wouldn't hold my breath, given that the request to include their CA in Mozilla's trust store has gone nowhere in about 4 months:

https://bugzilla.mozilla.org/show_bug.cgi?id=1172401
I have been pretty critical of reddit lately, but there was a time when I really enjoyed using it and it does provide a ton of value to many people. It is a great website in a very difficult situation due to the community culture (very anti-corporate/advertising mentality), diversity of users and content ownership issues. On a real level, the site is pretty awesome. I want to see them succeed because sub-communities and even the organization have stood for an opened internet and positive things.

I think upvoted looks really sleek and I hope it is successful, but they really need a way to monetize and it is a really hard problem to solve. Obviously, using a widely supported mature CMS like wordpress makes it easy to
produce content with minimal effort and cost but that has been reddit users largest gripe. Upvoted is a curator/aggregator built on top of a curator/aggregator, which is weird. Reddit's success and problems stem from providing the long tail of content, allowing diverse topics and communities to be covered while allowing globally popular things to float to the top. This means that there is rarely community consensus, so while upvoted has little risk as it is cheap to make, I can't see it providing much financial support for the company.

In all honesty though, I wish them the best of luck and hope to see them do cool and intersting things in the future. Obviously, improving the search would be a great start because Google is an awesome search engine, but for content discovery and curation, Reddit is doing a great job.
Best of luck guys and sorry about the sarcastic comments about Wordpress and PHP, it really is a good way to quickly test out something like upvoted without significant dev reources and is a good content management system, edit: [if used correctly]
I think this challenge is crafted to attack some oddities in flux that makes doing this difficult.

Another team working across the hallway from me was using flux style react for a cordova application, and they hit some hideous cases that resulted in bizarre looking code.

I've being hearing a lot of cursing from over there, and this is relative to the team that manages spring/hibernate/queryDSL/angularJS oddities.
Goddammit. I had never heard of Spirit Science and now I've wasted nearly an hour checking out those clowns.
I know a few people who use Mobius cameras or newer mini-cams on their helmets. They usually have some sort of snap-on or strap to hold them in place but also allow for removal if you get caught in the rain.

Lower profile than strapping a GoPro to your head and cheaper too.
> because it doesn't inspire the same negative feelings in you that corporations do

Needlessly personal. Please don't.
Redfin is more accurate than zillow, They list new listings much faster and the interface is better. I'm in LA and redfin is superior.
I wonder if the people being reported on get black-bagged by the RCMP?
It's not segregated. They are using the same services, just paying according to their income. 300 euros max /mo even in the capital. Poor families pay next to nothing and their multiple allowances cover it if there's a nominal cost (child allowance 100 eur/mo covers it).
Google Search for 'CHECK MARK' (U+2713)
And if you like CSP, you should consider going all the way to using core.async in ClojureScript. Channels are much more pleasant to use with syntax support.
So they sold a lie, like everyone else. My contempt remains!
There is still the Surface Pro 4 for the kickstand lovers among us.
PwdHash has serious usability issues: http://people.scs.carleton.ca/~paulv/papers/usenix06.pdf

In particular, the fact that you type your password into the password field means that failing to invoke PwdHash means you either register with your raw password (making it worse than useless) or just leak your raw password with failed login attempts.

The password manager model (e.g. LastPass) is clearly superior in my opinion because the user doesn't know their passwords. Largely the only way to input your password is the correct way. Also determining the password for one site provides no information for others (assuming you're random generating the passwords). For PwdHash, if you crack the password you have a lot of information for breaking all the user's other accounts (because presumably they're reusing the same base password).
FYI, Amazon recently purchased a widely distributed CA root: https://www.awstrust.com/repository/
I totally agree about the process junkies ignoring good stuff and pushing their religion under banner of software engineering. They're the posers who weakened the term. The Bell Labs people were real, software engineers both experimenting and building on proven methods. Also...

"What we usually call "unit tests" these days, and certainly "mock objects""

That's not true. Like other assurance activities, Extreme Programming just did what was already done, gave it a new name, mixed it with bullshit (esp pair programming), and got it some needed attention. The Orange Book testing criteria, in 1983, required as much testing as resources allowed of primitives, their compositions, all interfaces, and common failure conditions. That's on top of specifications, covert channel analysis, pen testing, using only proven components, build system automation, etc that far exceed XP's quality regiment.

Funny you mention Cleanroom because it was first thing I thought of when I heard the "new" Agile approach. Iterative development, code reviews, usage-based testing for acceptance, verifying each module... Cleanroom had all that. At least they eventually figured it out and it seems competitors in Agile identified XP's problems as well. Although old, I'm glad the concepts are mainstreaming because it gave us something important: solid, well-maintained, constantly-updated TOOLS to support the efforts. :)
Suspect you might just be a tad over-negative about this.

First, Microsoft doesn't own any factories so the business is going to a partner (probably Pegatron).

Second, Microsoft partners can sign up to sell and support the Surface Pro range. Dell and HP have already done so. Shipping thousands of Surface Pros into businesses, imaging them, and supporting them on-site and remotely is the part of the PC business with margins, which are rather thin on Windows hardware.

Also, Microsoft isn't competing in the mainstream Windows market, where device prices are typically $200 to $500. In fact, it's mainly competing against Apple, which is arguably a good thing for the rest of the Windows ecosystem....
Aside from risk mitigation there are a few other things that no one has mentioned. First, shorting. If you sell 3 month US Treasuries that you do not have because you think that you are going to be able to buy them later at a lower price, you may have to buy them at 0% if they are called. Second, there are a number of funds that have constrained investment choice. For example, Fidelity has a short term US Treasury fund that must only invest in short term US Treasuries. And, many pension funds and government funds must invest at least a portion of their holdings in a limited set of debt holdings (sometime even further limited by credit rating or in fact by name). Finally, US Treasures can be used as collateral or for hedging as part of certain contracts and/or swap agreements.
Spot on. If Microsoft lose this case then both Azure and AWS have major problems. I do wonder though whether they can simply restructure their corporations so that they have a European arm that is completely independent legally from the US one. Maybe that will solve the NSA and EU legal problems.
Managing Safari 9’s Pinned-Tab Icon Cache
Yeah, I am sorry. I hardly ever make comments like this and it is doubly dubious because I lost my account recently, but this was meant to be satire. When the PM responded, I couldn't help myself but double down.

My account is new so it does look like a straight troll account but I was just having a bit of fun. TBH, as I stated in another comment ITT, wordpress provides a really easy way to test out this concept. I expanded my thoughts on the concept in that comment, but as to wordpress:

I bet reddit is just getting crushed with improvements and the engineering team is overworked. It is really easy and inexpensive to test this concept out without losing developer bandwith. wordpress provides a pretty good CMS (obviously bloated, [standard other wordpress criticsims], etc.) but they can get a tight feedback cycle on this idea and it could successful, but if not, will not be resource intensive.

I generally wish them the best of luck, they need something to work at a monetization level, and I hope this helps as it likely is not the long term solution.

I had a rough first experience with wordpress for a client recently and I just had to vent.
I think the idea is that the security stacks doesn't have holes in it.

; )
New Protections for User Data Hurts Tech Industry
Confront Reality
Today’s HR Technology Landscape (and a Look at the Trends Shaping the Market)
Somewhat off topic, what're Vaio users migrating to? I look every year or so to see what the current laptop offerings are, and nothing has convinced me to leave my 5+ year old Vaio.
Redfin is pretty different from Zillow, since they directly sell homes. So they will have better/faster listings directly from the MLS.

But they only have listings for the regions where they sell homes, so they have nothing for most of the United States.
On a related note, could this backfire if, e.g., you're compelled to give someone your video so they can make a case against you? In a criminal case an American could probably exercise the 5th amendment, but what about a civil case, or insurance claim?
> all its users traffic

It was only a subset of their customers, and none of the ThinkPad models.

https://support.lenovo.com/us/en/product_security/superfish
You don't have to use the aliases though, and they don't tab complete (only the full name does)

Personally, I never use them. I saw them more as a help for people coming over from bash.
You don't get to "programming, motherfucker" by "throwing shit together and hacking on top of it"; that's what happens when you don't know how to program, maybe because you wasted your time studying UML and bug triage instead of learning how to design stuff.

You don't get high-assurance systems by improving your metrics collection and reducing the standard deviation of your effort estimates; you get them with, as you say, careful code review (by people who know how to program) as practiced by "programming, motherfucker" types like Gosper and Beck and Fowler for decades, effective abstraction, and code that is correct by construction and formal proof rather than merely by testing — which you also need.

Dijkstra spilled gallons of ink in the 1970s and 80s railing against the hucksters who appropriated the "software engineering" term, trying to redirect people's attention back towards writing software that could be logically proven correct. It's taken decades of effort to start to realize his vision (and Hoare's, et al.), but that research isn't happening in "software engineering"; it's happening in computer science.

Hardware has been able to take advantage of formal methods for much longer than software, because hardware has never been more than a thousandth as complex as software since at least the 1950s.

Cleanroom (btw, you misspelled "Harlan" as "Harlin"; the poor guy deserves better) is great as far as it goes, but it doesn't focus on proper abstraction design, and its testing methodology basically assumes you're programming a finite state machine. But if you're doing that, there are much better ways to verify it, including rigorous formal verification.

Formal verification comes from logicians and computer scientists, not the kind of "software engineers" who write System Definition Documents. Golang is from the Bell Labs tema that gave us Unix. Rust is an application of affine typing, a variant of Girard's linear typing. Clojure is an application of research into FP-persistent data structures, using the syntax of Lisp, the classic hacker's language.

These are not the kinds of things the original article is directing your attention to. It's not talking about affine type systems and Hindley-Milner type inference. It's talking about management research masquerading as research on how to engineer software.

And that's a fraud.
Bill Gurley: “I Hope to God We Have a Soft Landing”
His underlying assumption is that given an ECDH public-key it is computationally infeasible to derive the private key / seed that went into creating it (via brute force). I suppose that's a fair assumption if your password has high enough entropy or is stretched sufficiently?
I agree that both of those books are very valuable, and the second one even qualifies as actual engineering, in software.
What's complicated? There's all these problems in industry that allegedly need solving, improving, etc. There's all kinds of academic work that solved a lot of that, sometimes with industry, case studies. One doesn't make it to the other and often vice versa. Why is that? How to solve it?

Sounds like an inherently complicated situation given all the parties, differing incentives, and legalities involved. I made an attempt in another post but not sure what will work.