skysight-inc/HackerNews huggingface dataset:
As a physicist who also consults for wall st, I understand how Simons would conclude (perhaps unconsciously) "free" software is software with no _value_.

"I was frustrated watching how he treated the other participants, so I didn't say a word to him. I feel bad for failing to express myself."

If this is who you are, and I am similar, then you are not the right person to be "selling" sagemath. You need to find one of those lovely but vacuous motor-mouths to do this for you.
From what I've watched about CMOS sensors and I could be mistaken, the comparison could be similar to making your CPU registers smaller but ramping the frequency of how often you access hit them (which is akin to increased framerate). So the net amount of captured light is the same, but you have many more frames now.

With sophisticated software (or onboard hardware) this can be reassembled to the same picture as well. And you are looking at this a bit wrong way. On mobile devices - your bottleneck is lens size, so you have to have smaller pixels.

Now if your pixels are large, the register (I think they are called wells on CMOS sensors) has to pull in much more information at higher power requirements which introduces noise which you have to "mask" with even more photon energy? Again, I could be getting this totally wrong and of course it's best to have big lens with lots of pixels.
I love this idea :)

I'll track down some Cloud Console product folks and ask if it's feasible.
Thanks! I'll look into it.
Is this compatible with the Open Emu app?
That's crazy. She's just documenting her reality. I'm glad she "won" in the end.
I haven't used it, but maybe poliastro is what you're looking for? https://poliastro.github.io

Disclaimer: I'm a friend of the author
I wonder when they will go completely lowercase?
I'm not to worried about the toolsets. I just want an amazing community. Thanks! On my next break, I'll dig into all of this!
What is a fuzzer supposed to do? It seems something like randomly injecting some (data) into a network and hoping something significant happens / breaks?

This seems a bit too unlikely - can anyone supply more details?
I follow privong's suggestion for stellarium for celestial body visualization.

However, if you want precision data as an input to your code, I would make use of NASA JPL's ephemerides system [0]. It is precise and reliable. Another, more pythonic option is pyephem [1], which allows you to "calculate positions of stars and planets" at any given time.

Both options can be easily incorporated with astropy and APLpy, suggested by privong, for calculations and plotting.

[0] http://ssd.jpl.nasa.gov/?ephemerides

[1] https://pypi.python.org/pypi/pyephem/
Typed Arrays are not the most exciting part of ECMAScript 6, but it is still good that they are part of the language now (vs. only a browser API). What surprised me while researching the post was how many browser APIs support Typed Arrays for binary data: File API, XMLHttpRequest, Fetch API, Canvas, WebSockets, WebGL, Web Audio API, and others.

(Disclaimer: I’m the author of the blog post.)
If your underlying device is slow -as SD cards are notorious for being for any use case other than picture or video storage and retrieval-, no amount of FS juju can help you.
I had a college professor specifically mention he would love if everyone went on and gave him honest reviews because he was able to get them immediately after the class ended (the feedback cards via the university were 2-3 months behind the semester).
When I returned home from a long trip with the family, Google Location History was invaluable in helping me find which tolls I had to pay. Seeing where I'd travelled, I could see which of a couple of toll roads I'd taken off I-5.
I still honestly haven't given this enough time to digest—my Java-fu is quite rusty so I'm sort of reading between the lines on what I know about delimited continuations generally.

First I want to state that delimited continuations form a monad and (I believe) that in order to get the Java implementation working you need to implement that monad in the "ambient monad" of Java.

Second, I want to dissect the notion of "monad" as used here into two pieces. First, there is the "PFP Notion" of monad which tends to be represented as a data type and some associated operations. Actually, I mean this even more specifically as being aimed precisely at the standard library monads of Haskell. Secondly, there's the mathematical "monad" which is just a qualifier assigned to any structure which satisfies the monad laws.

Delimited continuations are definitely a mathematical monad. They are represented by one PFP monad, but are generally eschewed as a style there. Why? Because delimited continuations are very "large" and PFP tends to favor the idea of having your data "forbid invalid state" so... large types are disfavored.

