skysight-inc/HackerNews huggingface dataset:
Why cryptocurrency/cryptoempathy needs fields for attaching messages for meaning to value and account why we give.

Giving sharing significance and expressivity by allowing message passing for basic help as a fundamental part of currency.
> I don't think P2P down to residential is realistic. However, P2P between commercial entities looks more workable.

The nice thing with P2P is that both model are not mutually exclusive. You can have a single peer that is effectively served by Akamai's CDN, and you can have another single peer that is served by you behind your poor ISP line; the protocol will work the same and automatically select the one that offers the better bandwith -- so people will in practice fetch from Akamai's CDN when it has capacity, and automatically switch to anybody else when Akamai alone isn't enough. You don't even need any logic, it will be handled automatically.
1. Off-by-one errors
Things change.

LISP was popular in the 1980s before caches, branch prediction, and complex memory hierarchies.

The car/cdr list is just about the worst way to represent lists in terms of performance on modern CPUS.

Conceptually it is really clean, but about the only application it makes sense for is first order theorem proving, or in languages that support pattern matching. If you actually want to use lists as lists something like the Java ArrayList makes more sense.
http://slice.mit.edu/2013/11/05/wristify-thermal-comfort-via...

and

http://www.embrlabs.com/ ?
https://news.ycombinator.com/item?id=6646074

http://www.wired.com/2013/10/an-ingenious-wristband-that-kee...
Sorry. Couldn't find the actual paper. Can you explain that TLB-split technique?

EDIT: Nevermind. Got it:

The idea is probably to make sure D-TLB is pointed at the encrypted code so that the decrypted code (switched to I-TLB after decryption) can't be read, only executed.

* https://www.blackhat.com/docs/us-14/materials/us-14-Torrey-M...

* http://www.cse.iitd.ernet.in/~sbansal/csl865/readings/self-c...
I haven't looked at the code but you can prove many functions in Coq terminate by showing they are structurally recursive. Concisely, you show a function only calls itself on smaller versions of the originally parameters so there must be a limit to how many recursive calls you can make.

For example, a function F to find the item X in the the list L might look like this:

1. If L is empty, return false.

2. If the front of L is X, return true.

3. Otherwise return the result of calling F on L with its front item removed.

The list must get smaller every recursive call so there's a limit to the recursion. Lots of functions recurse in this way (e.g. map, filter, reduce, max) and Coq can detect these automatically usually.

For more complicated cases, you can provide some numeric metric to Coq and write a proof that this metric must eventually reach some limit. For example, to prove quicksort terminates, you usually show the length of the lists called in the recursive calls are smaller each time.

So, in general, there's no procedure to show an arbitrary function terminates, but for the kind of functions people usually write, there are practical ways to prove termination.
It's not just that "Coq" might sound like "cock", but a "Coq blog" just sounds even funnier...
Richard Price and the evolving role of pseudonyms
I don't think it's fair to say he's being exploited. He's a highly educated white male in a prosperous nation. He has plenty of agency and has had many options throughout his life.

If you read his follow up, he admits that he's explicitly choosing this job for personal reasons (flexible hours allow for him to provide parental care).

When there is a long queue of people who would love to take your job, I just don't see how you can call it exploitation. He's not being manipulated; he's just accepting the low pay as a tradeoff for flexible hours.

I suppose you could maybe argue that there's a positive externality to his employment which the market doesn't capture (note: this would be separate from the positive externalities of education, which is already subsidized), but I'm skeptical. There's a long queue of people who would love even his marginal academic job.

Obviously, I do feel sorry for the guy. I'd never want to be in his situation myself, but I also feel he should admit his own agency in getting himself into it (hopefully helping to tear down the glorification of academic jobs in the meantime). Moreover, most of my sympathy tends to go to people in genuinely exploitive and helpless conditions (ex. children born into poverty; women in tyranical underdeveloped countries, etc.).
I'm fairly clueless about this topic, but I thought "unlocking" simply meant you can install a different OS if you want.
You know, as horrible as this sounds, I don't feel bad for this professor. Rather, I feel bad for the poor student whose education had to suffer because of a labour dispute.

