skysight-inc/HackerNews huggingface dataset:
The commonplace languages in use are difficult to reason about. It would take a serious paradigm shift for most companies to stop what they're doing and develop a tool chain for wholesale program verification. Additionally, it takes a special breed of programmer to be able and willing to write code in such a way that enables verification, then actually take the time to verify it. Functional programming is a jump for most main stream engineers, it is an altogether different matter to recruit or develop a team of engineers familiar with dependent type theory and formal verification.

The industry tends to lag behind academia by at least a couple decades. In the 90's, lots of research was being devoted to functional programming and the various applications of type systems. Now we see various companies starting to use languages like Haskell and ocaml. Nowadays, it seems like dependent types and program verification are popular in academia, so maybe we'll see some of that by 2030.
>I think this is quite a discriminating practice - what if i don't do public projects?

Then either start one or resign yourself to not getting the best possible tech jobs out there?

As a discriminatory practice it's probably one of the most benign. There's a low bar to putting open source code out there. You can write a simple project and put it out there in a couple of weekends. That alone puts you ahead of about 80% of candidates.

It's a way better discriminatory practice than the current default assumption that the best developers out there are white, male twenty-somethings.
Yeah, when GTA V came out, I waiting until 'off-peak' to use the 100G of data there, rather than waste my daytime allocation. Rarely would we hit our max usage though... thanks to appalling internet speeds. :)
I completely agree. It also seems the list of programs that were analysed is not quite as diverse as one might wish. It'd be great to see what some other categories of software might use. For instance, I could see OpenOffice to be an interesting application to look at.
I think people will feel safer if you direct them to get it via the Play store, where people can expect it to have been vetted a bit.

Search on "brain.cards" in quotes.
I thought by then there was at least some awareness - old memories of people evangelizing prepared statements with placeholders – but this was the oldest reference I found, from December 1998:

http://phrack.org/issues/54/8.html
Ask HN: Startup ecosystems: SF vs. Seattle
For those of you who are familiar with SF & Seattle, I'd love to hear your opinion about which startup ecosystem you think is better to work in and why? I understand this is going to be different for everyone due to their varied experience - but just imagine filling out an Amazon product review for each city. I'm just looking for some simple data points as I'm not familiar with working in any of the cities and am considering a career move into one of them.

A more structured way to answer, may be to list pros/cons of each city relative to each other.
POODR and Beyond with Sandi Metz
The man with 1,000 klein bottles under his house [video]
Possibly the bigger issue for users of private mode in Firefox is that extensions are run: Users have to trust that extension developers implemented private mode correctly. In Chrome, extensions don't get to run in private mode, unless the users allows them explicitly.
Entire community - I dont personally say it but I hear others. Bissell does makes vacuums.
On first glance this article seemed negative, but by the time I finished I couldn't remember what they were complaining about and I really wanted to check it out. Almost seems like intentional reverse psychology.
Made (and open-sourced) by the smart guys at Mashape.com. Thanks for doing this.
Robin Hood hashing: backward shift deletion (2013)
Cree LEDs have a 20 year lifetime, and a 10-year limited warranty.
agree with blake here. we're also working on a similar product, but we had customer base from the start with actual use cases, which lead to bookings/revenue early on. you have to look at from the customers' perspective to see which problem you are actually solving and how you are creating value/saving cost for their business.

in the age of over-supply, it's definitely never enough to just create technology and expect it to sell automagically. go talk to your existing/potential customers and get their feedback. start with a local optimum product catered to their needs, and generalize towards global optimum from there. even Einstein started with a special relativity and not general relativity. ;)

to offer a realistic advice, unless you have a customer-development cycle in place with a target customer base (who has at least signed a MOU/LOI/Purchase Agreement/etc.), I'd stay frugal until you have something like this, then raise money. and yes, I'd definitely stay away from consulting kind of work if you are serious about your business/product. this is a short-term way of staying afloat, but once you build your company's cycle/rhythm/culture around b2b human-labor business, it's hard to turn that around towards a product-driven business.
Vaguely ....

