skysight-inc/HackerNews huggingface dataset:
Isn't the whole idea to use it without having to get a warrant?
> In general, any kind of analysis like the borrow checker will reject some valid programs, as it pays to be extra conservative. You then slowly expand the set of accepted programs, until hopefully, it matches the true set of valid programs, without accepting invalid ones.

I'm wondering, is this possible in principle?

Context: I'm thinking in terms of sound-and-decidable type-checking conservativeness [0], but perhaps that's a bad way of thinking about this? Perhaps borrow-checking is a special-enough case of type-checking that somehow isn't afflicted by this (how?) or gives up the soundness (does it?)?

[0] "A sound type system with decidable type-checking (and possibly decidable type inference) must be conservative." -- http://gallium.inria.fr/~remy/mpri/cours1.pdf

See also: https://books.google.com/books?id=7Uh8XGfJbEIC&pg=PA134
"Today I learned that Blue Gene was a figment of my imagination" .. and I learned that Anton doesn't exist either.
Flat tax is a policy that some advocate in the US where there aren't tax brackets and everyone is basically required to pay, for example, a flat 30% tax. In Andrew's case, he says 50% of all proceeds that are greater than the financial freedom limit. That means if you have 1B over you pay $500M and if you have $10M over you pay $5. That $5 million may seem like it has more of an impact to the latter person.

Does that clarify it @cespare?
I scooped up a bunch of generic .co in hopes of using them someday.

bacon.co

blur.co

dimsum.co

bookworm.co

breakfast.co

comics.co

valhalla.co

foxy.co

honeybee.co

kingsize.co

manatee.co

mens.co

womens.co

wet.co

spy.co

pinstripe.co

refuel.co

queer.co

stamina.co

spinach.co

superfly.co

superstar.co

sultan.co

I have tons of others but I'm going to let let a bunch go. The renewal rates are too high.

Edited for readability.
That depends on whether you consider 30 points significant or not. [0]

[0] http://www.wsj.com/articles/SB124278685697537839
That's funny. By reflex, I visit the new page most times after I visit the main page. And I venture to guess that on many days I visit HN more than the average user here. But, yeah, when N gets big enough, what any one person does doesn't set the culture of the whole community.
90% of those "Must be fixed right now!" problems aren't, and no one will die because the problem didn't get fixed for another hour.
>LLVM also has a JIT and a far more permissive license, making it more attractive to those not using a GPL compatible license.

Not to mention LLVM's JIT is far more mature. If you're reading this on Safari then LLVM is JITing for you right now:

https://trac.webkit.org/wiki/FTLJIT
>it can take a few months to finish the entire process with Google.

That is not too bad for such a large company really. Personally I have always worked for small software companies where the hiring process frequently consists of one interview, a bit of a programming test and an offer all concluded in 72 hours (frequently less). Compared to that a few months seems slow but I once had a friend get hired as a trader at a huge international financial organization and that took a glacial 6 months.

Whats more there was the expectation that you would more or less just walk out on whatever job you happened to have accepted in the interim, get on a plane and fly to where they wanted you as soon as you finally received an offer. Looking back on it I suspect that agreeing to that was itself part of their selection criteria.
I interviewed with Google several times over the last decade. The last time I had more than a dozen interviews, including two visits to their campus ... and they took about 6 months to get back to me with a decision ... which was no.

Can't pretend I was happy with the process. Sort of got the sense that I was replaceable commodity, which I'm sure I am. They didn't particularly care about me. I wasn't applying for a technical role, and I probably had the same qualifications as dozens of other candidates, so they really didn't care about what I thought about waiting for months at a time with radio silence.

I'm at a start-up company now, and very happy. I'm working on a Google-X style moonshot, and I know if I was at Google I would have no chance of working on one of their Google-X projects, because everyone at Google is trying to work on one of those.

I also get the sense, based on stories, that there is a lot of politics now in Google (as there must be in most big organizations), and so somebody with no political skills, like me, is better off in a start-up.
Ever read the language of obfuscation employed by professional patent writers(attorneys) (who compose patent applications for inventors)??

