skysight-inc/HackerNews huggingface dataset:
"Troubled past" as in his wife's parents were senselessly murdered or sent to a camp when she was ~2, she grew up in an overflowing orphanage (the Great Terror killed an absolute minimum of 13-15 million and broke many more like her father; the same fate was shared by the people who ran the 1937 census when it told the truth), etc.
Meeting Technical Co-Founders
The advice is pretty consistently that it is ideal to have a long-standing relationship with your co-founders but what if you don't know any kick-ass technical people? What are good ways to meet great technical co-founders and form long-lasting relationships?
Repeatable single-core benchmarks – laptop edition
I actually enjoy the language itself. Functional, but not tacit. The module system provides good namespacing boundaries and package encapsulation. A data type-driven programming style emphasizing pattern matching on primal terms like tuples and lists. Good syntax for list comprehensions. On and on.

I would switch to Elixir, but the syntax is too weird.
Yes. Absolutely.

This solution works best for industries where multiple raw materials are used and are transformed to something completely different. Manufacturing, healthcare and hotels is something can leverage a solution like this.
Dude, I have run companies in the US and DE. So please don't tell me the difference. Your problem: You can't even imagine the difference in the VC scene between the two countries.
Great point about architecture, this is most definitely a major issue and is not specific to what language is used. I've just been reassigned to oversee development in this area and am hoping to fix both these issues.

Over time the manufacturing software has evolved. Originally everything was written in C, it was a single C file to test all products. It was fast but from a maintenance standpoint it grew to be too large and this approach was abandoned as a result. In practice we've found writing low level tests in C that only do one thing and then use bash as glue logic seemed to work well. Some hardware tests must be implemented in C(low level register accesses where timing is critical).

We currently interface with USB printers(the board under test) to print a serial number corresponding to a MAC. address. I found maintaining this utility on all boards became a major issue(udev, devfs, busybox - eabi, oabi...) so I implemented it in Python and from a maintenance standpoint it's been a huge improvement. The problem is it's slow on some products(30 seconds or more to print a label and log to a file via NFS) and I have to admit I haven't yet dug in to understand why.
If you actually read some of this, you could replace fire ants with humans and make similar conclusions. Genetic bottlenecks, spreading, being an invasive species, etc. etc. It's good that we're in control and the fire ants are not. They might have as much reason to deal with us as we do with them.
And why would it be good for comparing money efficiency and not life choice efficiency?
Speeding up non-vectorizable code with Cython
It is impossible for an Intel CPU to load less than a line of cache, no matter how small the access. "Critical word first" only allows the register load to complete before the cache line is fully loaded.

The memory bus word size is irrelevant. A cache line fill requires multiple words but DDR memory is designed to efficiently do exactly that.
To me that section reads like the person who wrote it recently had an encounter with a sea lion.
Multiple. Scaling to a multitude takes a lot of effort.
http://www.bbc.com/news/health-33772892

Note: They suggest some of the reasons behind this could include cancers being diagnosed later, poorer access to treatment and less investment in health systems.

PS Rapid referral to a specialist is an oxymoron in the NHS.
Verizon releases app that lets non-union employees record workers on strike
Rivets.js – Lightweight and powerful data binding and templating
Which military bases were occupied? Seriously.
> I can think of a simple proof that relies on the ability to always multiply an integer by two, but that's still an integer, not infinity. Why do you need infinity?

That proof relies on induction which in turn relies on the existence of infinity. To see how infinity is necessary, assume there are not infinite integers. Let X be the highest positive integer and multiply it by 2, the result does not exist.

> Also don't forget to say 'nonzero'.

I did forget :), thanks
'Review' of being a data scientist as a career for doing good
That's a feature of the language, not the VM

Lies.

One way to look at the Erlang SMP VM is basically as a load balancer. Erlang automatically migrates processes between cores for maximum concurrent efficiency. It's basically coordinating N "tiny" Erlang VMs across all your cores and knows how to, ideally, optimally place your workload. You can even constrain the behavior to a per-core and per-scheduler level with VM options—not language options. See the +S and +SP and +SDcpu and +SDPcpu and +SDio and +sct options at http://www.erlang.org/doc/man/erl.html

There are tradeoffs between being the best language for a task and being the fastest language for a task. The more work you can move into the VM, the less you have to do as an application programmer, but potentially the slower your program may go since the VM has to discover or introspect your actions instead being told explicitly.

Our bottlenecks these days are programmer time and programmer thought correctness. Generating more work for programmers by making them write lower level code isn't the way forward even if the more work is slightly faster.

