skysight-inc/HackerNews huggingface dataset:
I was confused by this example:

rel p(s, x)
if(s = ‘a’) //this is sugar for [(s=’a’ and x=0) or x=2]
x = 0
else
x = 2

Why does it transform to

[(s=’a’ and x=0) or x=2]

and not

[(s=’a’ and x=0) or (s!=’a’ and x=2)]

(or whatever "not equals" is in Cosmos)?

In any language I know, "else" means "do this when the guard was _not_ true", and not "nondeterministically maybe do this other thing instead, if you want". Did I simply misunderstand it? (note that I got lost at the "soft cut" part, but did I get it right that "choose ... else" is closer to what I'd expect "if .. else" to do?)

Given that accessibility to people used to imperative languages is a core goal, I'm not sure that the choice of making "else" mean "yeah whatever" is the best one. Maybe it's better to replace it by a different keyword entirely ("if.. or.." maybe). On a related note, just in case you're not familiar with it, I believe that maybe the "if.. fi" construct in Dijkstra's Guarded Command Language[0] is an easy way to get imperative-thinking people to embrace nondeterminism. It feels a lot like normal imperative "if", except there is no "else". If you want "else", you need to add another guard explicitly, with the negation of your first guard. This way, it's easy for people to grasp that the order of the guarded commands have no meaning. It also makes introducing nondeterminism very explicit.

[0] http://en.wikipedia.org/wiki/Guarded_Command_Language#Select...
While I'm quite sure it's true, but I'm also sure it's a side effect.
If a person with Wireshark can figure out what you are doing, so can a nation-scale signature detection system.

Things like custom protocol handshakes will give the underlying application away. It doesn't matter if the traffic itself is encrypted.
They could be putting substantially more into real estate. They're at 5% allocation, which seems low to me. I suspect that in the USA, most people are at either 0% (renters) or 50%+ (homeowners).
There are a number of ways to help people in China gain access to the open Internet. One easy way to help is to setup an obfsproxy bridge to alleviate the shortage.[1] The quickest and easiest way is to setup your free Amazon EC2 account with the Instructions at the Tor Cloud Project page[2]. It took me just a couple of minutes to install my free EC2 account. Another option is to donate money to pay for the bandwidth that Tor relay and exit nodes require.[3]

NOTE: A bridge is not the same as an exit node. Only exit nodes could possibly attract attention from authorities. If you are just running a bridge, you are only helping people circumvent government firewalls to join the Tor network. The default EC2 Tor Cloud images only run as a bridge.

[1] http://arstechnica.com/information-technology/2013/04/tor-ca...

[2] https://cloud.torproject.org/

[3] https://blog.torproject.org/blog/support-tor-network-donate-...
"Freedom act takes on Patriot act"

--News at 11

Clear as mud.
Too me it'll be the end of the world...
A browser game inspired by Thomas Nagle's Essay “What is it like to be a bat?”
People complain about Uber's unethical (and sometimes illegal) business practices, but I think it's useful to entertain a different perspective: Considering all of the laws restricting hired transport, do you really expect a nice company to enter the market? Many saw the opportunity but thought, "That business would probably be illegal. We should do something else." Meanwhile, UberCab (remember when it was called that?) disregarded the laws and went for the opportunity.

Obviously, this doesn't excuse their behavior. But it does explain it. In heavily-regulated markets, nice companies are selected against.
Maybe you could elucidate this more clearly.

I think its quite correct.

(Also, if humor is not your forte, I'm sorry).
Video/demo of new SWI distributed prolog work
oh god, Greatfire.org, stop trying to make every cdn service being blocked!
Android, Chromium, V8, Go, Dart, Guava, Guice, GWT, Angular, Polymer, Blink, WebM, and probably hundreds of libraries.
This is not my creation, but I've read the essay before and I was intrigued by the game. It's pretty cool.

Here is the essay if anyone is interested:

http://organizations.utep.edu/portals/1475/nagel_bat.pdf
What are your thoughts on the link between go and oberon? Go is an aweful lot like oberon, but with curly braces and a lot of syntactic sugar imo. I've never read anything about pike citing oberon, but the influence on plan 9 is clear, imo.
How to Verify an Email Address
This is a good writeup but I have to say:

"We really can do anything. The sky is not the limit in Cosmos. We can go beyond into outer space."

*pukes

Good article so far, but that line smh
Are you seriously equating an anonymous gadfly with a company conspiring to secretly ruin a public critic's life?

I'm trying to determine whether the action itself is "abhorrent" or whether it's only "abhorrent" because the person who discussed it is a tech dudebro that everyone loves to hate.

At this point I'm leaning very strongly toward the latter.

I thought you had something against anonymity because "...never have my colleagues nor I did such work under surreptitious means. We made our identities clear...". If that was merely a red herring, my apologies. I thought you brought it up because you believed it was relevant, and perhaps the source of Michael's actions being "abhorrent".
Well, I have a relatively firm plan to work on getting asm.js v2 + typed objects finalized and produce a proof-of-concept compiler targeting them, so hopefully I can help push them along! It'd be great to understand GWT's needs here.
I'm not sure if this really addresses your argument, but China certainly doesn't have a limited labor supply... Quite the opposite
Machine vision is advancing rapidly. This year the imageNet machine vision challenge winner got 6.7% top-5 classification error. 2013 was 11%, 2012 was 15%. And since there is an upper limit of 0% and each percentage point is exponentially harder than the last, this is actually better than exponential. It's also estimated to be about human level, at least on that specific competition. And that required a human to practice and spend lots of time looking for similar images to match the image.
I wonder if someone might challenge China on this at the WTO. It could perhaps be seen as a backhanded tariff. As you say it's acted like one for their domestic internet businesses.
I lumped Emscripten/Asmjs in with the "C" benchmarks. The JVM verson of JBox2D 2.3 actually performs on par with asmjs (Firefox 27 numbers when this was taken). JVM went from 5ms (jbox2d 2.2) vs (jbox 2.3) 3ms, so that puts the GWT version at about 50% (~6ms).

It might be possible to locate a few hot methods and instrument just those with asmjs assertions and see if it has any effect. I don't know how Firefox reacts to something that's "half-way" asmjs (asserts types on math expressions, but still uses objects with fields instead of typedarrays), but FTLJIT and Turbofan are claiming they'll make use of them even in the non-strict case. We'll see.

Right now I'm spending most of the my time implementing Java8 lambdas, Promises, and all that good stuff that removes the "tax" of java boilerplate so I don't have much time to explore it, but given how early Turbofan seems to be, waiting might be good anyway.
NeXT/OPENSTEP, for sure, but OS X didn't exist in 1997.
Where's your server? I also have issues tunneling to a UK based server
Tcpdump in verbose mode is vulnerable to several DoS attacks. Here is one
It's incredible to see how much LSTM networks are proving useful in many different experiments!
I recommend that you read up on Negative liberty (https://en.wikipedia.org/wiki/Negative_liberty). The freedom from interference by other people is an important freedom, and can only exist by limiting the actions of others.

To reference Erich Fromm, its not about "freedom to", but "freedom from". If you modify or distribute a work based on a copyleft work, you have "freedom from" being sued for patents, DRM, or proprietary copyright restrictions. If the work was based on a permissive licensed work, no such freedoms are given. You only have freedom to distribute the original work or modifications of it.
CentOS is seriously in need of a better way to find and install programs not in the base OS.

Currently, if you want to install something that isn't in the official repos, you either need to compile from source or download a bunch of rpm's from random websites that may or may not be legitimate. (What is this, Windows?) None of the third-party repos have a decent search function, either, so it's difficult to tell whether they have the version I need. Heck, even the official repo isn't quite searchable on the web, you need to use yum on the command line.

Example: Using only a web browser, find out the latest version of OpenSSL in CentOS 6.5 and the list of its dependencies.

Compare this with Ubuntu, where nearly everything you could ever want is organized into easily searchable PPAs, and looking up a package on the web is as easy as going to packages.ubuntu.com/package-name. No manual downloading of packages from random websites. No need to dig into mailing lists to find out which version of bash actually fixes shellshock.

This is not a matter of rpm vs deb, or yum vs apt. This is not a matter of stable vs cutting-edge. This is a matter of the general ecosystem being totally haphazard, fragmented, and user-unfriendly.
downgrade iOS 8.1.1 to iOS 8.1pangu8
That's the current repo for the skeleton code for the labs. It might get deleted when the semester ends (it also won't boot as is).
Find it shameful that even though it seems most of the developers are clearly non-white (see about-us), they use standard stock images of Caucasians. I would never buy a product promoted this way.
1. Please keep getting carried away

2. I completely didn't understand how a functor can make a list. Note, to me, a functor is a C++ class that overrides operator(). I loved how your writeup allowed me to understand Cosmos concepts _without_ learning Prolog, so an introduction to functors (maybe a later blog post?) would be warmly appreciated :-)
Don't worry about providing id, just walk around a bit - they will work out who you are soon enough.

http://www.channel4.com/news/shopping-centre-wifi-tracking-s...
Monzy performs at Stanford Univ
This is about systemd, I suppose?
Pageviews.
This is common strategy in propoganda.
Companies like Facebook, Google should give 100$ to each employee to donate, will be petty cash for them, but will reach many project the company is really benefiting from.
The manufacture of bicycles in third-world countries appears to be on the increase.
But a rooted device does.
I completely agree with you. On a related note: The Great Firewall is rather easy to get around, but that's the point. That tiny inconvenience sates the nonconformists while making the vast majority of people simply give up.[1] The same goes for jailbreaking one's phone or switching operating systems. Heck, many people can't even be bothered to check "organ donor" on their drivers license.

1. http://lesswrong.com/lw/f1/beware_trivial_inconveniences/
hush.technology , i'll probably never remember the domain...
All biz are not labour intensive, in India GMail, Facebook and Twitter rule, in China the local counterparts.
Many sites and services are certainly flourishing here. But I think many would any way because they are in Chinese (understandable) and local (faster, even without the GFW). And some are just better, WeChat and Taobao for example.
The old "if it has numerical less words, it must be better" argument.

I can add one word to the MIT license, and it becomes the least compatible open source license in existence. One word.

"Only the above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software."

You can't parse out the effect of permissions by counting words, paragraphs or lines.
I'm still amazed that in the century of the Internet people still write stuff like that as a desktop app. Not to mention it was waaaaaay to late to do it in the first place (they picked the company to implement it in August 2014).
https://gigaom.com/2012/01/16/sarah-lacys-pandodaily-launche...

http://techcrunch.com/2013/05/23/lyft-a16z/

http://www.cnbc.com/id/102008782
Well, that's the thing with dancing classes: The members of the group ared forced to actively interact with each other. So even if you go alone, you'll need to interact with men and women in your group in one way or another. The haircut is both related to the aesthetics and non-stop-talking mentality most styling saloons have.
5 high-growth tech startups leading the way in Croatia
Ask HN: What do you think about Dart Lang?
Google's Dart has been around for some time now, and even though I've heard a lot of different things about it, I'm yet to see an actual large-scale project outside google using it. Hence the question; What do you think about Dart?
Same principle just different mechanics and assumptions.

I can't work (very effectively) in two places at once, so I don't need robust merging, just CYA synchronisation. Using only rsync features I can do a full 2-way rsync merge and catch potential conflicts, erring on the conservative so I have reasonable confidence I don't lose any work.

Minimal workstation dependencies: only bash, encfs, rsync, ssh, coreutils/findutils and optionally atd for automation. encfs is optional, too.

Instead of dvc-autosync and XMPP I just use periodic execution. I partition my stuff into smaller/high-frequency vs larger/lower-frequency to keep this efficient. These are triggered from bash (PROMPT_COMMAND, in the background) and recursive at (atd).

The local data is unencrypted on disk from this tool's POV. I use encfs --reverse and rsync the result. To browse the history, I combine sshfs with encfs in forward mode.

Linux only because that's what I use, but it should be possible to support OSX.

All in all I'm pleased I'm able to use such minimal tooling for such a successful result.
I wouldn't blindly trust the volume from the Chinese exchanges (over 80% percent of the entire volume). Some of them have zero fees, so you can essentially "sell" to yourself for free and generate fake volume.
Interested in talking with you
Because freedom of the press is a Big Deal to many Americans, and attacking members of the media personally is a time-honored and effective way to reduce that freedom.

Because there is a big gradient in power between the executives of a multi-billion-dollar venture-backed global company (Uber), and the editor of a small tech news site (Pando). People don't generally like giant companies using their considerable power for personal vendettas.

Because when the knock against Uber is that it's over-aggressive and not sensitive to women, this is the sort of story that seems to strongly confirm that knock.
They misrepresent views and lie about legislation.

What's honest about that?
I'm calling DOA...

Maybe I'm biased but I feel like they're a little late to the party and this just isn't up to par. Too many restrictions, no ecosystem, weird design...
China is trying to make every CDN blocked, not Greatfire.org. Stop blaming the victims.
And it's not just doxxing: we're talking about a company that has access to private data on people's movements. It's not hard to imagine how this info can be used to hurt their enemies.
There are couple of reasons to use GWT:

1) already attached to Java language and toolchain
2) code sharing with Server, Android, etc (see Google Inbox)
3) Optimized compiles (Closure can also do the same for JS)

