skysight-inc/HackerNews huggingface dataset:
This looks like a great resource for people new to functional programming. One thing that I wish more F# web sites would look into, though, is using Tomas Petricek's awesome formatting tools [1][2], which give you tooltips for F# code on the web. This makes reading F# code on the web a lot more like reading F# code in an IDE, and makes it much easier to understand what's going on in some examples.

[1] Formatting F# code for the web - http://tomasp.net/blog/fswebsnippets-intro.aspx

[2] Announcing - Literate programming tools for F#
"APIs for C, Python, Ruby, Node.js, and Java"

And where is PHP?
You can find these types of department stores in Japan: http://www.japan-guide.com/e/e2072.html

This 2011 article about JCP's new strategy also discusses Japanese department stores: http://knowledge.wharton.upenn.edu/article.cfm?articleid=281... (ctrl-F "Japan")
I said outside of attacks.

I call BS on saying it's not easy to limit the number of served connections and RST the rest. Isn't this something every web server can do by itself it's so easy?
According to this blogpost https://rdns.im/the-pirate-bay-north-korean-hosting-no-its-f... it's not really hosted in NK.
I use it everyday but I can admit they're professional thieves who now appear to be under the protection of possibly the most brutal dictatorships on earth. The only reason they're still around is because everybody uses it and that makes it politically difficult to come down hard on them. This probably makes it significantly easier to bring the full force of the US government into play.
well, you have to be able to connect to peers who have the actual content to share with you.
> not always double checking everything I buy to make sure it will work.

I feel like we've been there since... 2007? My last several purchases were made with zero caution or research anyway, maybe I've just been getting lucky.

> many Linux users feel that there's something wrong with a world where only the technically adept can use a free, open source operating system.

That's fine and all, I don't buy into that ideology but it is fine if others do. Perhaps someone should warn these unsuspecting masses that "Linux for your technologically illiterate grandmother" advocates are not as pragmatic as they may claim to be. I feel like these people are dressing Linux up as something that it is not in order to sell it to people who, were it presented honestly, would not pay it a second glance.
I looked around and they still have non-domicile rule. Since 2008, they added an annual £30,000 fee, but that's nothing if you're rich.

http://www.theaustralian.com.au/news/world/london-is-a-magne...
http://en.wikipedia.org/wiki/Taxation_in_the_United_Kingdom1...
Well, its a demo, right? Will there be any real users on it? If the meet and bones of the demo isn't user authentication, does it really even matter? As soon as there is real data, I'd say its a problem.
I agree. It threw me in for a bit of a curve-ball.
Let's see what codecs and outputs they record before getting too excited. The sensor in the 5d mk III could be so much more if it recorded to something better. Bandwidth is a killer.
Don’t get stuck: Continuous Deployment
Why should it be illegal?

We really, really, really don't want government interference in voluntary private contracts.
If it's fresh packages you want, surely you know there's more than just stable. Have you given Sid a try? I've been running it for years on my non-server machines, and I haven't had any more or less problems with it than other bleeding edge distros.
SEEKING WORK - based in Europe, remote preferred

13 years of experience developing
8 years project management
5 years tech lead

I'm especially good at bootstrapping projects. Have worked with various startups. I consider myself a full-stack developer with extensive knowledge in C, C++, network technology, security, Linux and web development such as PHP, Ruby on Rails, Python. Have some time to kill between projects and would love to tackle a new challenge.

siebzehn (at) kent (dot) nu
"John Thomas" is a British slang reference to male genitalia, so this broker name is pretty apt since they were out to screw everyone they came in contact with.

I'm not sure if that was intentional or not, but it sure is funny.
Detroit Venture Partners Invests in Social Media Startup in Detroit
Fun tool to play around with!
It only gives you access to the data if you can connect to peers that have that data. If North Koreans users do not have access to the international Internet, then they'll only be able to download from peers inside of North Korea, who presumably won't have the data. If the users do have access to the general internet, then they can use any tracker, and The Pirate Bay isn't in a special position.
This is pretty much the outcome of every single petition on the whitehouse site.