All that being said, everything has a price. Obviously never do numeric computing work in regular Python. Grab you some numpy or GPU frameworks. In the same vein, never do massively concurrent programming without Erlang or without a highly optimized event loop (but with an event loop you're limited back to one core, and on modern 48+ core systems, that's kinda pathetic).
Yes, Java pre 2010 is a thing to forget. All the fanatic ceremony can retire nobody will miss it. All languages, as soon as they have the right linguistic construct can achieve the same level of expressiveness. Turns out first class functions were priceless, and anonymous classes weren't a good enough incarnation of that, especially in the late 90s.
Have been through a fair few FOSS feed readers since Reader went away. Currently settled on Newsbeuter but it doesn't get as much use as it should. I see this being scanned much more frequently, particularly due to the live stream view which for RSS and Twitter searches is very cool. Had played with the CLI Twitter client t but didn't stick with it. This might have enough varied content options under one roof to keep me visiting.

Nice one! Fwiw I also like the README emoji usage and dig reading articles in the terminal. I just like and want the text. Most times the rest is noise. Apart from these emoji.
Oops i didn't know it was opt-in. Although with github recommending it it will become the defacto code, and it's likely to be mandatory a few years down the road.
I was referring to the CoC , not the community.
You are correct, mainstream CPUs load in cache line quanta. They can't do anything smaller. If your value straddles a cache line boundary then you load two lines. That's why cache-aligned values are sometimes critical to performance of certain codes.

Intel will soon be marketing CPUs with 512-bit registers. At that time the register width and the cache line width will be the same. That will be novel.
http://moose.iinteractive.com/en/

TL;DR: Moose is an awesome OO framework for Perl.
I don't even download anymore, I pipe youtube-dl video source url to mpv (which, IIRC is obsolete since mpv gained the ability to find it with the original youtube url).
Ubuntu phone goes global, but you'll get slow speeds in the US
>The question is then, can there be a real b) if there is no corresponding "a)", the thing that is being named.

If you can describe a thing that exists, in sufficient detail to check the description, then you can describe a thing that doesn't exist too. For the answer to be 'no', you have to reject the entire idea of descriptions. You have to reject the entire idea of categories, leaving only sets with predefined member lists.

I think that line of thought is a waste. If you reject language as too imprecise to use on reality, you end up concluding that proofs cannot exist, so you must not actually be talking about proofs.

Plus, it's easy to name something that doesn't exist.

There is no piece of paper on Earth that has printed on it the string T5hYEQdla6ZLTjxQnA3D. This is something that could exist. You could even make one yourself! But as I make this comment, it does not exist.
Yeah, with the renaissance that image analysis is undergoing in the last few years with DNNs, to say anything is impossible is showing a lack of imagination.
Haaa clink, http://mridgers.github.io/clink/, the highest ROI when it comes to turning windows CLI friendly.
Yahoo to Get Its Iconic San Francisco Billboard Back
I guess so. But it is a little difficult to get data from veteran people, since those figures are most often negotiated in silence. All I can see are the entry level offerings and they are in deed often below those for web-developers. I think, it is similar as in other areas -- when you manage to be seen as key-developer, you are in a much better negotiation position -- but for that, you must be either a star from the beginning or done some real great tasks in the company.
>I don't think you want AWS - I think you just want a VPS or a dedicated server.

Fair point - and perhaps the core of the issue. Since the start of this discussion a friendly hn soul has pointed out that Azure does actually allow hard-capping expenses though - a definite win for MS in my eyes.
I try to estimate the chances of getting into Congress if someone tries
It's really really enlightening to see how you can build Erlang as a Prolog DSL. Since Prolog is homoiconic, it's quite easy:

http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=8AD...

That's actually how Erlang was born, hence the apparently odd syntax.
Good ways to meet technical people are to get involved in your local tech community. Look for MeetUps in your area and attend. Start networking. Building long-lasting relationships is something that just comes with time as the friendships you make develop.
Saying the images are 'saved' is not the same thing as saying that they were not improperly accessed. That's what I'm wondering about (I phrased my initial comment poorly).
You don't need a proper 'infinity' to have integers be unbounded.

>Let X be the highest positive integer

That contradicts the definition of integer, so it doesn't really show anything.

Pretty much all I need for the proof is a working successor function, and if you take away the successor function you have something that doesn't even resemble integers.
It's hard to see a conventional bank achieving startup like hockey stick growth in any jurisdiction with moderate enforcement of conventional banking regulations. It might make sense for a company focused on serving banking to own a bank or two as a means of testing systems and perhaps marketing its products to new customers based on glowing testimonials from said banks.

While such an arrangement of banks as affiliated companies would require substantial upfront capital, it is feasible that such banks could be operated revenue neutral with regard to burn rate for the core startup while providing a somewhat liquid asset should the core startup go bust (which is technobabble for "a bank could be run to break even and sold when the underlying startup folds with the proceeds returned to the investors who funded its creation/purchase").

