skysight-inc/HackerNews huggingface dataset:
I bet on the whole if you compare malaria, a single disease wherein the interests of every human on earth are aligned with no competition toward any limited resource (0 people want any cases of malaria, 7 billion people are better off if the disease falls off the face of the planet by tomorrow) with something like housing where lots of people are competing for a limited resource, then housing is a lot more difficult to solve in a sustainable way than malaria is. There is some chance of eradicating malaria worldwide in the next 20 years, and then just forgetting about it, the way we have for smallpox (eradicated by vaccination - literally smallpox has been eradicated from the face of the planet through vaccination to such an extent that vaccines no longer even need to be given to anyone.)

There is no chance of "eradicating" and completely solving the issue of housing for every human worldwide in the next 20 years. (It's a ridiculous thought on its face). Because it's a limited resource people are competing for, with lots and lots of overlapping interests going back thousands of years and indeed perhaps responsible for much/most of history itself.

malaria is not even within an order of magnitude of difficulty. I mean we're talking about the difference between $100 billion and $100 trillion. (to completely solve the problem for everyone forever.)

so yeah, I would plot them in the same boat (as you put it).
It is worth noting that the implementations for those benchmarks are contributed by a community, not all written by the same person (IIRC), so if someone is interested in using a language to the best of its hypothetical performance ceiling, they can definitely submit a solution.

I'm not sure about the details for the "fasta" benchmark, but I know it's at least partly I/O bound, and many implementations for the benchmark are single-threaded:

https://benchmarksgame.alioth.debian.org/u64q/performance.ph...

Notably, Rust also edges out a multi-threaded C implementation for that one. I'm sure they've done some very hairy optimizations to get to the top on that board, but it's cool to see that it's possible.

On the subject of regexes, I am not familiar with the C++ std::regex implementation, but it does look like (some rather slow) C++ implementations are using a boost regex library. Those are generally fairly "standard" in C++, right?
Thanks! Just confirmed it's working.
I wouldn't be so sure. If this starts getting real traction then it is a huge leap over the native development process. Which ironically is all Apple's fault for it taking so long for them to approve updates.

Having said that Apple seems slightly more chilled now Cook's in charge.

Also, this is react native, so it is only sandboxed in the way any other app is. The JS->ObjC bridge can do pretty much anything a native app can do so I don't think the JS thing makes much difference.

I think really it's in there so people can update webviews of content without having to resubmit the whole app. I don't think this is the spirit of that rule. Would be pleasantly surprised if not though.
I agree. The pixels are small enough that it falls into this sort of uncanny valley of the terrain almost looking realistic, but not really.

It would be better almost to go further in either direction: either make the pixels smaller and therefore the terrain and characters look much more realistic (probably technical challenges in doing this), or make them larger so it gives off the "pixel-art" look.
Mostly that. But realistically there's no education on any of this stuff.

For example 2017 is the year when some of the most used rare earth elements will be depleted and should be retrieved through recycling in the next years (gallium for the LCD displays is disappearing, so either we figure out the displays or massively recycle). This is not a surprise because the demand for rare earth elements has been rising exponentially, with the number of electronic devices produced :D

Although, food production is definitely getting more and more efficient. But biology of living beings on Earth is too inefficient for the current production to be sustainable. Just compare the vast amounts of food (energy) a single duck, chicken or cow needs to maintain body heat, with the weight (energy value) of meat. This coupled with growing consumption in developing countries won't really work.

Without Hot Air is an excellent book written by a problem solving pragmatist and excellent machine learning researcher David MacKay exposing the pure numbers and limits and extrapolating them carefully, to get the same conclusions.
http://www.withouthotair.com/Electronic.html
A Bookshelf
I'm kinda jealous of job titles that would come out of this department... "Director of Planetary Defense", "Strategic Interstellar Command Coordinator", "Chief Planetary Defense Officer".
official statement from Fortinet http://ftnt.net/1TTc1Bz
Independent invention at a later date is no defense against a patent. So, you are still in trouble.

Independent invention is a defense against a copyright though.
# * "LS" prefix: built by Samsung
#
# * "LP" prefix: built by LG
My opinion is that San Francisco's housing problems are at root a case of demand vastly exceeding supply. The solution is to produce more housing. This would happen naturally when demand exceeds supply, except that San Francisco has an excess of regulations that prevent construction of new homes and new apartments and a strong political coalition opposed to the construction of new housing.

Adding more restrictions on housing helps no one.
I've bought a few houses, the process has generally been simple and painless (other than the physical moving of stuff part, which is the same for own vs. rent).

My last few vehicles purchases have involved significantly more paperwork and signatures than my most recent property purchases.

What is it about the process that you've had issues with?
Why is this famous physicist tweeting rumors about gravitational waves?
My team (at VMware) has used HackerRank to hire. It worked out pretty well. The biggest advantage was being able to vet many candidates quickly. It's definitely improved our hiring process (it used to take us much longer to find a suitable candidate). I think my team was one of the first at our company to use it (and we haven't done much hiring since), so my knowledge about the specifics is a little out-of-date.
I'm also offering USD denominated insurance against the United States descending into anarchy.
That doesn't catch the cases where the sender uses a different From: address, or shares your email address with third parties.
I recall that this may be a unity game, I'm not sure how hard it would be to implement a custom keyboard in unity.
> What happens if legislation is passed that more or less prevents people from owning property that's not their primary residence? Like: if you don't live in it more than 190 days a year, you pay a really high property tax on it.

