skysight-inc/HackerNews huggingface dataset:
Hm, I think what you might want is an enum / sum type, but with the ability to state that a particular variable is statically a particular variant of that enum. So, for instance, I can write fn serve(conn: &Connection::ValidConnection), and it's a type error to pass a generic unchecked Connection to it. Then serve() can go and call other functions that take a ValidConnection without doing any further error handling.

You might, for convenience, have a single method that turns a Connection to a ValidConnection, or else throws, and you can encode your error messages in one place in this method.

I think this proposal permits such a thing, although I haven't read it closely yet:
http://smallcultfollowing.com/babysteps/blog/2015/08/20/virt...
Billionaire who sold Minecraft to Microsoft is sad and lonely
But as the writer mentions, optionals are a lot like lists with either zero or one elements, so it seems like many of these issues could be dealt with by simply returning a list, which would have zero elements if (in that example) the key was missing, or one element is the key was present. (And that single element would be nil if that was the value for that key.)
History remembers everyone. But the layperson has never heard of most of these folks. The choice between such low-level fame vs. billions in fortune (along with its own low-level fame) is, well, not a very evenly-matched one.
The title originally matched the blog post ("The worst mistake of computer science"), but then it was changed by a moderator.

Maybe it could have been a less drastic change?

"NULL, the worst mistake of computer science"

or

"The worst mistake of computer science: NULL"
Link without the paywall for the original WSJ article.

https://archive.is/1BqTf
The challenging question is: do you have kids?
Is it worse than having to sleep well and not take the drug for a given period afterwards?
Thanks for your feedback, we'll take it into consideration.
I can see a more advanced version of this being deployed as part of automated admin packages for commenting sites such as reddit and HN. Any comments of sufficiently negative tone gets auto-downvote/hidden/flagged, etc.

In fact I wouldn't be surprised if it's already part pf the internal tooling.
I hope they also approved the construction of the supercomputer to work on the images!
Without the dollar sign the potential for error is obviously far greater, for instance somebody might have thought he was referring to Martin Scorsese.
Okay, so I know I'm a little odd, but my immediate reaction to this:

“Oh snap! I should totally uninstall my WM!”
But, for what it's worth, without a "seamless JS interop" - and without Haxe being JS.

For me these are of no concern and I'd probably use Haxe had I the right project for it, but for most JS-and-only-JS people it's a deal breaker. I will never be friends with one of those programmers.
It's not so easy, the dev will have to compile the Android app for WP and publish it himself.
I think my trouble is letting it sit for even 10-20 minutes after the smoothie is done, which makes it much harder to rinse.

Thanks for the suggestions.
The more we learn about the brain the more amazing/frightening it becomes. What if this type of experience can be triggered on purpose via drugs or other mechanisms. It would make a scary as hell weapon.
Ahhhhhh. Wasn't aware of that. Will have to check with them. Muen uses the zero-runtime profile. Not sure about IRONSIDES. Far as those using a runtime, if that's the case, I'd recommend some FOSS people create an alternative one that is good. Then they get the language, toolset, etc benefits without that issue. Recreating those will be much more difficult.

"WRT seL4 vs. Muen, I wouldn't be surprised if seL4 does less for you, it's only 9,000 lines of C code, and some of it is artifacts from the manual Haskell -> C translation."

That's not what I meant. seL4 is a separation kernel: they're supposed to do almost nothing. The thing is that once a modification occurs, it can invalidate the whole security claim. So, the person modifying it needs to be able to correctly use whatever its assurance depended on. That will be much easier for Muen given a domain expert only needs to learn Ada/SPARK vs all that went into seL4.

Now, Muen certainly has less assurance in that it doesn't have formal models of design, security policy, etc. Most FOSS types won't do all that, though. So, just requiring a language that knocks out errors and maybe learning Design-by-Contract is a nice alternative that might get more people involved. That it's Ada... might get less people involved. Who knows. (shrugs)
The article was lacking technical details. I assume this is an array of CCD. What the resolution of each device?