-Someone requests some completely common sense thing happen.
-Thing interferes with huge company making lots of money.
-Whitehouse says something like "while we agree with you, we wont do anything to help, cheers!".

Cool, thanks representatives of the people?
| Rodman's NK trip

If you ever bother to read about any of these accounts, they are all practically cookie-cutter. NK visits are practically on rails. It's not definitive proof of anything, but neither is the lack of visits to NK producing 'smoking gun' photos from prison camps.

| Based on that logic, the U.S. is 10x worse with
| 2.2 million people in prison right now.

1. The US doesn't throw entire families in jail to punish the actions of a single person.

2. Your logic about the numbers doesn't take into account the portion of the population. The US is a lot larger than North Korea. If we translate those numbers into percentages, North Korea has 0.81% of the population in prison, and the U.S. has 0.69% of the population in prison.

3. As bad as the US prison system is, I don't think that it's reach GULAG / Auschwitz levels, which by all accounts NK has.

| Their human rights record leaves much to be
| desired. But so does the human rights record
| of every country on earth, including the US.

That's like saying that GW Bush started a war in Iraq. Hitler started a war in Europe. They both started wars, therefore GW Bush == Hitler! My logic wins!

[ Note: Nobody wanted to believe that the Holocaust was real in Germany until the troops started liberating the camps. IIRC, there were rumors, but most people basically said what you are saying, though there was probably more out of disbelief that human beings could do such a thing. ]
You need to compute this per capita for this to be the slightest bit meaningful.
> We are all very similar genetically and we all have very
> similar with our potential for greatness.

Unfortunately, this is one of the biggest misconceptions in modern discourse. There is a whole "underground" (mostly online) current of thought called HBD (Human BioDiversity) which means to address this misconception. Google it, but with your attitude you will probably discard it right away.
Why Are All My Friends Moving to Oakland?
Kinda off topic but it's a pity about the choice of F#, even though it might be a fantastic functional language. I just can't find myself willing to invest time learning a language that's basically locked to a single operating system.

Most of my work is on software that runs on big iron unix systems and I suspect Mono would be a tough to impossible sell in large enterprise due to lack of professional services and support. Hell it's impossible to even sell the idea of putting Linux on some of the systems unless it's RHEL.
An uncustomized bootstrap app? :P
That is a matter of contract law. If you are no longer obligated by the contract you agreed to, then there should be no barriers to unlocking.
He was probably wrong on that and meant

http://en.wikipedia.org/wiki/List_of_juvenile_offenders_exec...
> The linux idiots have one glaring example: PulseAudio

PulseAudio works wonderfully for me. It allows software mixing, something that's never been possible for me prior to PulseAudio, and it never crashes.

It also gives me a single place to control volume on a per-app basis (pavucontrol). That's not something I had prior to PulseAudio, either.

I can also keep a single desktop session going for months.
I think what he's saying is that the IPs returned in the trace route might not actually be in the geography we think they are.
Hmm, that's the tricky bit to explain in a quick post. It has an independent code interpreter that works on the internal representation of the fuzzed code. The output of that internal representation in fed through the Flow compiler (then C++). There is basically a "check([random number])" statement on every other line of code which should be reached in a known order. We compare the check log of the fuzz tester's interpreter to the check log of the compiled code.
TL;DR: viruses.

Does not discuss that fact that the dominant platform will inherently encourage malware creators to write for that platform. Implies that Mac is inherently more secure with no evidence.
There's no reason that this needs to be the case; see Tomas Petricek's tools for producing tooltips for F# code on the web [1][2]

[1] http://tomasp.net/blog/fswebsnippets-intro.aspx
[2] http://tomasp.net/blog/fsharp-literate-programming.aspx
Unfortunately, the "entrenched powers" in the US definitely have not been elected by anyone. Because of this, we haven't had a true transfer of power in many many years.
Same reason it's not illegal to sell a closed padlock without a key.
NK has 200,000 folks in prison camps. Based on that logic, the U.S. is 10x worse with 2.2 million people in prison right now.

