skysight-inc/HackerNews huggingface dataset:
I think the point is that there is no good effect-union type; this has to be pieced together with monad transformers where you might have that types "Atransformer (Btransformer C)" is not equal to "Btransformer (Atransformer C)".

This is, for example, why Haskell has one monolithic "IO" monad instead of one for hitting the filesystem, one for HTTP requests, one for IORefs, etc. Haskell does not, for example, represent the difference between program nondeterminism (reading a file and doing stuff differently based on its contents) and permanent side-effects on the file system (writing a file); and I'd say the reason that it doesn't do that is because NondeterministicT (FilesystemAlteredT Identity) x would be different from FilesystemAlteredT (NondeterministicT Identity) x.

In some ways the granularity is nice because those two types are not isomorphic; but you might want to "erase" the granularity, which is not possible in Haskell. In terms of the "unioning" that you want, it's something like a dual of the unions that appear in typed exceptions: once you trace through some code you find out that it might fail via `FileNotFound` or `HTTP404`; this means that the relevant effects are `FileSystem :+: HTTP` in some sense.
Really, there isn't a single other country on the planet where only a minority is bilingual? This strikes me as rather unlikely.
I'm really interested in hosting my own Telescope (http://www.telesc.pe/) for this reason. I'd like to use Sandstorm for this, but since it's not out yet, I might just host it on Digital Ocean.
That requires storing the old password in plain text (or something reversible to plain text, like lossless compressed formats). That is typically not recommended as old passwords can give clues to the current password.
Powerstrip: prototype Docker extensions
Show HN: Content Marketing Tool
OT: How many times have you read a responsible admission like the parent in an Internet forum (or anywhere)? I wish more people had the guts to respond this way to mistakes instead of resorting to humanity's natural self-preservation (i.e., defensiveness). We all screw up; very few have the courage to admit it.

It also is important because it eliminates FUD around the issue: Now it won't be one of those false rumors that follows something around forever, hopefully.

Thank you!

EDIT: Slight edit.
Thanks for all the feedback and trying out the app. Sorry for the delay of response, I'm in France and had to take a train. 3G here is not what it used to be since 4G took off...
that's not how this works. you're the one that made the original unsubstantiated claim. the burden is now on you to substantiate your original claim.

explain the mechanism by which classifying internet service as a utility enhances the ability of the NSA to record that data.
Sony sells Sony Online Entertainment, company excited to make Xbox One games
Downloading Fatwa Issued by Turkish Religious Leaders
Customer Service Tips for Business Growth
gocd-blinky: Easy Build Light Indicator Connected to Go.cd
>Why would a lack of service by an internet provider be comparable to a utility pumping sewage?

I work partly from home and, while not quite "utility pumping sewage" level of crisis, a badly-timed internet blackout at my apartment can be a serious problem for the whole team.
I don't know about 100%, but I am certainly much happier with my electric, water, and gas providers than I am with my cable provider.
My takeaway from the article wasn't "science is broken", but "we should be more understanding of people who mistrust science". That interpretation reflects my own biases, of course.
The journalist writes 2000+ words, but doesn't even bother asking the guy the most obvious question: why doesn't he buy a bike?

In Detroit, biking is doable at least during the 7-8 months of the year with no snow. The guy probably has access to secure locking facilities at home and work as bryanlarsen pointed out. He is paid $84.40 per day at his hourly rate of $10.55/hour so he can definitely afford a working used bike starting around $50.
Preo Mobile Ordering - New York, NY - Front End or Full Stack Engineer - Full-Time

https://getpreo.com

Preo has built the most advanced mobile ordering app and venue integration in the world: Order and pay for food and drinks from your phone, get an alert when it's ready, and never deal with a tab again. You never have to flag down the bartender at club or the hotdog guy at the game.

We're starting to work with some Large-with-a-capital-L partners to expand, and we want you to be a part of that.