Same effect. The formation of a professional cadre to restrict access, coupled with high journal fees = the $600 you are asked to access journals.

Open journals are gaining year by year. Soon all government sponsored research must be published in an open journal. Now it is one year delayed.

This barrier is far larger for poor countries for whom $600 is the same as $12,000 for you.
That's indeed a useful list. lsof alone covers a lot of ground!

Mac OS X has a pretty nice set of DTrace scripts built in: http://dtrace.org/blogs/brendan/2011/10/10/top-10-dtrace-scr...

The ones I use the most:

* iosnoop: see all disk I/O. especially useful to find disk-chatty/poll-y apps.

* execsnoop: see new processes being spawned.

* opensnoop: see file opens. especially useful for failed file opens that break an app.

* dtruss: see all system calls. get access to the entire OS interaction history of an process (or app).

* errinfo: trace failing system calls. where there is smoke...

* iotop -- who is using disk

There is just a crazy, crazy list of things available, built-in:

man -k dtrace

Edit: wow HN formatting sucks so bad. I wish I could make that list more readable, but apparently I can't.
I guess this can be seen as negative, I was curious if this was something y'all see a lot. Opinions?
This is essentially a way for founders to sell new employees a fraction of their lottery ticket, aka a risk transfer, aka insurance. It would be easier to assess this plan with traditional economics tools if it were stated in those terms.
"At the time, we were actually racing another company in our Y Combinator batch. It was called Simply Insured. Originally it was fairly different from us, but about halfway through YC the founders decided that they wanted to do what we were doing, and the company pivoted into our market."

One of the more interesting parts of the article. Not sure how you prevent or discourage that.
Same for me, invited some selected friends who I thought could use it, but even those who signed up, never really finish setting up.

On the other hand did find some interesting new contacts there.

Have 4 invites if people still need!
How often did people cheat in remote work-sample tests?
I think you make a reasonable point, AND I note that there's a promotion at the top of the page.

"The following subscription-only content has been made available to you by an LWN subscriber. Thousands of subscribers depend on LWN for the best news from the Linux and free software communities. If you enjoy this article, please consider accepting the trial offer on the right. Thank you for visiting LWN.net!"

It's possible (this was posted on HN 5 hours ago) that text was added retrospectively, but working on the basis that it's boilerplate text then LWN seems to figure some subscriber links will be shared AND that's OK because it's an opportunity to promote subscription to others.
My pinky starts hurting when I hear emacs.
>The 4th Amendment - and specifically its warrant requirement - is often misunderstood to be about protecting individuals from government searches. Warrants will generally be granted, and the search of any particular individual is going to happen if the government wants it to.

Yes, but at the time the Constitution was written warrants were a requirements for a search. If a British officer showed up on your property and demanded to search it without a warrant you could literally shoot him.

This led to the issuance of "general warrants," allowing British officers to search entire houses and estates. The Fourth Amendment was a direct reaction to that, which is enshrined in the language "no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized."

But you conveniently left out the most important part: the rationale at the beginning of the Amendment: "The right of the people to be secure in their persons, houses, papers, and effects,[a] against unreasonable searches and seizures, shall not be violated"

The whole purpose of the Amendment was to protect individuals from government searches. The text says so right on its face: "The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated..."

The exclusionary rule or "fruit of the poisonous tree" doctrine, with which you seem to be confusing the Amendment itself, is a twentieth century invention of the Warren court.
Hahahahahah....
(sorry)
I'm 44 and feel like I'm just getting started.

But ya, procrastination is another issue entirely. It's a common problem. Here is my advice... accept that you can't do everything. (This is reality and it catches up with you soon enough anyway). Find out what is important and focus on that. Just that. Don't worry about what other people are doing. It has absolutely zero impact on what you are doing. In life, people will make more money than you. Others will make less. Some will be happier, some less happy. It doesn't matter. At all. It's you that you should be concerned about. Why are you chasing tech? What is the end game? That's the question.