Modern JIT JS engines do remove the need for most performance optimizations, but GWT and Closure Compiler have never really biased towards runtime performance, they have almost exclusively focused on code size.

GWT does do some optimizations that help with performance, but most web apps are not bottlenecked by raw Javascript performance. However for mobile apps in particular, especially those on slow networks all over the world, shipping smaller code will matter for latency, startup time, memory usage, etc.

Subjective perception of speed in web browsers is very often a function of DOM complexity, and excessive style recalc, layout, paint. You could reduce the JS execution to zero and still end up with an app that feels laggy as hell.

I don't recommend people switch to GWT unless they have a reason to use Java. You can implement a lot of these optimizations on whatever language you like.

My philosophy is to use whatever you feel most comfortable in. I'm kind of tired of 2 decades of language wars in the tech community. I work on GWT because I used it for my own startup several years ago and needed to make patches to the project to improve it, and now I just like working on the compiler because it is an interesting problem space.

Personally, if I was writing non-Web apps, Rust looks to me like an exciting language. I'm more on the side of "more typing" as opposed to less (Go), and for non-Web apps, I like to work on games, and there, I want absolute best performance. Outside of C/C++, Rust looks to be the best new game in town (ok, I've heard good things about D). Swift, I don't trust as being too proprietary and wedded to Objective-C semantics.