So now, to the third point: I think this is all just "implementing a specific overlarge monad in Java and Clojure". It turns out that this is really convenient because overlarge things always are. They are of course more convenient in PFP, too. But this convenience has the price of making code difficult to treat as data, difficult to analyze statically.

All that said, it doesn't mean at all that this isn't a useful technique for implementation of monads in Java/Clojure.

Four, what about composability? (Specifically, here, we mean functor composition.) Turns out that delcont composes nicely compared to the PFP-style monads. The reason why is again because of lack of restrictions on state space. Non-composability of monads is a good thing because it relates to non-commutativity of certain effects.

You can get better composability in three ways: throw out all the non-commutative effects, work with subsets of effects a particular ambient monad (see Purescript's impl of Eff), split the specification of effects from the implementation of effects and leave the decision of ordering up to the implementer (see Haskell's mtl).

If you don't want any of the above, just realize that non-composition is telling you something and forcing you to make choices. One choice is to build a new kind of composition (monad transformer composition) which does work the way we want by being more sensitive to ordering.

Fifth, and finally, all the above is not to say that there's any lack of merit to using delcont for effects. It's a great technique. It may fit the "algorithmic mind" better, too.

I am trying to say, however, that it's not some grand trick that frees the user from thinking about monads. You still are, you just trade one set of implementation concerns for another. But since things are still monads then the same mathematical techniques will translate. Which is a great thing—it means there are more tools to think about, understand, and become confident in the application of this technique.
Lots of people contribute to Sage. If anyone here is interested, check out the many SageDays happening across the US and the world. http://wiki.sagemath.org/Workshops
Do you have an example of a white-upper-middle-class American male itch?
this startup is doing the same thing

http://8i.com/
For easy python access to the VSOP87 (and ELP 2000) theory, that is, planetary/moon calculations, i've been impressed with the clean (ANSI C) implementation of this "kepler" library with nice python hooks: http://savannah.nongnu.org/projects/kepler
Fuzz testing is often used for things like compilers, and involves feeding random input into it attempting to find bugs. It is useful for finding complex behavior and race conditions and stuff.

https://en.wikipedia.org/wiki/Fuzz_testing
The people complaining about this are programmers who don't understand CSS anyway. Their sites will still look like crap even if they do everything via Javascript.
>Instead of threatening to legally bludgeon non-free versions

That's a real sneaky way to describe copyright infringement.
Well, you sort of hit the nail on the head, but with a few more advanced techniques to amp the process up.

Essentially, a fuzzer is a vulnerability finding tool that automates the process of injecting randomized values into input fields, and then tracking what breaks. Different modules can create different types of input that are likely to cause certain types of faults. Peruse the documentation of one of the established fuzzers to see it in action (see my other comment.)
Make a connected barometer shield for the Arduino uno – using an ESP8266
Sorry, it was somewhat unclear what you were calling cute.
Second to this.
One of the biggest differences between the NES and much newer consoles like the Xbox is that the NES is, in comparison, extremely simple; it's been reverse-engineered down to the transistor level:

http://breaknes.com/ (If you are interested in advanced RE, I recommend learning Russian...)

http://www.qmtpro.com/~nes/chipimages/

In other words, even if there are no original physical NES or their parts around in 30 years, relatively speaking it would be trivial to perfectly emulate one in software or hardware (e.g. an FPGA), because the functionality of the entire system is known.
The work you have been doing on polarssl is pretty inspiring. I use it as a success story for formal methods and PL technology when I do "science of security" classes or briefings.

Someday, I would love to do a research project on using tools like yours to prove higher level properties of programs, much like what the Ironclad/Dafny teams have done. Their approach is good when you have a formal spec and can write from scratch, your approach is good when you already have the code and can create a spec post-hoc, I think. Have you followed their work?
one of the only times i got in trouble at school was talking openly about potassium nitrate in my math class, and how to make explosives out of it. I completely understand why i was sent to the VP's office.
Oh and that other time i was burning leaves with a mag. glass.
what a cluster fork
It would have been Ada Lovelace's 200th birthday this year. The Bodleian Library will be displaying a slew of Lovelace paraphernalia, open to the public from October. There's also a symposium in December.