I strongly considered graduate school after I finished my undergrad, but the job prospects were absolutely horrible. It took me three conversations with trusted professors for me to realize that if I spent six or seven years of my life working on a PhD, my expected return was about $30k Canadian a year.

Now, I would have loved to teach, but losing six years of earning power to earn an expected $30k a year struck me as a particularly poor investment. Heck, the expected annual return from applying at McDonalds exceeded that of getting a PhD...
>> “This country produces some of the best engineers in the world, but in the past we’ve been afraid to commit to innovative product development for fear of losing, or being ridiculed."

>>“With the vast amount of data available online, we are able to learn and build expertise that we would otherwise lack,”.

Interesting to note , given how remote the country is and how its evolving in this time frame.
Irish Coffee
kind of not amusing :/
I'm not sure if that's going to work when more and more people are using mobile internet. Sure, we can all hope for real mobile flatrates but p2p videodistribution will add more traffic the networks … wait, no it wouldn't, would it?
Prosecuting a violated contract takes money itself. You have to do the cost/benefit of prosecuting users and losing subsidized phones vs. paying to develop locks and maintaining an unlock process.
Your uncle needs a group of friends or friends of friends that have varied backgrounds, clean criminal and credit records, and designate them 'mentors'. One with a credit default is OK as long as they've made a lot of money since.

It would to make sense to create a second share class for this eclectic seed, to avoid said mentioned tax concerns.

If one of these friends of friends has some spare office space, then they get extra credit for modern open space creative spaces.
Gah. Apple has a database of their own customers. I'm surprised they don't use that as a whitelist of known good (recognized) names.
Interested on those nasty bugs too, as I am on pass mailing list and have not read anything about them. This sounds more like a plug to pass, from a throwaway account.
WebRTC 1.0: Real-Time Communication Between Browsers Draft Published
Yup, I get some support requests where I have to explain to the customer that they never bought the software. They'll tell me the Photoshop Tutorial they downloaded my software from, inevitably with a link to a Rapidshare download. They're not looking at URLs and might not even understand they're downloading from a different website to the tutorial. Some have told me they got my software from "a Photoshop Tutorial that you advertised your software on". Ugh.

It's worth noting that while I have customers of all ages, many are older / elderly (many in their late 60s and a few in their 80s & 90s). They're not the most tech savvy, they don't understand the cracking scene & some need a lot of time-consuming handholding. Often wonderful & friendly folks, but they don't grok computers the same way the usual Hacker News reader will.
Ah, good point. I would not have the problem of inability to calculate tinnitus' loudness if I had no tinnitus in the first place, but let's say that now -- after ~3 years since its appearance -- I resigned to idea of suffering from tinnitus, so it's some how not a problem anymore, I now don't even need a fan or any other noise source to fall asleep.
Maybe the UK should get familiar with the idea that they are not the center of the world?
There was recently the case of a kid in the australian outback who wrote his own OS from scratch as he was too remote to get anything, it happens more than you think.

Pretty much the same thing as far as I am concerned.
>LISP was popular in the 1980s before caches, branch prediction, and complex memory hierarchies.

Yeah, let's just forget about decades of Lisp development since.

>something like the Java ArrayList makes more sense.