Now, I wonder who's going to write a Rust-to-JS compiler? :)
> playing devil's advocate if you will

I don't think that the CEO of Uber needs a white knight.
To clarify the article's text, uClinux is not (just) a distribution, but a version of the kernel that rus on MMU-less hardware.

The full Linux kernel does have m68k support, but it needs a 68020 or better CPU. This gets you real memory protection, VM etc.
That is seriously good work and an amazing DIY project!

I remember when I was a kid, trying to just get a pre-made Linux-image boot on my Amiga. I had a 68020 CPU, but due to no MMU and no FPU (neither being "normal" accessories at the time) I just couldn't get the thing to boot at all. Later, when I acquired a 68030 CPU, I at least had the MMU covered, but I was still a kid and didn't have a budget for a FPU. So I still couldn't get things booting.

Granted, back then I wouldn't know my way around Unix if I had been handed a booting system, but I was curious about this "Linux" thing which was supposed to be superior if you wanted to run BBSes, multitask and do stuff like that.

But despite all those resources I had, I couldn't get things going. And here this guy gets Linux running on a home-built 68008-based system of all things.

That is seriously cool!

Edit: I may be mixing up my 68k models. I also had a plain 68000 earlier, which was definitely not up for the task. If I'm mixing things up, please forgive me. It was a long time ago :)
Come on now, it's Intel, of course it's an acronym!