Per capita calculations or it is meaningless.
I am, just from my experience in real-life companies. It takes an awful lot of discipline to treat servers as if they were exposed to the public internet when you know full well that they're not.
This is what I do... it should be noted though that some devs may not want that style rendering by default.
I didn't actually see it as that. I saw him pointing out that his brother might be motivated from a financial reason to become a programmer. I thought of it a rant on the state of the industry as it exists and why work as a programmer even in the Valley is the same as the skill that you learn.
Put your torches out, it's just a joke :)
Mir – Ubuntu's new display server
You could also watch a Youtube[1] video explaining (near the end) what happens when field conditions change - fog, mud, etc.

[1] https://www.youtube.com/watch?v=Vh9af_gXxlM
The advantage of changing the port is to reduce the spam in your logs. Checking your server logs regularly really does increase your real-world security.
Ha, I bet this one will crash and burn over Fiji too.

More information here: https://wiki.ubuntu.com/MirSpec

They don't like X for all the normal reasons, they think Wayland might be like X but haven't investigated (I think you can replace the input handling in the "compositor" plugin; maybe I'm wrong).

They don't specify how they'll handle hard problems, such as:

- Client vblank sync (as well as compositor vblank sync). Compiz, unity, etc, don't do this now; clients run unsynced and tear.

- Switching unoccluded windows to render directly to the framebuffer instead of going through the compositor. Mandatory for good performance on something like a Nexus 10 (which has a 16MB framebuffer, so nearly 1GB/s bandwidth to deliver glClear at 60fps with no extra copies...).

- Handling multiple clients that want to read gestures. They actually say in their "INPUT" section that they will handle "shell" gestures "in the server", which sounds like they're going to bake their UI into their display server.

They want it to be compatible with all of the old apps too, which Wayland already does. I'm trying not to be judgemental, but it sounds like they want to write something like Wayland but without designing it first. Good luck with re-entry, guys.
Debian testing is pretty great. I personally use a mix of testing, unstable, and experimental on my desktop, and a mix of stable and testing on my server.
Given that there have been real kernel security issues recently I would reboot sooner. You can do a risk assessment per issue. Monthly automated doesn't seem the best option.
It's the same when countries insist on being "free". You do not need to tell everyone obvious things.
What else are they going to say? "We will issue an illegal decree making it legal to unlock cell phones again?"
+1; this was my thought as well. The problem, though, is that I can no longer say to people, "you should try Linux! Ubuntu is predictable, stable, and easy to use."

I don't know if Debian has a similarly friendly desktop distribution, but unless they do, I'll now point people to Linux Mint. Granted... I think this has been a better choice since Unity came into the big picture, not because it's bad, but because it's unfamiliar.
Prophecy fulfilled :)

http://openclipart.org/people/worker/1325935795.svg
For those that are curious this is a good diagram by Alison Chaiken about the two major ways of the architecture of Linux graphics:

http://she-devel.com/Linux_Android_Graphics_Stacks.svg

I believe Mir will just be a custom tailored SurfaceFlinger, I just do not understand why Canonical will not use SurfaceFlinger.

EDIT: Maybe because SurfaceFlinger is built with OpenGLES in mind? I don't really know.
> - How often do you reboot your computer

Once every two or three months, when I remember to apply updates.

> - What audio softwares you use the most

Only flash (youtube, primarily. Also youtube's html5 player probably, I haven't paid much attention to that) and mplayer. A few years ago, XMMS2. I used to use an XMMS2 client I wrote for music, now I just use some bash scripts and mplayer; I can't say I've noticed any delay while switching songs with mplayer or XMMS2.