Join a small but incredibly talented team doing native iOS and Android development, web interfaces, server-side integration, and developing and producing our own electronics and hardware. Yep, you read the last part right. Our product is freaking cool and works like a dream.

The engineers you'll be joining used to make military drones (if you've seen The Interview, our code's on that). This weekend the whole team took a break and made a 48-hour iPhone and Android game just for fun: Look for "Space Dozer: Moon Plow" in the app stores soon ;)

Our apps are native (Objective-C, Swift, Java). Our backend is primarily python (with Flask, Postgres, AWS, etc.). Our API is RESTful. We use git and GitHub religiously; we contribute upstream. Our web interfaces are simple right now (HTML/CSS/JavaScript + jQuery) but are going to focus more on those soon: want to help? Have you used Angular/Ember/REACT/…?

We would love either an incredibly talented generalist who, like us, can jump in and get things done (and done right) in a myriad of domains; or an enthusiastic front-end developer who loves making native and web applications work well. You'll be working with world-class designers and you'll be working on a product that changes how you and others do real things in real life. Seriously, it's rewarding to go somewhere and get to use your own product; especially this one.

We prefer on-site (Manhattan) at least part of the time. You can find more info in our listings on AngelList etc.

Reach me directly at robert+hn@getpreo.com and check out our website[0], an app walkthrough[1], and a video from a recent convention[2]

Robert (CTO+Co-Founder)
Preo

[0] https://getpreo.com

[1] https://vimeo.com/preo/user-experience

[2] https://vimeo.com/preo/bizbash-2014
You're complaining about the system... in response to a powerful instance of the system working correctly? What?
In JavaScript const is not immutable.

const foo = {};
foo.bar = 'baz';

This is valid, you cannot reassign foo, but you can mutate it.

Native immutables in JavaScript would be great, but would be hard to pull off given prototypical inheritance.

EDIT: Now const + Object.freeze gets you close to immutable. I'm not sure what that means for inherited functions, can the parent prototypes not be mutated either?
I think I was talking past people. The original post I responded to said: If your insider information is exclusive and rich, you don't even need HFT

My comment was there is a range of vary short term insider information that you need HFT to benefit from. That does not mean that anyone does so, just that it's something that regulators should and probably are on the lookout for.
You need to point out that it was Enron causing the problem, not everybody has the context anymore of how badly they screwed California.

http://en.wikipedia.org/wiki/Enron
The worst part is involving the FCC at all.
That doesn't mean no decision has been made: in a typed language with subtyping, this amounts to choose the "top" type of the type hierarchy, and without subtyping, you're choosing not to enforce structural constraints. In untyped languages with structured values (like any usable language), you make those decisions in the way your code checks for this or that value attribute or runtime structure. I guess unspecified and specified as "any" is often the same, but for me the former is a design mistake.
Start-Up Slowdown – How the U.S.  Can Regain Its Entrepreneurial Edge
I enjoyed the real meaning of writting portable C and C++ code across DG/UX, Aix, Solaris, Linux and HP-UX using the vendor provided compilers.

Young generations that think UNIX == GNU/Linux, *BSD, Mac OS X, might not imagine the "wonderful" portability across UNIX systems in the golden age of UNIX wars.

Then again, we seem to be getting into distribution wars nowadays.

At least the C and C++ compilers are the same.
What 1970s Databases Can Teach Reactive Web Frameworks
package management: chocolatey, M$ is also developing something

live cd functionality: bartPE, UBCD4WIN

architecture support: x86, x64, itanium (limited), ARM (limited)

command-line interfaces: powershell (sucks but still...), command.com

kernel customization: not directly but there are special skus

scaling to low powered hardware: Windows Embedded Edition

licensing: linux still wins
The True Purpose of Design
Windows RT. It was normal W8, except the W32 api could be accessed only by MS signed software so developers could use only metro.
Announcing the Official Launch of StatDragon: Like MOZ but for Video Marketing
StatDragon analyzes your videos on Youtube, Wistia and Vimeo for SEO, distribution and engagement, then offers intelligent recommendations for improvement. Check it out at statdragon.com.