Mathematics = formal systems.

Programming = formal procedural systems.

Using programming to learn mathematics makes sense, since process-driven exploration is closer to the way we naturally experience the world.

These days, programming perhaps also has a lower barrier of entry than mathematics with respect to the amount of specialist vocabulary required for comprehension.
Obviously I am biased (working on Docker), but I thought I would mention a few facts.

- Today AWS announced they would support Docker Swarm and Compose natively on ECS.

- Last month devops.com surveyed development and ops teams about their usage of containers. Their conclusion was: "While this is still a nascent market, some early leaders did emerge from the responses. Docker Swarm, the orchestration technology from Docker itself, was the clear winner, with nearly 50% of respondents indicating that they planned to investigate Swarm. Close behind were Kubernetes and Mesos."

Personally I think the important part of that quote is "this is still a nascent market". We are the very, very beginning of these sorts of platforms, and nobody really knows what these platforms will evolve to be in a few years. So I really don't think it matters who has the most "market share" of the 0.00001% of IT organizations actually aware of these tools. The innovation is only just getting started.
Please consider helping sustain Neovim development
50 Startups in India You Should Get to Know
>Downtown LV is quite far from the strip, so tourists aren't going to stumble on it

Downtown Vegas is a tourist destination on it's own, regardless of the Downtown Project. Fremont East is a popular spot, all of those bars, the Cortez etc. Container Park is in a good location. You want to see isolated, go checkout Switch.
"The bigger problem facing HDDs now is that almost all major manufactures are bought up by WD and Seagate and this is starting to show the ill effects of a duopoly. So it remains in their best interest to keep the prices high [2]."

It's not in the HDD manufacturers best interest to keep prices inflated, considering price is one of the 2 big competitive edge HDDs have over SSDs.

What happened during the floods was that WD[0] got lucky - data consumption remained high as ever, and SSDs simply weren't cheap enough at that point to fill the void that the floods left behind.

[0] And to a greater extent, Seagate. From what I remembered their facilities weren't directly affected by the flood, but their supply chains were disrupted.
I recently worked on a similar project (with Privy.com), where Mixpanel was one of the external providers we tracked with. Mixpanel handles (AFAIK) an arbitrary number of properties. It was a lot easier than say Google Analytics, where custom dimensions are limited.
That's still a remainder, it's just the remainder of the zeroth bin.
I think this prejudice only exists within this community where if you aren't that special snowflake you're not cool. I'd guess 99% of web traffic has no clue what Bootstrap is, what it looks like by default, how it is different when it is skinned. I would guess more than anything that they just think, this is what a website looks like now-a-days.

I'm happy to use it too with very minimal tweaking because it looks good out of the box, way more pleasant than browser defaults, it works well, fairly well maintained.
> That being said, have you tried writing a web app in Go? You can do it, but it isn't exactly entertaining. All those nice form-handling libraries you are used to in Python and Ruby? Yeah, they aren't nearly as good. You can try writing some validation functions for different form inputs, but you'll probably run into limitations with the type system and find there are certain things you cannot express in the same way you could with the languages you came from. Database handling gets more verbose, models get very ugly with tags for JSON, databases, and whatever else. It isn't an ideal situation. I'm ready to embrace simplicity, but writing web apps is already pretty menial work, Go only exacerbates that with so many simple tasks.

This.

And don't even try to work around these limitations and share your work for free, or you're going to get trashed by the Go community( i.e. the Martini fiasco )

But think of go more as a blueprint. Go has great ideas(CSP,go routines,...)

Hopefully it can inspire a new wave of languages that don't rely on a VM, that are statically typed and safe without a fucked up syntax.