When I play music from my laptop through my raspberry pi connected to my TV with pusleaudio, then I notice an audio delay. That is the only sore spot pulseaudio has ever presented me.
Are you saying that there is usually no government interference in private contracts? Or that there should be no government interference just when the consumers rights are being violated?
(OFF TOPIC: OP here. Mir is my family/last name. My friend sent me the link with subject line - "You are Ubuntu's new display server".)
What can they do about it besides try to get Congress to change the law?
No issue on a couple of machines. Running with a call to start-pulseaudio-x11 from my .xsession, works fine. I believe running it as a system daemon is not recommended, though.
AS path = the numbers of the Autonomous Systems that traffic will pass through to reach that particular destination
I guess that the Python program generates some sort of internal AST that is either trivial or at least easier to interpret than the fuzz code (enhanced C++, blah...) generated from the AST.
When they invent a computer that can write poetry or paint a painting or start a startup, I think your vision will have come true. Fortunately, I think we're still a long way away from computers that can do these things with the creativity a human can.
5 Founder Blogs Generating Sign Ups for Their Web Apps
The military-industrial complex is probably the reason he thinks the military-industrial complex is responsible for everything wrong in America
The premise is that the stores already have wi-fi for store operations, e.g. those inventory control computers with built-in bar scanners, price-check kiosks, and maybe even something like Nordstrom Rack's "you can check out anywhere in the store by going to our team in green" mobile checkout.

Then you slap guest wifi on top of this on a separate SSID, and throttle its bandwidth use to something appropriate, it's dirt cheap, and will attract people to the aforementioned coffee-shop-style lounges.

THEN if you want to get FANCY you use one of the new-fangled wifi analytics tools like Ekahau or Nearbuy to track frequency of repeat visitors and generate heatmaps and whatnot:

* http://www.nearbuysystems.com/products/in-store-analytics.ht...