That's also ~16 TB/day of data? Is all that archived, or are only the differences stored?
What do you think copyright, IP and patent law is? AKA you have the money to change the rules of the game.
You certainly can be the VM on a microkernel which supports external pagers.
I still find it amazing that AWS doesn't offer any way to hardcap your billing and cut off service.
NUL-terminated strings aren't that bad:

* unlike Pascal-style strings, they can be usefully sliced, especially if you can modify them strtok-style.

* unlike (ptr,len) "Modern C buffers"/Rust-style strings, references to them are pointer-sized, and they can be used as a serialization format.

This makes the kind of application that is based on cutting pieces of a string and passing them around a good measure faster, especially compared to say C++'s "atomically reference-counted, re-allocating at the slightest touch" std::string.

This style of programming is not particularly popular nowadays, so buffer-strings are better-fitting. Its main problem is its multitude of edge-cases, which tend to demonstrate C's "every bug is exploitable" problem well.
Any thoughts on what this guy is saying?
It's like the old trope, where someone confides in a friend that they are worried that they are going crazy, and the friend tells them not to worry. People who are crazy don't bother to ask if they're crazy.

Self inquiry is, IMO, a cornerstone of self regulation. If you're asking questions you're already well on your way. If you're not you won't notice that self-help articles even apply to you. (In fact I think of most self-help advice is, at best, milestones that you can't recognize until you've gone past them. It can tell you how far you've gone and when you've made a wrong turn, but it doesn't actively help you get where you're going. It's all up to you).
Report: U.S. average daily mobile game time drops over 30% in a year
Another Chinese industrial zone has experienced a major explosion
Prior discussion: https://news.ycombinator.com/item?id=10139734
The TP-LINK Archer C7 is probably the best deal on AC routers right now. It's half the price of the OnHub and includes more LAN ports, is faster (if the Ars review is to be believed), has a web interface, has NAS features, and has good custom firmware support.

https://www.smallnetbuilder.com/wireless/wireless-reviews/32...

It doesn't have all the fancy extras that the OnHub has, but if OnHub's wireless performance is in fact as poor as the Ars review suggests, you're probably better off with a traditional router for now and waiting a few generations for Google to work out the issues. I mean, most wireless N routers I've owned could do better than 32 Mbps...
Can't you just handle this with something like `Either ErrCode T`?

(And if not, please do explain why!)
Logo (programming language)
I also don't think a C preprocessor is at all confusing, it's quite a simple program, both to write and to program. Including less used features such as concatenation or stringification.
I think Either's handle this really well (and in fact this is more or less how its done with ErrorMonads). You basically return Either Value [Error], which has the benefit of being much more compassable than something that breaks control-flow like try/catch.

For example, if you have something like

x = emptyStringOnDoesntExist(read(path)) // "" on not exist error BUT NOT permission error
x = emptyStringOnAnyError(read(path)) // "" on any error

So right now this doesn't seem THAT different than using try/catch to select values depending on the type of error "thrown". But its critical to notice that we are going through normal programming control flow here (we pass in the result value, not some sort of weird function wrapper function that wraps read and inserts a try/catch). This becomes much more apparent how its useful when you have more interesting tasks:

var filenames = [..,...,..];
var concated = filenames.reduce(pipe(read, emptyStringOnDoesntExist, concat), "");

So now we've done something really neat: we are concating a bunch of files, and accepting some may not exist, BUT if any of them have a permission error the whole thing will return Either _ [PermissionError]. Now are errors are ACTUALLY composable.
I think it's a very safe bet the staff don't know anything about the test equipment. My experience is that I wouldn't count on them to be familiar with much more than the latest XBox or PS4 game, with the occasional overachiever knowing PCI-e graphic cards.
Are you suggesting that their "souls" are actually leaving their bodies? Care to propose an experiment to verify that?
Or at least re-enable in advance those if you call your ISP and complain about any connectivity issues. You're unlikely to know this, but some engineer will thank you in their mind.

(I've used to work at ISP. ICMP echoes towards the customer's machine is a first step in diagnosing what could be wrong - and sometimes it really helps to get an image of what's going on. Sadly, a lot of machines do not respond to those.)
While I agree this is the case for servers and workstations connected to the internet with a public IP. Wouldn't this be different for laptops and PCs that are NATed 10 ways to sunday?
The sleeping beauty paradox
>I literally have no idea what that means.

It's referring to Hamilton's portrait being on the $10 bill, but I think they meant Jackson ($20) instead.
This is a concern, but the advantage to Maybe is it makes this concern very explicit. SML/NJ code will not compile if you don't have a binding to handle the None for an option 'a type.
The programmer does of course then have the option of doing

None => raise Error

but practically speaking, when deciding it's time to make your code more robust, it's a lot easier to text search for instances of "None => raise" than to search for the absence of proper handling of the possibility of a null arg or return value.
NASA Just Sealed Six People in a Dome for a Year to Practice Mars
The issue I have is that the marketing materials rarely seem to capture those nuances. And that seems kind of scummy to me.

http://www.t-mobile.com/cell-phone-plans/individual.html#

As an ex-T-Mobile customer, I will completely admit they do a passable job of information (especially compared to other carriers). I think mostly because they take the saner business strategy of "limited 4G + unlimited <= 3G". But the phrase "unlimited data" still appears an awfully lot on that page, without a lot of caveats...

Unlimited data isn't unlimited if they limit the devices you can use it on.
I would worry that trying to shoehorn the code back into an entity-at-a-time OO-style interface still encourages poor access patterns. I much prefer the bitsquid approach which treats component managers as the objects and provides nice bulk-access apis for each:

http://bitsquid.blogspot.com/2014/08/building-data-oriented-...

http://bitsquid.blogspot.com/2014/09/building-data-oriented-...

http://bitsquid.blogspot.com/2014/10/building-data-oriented-...

http://bitsquid.blogspot.com/2014/10/building-data-oriented-...
I'm not surprised people hate window managers when they all suck and don't even have basic features RISC OS had in 1990
Then, perhaps the time for migration to eudev is nigh! :D

I haven't followed the udev saga in a very long time. I do know that I have =sys-fs/udev-224-r2 installed and I don't have systemd installed. I also don't have any executable files on my system named "systemd".
It would be nice to extend this with examples of the same curves for p-norms (https://en.m.wikipedia.org/wiki/Norm_(mathematics)#p-norm).

For example, one could draw circles with the same centre and radius for norms with p=1, 1.1, 1.2, ..., 1.9, 2.0, and then up to large p in a single plot. Bonus points for making the plots interactive, allowing us to move the loci around.
Seems their policy is to support the latest or two latest versions of any major browser. Given that IE11 is said version, supporting a version from 3 releases ago (4, if you count Edge) would be pretty strange. Specially since IE releases actually come in a much longer schedule than Chrome or Firefox releases.
This is a commonly-repeated cargo-cult security trope: if you're going to run arbitrary code from Homebrew, your risk exposure is no different whether you download the installer and run it as two separate actions or one combined command.

The option you're thinking of is -k — -f simply tells curl to fail silently on errors, not ignore them:

http://curl.haxx.se/docs/manpage.html#-f
"Python: What You Gain In Prototyping Efficiency And Speed, You Lose In Having To Exhaustively Unit Test Every Line Of Executable Code, Because the Interpreter Cannot Tell You That You Typo'd A Function Name Until It Tries And Fails To Call It At Runtime(TM)" ;)
I had an interesting experience a few days ago: I was walking to my office, through a small cluster of other buildings in the same complex, and I ended up walking perpendicular to someone who I immediately recognized, based on body shape, face, hairstyle, dress, and shoes, as myself. Of course my rational bits knew it was just some other guy who looked a lot like me, but it was a close enough match that my recognition bits would intermittently "lock on" and tell me I was watching myself from 20 feet away. And that was disturbing as hell.

Anyway, now I know I have a doppelgänger working two buildings over, so I need to figure out what team he's on so I can crash his next office unwinder.
So when I loose power and want to glide over onto the shoulder and out of traffic, I'm doing it blind. Does add to the excitement of the event, I suppose.
Some of the radio interferometer telescopes actually do require some of the most powerful supercomputers ever built, just to assemble their "images". E.g.

https://en.wikipedia.org/wiki/LOFAR

https://en.wikipedia.org/wiki/Square_Kilometre_Array
If you can't get the PaX Team to attribute their code to a meatsack, (or -I guess- get someone to vouch for it), then this will be a non-starter. Grsec is pretty much useless without PaX.
Scene from Jesse Eisenberg and Kunal Nayyar's Off-Broadway Play “The Spoils”
This sounds similar to the much more common false awakening dreams:
https://en.wikipedia.org/wiki/False_awakening

I get these occasionally, sometimes with multiple nested dreams, and the sensation of waking is highly realistic. It can last a subjectively long time until some detail tips me off that it's not real (usually attempting to read and the text reading like Markov chain output). If I'm capable of generating all this highly believable imagery it seems only a minor change to also generate a model of my own body.
> The right language design decision for these languages (managed languages like Java) might have been to make uninitialized references have a garbage value that reliably throws an exception when used (i.e. null) -- you can copy the reference and pass it around, but you can't compare it for equality and any attempt to inspect its value results in an exception.

That's just a different kind of null. You still have the original problem: this thing is declared as a T, but sometimes it's not a T, so you have to inspect how the value is used before you can conclude whether it's a T or not.

The correct solution is to structure the language so access can't occur before initialization. For example, you could place severe constraints on constructors so they must initialize all the fields and do nothing else until that's done. Think initializer lists from C++ (but stricter), or tagged unions from Haskell.
These run on the same hardware, so of course, someone could implement Core Graphics on Linux. However, nobody has as far as I know, and I think it would be rather expensive and time consuming to implement that.

It seems it was cheaper for Imgix to use Core Graphics rather than implement it themselves on Linux.
Bitcoin piques interest on Wall St
Autograph is a CSS generation language allowing for styling using Common Lisp
Are we really going to run this story every month?

"I posted my private AWS keys by mistake on github, a spider got them, I got a huge bill"

Yeah, you don't say
Just what I thought: She lives in a stable series of crashpads and uses trains to get there. Occasionally, she washes up on the train.
Confucius didn't say that

http://quoteinvestigator.com/2014/09/02/job-love/
Curious if you could get around this by incorporating in a different state and then employing yourself. With Clerky or any of the numerous online LLC generators, incorporation is only a few hundred bucks. Then your employer isn't subject to this clause because it's located in Delaware rather than Amherst County, VA, and anyone who employs you contracts with the corporation, so they aren't liable either.

A C corp (a la Clerky) would still be a bit of a pain because you're subject to all the regulations & double taxation of a corporation, but I believe an LLC gives you pass-through taxation with little administrative hassle.
Electro-chemical sensor predicts which donated lungs will fail after transplant
Left out of these discussions is the division between worker and owner. Classism and elitism are main problems for our society.

That is not to suggest everyone start quoting Marx, give up money, and assume some kind of techno-communist utopia will just fall out.

I think technology and decentralization are key, but we have to do quite a lot more thinking and engineering and integration of viewpoints than most people assume.
I read that to mean that gzip / deflate was nearly as effective, and so there was not much reason to minify if you were already compressing.
Nobody's disputing that OOB experiences are “real”. What's at issue is the mechanism(s) by which they occur. The hypothesis in the article is that it's a psychological effect that can be exacerbated by brain injury. And the evidence outlined, such as experiments that can reliably produce equivalent effects, and similar brain lesions accompanying the most extreme examples provides some, although not overwhelming, evidence for the hypothesis.

If you're suggesting that people's perceptions and consciousness are actually physically separating from their body, well then that's just another hypothesis. One that needs supporting evidence and a proposed mechanism before it can be taken seriously. That is how science works. Simply saying “this phenomenon is strange” doesn't change anything. It doesn't make it immune to scientific inquiry, and it doesn't lower the standard of proof required of explanations. Science has successfully explained many phenomenon far weirder than OOB experiences.
I in fact do not believe you with regards to the majority of their marketing material. I'm glad you've found a counter-example, but I'd say the balance favors being less than transparent:

https://www.google.com/search?q=t+mobile+billboards&tbm=isch
He didn't post it by mistake. He asked Visual Studio to create a private repo and it created a public one. A bug which he reproduced.
Amphetamines are definitely more effective than modafinil. But as you know, amphetamines are more addictive and the side effects are worse than modafinil. If it's something you want to take on a regular basis, most people are probably better off on modafinil.
Rubygems dependency API partial outage
It's amazing that such a performance-critical part of Objective C's runtime is using a per-class cache for message sends - the same level of technology that powered Ruby 1.8 if you can relate to that!

I wonder if you could do some very limited dynamic code generation to create inline caches, or just inline msgSend and allocate a cache line somewhere writable for each inlined instance.

Or is this method already a slow-path, fallback case?
This is becoming such a common story that I'm starting to think it's a little irresponsible of both Amazon and GitHub to not react better to it. Clearly Amazon is capable of detecting when this happens as evidenced by their rapid response; when they see AWS keys published to GitHub, they should block the account, or at least prevent it from spinning up any new instances. They can then contact the owner over e-mail to follow up.

Same thing with GitHub. When they see an AWS key, they need to block that push and send back a message saying "If you're really, really, REALLY sure you want to do this, add .allowawskey at the root of your commit and push again". There's no excuse for letting people shoot themselves in the foot like this over and over.

(Edited for typo)
rtmpdump [1] and livestreamer [2] are other good tools for this type of thing.

I've always had trouble trying to rip JWPlayer videos that sit behind a login. I did manage it but I had to stream (second-by-second) the entire video.

[1] - https://rtmpdump.mplayerhq.hu/

[2] - http://docs.livestreamer.io/
Don't be so quick to dismiss this one. This is notable for several reasons, including (1) it wasn't his mistake, but rather that of a Visual Studio bug not following his instructions to make a private repo on GitHub; (2) the speed in which this happened (minutes), and (3) it has useful analysis into some sorely lacking functionality in AWS that lets this continue to happen.
"As a senior developer with over 12 years of experience in the financial services industry, I didn't think it was possible that I could be the victim of a data breach."

We're only one sentence in and I'm already very, very nervous about the author's hubris.
Facebook VP on scaling open source and building infrastructure for drones
Both EROS and Genode managed to do a lot of what I mentioned with less staff & time. Plus, with solid architecture that above components can leverage without doing all the highly assured stuff over and over again: what I call security ROI. Your huge TCB, drivers probably in kernel, and language-related issues are where I predicted most of the trouble would come from. (Did it?) Something like Nizza Security Architecture would benefit you along with interface checks you're already good at and a better language that translates to C with checks automatically inserted.

Far as covert channels, Google Kemmerer's Shared Resource Matrix for a method that worked for amateurs and pro's alike on a budget. Any person handling a subsystem can apply it. Even using it on function call level can tell you a lot. If understaffed, just use it on any component handling secrets for storage and timing channels. Best bang for buck.
Buy High Quality Backlinks and SEO Services, Social Signals and Bookmarks, PBN
I always try to buy as direct from the artist as possible. In the case of many synthwave artists like Droid Bishop it seems Bandcamp is the most direct way and they get a good chunk of the money from the purchase as opposed to other avenues like iTunes. So, I always suggest to people to see if the artist in question has a Bandcamp or equivalent account on a site where they can get the majority of the money from the purchase. Otherwise, buy a CD as you state or even some merchandise when they're on tour since they get quite a bit of the money from that as well.
There's really no financial incentive to do so.
Who is using "because it computes" as an explanation for anything? And to explain what?
When I look at my coworker's code, or an open source project's code, there is going to be usage of NULL. Your strategy is not pragmatic. The problem with language features is that people use them.
True. Looks to have gotten a lot better, too.
Many thanks for your feedback and for carefully looking over the site! I really appreciate it.