That already exists in a way - there's the concept of a primary residence tax deduction, which is (more or less) what the name sounds like.

It varies widely by jurisdiction, (not just country, but state and local government as well), but the idea of trying to differentiate residents from landlords in tax policy is nothing new.
You can repro on modern mstsc by using enablecredsspsupport:i:0 in the .rdp file BTW.
That is hilarious. If elevators always malfunctioned like that imagine how many calories some people would burn.
It is an imaginary machine. There are only about a dozen different instructions which makes learning it easier. It also makes solving some of the puzzles more interesting when you run into limits on the number of instructions that you have space for.
Which is why I closed it once I'd copied the link, it's very very addictive.

I think it's the programmer equivalent of https://xkcd.com/356/
Great news for families where dads taking a leading role in the child's childcare. Such as single dads, coupled stay at home dad, single gay dads, and gay dad couples who all adopt or through surrogacy. Outside the US it was already named Amazon Family, but in the US it took a group of dads and their campaign for equality to get it finally renamed, albeit very quietly by Amazon. Great news for moms and dads.
Awesome, thanks! I just upgraded and it works great.
It's not the yaml part per se, which is easy to write, it's their weird mini-language they've encoded in yaml, with different vars coming from different places in different conditions.

Have to say that things are a lot better than when they weren't consistently using jinja2 to parse the strings.
Still, it seems unusual to charge a percentage fee. From what I understand, one of the main benefits of ACH over credit cards is the flat fee structure.
To Be Continuous – Ep. #11, Featuring Heroku's Peter Van Hardenberg
While I cannot vouch for whether or not this will land you an interview, HackerRank was very useful in preparing for interviews.

Also, the team is great - I signed up a long time ago and had some performance feedback for Vivek. They promptly implemented the change within a day. I haven't used it recently, but at the very least you'll get something out of it if you need practice.
It can be more like the top banner (higher res, and isometric) if set to isometric mode. It is resolution constrained for realtime / perspective camera due to all the heavy computing done in in ray marching.
Somewhat misleading headline by the Telegraph. This is a proof of concept and doesn't really hint at any "return" of incandescent light bulbs unless they reach their efficiency hopes and get them back on the market. Maybe a return in relevance at least?