Press release:http://www.prweb.com/releases/2015/01/prweb12469785.htm
That's a peculiar choice of word for an article title. The FCC can't "regulate the Internet." The FCC can regulate service providers in the US in certain limited ways.
How about an internet provider injecting tracking scripts and advertisements into HTTP responses; an internet provider failing to respond correctly to DNS requests (so they can provide their own search engine on mistyped domains)? Both of these things have been done by ISPs - and recently.

I'd consider that comparable to a utility pumping sewage.
As replied the OP, it's an anonymous friend of him.
Men's Health is not a scientific publication. The point is that nutrition is a multi-billion dollar industry. That corrupts the science.

Hey I want to make a new product that X segment will like. Can you guys go find some science that backs this up?
Internet access could always have been taxed... I'm not sure what in non-Title II classification would have stopped that. Congress can slap a tax on just about anything they'd like.

In fact, if you were to believe Comcast, there are already regulatory fees and taxes associated with my internet access (non-TV).
How she operates that many phones?
Sadly, you can build a Java API to introduce callback hell if you want to.

https://developer.android.com/reference/android/hardware/cam...

It's nice you don't have to, though.
It wasn't necessary to ultimately compel Risen to have a chilling effect on journalism, much like it wasn't necessary to ultimately imprison Thomas Drake for the rest of his life to have a chilling effect on IC employees who seek to expose waste, fraud, and abuse.

I agree with your perspective on the wisdom of Risen's reporting, but still think we should celebrate the heroic act of journalists protecting their sources even when they're on the hot-seat.

One doesn't necessarily have to be indicted or prosecuted for people to feel as though their rights are threatened. Needlessly forceful/aggressive FBI raids (Binney), wiretapping press organizations (AP), endless secret grand juries (WL), and border searches (Poitras) are all examples of the many ways USG has intimidated actual and potential whistleblowers and reporters.
Do you have a reference for that? Is Australia trying to give undue influence to fringe parties? Are the conservatives trying to promote fringe candidates?
My issue is most subreddit moderators are young guys who, for the first time in their life, have some small authority over a group of people and are total shitheads about it. They have no credentials other than having thought to make the subreddit before anyone, and have done nothing to deserve a cut of profits of anything. If I owned reddit, I wouldn't want these people to work for me.
Comparing Title II utilities to water and electricity is silly. How happy are you with your landline telephone and cable TV services? You know, the ones that everyone hates and is replacing with internet-carried alternatives?
> Has he read no history?

Considering the author is Bob Nystrom, one of the main engineers of Dart, I'd wager the answer is yes.
> That's why async I/O is hot right now

Well, async I/O is good. However, the reason why it's super hot right now on the internetz is because people don't understand that race conditions and synchronization is something you _cannot avoid_. Your program either needs coordination or not. If it does, then there will be some kind of synchronization used. Dependencies and synchronization is not something that only occurs when accessing shared collections. In any condition, where the semantics of the algorithm requires ordering and/or transactionality and that algorithm is somehow distributed(between threads, processes, machines, you name it) and concurrent, then you will end up using lock/barrier/etc. semantics.

No language itself will solve this issue as it stems from the problem you're trying to solve, not from the language constructs.

Also, on a side note: I love what Clojure does with transactions and STM, but it essentially converts a problem into something that is easier to handle in 99% of the cases, and hard to handle in the rest. (Transaction rollbacks, etc.)

Anyway: every single programmer needs to be comfortable with thread-level concurrency, as you'll face the same problems in on higher abstraction levels where it'll be more difficult to recognize them. He's not saying threads are the solution: he's saying that these 'modern' approaches don't make your life as easy as you would think. Abstracted coordination makes simple programs simpler, but if you don't understand the underlying principles then suddenly your ocean of callbacks will fail somewhere, and you won't understand why.
In my area, the cable provider is the only one that offers somewhat fast speeds. Whenever they overcharge me and I spend hours sorting it out (this has happened a few times) with them I wish I could switch, but DSL is just not fast enough for working remotely.