That said, a lot of high return capital is going into more predatory financial institutions such as payday and title loans because of the higher interest rates and lower regulatory burden and the fact that the rich people banks are designed to serve tend to have many good options while the customers who tend to use payday and title loans have few options and usually none of them are good.

Good luck.
'gb' seems promising but getting it to work with existing code editors is a bit of a pain point.
You started by saying the NHS has poor outcomes for cancer (I agree) and that the reason was because the NHS does not use modern meds.

I counter - pointing out that the problems are at the diagnosis end.

You respond with a comment about the five year survival rate of innovative med.

I tell you that those meds are used within the NHS, and ask for an example med that is not used within the NHS. I give an example of how there are inefficiencies in the diagnosis end.

You post a link that doesn't mention meds; does mention delays in diagnosis and treatment. You still haven't posted an example of a cancer medication that provides good outcomes that is not used in the NHS.

Your little dig about referal times is weird. What do you think the referal times are? There is a legally enforced maximum 2 week time from GP referral to see a cancer specialist.

http://www.nhs.uk/choiceintheNHS/Rightsandpledges/Waitingtim...

> Patients with urgent conditions such as cancer and heart disease will be able to see a specialist more quickly. For example, you have the right to be seen by a specialist within a maximum of two weeks from GP referral for urgent referrals where cancer is suspected.

You appear to have a political ax to grind. That would be okay if you weren't spreading lies and misinformation.

EDIT: you made an antiNUS documentary? You don't think that's the kind of thing you should mention? I'd be interested in fact checking it because, looking at this thread, you probably made a right fucking mess of it.
There's something I've been wondering lately. The concept of modern 'social' internet, to me, seems to presume that the majority of the users share at least some core liberal values of acceptance of a diverse set of ideas, and respect for other individuals, as they are, and assumes that the society is at least reasonably peaceful and stable.

What happens when the internet comprises mostly of individuals whose don't share those views? What when/if, for example, a vast majority of internet users believes that women shouldn't have sexual choices, that gays are abhorrent? As someone from South Asia, I like to imagine the internet of the Future when most of the internet users are those men who seem to have a pathological hate/fear of women and values seen as 'liberal'/'western'. Men are already aggressively violent against women when they are openly identified. I wonder how the dynamics change when they could get anonymous.

Even further, what if a large population of internet users deeply detests any other populations, and wants them dead.

I was watching the trailer for this new documentary on the genocide in Cambodia(?), and how people live in peace with their children's murderers as neighbors. With a constant barrage of reminders of terrible events from the internet, and the mutual massaging of strong emotions [REMEMBER what they did to our parents/kids! NEVER FORGET!, etc], I wonder if on the whole, the internet will make things a lot worse in a lot of places/the internet as a whole will significantly change form.

You could argue that the same could be said for any communication media. I remember reading about the role that Rwandan FM stations played in the Genocide: they would keep aflame the fires that were burning out, and constantly supply fodder for death and hate. Apparently it was only after the stations were closed that things began to get slightly under control (?). With the possibility of blimp-powered and satellite internet, the kind of communication that cannot be disrupted at all, I wonder how things would be.

I like to imagine a scene of outright violence and civil war -- say race riots and race-based violence in the US. Would the easy availability of the internet help or hinder peacekeeping efforts?

What would be the right response in such situations?
Bad investment compared to what? Idle excess fiat is worth about -100% to the aggregate economy over the time it is kept idle. Manipulating it so that it stores value for an individual at a real rate of -2% when private market stores of value's risk adjusted real returns are lower than that is a market distortion that transforms people's savings into a huge loss to the economy.

I am the one being meticulous about the implications of real vs nominal. In particular I am saying that people's saving should be tied to something real by making sure they end up in something backed by real economic activity like stocks, bonds, actual stuff or credible promises of production of actual stuff.

You on the other hand don't seem to see the different implications between fiat stores of value and real value tied to production and production capacity. You have no problem if people's savings end up as purely nominal idle fiat without any real intrinsic value tied to them, if people's savings accumulate as pure government created claims on production from other people who have not promised to fulfill those claims.
> I finally took to having a single card that is used for ONLY recurring payments...

This is a sound plan. Kudos!

For non-recurring payments, I've taken this a step further: I use a debit card for online purchases backed by an account with just a few dollars in it. When I wish to make a purchase, I move the funds for that purchase into that account.

I would rather have a fraudulent purchase be declined than to deal with the hassle -however small- of disputing a charge.
Full list here

https://publicsuffix.org/list/effective_tld_names.dat
> Erlang generally encourages shared-nothing architectures.

This is the language feature that `pron` keeps mentioning. Nothing about the VM is especially better for this than the JVM for instance.

> I see nothing wrong with ETS, it's well optimized for the Erlang term format in particular and gives you serializable updates.