More details here: https://blogs.bodleian.ox.ac.uk/adalovelace/2015/09/02/celeb...

If you're in the UK, I recommend making the effort to visit the display at the Bodleian.
shit man, although you're correct you sound boring as hell. riding a bike around when your drunk is super fun.
Is there a recording of the talk that -I assume- was given with these slides?
Looks like 8i is using fewer cameras with a narrower field. The processing doesn't look nearly as clean. The compression doesn't look as good as it didn't download realtime. The MSR video claims that they can deliver their content at 12mbps.

My guess is that the MSR set up is a pretty large array of kinect like cameras. Pretty cool how they clean things up and connect through time to drive compression. Also think it is cool that they detect where hands and faces are and make the mesh more dense there.

But, the 8i folks have a demo on the web and MSR has a pre-canned video.
Thanks, I'll look into this too!
Pretty much it. You often provide them with a corpus and they start mutating it and trying lots of random data based on it with the goal being to crash code. Fuzzing actually catches a remarkable number of problems with code.

The one I've seen the most of recently in general, and probably the highest quality blogs about it, has been American Fuzzy Loop, AFL: http://lcamtuf.coredump.cx/afl/ there are a number of programs in its treasure chest, I'd encourage looking at a few of the links if you're even remotely curious about the bugs fuzzing can expose.

This one has been making a fair splash in the go community, take a look at the trophy list about a third of the way down the page: https://github.com/dvyukov/go-fuzz
I just finished "In Search of Stupidity: Over Twenty Years of High Tech Marketing Disasters" by Merrill R. (Rick) Chapman. An interesting look at the marketing mistakes of the early hardware and software companies.

I just started "Slipping The Cable" by Bill Schweigart, a novel about a Coast Guard junior office running afoul of his CO. The author's up coming book is set in the neighborhood where I grew up, so I thought I'd read his first novel.
http://arstechnica.com/gaming/2011/08/accuracy-takes-power-o...

This might be a good place to start, it's a long read but pretty interesting.
Ask Me Anything: Diversity Edition
You made the assertion that "Complex software is possible to get right in the same sense that it is possible for all the O2 molecules in this room to move to the other side of this room at the same time.". [0]

Now you appear to refuse to consider any examples that demonstrate the in-correctness of your claim. Why?

Would you care to amend your claim to restrict it only to JavaScript engines shipping in free-to-use web browsers?

[0] https://news.ycombinator.com/item?id=10174488
I think CSS Modules[1] (mentioned toward the end of the article) provides a starting point to finding a good compromise. It deals with the scoping issues, as well as interoperability between Javascript modules and the defined style classes.

As it stands, the CSS Modules approach doesn't yet provide the same level of expressiveness which can be achieved with the styles-in-JS approach, but perhaps there is still value in evolving CSS-the-language to provide enough expressiveness while still providing an optimal syntax for style definition and facilitating static analysis and transformation specific to the domain of styling.

[1] https://github.com/css-modules/css-modules
Alternatively, people could organize things using theri programming language of choice in the serverside, when they generate the HTML. No need to force an universal standard on everyone.
If they have ported the game they've also ported a large part of the 360 dashboard - chat and the guide button look pretty much identical. The early info coming out around E3 seemed to suggest full system emulation.
All of this.

I resort to a set of brute force or reset stylesheets which pretty much explicitly override everything.

If you're going to use inline styles then basically fuck you.
Food / grocery delivery startups seem to be intended for upper middle class people only.
You need to work for someone to survive. The point is, there is a tiny minority of capitalists, who decide what to work on, and how. The rest of us hardly have a say. In terms of personal freedom, this is just as bad as a command economy (no more, no less). Also, remember that in some places, people can't even chose their employer. It's work in the mine, or starve. We westerners have it easy.