I don't have other options for all my other utilities, but so far they have overcharged me and screwed things up royally exactly zero times.
Nutrition is a weird example to pick on, because it's dominated by marketing, financial interest, media mis-reporting etc.

Nutrition works like this: your boss reads an article in some rag and thinks that there might be an opportunity to target a new market. They tell you to go find some studies or something that could back up your claims. Usually, this would not survive any kind of rigorous scientific investigation -- but it sounds good enough to use for marketing.

Done. There's precious little science in nutrition. Just follow the money.

EDIT> I remember the eighties and the beginning of the whole low-fat craze. It was clearly a marketing push, not anything based on reputable science. Hey our product contains Plutonium, but no fat. So, let's emphasize the positive.
I know there are a lot of solutions to this, but I've personally found the `mtl` mechanism in Haskell to be completely sufficient. I describe whatever effect languages I want my application bits to be able to operate over as separate type classes and then build one or more interpreters of these classes to run.

Essentially it's mtl + Oleg's "Finally Tagless" mechanism [0] [1].

The problem with this mechanism is not felt by the application writer but instead the library writer. It forces you to instantiate (n x m) combinations of effects for your (concrete instantiators) x (effectful languages). For the core classes mtl bears this well, but it might explain why this technique is not as well represented in written libraries.

That said, as an application writer the number of concrete instantiators is often between 1 and 3 so the pain is very reasonable.

(Edit: I should add that there is another downside in the mtl method in that authors of these finally-tagless code fragments cannot choose priority order of effects---the interpreter is free to decide this on their own. There's nothing wrong with this as long as you, as interpreter writer, consider the burden of correctness. You should be anyway, though, so... It ends up being a minor pain point, imo.)

[0] http://hackage.haskell.org/package/mtl
[1] http://okmij.org/ftp/tagless-final/
Construct 2 r196 (Beta)
I already did. Read the comment thread.

It's pretty obvious, but if no one wants to think about it I can't make them.
I understand the desire to regulate the internet as a utility, but are they going to actually regulate it like a utility or are they going to call it a common carrier and then just make up a few BS rules that need to be followed.

I have a sinking feeling that all this will result in is a situation where monopolies are given out to the existing players and no one is forced to do anything to upgrade the existing service.

This isn't like a water utility where the product has little variance. Even now in the marketplace there is huge variance in the quality of the product I can buy ( I am one of the lucky few with choices of providers ). I have a feeling my area is just going to get given a blanket monopoly to Comcast and I will have to deal with a crappy connection forever with no hope of another company ever gaining traction to replace them.
The power grid is not simple. It's a highly complex system that requires constant monitoring and adjustment by power companies to ensure consistent delivery that's not much different than what an ISP should be doing.

A bad circuit breaker or wiring issues can make it look like problems that someone might blame on the grid, there are user-side config issues there too.

"And if Obama care (healthcare.gov) is any indication of the US Government's ability to manage or enact such things, I'd be worried too."

It would still be the ISPs responsibility to manage their issues, there's no isp.gov planned.
The telcos in the US are uniformly obnoxious and offensive in their delight in advertising, fees, etc, and trying to rip me off in all sorts of ways. Without a doubt, if the City Internet & Federal Mobile Phone Service were as "just works" and "no marketing" as the septic system and the water system, it would be a measurable quality of life increase.

It's also worth contemplating if the brute fact of the matter is that public goods & natural monopolies (cable companies, cell towers perhaps) should be regulated as a utility. Particularly if the preferred mechanisms for interacting with a government in the US require/highly suggest the use of a computer or cell phone. If that assumption is being made (and it is), then it's not just a luxury, or even a popular service... it's becoming a common utility.
Given the man's dedication to his job and impacts his actions has to health, it makes financial sense for the company to help him out financially in either securing a car or a closer place to live or risk losing a valued employee.
Smallest Federated Wiki is a great choice for the spirit of C2. But the interface is much more confusing than the old site, and lags behind similar wikis like TiddlyWiki.
This, combined with data: URIs, could be fun...
I'm impressed the first reply came from someone from WSJ looking to make an article I presume.
"It's not a utility unless you can clearly assign blame for all possible outages"?

Fuck no! My appliances' fuses might burn out, my home breakers might be tripped, and my neighbor might dig into a powerline, but electricity is still "a utility".

It's a style of business relationship, with the regulatory, legal, and social expectations that come with it. The technology (and failure modes) are secondary at best.
I think it helps to consider it a utility in the same way that the US system of roads and highways is “a utility” (information superhighway, you hoary old chestnut)
> Do people REALLY brute force passwords?

Yes. Source: I have, multiple times.

> Do people REALLY brute force all lowercase, all latin combinations up to 20 characters before trying symbols, uppercase and numbers?

Remotely? No. Locally? Yes.

If I have some hashes, I am going to be doing every combination of characters at least up to 8 digits. If they're using something bad like 3DES or MD5 then I can go up to 20 digits and check everything.

Remotely you're typically using a common password dictionary which is just a few thousands passwords people often use. If you had a botnet you might be able to do every combination (I don't).