* http://www.ekahau.com/solutions/retail.html
Sketchers (http://www.skechers.com/). Go View Source on that.
IP hasn't changed much since then, and I'm not sure server vs desktop is a relevant distinction here.
There has been no transition of power. Power is still in the hands of those who have bought it. All democracies are far from perfect, but the US have allowed theirs to be dominated by money from the very foundation.

Even quite corrupt democracies are more open to be changed by popular vote than the US, were not being bought and paid for beforehand means you don't have the means to successfully stand for election.

Hell, even countries where political candidates regularly get murdered stand more chance of peaceful democratic change.

The US political system is a effectively a convoluted equivalent of having a ballot with only one name on it. Only in this case it's a dollar sign. I would be very surprised if this could be overturned by peaceful means, but it will most certainly require extra-parliamentary action, because US democracy has been sold.
It shouldn't, Ubuntu Server doesn't currently include X.
Fast Traffic Sniper
Ever seen something that seems almost too good to be true? I've been looking for a catch in this, but I haven't been able to find it.
You don't have to start again. It's just that the progress bar starts from zero again. If you download 2GB of 4GB initially then start again, when you restart it will show 0% of 2GB to download.

It's effectively a diffing system where the block size is on average the size of a file (about 42kb).
Gamification: Is it game over?
> This makes it sound like unlocking a phone while you are still on contract would not be excepted.

You don't really own the phone until the contract that got you the phone is terminated. They agree to buy your phone for you if you agree to n-months of service.
My most recent attempt to use PulseAudio (as it came via Ubuntu) had the quirk of not activating the headphone jack when something was inserted. It dutifully turned off my speakers, but no sound was available elsewhere.

I previously had stock Debian on the machine, and everything was working fine. A half day's effort was put into toying with ALSA configs that Pulse was deferring to for whatever driver choices it made. Dozens of help articles or threads where everyone else in the world could proclaim "Thanks, that fixed it for me!" left me with less functionality than I started with.

The only thing Pulse has ever done right for me was was help to record some loopback audio on an otherwise-crippled sound card.
This is the Linux kernel developers fault to begin with. Microsoft does not break driver API for every minor update of the kernel. In fact with my Radeon x1900 I am running it under Windows 7 with Windows Vista drivers. Runs StarCraft2 and a bunch of newer FPS games just fine.

On the other hand, Linux is a disaster. The kernel devs are so determined to break binary compatibility, I haven't been able to run with ATI's proprietary binary drivers for years. AMD was a good open source citizen and released the specs. And yet the open source drivers for my card are useless for anything but 2D.

I am thankful that Google came along and is forcing a standard in the kernel. I welcome this "binary world".
It has quite a lot to do with the corruption of principles that make such legislative absurdities possible.
'nihil' translates to nothing, but 'nullus' translates to 'lack of' and was recognized and used as a number, even if the symbols didn't reflect this. Just because zero wasn't typically used when teaching mathematics (i.e. teaching quantity instead of number line) doesn't mean that there was no concept of 'zero' in the numerical sense. Both the romans and the greeks had concepts and proofs based around negativity and zero.

However, modern notation, including negative sign, zero, and algebra, are all rooted in eastern and middle eastern cultures.
Correcting myself: "The youngest person to be executed in the 20th century was George Stinney, electrocuted in South Carolina at the age of fourteen on June 16, 1944. [...] The last execution of a juvenile may have been convicted murderer Leonard Shockley, who died in the Maryland gas chamber on April 10, 1959, at the age of 17."
No, there are a decent chunk of users for whom it works fine. Maybe as many as 95%. But there's also a substantial number of users for whom it introduces major problems - which would be more forgiveable (at least to yours truly) if it provided any visible advantages over existing systems.

(After a few months of trying to make pulse work I left for FreeBSD, which works beautifully and avoids a lot of linux's change (seemingly) for the sake of change)
I used to think that - bit I now believe we can find the clients who want it done right more than right now

To be fair the best way of judging this is the reverse penalty clause - so this job must be done by June 1. Ok and if it is three weeks late as we use erlang? A penalty of 1000 dollars a day? Wow - ok so if I am a month early you can pay a bonus of 20,000 ? No - so perhaps we are not as time critical as we feared ? Would you rather save 20,000 in ongoing maintence costs and general uncertainty over how good the solution is for three weeks delay that would likely creep in anyway?

Have I told you erlang has an uptime of 99.999 % proven over twenty years?
No. It's their content; they make the rules. It's the industry's job to use whatever distribution channels make them and their clients the most money. That's it.

If you don't like it, you don't have to buy their content, but it doesn't give you the right to bootleg it.

If a content maker doesn't like it, they don't have to use a big publishing house that restricts their sales avenues, but they also know they're probably going to make less money that way.
Signalmaster: signaling server for SimpleWebRTC.js
Standards are great and all, but holding on to those standards is what's keeping back the UX of linux. Gnome3 is familiar, but very dated. X is supported by all, but it's a tangled mess that everyone hates.

Yes Ubuntu is straying from the pack, but I'd rather have them stray and the rest follow when they find something good then have the entire linux community sit in the same place they have been for years. Regardless of what path Ubuntu takes, I think it will be good for the linux community to have that diversity.
I always took things in the opposite manner in that "if you don't understand it, don't vote on it". A lot of the issues that are discussed and voted on are things that any person of sound mind can understand if they take the time to sit down and do a bit of research. You don't need a degree to understand the importance or pros/cons of internet censorship but what we saw from the ACTA debate is the people in charge are not only ignorant to the facts but completely unwilling to educate themselves.

I feel it is much more damaging to have people weighing in on topics they have no clue about than it is for them to abstain. If a topic is brought forward for discussion where only 20% of the powers-that-be understand it it needs to researched further before any pen is put to paper making decisions permanent.
I've long felt that very-short names like "x" and "i" should be treated like pronouns in English. They should only be used when the scope is fairly limited and there shouldn't be too many in use at once. There are probably other sensible guidelines I've missed here.

When used well they often make code more readable than "descriptive" names, just like most English text is more readable with pronouns than without. In any case, categorically claiming they are bad makes about as much sense to me as banning pronouns from English.
The treaty only work when their actions constitute a crime on their resident country. In both cases this is not true.

This didn't stop US from bullying NZ and UK. NZ police even acted unlawfully because of this bullying.
Was trying to submit http://halis.io and got an internal server error
Top Worst Looking Cars for Women