There isn't anything wrong with it (as a complete neophyte to ETS and the EVM generally), the question is how much better it could be if it was on one of the several first rate JVMs that get so much more resources poured into them. Sharing data concurrently is precisely what the JVM is good at (especially at very large data set size). So in the cases where you need to use something like ETS, there is a lot of potential for improvement on a JVM vs EVM.

> But it's already there in a cohesive whole. There is absolutely no reason to switch to the JVM when the EVM is a beast of its own.

I don't want to speak for `pron` but I suspect what he is getting at is, the combination of the Erlang full story on the JVM would be a phenomenal bit of tech and it would be much easier (and more likely) for the Erlang bits to get ported to the JVM than it would be to bring the EVM up to the standard of any of the best JVMs.
The list comprehension syntax gets confusing for me to read especially with pattern matching.
Good luck! That's a crowded space, but seeing some innovation there would be fantastic.
Good idea. Which bank or credit card are you getting this service through?
> but the syntax is too weird

Ah, I've finally found someone in the wild who thinks Erlang's syntax is less weird than Elixir's! ;)
There are loads of companies that do that. I designed and implemented a system around 2009/2010 which did exactly the same thing for the energy market.

Certain subsets of the medical market have embedded players offering similar services.

To make real money from this you need marketshare; with that you can look for points ripe for arbitrage..
grep is working fine in msys/mingw, and has been for many years. I do not remember if I have ever seen it not having the recursive option there. It has been working for my in Cygwin, too. As well as many other utilities ported from unix to Windows.
That kind of comment is a point dancer. 4 points at this moment. My guess is 11 up, and 8 down till now.
Ask HN: Help us with our app plan
Hi HN,

I developed a social app with a friend of mine on both Android and iPhone called Taza, tazaapp.com, it's a bridge between Facebook and whatsapp, or you can think of it like Google+ for mobile phones that works only with your phone contacts.

We started like everybody else, with our family members and friends, but we did a trick this time we didn't tell them that this is our app, we just told them about it and how it's better than the messenger apps as the "groups" creation is easier and the threads are way more organized.

The plan worked and they loved it, we told them that it is ours after a few weeks :). So that gave us a good indication that the app is fun to use, and most importantly, it's solving a problem that all the messenger apps are having, which is the pain of having hundreds of messages if not thousands) in a group chat and you have to catch up with everybody whenever you turn on your phone.

Now we started our marketing campaign and we reached ~800 users and the reviews are good so far, but it seems that the adoption rate is slow, and as you all know with this kind of applications, word of mouth is really key. Now my questions are:

1- We are focusing on one market and it looks like our message is working, we are spending ~$1 per day to get the word out, is that a good thing?

2- What's the best way to quickly educate the user about how to use the app?

3- Is it possible to ask for a seed fund at this stage?
Are there any tools to help with "multitude"-level scaling?

It's been my experience (across all langs) that every new order of magnitude of scaling requires a new technology/technique/architecture...
If you have not read it yet, I am quite sure you will like:
Being nobody, Going Nowhere" by Ayya Khema
The notion of existence in formal logic isn't the same as what it means generally, nor are the notions of proof and truth the same. In a formal setting, proof is a sequence of symbols accepted by a formal system, and "exists" means you have a structure verifiable by that system using proof.
You could always do what Simple.com did, and partner with an existing bank for just the money storage part. They see their value add as their interface and customer service (both of which they do extremely well). The money storage part is just an implementation detail to them.
If you're hiking, maybe. If you're doing almost anything else a platform with wheels should suffice at a tiny fraction of the cost.
Marty v0.10 will be the last major release
Anti-walking, yes, but a lot of them are still exercise.
I was just working backwards from the physics, one of the things I've done in the past if build battlebots, and one of the interesting thing about those machines, typically ~100kg weight limit, is figuring out how long you can run them so they will last 5 minutes in the ring but you aren't carrying any extra weight in batteries.

So from the article you have two things, you have 10mph for 12km (that is 1.2 hours of driving) and a recharge time of 90 minutes (1.5hrs) Batteries charge at a rate called 'C' (their capacity) so a battery that charges at 2C means that it can charge (accept current) twice as fast as its rated capacity. They need at least 500W (2/3hp approximately) to move a vertical human at 10kph. And they do that for 1.2 hours? so 600Watt-hours. Assuming your battery is driving brushless motors with a 48V working voltage that is 12.5 Amp hours net, so at 85% efficiency (good batteries) that is a 15 amp-hour, 48V battery. (or four 12V 15Ah batteries wired in series).

So yeah, the physics doesn't work for me on their specs. I would love to learn how the do that differently and get that much energy into such a small and light package. That would help me make a more competitive battle bot (lots of energy left over for weapons like spinners and what not.)
Voat , biggest Reddit alternative officially open for everyone