Do one thing, or a few things, and do them well. If you aren't going to do that, then don't do these things and accept that you aren't going to do them and don't worry about it. Don't flit. There is a cost associated with switching tasks and that makes the whole thing harder.
I agree that the individual question is less interesting than the collective, but it was indeed the collective that I was referring to. If we recall context; we're discussing a person who has allowances made for his religious observance, and that process being described by someone else as effectively pandering to his mental illness at an organisational cost.

That is, why should an allowance be made for him to go to church at 3pm, but not for Mitch in sales to go gambling at 3pm? At least gambling offers the potential for a return. By the interpretation under discussion, which is not entirely without merit, religion is just a mental illness that people unfortunately fall into. Why should it be encouraged or facilitated by workplaces or allow for the abrogation of duties which they would otherwise have on the same level as raising a family which is indisputably essential for the continuance of society?
Before clicking the link and knowing absolutely nothing about what project this even is, I knew from the headline that it would be a timezone or DST issue. I've had the displeasure of dealing with a lot of TZ offset issues in a time-critical app. They are a always a joy to discover, fix and test.
can't believe no body talks about ss (socket statistics) - http://www.cyberciti.biz/tips/linux-investigate-sockets-netw.... It crazy fast compared to netstat
Just had DNS trouble from Chicago. Switched to openDNS.
APIembed – Embeddable API Code Snippets by Mashape
There are countries that have changed which side of the International Date Line they claim. As recently at 2011 Somoa switched. http://en.wikipedia.org/wiki/International_Date_Line

Now that is the sort of thing that drives programmers nuts.
on mobile: i only see the code. sigh. why even serve me a different page? I'm running full blown Firefox.
I think you've omitted something. PVM had that same beauty, but MPI won over PVM. Do you have any idea why?
46 times in 51 months ... 1 time (at the end of the data collection period) with slightly less than a warrant. Not much 'judicial review' here.
Think of it as loops in 5 dimensions (x,y,z,a,b). I believe each node connects to 10 different neighboring nodes (2 in each of 5 dimensions), although I could be mistaken on that. You can actually tune which direction you prefer the nodes to communicate over by passing certain flags when you submit a job.

Also here's an image... which I admit is not terribly useful, but its what the national lab people put out.
https://computing.llnl.gov/tutorials/bgq/images/5Dtorus.400p...
http://pyvideo.org/video/1735/using-python-to-code-by-voice

This is the only guy I know of who's doing coding primarily by voice. Interesting to watch.
There are still people who profit from the non-privite prisons. The money is going somewhere.
Yay, awesome!
Multi-Host Docker Linking: Rancher.io
Thank you for doing this. You've improved my impression of humanity today, and inspired me to do the same.

(And you also, papercruncher)
Intel Drivers Free Download – Update Drivers for Windows 8, 7, Vista and XP
+1

I worked with a guy who got promoted to manager at Sun and the first thing he did (while we were all laughing at the idea of the idea of him as a manager) was to walk into our office and say "Hey, dude, you are working for me now. It's gonna be fun. What stuff do you need to get more shit done, I'll get you that."

We all stopped laughing because we all needed stuff. He got us that stuff. Great guy.
I definitely recommend reading and learning from pg's Maker's Schedule, Manager's Schedule - http://www.paulgraham.com/makersschedule.html

I'm definitely a Maker type of person (I score 22% Fast / 78% Slow on this Pace Indicator I use [1], which is similar) so a mid-afternoon team meeting can ruin my day.

[1] http://www.inside80performance.com/
Great. My $5 latte will now be $10.
C-x C-c :)
I have, but can't see your email in your about, am I missing something?
not quite the same, this is for creating custom mocked endpoints, while httpbin is pre-defined utility endpoints
I had the same problem - then I realised you need to click/drag the mouse.
> slashes returns by half for founders

> have little impact on founders