The language that succeeds in striking the right balance between minimalism and features with an excellent support for concurrency will be the next big thing.
>This assumes that developers' off-work behavior is similar enough to their work behavior that it's a reliable indicator of their workplace performance. Or that developers should comport themselves on their off time to a workplace-level standard.

Actually I hold myself to a higher standard when writing open source - A) because I know everything is open to the world, and B) because I'm not under tight time constraints.

Nonetheless, there's no perfect project, and any employer that looked at a github project and was needlessly, ridiculously picky or made a presumption that there shouldn't ever be mistakes would end up just not hiring anybody at all.

>And if I'm learning a new technology, I'm going to be sloppy. I'm going to make mistakes. That's the very nature of learning-by-doing.

Only idiots expect a perfectionist. Thus if you try to make every commit an exercise in perfection you're only selecting out the idiots.

I'd actually far rather see incremental improvement (in code quality, documentation clarity & commit messages) than sheer perfectionism.

Also bear in mind that no matter how interested the employer is in you, the chances of them taking anything but the most cursory glance at anything beyond HEAD is very small.
Philosophy, not implementation.
New Plans and New Features – DNSimple Blog
Senior Ruby Engineers – Swiftype Is Hiring
Because at the moment s/he is bearing the cost of abusive users.
Or maybe the Russian antivirus software companies are just the most popular?
Reading many of the comments in this thread reminds me of Plato's "Allegory of the Cave":

http://platosallegory.com/TheStory.aspx

Food for thought and all that.
Crowdsourced game dev startup progression – GameStarter.io
Have posted here before around my crowdsourced game development start up.
Interested to know
What does crowdsourcing mean to you? Would you compete in a competition for $ to come up with the idea for a game or mechanic and concept from another's game idea?
> It should also be noted that both are young languages and they are evolving rapidly.

Go will basically get dynamic linking and stop evolving. Its type system is way too simple to support any new significant feature. And go designers have said many time that the language is "done".
> There are college students now who were toddlers when this compiler came out.

Sucks for them that Visual Studio peaked when they were still in diapers.
I have the feeling that flask has been neglected for a while. The last release 0.10.1 was on Jun 14, 2013. The mastermind behind Flask, Armin Ronacher, is more into Rust nowadays.
I once started a big codebase on Flask and had to move away from it because of some really strange bugs and bad interplay of officially approved packages. The idea behind Flask is nice and there are great plugins out there like Flask-Admin but I don't trust that code base anymore. Also I found a weird bug that kept Flask from answering more than about 500 requests per second and nothing happened since then. For me it was the right decision to jump to Go.
Serious question. We have a master DB and a slave, two memcache servers and 3 webservers behind a load balancer. We're not a public-facing company and so have no reason to be building for "web scale" or whatever, we're well within capacity.

Deploying new code (happens weekely) is just as simple as clicking one deploy button in our version control system (which does a "git pull" on the web servers). DB changes (which are very rare, once or twice a year) we run manually. The cache servers never change. All of the server run automated security updates on the OS. Otherwise we upgrade non-essential packages every few months.

Is there a way that using Docker could make things better for us? I feeling the "you should be using Docker" coming at me from every angle. Our deployment is certainly not very sexy but it is simple and doesn't take a major amount of effort. Is there a use case for a company like mine?
Trillions of dollars in bank bailouts?

The military/industrial complex?

The prison/judicial complex?

For example, approximately 0.5% of the NYC population works for the NYPD. So, a tax rate of 0.5% should be sufficient to maintain order in a city like NYC. Add in some overhead and you get to 1%.

Roads are similar, can be done easily for 1% or less.
Ask HN: What is used for pairing Apple Watch
Does anyone know what method is used for pairing Apple Watch?
I've used QR image in the past to make sure that 2 mobile devices are physically located close to each other. The issue with QR code is that it can be screenshotted and emailed far away. Apple Watch generates some video that looks like white tv noise that needs to be scanned by a phone cam which is much more reliable than QR code. So, what is it and is it available for the developers to use in form of framework or library?
Publish your code on a github repository and become a platform as a service. People need to adopt your platform as a foundation for anything. At the same time offer messaging as a paid add on service with a revenue model tied directly to use. Eg. * > 100,000 messages per month is 1.00 per month. Sell your support and integration services.
Models get ugly with tags? You don't have to have them unless the names are different.