An independent contractor will still need to work to survive. But at least she's free from any boss… if she's really independent —that is, she can afford to turn down contracts.

Pensioners, or otherwise "financially independent" people are even free from lucrative work. They don't need to work for their continued survival. They can instead like look over their grandchildren or do some community work.

I'm sure there are higher attainable degrees of freedom yet. But let's work on the worst problems first. We more or less solved slavery and serfdom. Now there is employment. Next will be the need to survive. Next… I don't know, physical limitations?
Not so long ago, societies were structured to foster intellectual curiosity. Now, they are structured to kill any form of innovation. Just because you live in a broken, intellectually devoid capitalistic society, doesn't mean that's the optimal or even correct way to organize society.
it was well known that the Japanese's military capacity was reduced to virtually nothing

Not even MacArthur, the only one who still was planning on carrying out Operation Olympic as conceived, believed that. He had ordered up 1/4 of the Purple Hearts thought necessary (perhaps for it and Operation Coronet, the invasion of Honshu), and we're still using those.

People who trusted our intelligence intercepts knew between the IJA reinforcements in Kyushu and the 8,000 ready kamikazes that the original concept was dead. Based on our apocalyptic invasion experiences culminating in the Battle of Okinawa, those who didn't know about the Manhattan Project were planning on liberal use of chemical weapons, those who did, using a handful of nukes.

My point is, victory was impossible and defeat inevitably
the USSR declaration changed very little from the Japanese perspective. But it changed a lot for the American perspective, which is why it's plausible the US wanted to force surrender quickly.