really?
Firefox 36, OS X. This doesn't seem to be working for me at all.
Mastering the Art of Dating Will Make You a Genius Fundraiser
I've been using Emacs for years with a Happy Hacking Pro 2 keyboard (where what is normally caps-lock is control) and never had any kind of "Emacs pinky" issue. Remapping caps-lock to control is a must!
Day 13: Timing is Everything 2
By "technological growth", I mean creation of a novel and innovative nature. Stuff that goes "0 to 1" as Peter Thiel says (http://www.meaningfulhq.com/zero-to-one-by-peter-thiel.html).

The first group of countries are using existing technology to "catch up", so clearly their growth rate ought to be higher. This is "globalization" rather than "innovation". And as I mentioned, there are certainly other countries with great work-life balances that still enjoy high productivity. By the common sentiments I see in this thread, it seems that a lot of people would much prefer these places than Silicon Valley, and I encourage them to research further as in the link you posted.

That being said, here are some questions: where are the leading computer science researchers? Machine learning experts? Software entrepreneurs? Largest and most successful technology ventures whose market caps are greater than the GDP of a lot of countries?

While I can't prove it, I strongly suspect that you don't get world-changing technological innovation without living an unbalanced life.
You'll take your low-overhead-and-proud design and you'll like it. (that said, your post is very readable)
Just a quick note: no need to use a url shortener for that.
There are big data people running on supercomputers too. I know there are people writing custom asynch job managers to handle big data type problems because the top supercomputers have low memory latency.

Also I think the dichotomy you're looking for is IO bound vs CPU bound problems. Although certainly there are a plethora of different kinds of IO bound problems (asynch vs synch or disk bound vs memory bound vs cache bound).
What Do You Mean, the Universe Is Flat?, Part 1 (2011)
thanks for this! I really appreciate it.
Thanks for the heads up, was thinking Cloudflare was down or something.

Switched to OpenDNS @ 208.67.222.222/208.67.220.220
The whole discussion of money at this scale is ridiculous.

This is the dusty trap door. Just so you know, getting rich is "weird"[1] for a lot of people. You can see examples of it in lottery winners, movie stars, and tech employees.

Of course some folks tie their net worth to their self image. This is, in my experience, both common and a moral hazard. But that said, the more interesting thing is that people in a company have opinions about other people in the company, and during a 'liquidity' event (aka IPO or sale) there can be a lot of drama and angst around the internal metrics people are carrying around in their head and the monetary reward that gets paid out.

You need only imagine someone in your company, who you have a very low opinion of their contribution, become $FU rich while you see only a modest change in your personal net worth. I have seen that dynamic break people.

[1] And oddly getting 'un rich' as many did during the dot com explosion is less weird.
With apologies, I do not believe you are discussing this in good faith, and I think the distinction I am drawing is clear enough.
I'm not famous or "accomplished" enough that you will ever hear about me, but I'm extremely successful by the metrics/goal I have chosen. My goal was simply to be happy.

What separates us from (other) animals, is our ability to alter our environment. Use your big brain to figure our some combination of the parameters in your life (work/environment/free time/etc.) that makes you happy and change your environment to optimize for that. Have the self esteem to follow your own path. Don't feel compelled to impress others or live up to some freakishly high standard.

For what it is worth, I've been programming longer than you've been alive and if I keep doing it another 30 years I doubt I will be acclaimed for my coding skills - and that doesn't bother me a bit.
That's a ton of use cases!
When I worked at Mozilla, we had an issue where the unittests will always past, except on very few occasions. The message was not entirely obvious what the problem was (from as far as I remember) so we ignored it for a bit as it didn't seem to impede any work.

We eventually realized that the unittest will only fail after work hours, at which usually no one is around to start tests. It turns out the test will fail during 6PM - midnight because of an UTC issue.
Daylight Savings is nothing but a frustration nowadays, especially in Australia where a) our DST does not quite align with the switchover in the US, but only by a couple of days, and b) out of the four states on the east coast time zone, one of them does not use DST which makes things more confusing.