Technically they have not made them more efficient than LEDs yet. Their proof-of-concept reached 6.6% which is still about half of the efficiency of LED bulbs.

These new incandescent bulbs can theoretically reach 40% efficiency, but that has not yet been done.
I haven't really been keeping tabs on it but I've heard from a former coworker that cross-compiling for ARM Cortex-M parts is fairly easy too.
I think you're arguing that the financial instrument itself can't be $0 and because of that there's no way for valuation of an entire company to be less than $0. I never argued anything that means that the financial instrument of a stock should be zero or less than zero. I think a company stops being traded entirely if it should fall to zero and enters into bankruptcy to pay off existing creditors. Maybe then stock is converted into something else, I have no recollection of any instrument that represents that owning a stock means you are indebted now.

People do go after the stockholder if the holder was trading on margins and the margin call happens from the broker to recoup their losses. But this scenario is really between a broker and a client, not shareholder v. anyone else relationship.
Does everyone have someone they know they can go to for questions? I've had times where asking a question to a group, it could be ignored (everyone assumes someone else will take care of it). But if you can have a one-on-one with someone, I haven't had those instances ignored.

That's just how it's been done. I do think, though, the best way to learn a system is to work on internal, non-critical projects.
Yep - many things that need to be tuned visually but I don't have the time budget for it yet :) I do agree though - it actually does look better sometimes at either much lower or much higher resolution.
Here's the other link I mentioned:

https://groups.google.com/forum/#!searchin/commercialhaskell...
Would love to see this on android since its built in unity (or at least the original was).
If you've lived in Toronto and other major cities and can relate your personal experience, I'm interested. About your generic self help, less so.
Is "Show HN" an appropriate category for a link to a TechCruch coverage? (Unless you are the creator of TechCrunch... and expect us learn about it from this post.)
Feels like AWS is less of a vendor lock than building it inhouse. Doing it all inhouse has a high upfront cost that must be realized over X years irrelevant of the outcome. On the other hand if one implemented a microservices architecture, moving off AWS month-to-month service to another provider is far easier. Did I miss something?
Addicted Is the New Busy
Our experiences differ vastly. Granted I've only bought one house and it was 8 years ago. Maybe things have gotten better in the intervening years?