The first paragraph:

My Intelligent Communications Accessory (MICA) [...]

I love product names that include the "my", so you never risk becoming confused about something as basic as ownership. Gaaah.

Also, can somebody please fix the submission's typo? It's BracElet, now it sounds like some kind of cross between a chewing gum and I don't know what.
Germany is now world’s favorite country
Go's method declaration syntax is based on Oberon-2.

And also how the packages work, is loosely based on how Oberon modules work.

Finally, unsafe has some resemblance with SYSTEM module.
170 is below the boiling point of water, it may speed up evaporation but it won't boil off.

300-400 (what you'd get from the stove top) is above the boiling point, so the water rapidly boils off.

These 2 things aren't comparable.
I wasn't trying to be funny. I was pointing out that it's out of line to accuse BuzzFeedBen of being unethical when he was doing straight and fully by-the-book public interest journalism.
Just a note I thought might be useful. I am a self-taught programmer as well and personally, I found the O'reilly 'Algorithms in a nutshell'[1] book excellent as both a learning resource as well as reference. Also, it is a /much/ smaller book with a '...focus on application, rather than theory...' and /complete/ working code.

[1] http://www.amazon.com/Algorithms-Nutshell-In-OReilly/dp/0596...
I loved Oberon back in the day.

It showed me that a workstation OS done in a system programming language with GC is possible and provides a usable experience.

Sadly, the industry decided to look elsewhere.
I didn't notice that the Typed Object spec supports "new" heap allocation, if this'll work with asmjs, than awesome.

GWT's needs are primarily two fold:
1) recognize Java types that can be promoted to struct-types. GWT already knows how to do this as it has passes to convert all methods of a class to monomorphic/static dispatch, meaning the prototype only has to contain field values. Thus if a Java type has no polymorphic methods, and all fields are either primitives, or references to other 'struct' types, then the compiler can emit typed objects.