This post is all about familiarity and the degree to which you are interested in using a language (just like every other post of its kind).
> Most new software is no longer shipped in C/C++.

What language are the applications in? What makes them more secure than C/C++?
PSVita first homebrew for UVloader also called REJUVENATE
Hrm you are right it certainly predates XSS http://www.thesecuritypractice.com/the_security_practice/201...
I love one-based indexing. I prefer array[1..n] to array[0..n-1]. The reason is because with one-based indexing, I don't have names for things that are invalid. begin, end: these are valid places to be. Your "end" token can mean "the last element", and you don't have to think about "being behind the thing that represents the thing past your last element".

I acknowledge it's domain-specific, but I find there's something mentally relaxing about one-based indexing. And I grew up on 0-based.
Not to mention most importantly JSON is firmly on one side of the undecidability cliff in terms of parsing limits. The nesting limits and length limits make parsing it safe, whereas a given binary protocol may have recursion or buffer size definitions which make for ripe security holes. (Even XML has parser bombs)
> better C standard libaries

What's the story with C standard libraries and security? How could they be better, as you see it?
The Rise and Fall of BlackBerry [video]
Funny thing, I had exactly the same idea the other day. Here is a breakdown of opcodes in a random binary of BusyBox 1.22.1 I had lying around (as disassembled by ndisasm):

https://scontent-fra3-1.xx.fbcdn.net/hphotos-xpt1/v/t1.0-9/1...
#define ever (;;)
If ppl are interested more in this topic, Last train home is a good documentary to look at.
Ten Years of Automattic
The first language I learned was C. I don't claim to be an expert, but I'm comfortable enough with it that I can hack on an OS kernel with C.