My experience buying cars has involved signing maybe a dozen pages, while my experience buying a house involved signing form after form after form (most of which I didn't really know the purpose of) for literally hours. I'm certain I spent more time just signing paperwork to buy my house than I've ever spent on the entire car buying process from the time I walked into the sales guy's office after the test drive to the time I drove off the lot.
> Everything sucks but FOSS right? How non-biased of you. I won't mention heartbleed and shellshock then.

Nope, but OpenSSH (not PAM) is leaps and bounds above everything else.

Almost all of your beloved VPN software was probably susceptible to heartbleed.

But mostly I've looked at software from "security" companies, and overall it's a steaming pile of shit.

It's probably not going to get popped by non-state actors. I'd say the same things about ssh & rdp in general, but rdp has had a non-trivial amount of bugs in it.
Voxels would probably be the simplest thing to program with (they were easier to use in my first iteration than my current (3rd) iteration of the engine)
This is a lot like an assignment for my operating systems class to introduce threads/lock (each elevator and rider is a thread).

https://users.cs.duke.edu/~chase/cps310/lab3-elevator.html
>I am still a little baffled why any judgment on an author's appearance is necessary.

It's being used as a proxy for zealous ideologues. A certain group of ideologues from a certain city all seem to have very similar style. Some people do not enjoy wasting their time reading the work of ideologues.

To illustrate, I'll throw myself under the bus.

If I can read a summary of a book and accurately guess "This came from an author based in San Francisco", I will disregard it entirely. I cannot speak for others, but I know I'm not the only one. There are a few other cities that come to mind, but SF is easily the worst offender. The most extreme and vehement bias festers in that place and it is not worth my time. The people who speak from that place are more similar to a cult-like mentality than individual or innovative thinkers. I don't bother with listening to cults and so I don't listen to people from SF.

Which is unfortunate because I am sure there are a few precious gems that don't tow the party line who may be worth the time to read. The unfortunate bit is I don't have the time to read everything. Part of my decision-making process for whether or not time should be allocated to read something involves assessing the likelihood that the author is so entrenched in their own biases as to make their work a waste of my time. Looking like an ideologue, talking an ideologue's talking point, and coming from a place known for its ideologues are tell-tale signs for me that the person is very likely an ideologue.

I will let others risk wasting their time reading the work. If it gets enough charitable mentions from "outsiders" (those outside of the cult) then I may give it the time of day. Until then I will dismiss it just as some people would dismiss anything from Alex Jones and his ilk.

As for your last statement - there are most likely people who do. And, for what it's worth, I didn't.

(Also take my throwing myself under a bus as a separate talking point than the book recommendation you made. She is not from SF, I'm just illustrating the point about dismissing ideologues based on some small amount of known criteria.)
print "HI" # oh my god, the horror!

print("HI") # yaaaah, order out of chaos

Unconvincing.
Juniper back door #1?
Tails works well enough for the average noob. It isn't perfect, but a far cry better than them running torbrowser on their everyday windows machine.
And is also likely not in the hands of an org that has problems keeping things up to date; those orgs are likely still on 7 if that.
One Grand Experiment Ends for a Facebook Co-Founder
It is an imaginary machine, intended to have restrictions that most real hardware wouldn't have (like not being able to access the BAK register directly), but the aim of this is to make the game more of a challenge, and thus more fun.
The Tangled Web: A Guide to Securing Modern Web Applications is a good complement.
For the size of transaction that would typically motivate ACH, $5 seems like nothing. Dwolla has much higher friction. And this seems lower than the equivalent credit card charge.
A little nit-pick: I don't believe a saxophone qualifies as a "horn". The term "horn" usually refers to wind instruments where the player blows into it and vibrates their lips. These would be trumpets (very commonly also called "horns"), trombones, French horns, and tubas. A saxophone is a derivative of a clarinet, which is a reed instrument. The player blows into it, but the sound is produced by a vibrating reed which the player manipulates with their tongue.
This, so much. Python 3 has failed in the market. A reboot is needed.
She's cute.
I think I found my next waifu.
Has someone compared the results of Quick Sync HEVC encoding with other codecs?
Show HN: WristWatching – A Free Course About Mechanical Watches
Looks cool. Congrats on starting the newsletter! They're fun, can be very rewarding when you build an audience, and professionally useful too.
Thanks, as someone who hasn't used a UNIX os since Highschool I am not very familiar with them.

As an aside I am thinking about installing a light UNIX distro on my netbook. Win 7 is so painful with only 1GB of RAM. (I love being poor student).

Now I got some money so I can either buy a new laptop for $350 or attempt to save some money by installing a light UNIX distro. Problem is, I dont want to learn another OS.
PageSpeed is 1 liner installation on your instance. It will compress assets etc automatically as Apache serves them. Worth adding to your deployment script.
There is a pricing link at the top of the page.
Stripe should start supporting the rest of the world. I'd love to use their services.
I love the Voxel Quest posts because they're demonstrating some seriously cool tech. However, they feel a lot like the Wolfire development blogs [0] - great tech demos without a cohesive vision for a game. From an engineering point of view, the end goal doesn't matter, but I would also love a 'bigger picture' roadmap of where it is and where it's going. Why would I use this engine? What do I 'get' over the competition in the current state of the engine? What should I 'get' by the end?

[0] http://blog.wolfire.com/
The code looks good. One thing you might want to consider is using applicative style for parsing. So

taggedImage :: Parser BaseImage
taggedImage = do
name <- many (noneOf ":")
reservedOp ":"
tag <- many (noneOf "\n")
return $ TaggedImage name tag

Would end up something like:

taggedImage :: Parser BaseImage
taggedImage = TaggedImage <$> (many (noneOf "\n") <* reservedOp ":")
<*> (many (noneOf "\n")
I'm slightly past this article but not much further. I check out a lot of "getting started" tutorials because I'm still frustrated with the "getting started" experience of a lot of frameworks/approaches. I just don't see why it's so complicated to do things that seem like they would be pretty easy.
Why Mars Is Not a Back Up Plan
The article mentioned brain drain, but more specifically, Canada let Hinton, Lecun, and Sutskever go... :)
6. Try Pipedrive. Looks pretty good

https://www.pipedrive.com/en/features
Nope you're still liable for infringement. It does help you avoid the treble damages for "willful infringement."
Why is it important to keep the clock stable? Or rather, what level of stability are we talking about?

I would think that a customer doesn't particularly care if the clock is fluctuating 100MHz.
> This fact alone strongly implies that prices will always inherently have an upward bias

Can you expand on this? Do you mean the incentive is to push for a constantly higher price because you have to hold on to it?
True. L1 is actually better than TN because it's dual-intent and better than H1B because there's no cap.
I am not in the position to judge the situation in India but invention does not necessarily imply widespread adoption. Or adoption may change over time, for example by not keep up with population growth.
That's an interesting idea, and one I have considered at length before. If I ever end up managing an organisation of any nontrivial size, I do believe we will have Mailman lists for a lot of things.
I don't know who wants to send me e-mail.
I see absolutely no point in this. Code is data, and data is code. Why are Ansible users so eager to cripple themselves?

Do you know that some people use jinja2 templates to generate their YAML playbooks? Do you know what could have helped them? A real programming language.
Oh wow... That's what I get for not actually checking the by-line. Somehow I didn't expect someone so notable to be writing for Medium. Now that you point it out, I'm not at all surprised by the attitude in the article.

I'm still disappointed, but Windows 8 taught me to expect nothing less from Sinofsky.
Corporate VPNs aren't OpenSSL, they're usually IPSec implementations and not susceptible to heartbleed.

>It's probably not going to get popped by non-state actors.

Not too long ago people were making this argument but including both OpenSSL and OpenSSH. Now its just OpenSSH. Funny how that works. The reality is that layered security is a best practice and just expecting something to be perfect forever because of past performance is a very questionable premise.
Good point, actually. VP9 appears to be superior for consumer real time feeds (ie not 1 million streamers backed by datacenters)
Since you asked about TLA+ specifically...

http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...

Amazon notes many kinds of problems that lead to reliability and security failures that TLA+ helped knock out. Their engineers are sold on it now and have no intention of dropping it. Certain sentences in that article are nearly identical to those I read in ancient papers using ancient methods. The benefits of precise, easy-to-analyze specifications are apparently timeless.

Here's it done in Z via Altran's Correct by Construction methodology:

http://www.adacore.com/uploads/downloads/Tokeneer_Report.pdf

They apply about every lesson learned in high assurance in their work. Defect rate, from this demo to old Mondex CA, is usually around 0.04 per 1,000 lines of code. That's better than the Linux kernel.

Rockwell-Collins formalized a separation architecture, HW, microcode, etc then integrated it into a CPU:

http://www.ccs.neu.edu/home/pete/acl206/papers/hardin.pdf

NICTA, who did seL4 verification, use tools to model stuff in the language that causes security errors then use provers to verify they're used correctly. Example tool:

https://ssrg.nicta.com.au/projects/TS/autocorres/

Lots of groups using lots of different tools with great results. The difficulty and impact on time-to-market varies. The use of compositional, functions or state-machine models with subsets of safe languages, design-by-contract (or just interface checks), static analysis, design/code review, testing, and compilation with conservative optimization seem to be the winning combo. There's free tools for all of that. It takes about the same time to code as usual while preventing lots of debugging during testing and integration.