> I am very skeptical that the '3/4 complexity rules' approach is making systems meaningfully more secure.

Nor am I. I am more an XKCD-sentence password fan myself...

I really like entropy calculators. They're much more useful than broad generic requirements that actually reduce the set of potential passwords.

The entropy calculators that give people "prods" (so there are no requirements, just a traffic light system) are absolutely wonderful.

> I've never lost them to brute force. Every time it was because someone got inside a company and made off with the database

Which still requires brute forcing assuming the passwords are stored correctly. If it is something modern like PBKDF2 with a decent number of iterations (e.g. 10K rounds) it can be a nightmare even if your password is "just" 8 digits.

> If complexity rules don't add anything, they should be discarded in the name of usability.

Agreed. They aren't even based on any research, someone in the 1980s just thought they "sounded" secure. Nobody has spent any time actually researching this, we just repeat the same tired advice from thirty years ago because "common sense" tells us it is a good idea.
I have power with 99.9% reliability and my water is usually pretty good quality. The only issues I've had with water (ever) is that recently there has been so much conservation in CA that the system wasn't designed to handle (ironic, no?).

So, I'd be okay with that service.
I find Construct 2 excellent software and the support and encouragement from the developers and community is great
His solution isn't raw OS-level threads. Thread semantics are the solution. It could be greenthreads that all run within the same OS-level thread. Basically, when a function A calls function B, if function B blocks it blocks function A as well. The entire stack blocks on whatever it going on the top frame.

I've wondered that myself. node-fibers basically does this, but for some reason it's pretty hated in the JS world.
Open offices suck. Please make them suck less
Yes, perhaps one instance, but the system hasn't finished its work yet.
No, research does not say that ‘iPads + smartphones may damage toddlers’ brains’
What's important about this isn't the server or client, but the protocol.

Like all peer to peer networks, all you need is a clear documenting of the protocol and anyone can create their own servers or clients. This way people concerned with SEO can expose the wiki's contents easier, and users can design a more attractive user interface, all while addressing the same content and sharing it the same way.

If this works as a protocol, it should allow anyone to collaborate on documents that synchronize independent of a central source. This is really useful for people who need to be able to share some information in a multitude of ways and on different networks, online or offline. The only downside is it seems the addressable content has a limited scope. And of course, there's probably (i'm guessing?) not much in the way of access controls to prevent people from getting or modifying information they shouldn't have.