I have also learnt how to write compilers for simple languages (mostly from Appel's book). Through reading the book, I picked up ML. At first it was an uncomfortable transition from C, but I eventually loved writing ML code. Strong typing eliminates a lot of common errors, and the compiler really feels like a friend that's watching over you.

Later on, I decided to pick up Haskell. Frankly it was a lot harder to get used to it (I still can't say I understand Haskell) because of how side effects in Haskell are made much more explicit than either C or ML. But after about a year and a half, I can now code comfortably in Haskell. And if someone let me choose a language that I can only code in for the rest of my life, it might actually just be Haskell.

But ML and Haskell are not without their problems.

C and functional languages like ML/Haskell have different problem domains. Haskell, being (almost) pure, is really good at modeling side-effect free computations.

The compiling process is really a translation process (thus a computation), and it's easier to model it in Haskell. It is quite easy to mess things up in a language like C where side-effects show up everywhere, although if you're disciplined enough you could probably translate a Haskell program into C with some modifications.

But Haskell/ML is definitely not for everything. I would not write a kernel in Haskell (although I do know people who have done it). With the runtime problem aside, it doesn't give me enough control over the bare metal it's running over (or it's probably I just don't know it well enough yet). I can't layout things exactly the way I want with Haskell, but with C, I can build structs, cast integers into pointers (might not be a good idea, but sometimes necessary when you're dealing with a kernel) and so on. With C it feels like you're the creator, taking care of everything, hence, you have much more responsibility on your shoulder. But with Haskell, the compiler takes care a lot of things for you if you're in the right problem domain, and it lets you focus on abstractions and the problem itself.

Anyway, just a little thought. I love Haskell and C equally, and they're both absolutely wonderful languages. But try to keep yourself open and just try a little bit of new things at a time. Pretty soon you might find yourself designing compiler for your own language in Haskell (or C)!
yeaaaaaahh but is that really the most annoying? dimensional modeling, getting all the joins right, scripting all the transforms (the T in ETL) is pretty annoying. Getting data into redshift is like, just the beginning. Not to mention, skips the transform part, at least.
a warning: the volume on this is REALLY. LOUD.
> Let's not forget about TCP, IP, and all the other protocols involved in the internet that are binary by design.

It's funny that you mention IP and TCP. I's sad that we've degraded the end-to-end principle those protocols embodied. Today, it's not really practical to use IP protocol numbers other than 6 (TCP), 17 (UDP), and 1 (ICMP) and their IPv6 equivalents. Middleboxes, out of misplaced caution, reject packets that look unusual. We can't even use ECN. To work around this problem, we run everything over TCP and UDP.

That doesn't even work, though, because other middleboxes, working one level up the stack, reject TCP on anything but ports 80 and 433.

So now we run everything over multiplexed encrypted connections on one TCP port on one IP protocol. That's just silly.

The low-level protocol situation is like a fossilized idiom in human language. In English, we can that something "wreaks havoc", but what about "wreaks happiness"? Nobody understands "wreaks" anymore. It's no longer a productive rule. Likewise, IP and (arguably) TCP protocol details aren't productive either, except in specialized cases, or on closed networks.

The internet isn't just running in debug mode. It's also flinging around lots of bytes that do nothing other than reflect past aspects of its evolution, like an embryo's tail and gills.
My understanding is not that they have said that the language is "done", but that the 1.0 branch is stable and won't get any new major language features. At somepoint they will start rolling out 2.0 and it will have new features, maybe even generics. But why should they worry about that the language is plenty good as it stands for developing and their is plenty of work to do on cleaning up build systems, runtime, gc, etc.
Thanks. I guess I personally haven't really made much money on property, I've managed to break even probably if I figured it out. Although our upcoming sale will leave me with mid 6 figures in our bank account, it's not really profit, just equity that we've paid down.

I have enjoyed having our own place to do with as we pleased, but I'm looking forward to renting for a while!
Maybe the tech shop in SF too. Go on meetup.com as there are always tons of events/talks on different topics. Search for your preferred language, platform, db, etc. Amazon Aws pop-up loft often has events.
Hypothesis: there has been a modest genuine increase in the amount of research being invested into batteries and there has been a great increase in the hype tendency of battery discoveries.
Yeah, that's an amazing image. I thought it must be doctored... but in the intro to the recording of their testimony, the person speaking ("chairman"?) says:

"Due to the sensitivity of the work done at the L0pht they'll be using their hacker names of Mudge, Weld, Brian Oblivion, Kingpin, Space Rogue, Tan, and Stefan."

https://www.youtube.com/watch?v=VVJldn_MmMY
Not really. If your master burns and dies, your recovery or promotion process on the slave is probably manual. That's OK, but you could make it automated. Docker wouldn't actually solve the hard bits, but would possibly make the automation easier.
Uh, no.

MPLS has had SOLID ASIC support for maybe two decades now. Everyone who is putting in VxLAN-capable hardware is doing so because they have oodles of ESXi deployed and VxLAN is the only technology that's supported by VMware.

If you're not wedded to the ESXi hypervisor, you can deploy either MPLS or MPLSoverGREoverIP (for your non-MPLS capable endpoints) and capture a whole stack of goodness to include interworking across an entire WAN infrastructure for DC-to-DC VM movement and EVPN support.

MPLS has been doing L2VPN support for ages. Man, NSX/VxLAN didn't even have a real control plane until recently. They were going to use MULTICAST for their table updates! MULTICAST!
China’s Hillhouse Leads $1B Uber Investment
With these laws passed it will be a matter of weeks before the first cases of rights holders wanting websites blocked begin to appear, meanwhile there have already been statements by various right wing groups of wanting to expand the use of these new laws to cover other things they find objectionable such as pornography, violence etc. which will without doubt have a significant effect on free speech.