2) Since Java is a GC'ed language, GWT currently isn't in the business of implementing a memory management scheme. We rely on Javascript to do this. The current problem with strict asmjs output is we'd need to allocate typed arrays and our own memory management scheme. There's not much appetite for that right now, but I suppose it could change in the future.
source? article sayse dude was not invited, was +1 of an invited guest.
Reaction speed doubles for every 10 degrees F.

That can't possibly be correct, or at least it's only correct over part of the range.

If a pan rusts at a given rate at 70F, it would rust at 2^33 times that at 400F--those numbers just don't work at all.

Also once the pan heats past the boiling point of water, there is a huge decrease in drying time.
This makes me distrust the journalist, not Uber. A VP getting drunk and describing petty revenge fantasies against journalists who publish hit pieces isn't news. The whole thing sounds like some dude circling wagons.

Read the original article: http://pando.com/2014/10/22/the-horrific-trickle-down-of-ass...
Seriously; Have you been to France? It may have been ill-advised for an American company to do business with some foreign companies what with the global connectivity allowing everything to be judged by American standards, but that promo wouldn't be considered sexist there. Right or wrong, France is a very different place.
Yes, Rob Pike mentioned Oberon here: http://talks.golang.org/2014/hellogophers.slide#21
and it's also mentioned in Go FAQ
http://golang.org/doc/faq#ancestors
Hilbert: A Latex-like math-oriented programming language
Hmmm, yeah, I guess I'm not communicating very clearly here. In my worldview, actions should be judged along with the circumstances that led to the actions.

For example, a human-wielded knife slashing across a human body to cause a bloody and gruesome wound. I consider that action relatively neutral without knowing more of the context.

If the knife is being wielded by a mugger during an attempted robbery, then I consider it to be an unpleasant action.

If the knife is being wielded by a doctor in an attempted c-section, I consider it to be a less unpleasant action, perhaps, even a justified and positive action.

I mean Jesus Christ, do you really enter into these discussions with an objectivity that can't conceive of how events and actions can have different values depending on the given circumstances?
Wouldn't this choke if the user's mailbox was full?

I understood the default generic answer to this was "send an email to it, through a mailing service you pay for, not through your own infrastructure."
That's what's known as tacit corruption.

Journalists who participate in "access journalism" get invited to off-the-record dinner parties and yachting weekends.

Journalists who ask hard hitting questions in the public interest tend not to be invited to the intimate soirées of the elite.

While there are very occasionally ethical reasons for a journalist to talk to a source off-the-record they are not going to occur in convivial social settings.
The great firewall is not "rather easy" to get around. It can be a giant pain in the ass. Source: I live in Beijing