On a side note, the title reminds me of a similarly interesting bug in OpenOffice.org: https://bugs.launchpad.net/ubuntu/+source/file/+bug/248619
You certainly can do that. In fact, I believe I saw an example of that in a tutorial somewhere talking about what Erlang/Elixir would be good for (I include Elixir because its the same VM controlling processes underneath, but a "nicer" syntax on top). Now, would it be the best language for that? Depends. If you're looking just for speed and massive computations, then no. In the end, C++ pretty much rules everything in that regard (except for maybe Fortran in some instances). But, I would say that it might be more fun to set it up in Erlang/Elixir. And you could pretty easily expand the whole thing just by adding more processors and simply telling it to spawn more processes (the Erlang VM is pretty awesome). I would almost say that an Erlang version of it would feel more life-like. You could probably experiment with it on the fly more easily, too. Kill off a process here or there and see what happens, etc.
It's one thing for an insurance company to operate in that manner, it's another for the government to do so.

People have a choice whether to procreate. I should either be allowed to participate in that choice, or be removed from the financial consequences.
lol, I was speaking in the abstract. I'm actually a huge fan of BB, and generally find the difficulty in NG to be on the easy side.
I think its more that if the "value" to society of sending the person to jail is less than the cost of sending them to jail, then you shouldn't do it. In this case, he's expressing that the value of sending them to jail is much lower than the cost.
BeOS Demo Video (1998) [video]
It actually looked much more difficult to understand to me because golang just really has no structure.

Anyways, it probably is simpler, because it doesn't solve the same problem that the Haskell code solves. The Haskell code allows you to generate some bytes from the infinite stream even if you don't yet know how many you need; your go version must know how many you need before you start.

In order to do the same thing in go you're going to need to use an iterator or a goroutine + channel. Try doing that as cleanly as the Haskell version.
I often use `lsof -p <pid>` to find the log file location of a given process :)
You could really feel his frustration, very interesting and entertaining.
Ask HN: Going back to school when you already have experience
I guess I'll start with I'm a 27 year old web dev. I was a self taught, freelancing nomad for quite some time prior to going back to school. I received an A.A.S. in Web App Development in 2012 with plans of going on to obtain a B.S. in CS, however, life happened. I landed a full time job in my hometown, which pays well and I was able to keep working with some of my old clients. I've just passed the three year mark with my company but now I find myself looking to venture back out and move to a larger city.

In total, I have around 4 years experience freelancing/working remotely and 3 years experience in an agency setting. I've built a handful of SPA's using both Backbone and Angular, simple apps using the Ionic Framework and Cordova for both iOS and Android, more Wordpress themes/sites than I can remember, as well as some experience with Python/Django and the DjangoREST framework.

I see a lot of my friends buried under student loan debt, I managed to get away roughly unscathed with my A.A.S., however at this point I'm unsure if going back to finish my B.S. in CS is worth it. Would just like to get some opinions from the community.

Is the additional debt worth it? How much more valuable is a B.S. when I already have a decent portfolio and "X" years of experience?
Now what we REALLY need is the ability to mock SOAP endpoints.

Semi-relatedly: I've never seen YAML over the web before, mostly just in config files and such. Is that common? Are there any examples of use out there?
As noted by others, we don't avoid humor we avoid the obvious, the superficial, and that insidious community-killer 'the in-joke'.

Throwaway lines are rarely well received because they add minimal value (if any) to the conversation, which is HN's primary criteria. Where humor is well done, and adds value, I've always found it to be well received.

See, for example, one of my 'highest rated' comments in a discussion about 'The Miracle of Compound Interest'. The OP (now offline, so iirc) argued in favor of higher estate taxes because compound interest over future centuries guarantees wealth would become unfairly distributed to a small number of families. I chose humor to pick holes in the theory rather than economics - https://news.ycombinator.com/item?id=812221

[Edit] I realised some throwaway lines do add value, when I remembered this comment in a discussion about eating bark after the collapse of civilization received even more love than the OP - https://news.ycombinator.com/item?id=842857