Except you lose the most important detail of Lisp pairs: persistence.
The Case for Hollywood History
Key Performance Indicators for Sales Success
/query command is news to me, but appears to be completely unrelated (I don't really understand the naming).
Expedia to Buy Orbitz for $1.6B to Take on Priceline
I thought HN wont allow to re-post the exact same url, so to bypass people add noise to the url.

is date of post also considered?
alternative article (visible to UK users) : http://www.motoroids.com/news/meet-vega-900hp-electric-super...
Most phones can be unlocked. For an iPhone, the difficult part is to jailbreak it and doing it yourself can be a little painful, but that hasn't been a problem for many people. So somebody stops paying their bill, or declares bankruptcy. Do you think there's anything stopping them from unlocking their phones for pennies?

As an anecdote, I once stopped paying my bills to Vodafone and gave up on my contract obligations. At that time Vodafone demanded a 250 EUR interruption fee, which in the meantime became illegal in my country. Well, I told them to dare and sue me, because I have proof of unjust treatment and service disruption on their part and I did have that evidence. Basically they were assholes, they knew it and they gave up on any claims. I also unlocked my iPhone 3GS by myself and moved my business somewhere else.

Just like DRM, there is absolutely no valid reason for selling locked phones, other than lock-in, i.e. to prevent you from using other carriers while in roaming and thus suffer roaming charges. But even that is just annoying, because you can get unlocked feature phones for $30 without a contract, with a battery that lasts for a whole week and just use that.
The podcast that DHH mentions in the comments, http://fullstackradio.com/episodes/9/, is worth a listen. This post seems to come directly from a discussion towards the end of the episode.
When we built the Go standard library it was valuable for us to think of it as a whole. What would most of our users need? Are there any gaps? I think the gokit project is a good opportunity to focus the energies of likeminded people in the Go community, to close the gaps and work together.
https://lists.gnupg.org/pipermail/gnupg-devel/2015-January/0...
Alternatively, he was a clueless kid who fantasized about disappearing into the wilderness ala Hatchet or My Side of the Mountain. Cancelling your mail and talking melodramatically does not mean you intend to die, just that you intend to cut all ties.
The second and third albums I bought in my life were from mp3.com. That site had a huge impact on where I am today (teaching music, playing in a band). The people who bought it had a responsibility to keep that music alive. It's a shame they didn't. Some of that music is lost forever.
What I can say about KDE Plasma 5 that I can’t say about Windows 8
Um, no. This isn't a throwaway account. This is my account - the username I use for everything. Type it into google. It's been my handle since I was super young. Whois the .com of it - I registered it in 2000.

IN FACT the mailing list archives of the pass mailing list happen to be at that domain. Here's the relevant post:
http://lists.zx2c4.com/pipermail/password-store/2015-January...
This is from a CC that went to the GnuPG mailing list.
Stanford Hospital was using sample-delivery robots as early as the 90s... I remember being amazed that they could use the elevators. They were a lot bigger and clunkier than the TUG, of course, and probably one-off prototypes.
> LISP was popular in the 1980s before caches, branch prediction, and complex memory hierarchies.

You mean like in the 80s with very little RAM, larger virtual memory to very slow disks, paging files of networks, booted images from network servers over 10Mbit links, ...

A time when commercial Lisp did a lot to be memory efficient (like cdr coding of Lisps, compacting GCs, incremental GCs, ephemeral GCs, generational GCs, ...).

> The car/cdr list is just about the worst way to represent lists in terms of performance on modern CPUS.

Actually modern CPUs are really fast with these list operations. For a lot of operations linked lists are fully sufficient.

You might also want to note that Lisp has data structures like vectors, multi-dimensional arrays, records, instances of Classes, hash tables and all kinds of fancy stuff, including access to 'foreign' memory which is accessible with pointers and manual memory management.

Currently optimized Lisp code is as fast as F#, OCaml, Java, Haskell or similar...
Ask HN: Got hired for a position that doesn't exist. How do I leave?
I'm a recent CS graduate from a decent university in the US. It's no CS powerhouse but it's well respected and decently known. I won't name which because I don't want my co-workers to accidentally see this and identify me.

During my last semester we had a guest lecturer in my parallel programming class. He came from a local startup which supposedly created advanced systems to assist the work of other statups.

The engineer from the startup went on and on about how each day there is a challenge and you learn so much. I decided to apply and see what would come out of it.

I went through a very tough series a interviews complete with Python puzzles and whiteboard problems. During these interviews I was reassured the job there was challenging and rewarding. I got a (generous) offer and accepted.

Fast forward to my first day and I ask my team lead what's the project I'll work on and I quickly learn that the challenging work is done in a sister office. I get told that this location mostly does very simple client facing Java Swing applications. I was devastated and almost quit on the spot. I would have if not for the fact that I have very large student debts and can't afford to not work.

Now I've been working there for a month and I've tried everything to get assigned interesting work. It's pretty much impossible since no such work is even done at my location.

How do I get myself out of this? I'm looking for other jobs already. I could omit ‎my current position from my resume but then I'll be forced to reveal it if I get an interviews during regular office hours.

I have a friend who wants to personally refer me to work on his team at Amazon but I don't want to blow the interview. I would practice but at the end of the day I'm so burnt out from boredom and repetitive work that I can barely stay awake.

I know there are no clear cut solutions but I'm interested in hearing from people who had similar experiences.
Also, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".
> so long as there's a large enough audience for each video

Completely a non-issue. The providers would "seed" all the videos from their own servers, too, so when there aren't enough peers seeding it, the bulk of the streaming would be offered by the provider.

Using the Pareto principle, something like 80 percent of the videos would be "long-tail" with few to no seeds (other than from the provider), but only use 20 percent of the video traffic (so the provider's burden is greatly reduced anyway). The other 20 percent videos would represent 80 percent of the traffic, and those are the videos that would be helped most by P2P streaming.
They look like they start at around $1000+, which means you are looking at about 1 year before it pays itself off. Based on my estimated heating bill anyway.

Additionally the biggest problem I find when turning off the heating in winter is hands and feet. You can wear gloves but then you can't type.
Le 6 ragioni perché il futuro del content marketing è luminoso
I don't really track the state of Israel's military, I'm just recounting what appeared in the US press at the time. There was some window during which Israel could bomb Iran's facilities effectively. In a few months, that window would close, due to the facilities moving underground or fortifying or something. So Israel had some kind of time running. This was supposed to scare the rest of the US leadership into invading Iran. Thankfully, this never came to pass.
You're thinking backwards of the problem. The ISPs don't offer high upload speeds because there's no demand for it. If there was, they would be forced to raise those speeds (in a competitive market, at least). Google Fiber offers symmetrical 1Gbps for download and upload speeds.
I believe it's marked as "NASA" because NASA is responsible for it on orbit.
Take a look at https://www.365farmnet.com/
> Picking one is not without compromises: Do you want your PRNG fast? Or do you want it cryptographically secure?

Many library functions involve tradeoffs. Do you want your malloc() fast? Or do you want it to minimize memory usage? Do you want your sorting function to be fast in the average case or be without pathological edge cases? A PRNG is no way unique in this respect.

The standard library is ultimately a tool like any other; it should contain things that are useful. Of course there are compromises involved in any particular choice of PRNG, but that doesn't mean not including any is a better choice.

My view is that a lot more things should be rigidly specified by the standards. The days of radically varying CPU architectures and radically different OSes are gone; these days underspecification mostly serves to trip programmers up. Standardizing the memory model was a huge step forward, and it's time for C++ to go further in that direction, time to start defining what was previously undefined or implementation-defined behaviour.
That's... basically not even wrong.

Lisp implementations that run well on, and take advantage of, architectures with caches, branch prediction and complex memory hierarchies are well-known, and have been well-known for, literally, decades. http://pt.withy.org/publications/VLM.html is an example from 1994. More importantly though, even the earlier Lisp machines (at least since 1983!) implemented a form of instruction caching, and had hardware-aided garbage collection.

> The car/cdr list is just about the worst way to represent lists in terms of performance on modern CPUS. Conceptually it is really clean, but about the only application it makes sense for is first order theorem proving, or in languages that support pattern matching. If you actually want to use lists as lists something like the Java ArrayList makes more sense.

The car/cdr list is not the only data structure in Common Lisp.
TRESOR would rely on the user applying a kernel patch (I don't believe it's broadly disseminated yet), and if you wanted to run more than one HARES based program, well, you couldn't (unless they rely on a single key for all HARES applications, which opens them up to having their private key posted on pastebin). Plus, the decryption key would have to be stored in the binary somewhere, unless they want to provide custom dongles which would provide the key to the hardware directly.

As for blocking GDB and its ilk, the knowledge of how to disable ptrace blocking in executables is already fairly broadly disseminated on the internet.

I also don't see it working around the VM problem (short of saying "I don't run in VMs, period", which would severely limit the reach of such binaries).

Interesting idea in theory, but without significant changes to the underlying hardware or kernels, I don't see it functioning in practice (yet). It has the capability of blocking your casual user from accessing the application, but the folks they seem to really want to defend against would have few problems working around these limitations.
The lesson learned here is always ask questions in your interview. As the person being hired you should be just as engaged as the person interviewing you, because you are also interviewing them.

Learn everything you can about their company. People love to talk about themselves, and their companies. What they've built, what they're doing, how cool it is, and what challenges they've faced.

You can learn more in a 20 minute conservation then in 2 hours reading their website.
What You Need to Know About Web Analytics Software
Yes, after some time has passed, HN will allow the same link to be resubmitted.
With more users won't you get more questions being asked?
Ask HN: are any YC startups working on disrupting server colocation?
Server colocation SHOULD be incredibly appealing, easy to buy and should be able to compete vigorously with cloud service providers.

So where are the YC startups disrupting colocation?

Do you think colocation could experience a resurgence?
Heterogeneous Replicated DataBase(HRDB) was a prototype of a similar protocol for fault tolerance amongst database replicas.This one is mainly focused on DBs and on building a middleware for a DB inclusive of its technology.
Its from 2008 , however.

Detecting and Tolerating Byzantine Faults in Database Systems :http://web.mit.edu/benmv/thesis/thesis.pdf (Benjamin Mead Vandiver)

Edit: Name correction
Role of tech in empathy?
The presence of those consumer/server distinction in ISP's TOS should get waded out at some point. And distributed content is much move viable solution than a centralized ones - probably a troublesome one regarding streaming live data, but one which is potent to utilize network for the task at hand more harmoincally. And at the same time it'll bring all the benefits of distributed systems (as well as downsides) - e.g. you could stream a video of yours on your own website and not rely on likes of youtube.
zx2c4 has 1440 karma and their account is nearly 4 years old...
Besides an Android, I also own an iPad and an older iPhone.

As a user, compared to Google Play, the iTunes App Store really sucks. Besides the discoverability issue, the Apple's store isn't even showing me reviews because Apple is limiting those reviews to reviews of locals only and in my country there aren't that many iPhone users that would be interested in the apps that I am interested in or that care to contribute reviews. And basically I end up installing junk in the hope that it's any good, or do searches on Google for recommendations - oh, the irony.
>throwaway account.

ahem

user:	Fastidious
created:	192 days ago
karma:	98
avg:	1.82

user:	zx2c4
created:	1362 days ago
karma:	1441
avg:	5.48
Dat Venture Seeks to Bridge Gap Between International Entrepreneurs and Boston
Although it is called List Processing, it does support other types of data structures, including arrays.

https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node158.html#...

Don't blame the language for lack of programmer knowledge.
I'm pretty sure I remember hearing fairly direct word-of-mouth confirmation that the double meaning was completely deliberate.
I develop apps for friends and family, and offer them on the app store for the curious. I have used Pinterest in the past to post screenshots, and a few customers have mentioned they saw it on Pinterest.

Despite the phenomenal FUD, no one ever says they can't find an app they want. They try out the top 5 and pick one. Or make their own if they are industrious.

Huge numbers of shovelware apps aren't really a problem, but realize its time to focus on marketing that mediocre app if you want it to sell better.

The market is dictating the success of all those mediocre app developers properly: relegation to 2nd class and app obscurity.