This thesis fails because the USSR didn't do it until after we'd bombed Hiroshima, in fact, they started on the day we bombed Nagasaki (or a hour or so before that day; I haven't seen a timezone adjusted timeline). By then we'd learned how totally untrustworthy Stalin was, and of course his eyes were on the prize of Eastern Europe.

In fact, if anything, I would expect the causality ran the other way. Prior to the dramatic results of bombing Hiroshima, and certainly prior to Trinity 3 weeks earlier, I would expect that Stalin believed he had plenty of time to gain what he wanted in the east, but those brought the distinct possibility the war would be over immediately, as indeed happened.

As for the threat of a divided Japan, exactly whose navy would have deposited enough Red Army troops on the Home Islands for that to be a concern?
This was a talk Ian gave back in May @ CDBUG (Capital District *BSD User Group)

http://cdbug.org/?p=49
WordPress security woes and plan of attack
There is no recording, from what Sutton told me. I saw the talk overview on the CDBUG page, knew his IRC handle and said "Give me the slides and the right to freely redistribute, you asshole." So he reluctantly did.

They were in MagicPoint format, so I had to convert them to PDF with a dubious third-party Python script, slightly modifying the MGP manifest in the process. That's probably why the formatting is so iffy.

For those wondering, the systembsd sources are here: https://uglyman.kremlin.cc/gitweb/gitweb.cgi?p=systembsd.git...
This is a popular view that philosophers have about scientists, but as usual it fails to mention how exactly philosophy of science has been or is to be useful to scientists.

Wouldn't Karl Popper's work on emphasizing the importance of falsification be an example of how philosophy of science was useful to scientists?
I'm tempted to bring my old Xbox out of retirement to play around with this. Have you considered a Show HN?
Location: Orlando, Fl
Remote: No
Willing to relocate: Yes, to almost all locations.
Technologies: Python, Java, C, SQL, misc. others
Resume: E-mail for resume
Email: dstarmanucf@gmaul.com

Looking for a junior position.
[this post is humour but contains my true opinions] It's probably a classified leak, because nobody but the US government and its subsidiaries would want anything to do with the cancer that is systemdicks.

Have a semi-related article, matey. https://igurublog.wordpress.com/2014/04/03/tso-and-linus-and...
> Free from what? I can choose to quit whenever I want.

Lucky you. Many people don't have that privilege. Some don't have any saving, so switching employers isn't an option. Even in a country with good unemployment insurance, you are generally denied the benefits if you just quit —you have to be fired.

And of course, there are some horrible places where there is only one employer, and your only choice is to work for him (sometimes risking your life or health in the process), or starve.

> You are speaking from a pretty privileged background

May I ask what do you think that background may be?
Self-driving golf carts
this is incorrect. according to microsoft they are running emulation.

Behind the scenes, Microsoft has built a full Xbox 360 emulator for its Xbox One console. "Xbox One Backward Compatibility is an Xbox 360 emulator that runs on Xbox One and is used to play Xbox 360 games," says a Microsoft spokesperson in a statement to The Verge.

http://www.theverge.com/2015/6/15/8785955/microsoft-xbox-one...

the package they are sending when you insert the disc is a container that contains the xbox emulator, any media assets, the game and compatibility stuff that is needed.
I agree. I can't think of a time when I cared in the least what a brand did with it's logo, but .... Ugh! It's so ugly! Playskool is what I think of.
It would seem things are getting a bit ugly at Intuit. Any educated guesses why?
I shared this because it touches on the subject of blocking outgoing ports. I was hoping it had been shared already and there'd be some interesting comments on the subject.

So, how would blocking outgoing traffic help secure a server? Wouldn't the malware just scan for an open port?
Because afaik emulators, especially of older consoles, have to mimick in software every aspect of the original hardware of the console. This obviously takes a lot more computing power than just what the original hardware needed to run the games. I don't know how this situation has changed, however, as the latest generation of consoles are x86 based.
they are not porting. microsoft has explicitly said they are emulating.

"We have to do packaging and validation work on each title to make it available through Xbox One backward compatibility," explains a Microsoft spokesperson.

Xbox One Backward Compatibility is an Xbox 360 emulator that runs on Xbox One and is used to play Xbox 360 games," says a Microsoft spokesperson in a statement to The Verge.

http://www.theverge.com/2015/6/15/8785955/microsoft-xbox-one...
Creating Value, Hardware Edition
Safari is available for Windows...
Rescale (YC W12) Is Hiring a Product Marketing Lead
Join us to solve some of the most challenging problems of our time and work with the most interesting companies of our generation. Some of the exciting applications of Rescale’s simulation platform include: developing rockets for space exploration, building more efficient vehicles to reduce carbon emissions, and computation drug discovery and development to cure disease and extend life. Responsibilities:
* Translate new product/technical capabilities into meaningful customer benefits, including concrete positioning and messaging for all new product features

* Generate and nurture qualified leads via content marketing (white papers, case studies, social media, infographics, webinars, etc.) and digital marketing (SEO, A/B testing, email, ads, etc.)

* Evangelize and demonstrate the product to relevant technical and nontechnical audiences at trade shows and conferences

* Organize and execute successful product launches, working closely with product, engineering, PR, design, support and sales

* Create copy, diagrams, videos and concepts to bring Rescale to life on the web site, in collateral, and in presentation materials

Our investors include Sam Altman, Jeff Bezos, Richard Branson, Chris Dixon, Paul Graham, Peter Thiel, Y Combinator, SV Angel, DCVC, and other leading experts in cloud computing, SaaS, and enterprise software.

Let’s make the world a better place by allowing the world’s best engineers and scientists to rescale their simulation capabilities.

This is a full-time/on-site position in our Downtown SF office. Send your resume to jobs@rescale.com.
It appears World War 2 came from fascism… which came from fed up people… because massive unemployment… because failure to handle productivity increases.

Productivity increases by itself will never cause problem. If we become 1000 times more productive overnight, we have loads of excellent solutions to handle it. Like have people work only 1 day per year, relying on voluntary service, increase material wealth like crazy…

But we've gotta admit, our society sucks at absorbing productivity increases. Just watch what will happen to professional drivers in the 10, 15 years to come. If we don't come up with something, the shock will be brutal.
Massive Outer Solar System Perturber Could Be Existing in Kuiper Belt: Study
... and isn't the best way to combat the problem of informal hierarchies, to put formal ones in place eliminating the power vacuum?