skysight-inc/HackerNews huggingface dataset:
Coq doesn't really provide a suitable environment for executing real software AFAIK; it's designed so that, once you've proven your code correct, it can extract a Haskell or Ocaml program out of it.
How 3,000 Fake Weapons Get Through Security at Comic-Con
I agree and am not looking forward to debugging race conditions or implementing locks around lists and dicts in python code. The language is chock-full of mutable state and sharing that mutable state between threads is a recipe for disaster.
How the hex values in an image file is used to form an image?
Does the pixels in the image represents different colors which when arranged in some manner forms a meaningful image? If an image has a resolution of 500x500 pixels then does that mean the image file has 10000 hex values in it with each hex values representing different shades of colors? How a color is assigned to a specific hex value?

Is there a tool which would display the image when I enter some random hex values in a file and save it in any of the numerous image file formats?
The idea is that you build a Dockerfile while you are developing, and then you can push an identical environment to production - one of the common causes for production issues being differences from the developers' environments.
I'm still very confused about the staff pick badge… Is there anyone here that ran a campaign that could confirm?

There are numerous articles dedicated to maximize one's chances to be a staff pick, and numerous advantages like being in the newsletter, promoted on their social network accounts, etc.

That would mean that there really is a staff pick category with hand-picked projects, but that the badge itself can be added by any campaign. Is this really true? I need more evidence, it doesn't seem reasonable.

edit: found some more info about it from a campaigner http://stonemaiergames.com/kickstarter-lesson-140-the-kickst....
It does seem that being a staff pick means that one staff member flagged the project, and the badge icon usage is largely unrelated.
Top Five Ways to Get Your Apps Ready for Windows 10
How Google Works book review
vagrant is okay, but it's kind of a PITA.
>> However, we should be designing based on the interface/contract presented, not specific implementation details of interfaces/libraries. Any optimization based on specific implementation details is "at your own risk."

That's a bit naive. Let's say you want to code something which heavily depends on a String class. You test the standard one, it's fast enough. You decide you don't need to roll your own because of it.

Then it changes and it's no longer fast and changing it at this point might be a big pain. I mean, it's hard to predict that fundamental class in a language is going to change its performance characteristics.
A subset of markdown is good in my eyes. To avoid the smiley case, just format and display everything including the formatting characters. Similar to how irssi treats _lines like this_, it will underline all of the characters inbetween while preserving the outer '_' characters.
The Unfortunate Return of DRM
Not to hijack the thread, just wondering anyone has experience with zero-downtime deployment of multi-container app with cross-container communication?
Solar powered day/night autonomous flight achieved: Airborne 28hrs without fuel
Your BBC micro:bit
Great, and I don't want to dismantle the TSA, I just want to have a backdoor to the plane.
In theory, this sounds true. In practice, it isn't. I've done pooled versus non-pooled tests of objects like Vector3's in libgdx and the difference in memory pressure is fairly huge.

The JVM is really, really smart, but this is a well-understood area where you sometimes have to break the rules and do something stupid (and it is stupid) for the sake of perf.
Which is interesting considering we share about 85% of our genome with Zebra Fish.
jdhqd dhqj qjdqj
Yes. Like most immunities it can be waived by consent. Laws like the FTCA are a blanket waiver for certain kinds of suits. In practice that covers a lot of what you'd want to sue the government for. But the government can also waive the immunity in specific cases, even unintentionally. For example by defending a suit on the merits instead of merely invoking immunity, it implicitly consents to the suit.
Purchasing services for client work
Hacking Team and a case of BGP hijacking
If you use an FPGA like a CPU, its a waste of the FPGA.

This FPGA will likely be used for implementing the variety of protocols in the embedded world. Imagine that you want to attach a Raspberry Pi camera to an arbitrary Cortex-M4... and the M4 doesn't support the interface.

Instead of bit-banging the interface, you simply program the FPGA to handle that for you, and to trigger an interrupt whenever a full frame of data arrives. The spare CPU cycles are then used for sleep or maybe something else.
I have typically created a Vagrantfile to spin up an Ubuntu host with a static IP, configure its' docker to listen on a network port, and 'brew install docker' to get the client on Mac. Set DOCKER_HOST to the vagrant VM IP+docker port, and it's easy to distribute to a team.

I wish the Docker team hadn't more or less given up with boot2docker, since it completely abandons the vagrant advantage of a folder shared with the OS. People do wierd shit like trying to mount their OSX home dir over NFS and, well, Vagrant solved this a long time ago.
If I understand correctly, the ClojureScript compiler was written in Clojure (that is, you had to run the JVM to run the compiler), which spat out JS code and then compiled by Google Closure.

Would you be able to explain, at a high level, how ClojureScript bootstrapped itself, and how Google Closure comes into play?
Not everyone here will immediately know that the Mercury News is a newspaper in San Jose.
Largest human experiment conducted on unsuspecting residents of San Francisco
Chris Pearson Loses Cybersquatting Case Against Automattic
For the Love of Television
51 Craziest Watches On The Planet Everyone Needs To Know About
Yes, sorry, that was my point actually. That once you commit to Docker on production that it probably doesn't make sense to use anything else for development environments.
Oh man, I just had to stop playing this game. It's an incremental game like cookie clicker or candy box. Except it's much more complex. You have to balance more than a dozen different resources as the game goes on. I left it running in a tab at work, but I was going back to it so often during the day that I had to just wipe my progress and leave.
Is there a way to pull libraries into the bootstrapped repl? I suspect lein (a bash script) wouldn't work.

Also: Are there talks or posts describing the future applications for bootstrapped ClojureScript?
It's awesome seeing so many privacy and secure messaging apps spring up. The tough part is getting people to use them. I've been using Wickr (I know the black box arguments, but they have a reasonable bounty in place) and it doesn't require number, contact info or addy. The phone call feature of Signal sounds interesting so I'll check it out.
I was pretty sure of the 3rd party integration, but still am not sure why they're checking if the user's device is rooted. I suppose for payment processing, they consider it a security risk?
Apparently, you should expect to hear from him soon: https://mail.python.org/pipermail/python-ideas/2015-June/034...

Antoine Pitrou said that Snow's proposal was similar to your work. What do you see as the similarities?
Robotics Unlimited Inc (http://www.robotics-unlimited.com) | Pensacola, FL

We are looking for a mechnical engineer intern and an industrial design engineer intern (both paid) to join us in building awesome robots.

-U.S. Citizenship or permanent resisdence required
-Fun small team/casual environment
-Amazing beaches
-Needs enthusiasm in robotics and engineering
-Needs lots of experience

More info @ http://reactanceblog.com/robotics-unlimited-jobs/
Comets, and the planets and the tides, and apples falling from trees were found to be caused by the same underlying phenomena, despite seeming very different. Newton's insight that they were the same was not overturned by relativity, so the point stands quite well.
> "I believe it's not in serious doubt that an intelligent computer is possible" -

Yes, of course it is possible, if we change the meaning of "intelligent" to fit what a computer does. :)

Generally, I think the problem here - as in many other situations - starts with the lack of rigor that computer science has when "naming" fields or, most exactly, appropriating concepts from other fields.

* Computer Vision: "vision" has a defined meaning, even "organic-related". Signal processing and a bunch of algorithms aren't exactly what vision is and what we define as "vision";

* Machine learning: does the computer really learns, as understood by the common definition of "learning"?

* Context awareness: if we consider common definitions, neither a few sensor readings are "context", nor acting according to said readings is "awareness".

This might sound like nitpicking, but I truly think it's a real problem. Talking about vision, learning or intelligence put's the stake at what people or the general scientific community commonly perceive as those concepts.

What's most frustrating to me is the contrast. Computer science research is thorough; why are we not thorough on naming our fields of study? Why do we appropriate concepts by "analogy", knowingly that analogies aren't truly exact?
It's a fish-eat-fish world out there...
Ask HN: What things should I keep in mind while open sourcing our non-profit?
Our goal is to allow others to view, use, and hopefully provide feedback to our early education learning materials.

The materials that we've created/are creating are a curriculum, a teacher guidebook, and protocols for our operations. We'll expand into material acquisition later.

The current plan is to put all our IP into a database and allow it to be dynamically generated.

I'm wondering if there are helpful suggestions, approaches, or tips we should keep in mind.
The staffer appears to have misinterpreted the question. As I understand it, there are staff picks, but this doesn't result in getting badged automatically. Some projects elect to display a badge themselves. That's what the answer says. It's not responsive to the question of fake badges. Possibly it's a canned answer to "why isn't my staff pick project showing a badge?"
I understand the vitriol, and I'm not even sure where I stand on the issue, but this quickly gets into a philosophical debate. This is something akin to the "railroad switch" question. Do you pull the level and divert a railroad car killing one person, but saving five or do you let the runaway care run its course and kill the 5.

If the impetus for the experiment was to test some potential attack vector as the grandparent post suggests, would you rather they didn't risk some catastrophic attack? It's the notion of "the greater good" and all that.

In writing this, I seem to have discovered my own answer. This is largely similar to the NSA going beserk as it has done because, "What if?". So do you want to risk & sacrifice for ostensibly better security?
Top 20 Big Data Cases in Sport
Try to show proof that the companys want to keep you- and have a very good reason - like i get bored easily.

For companys the questions is do you reach the break even- the point where the investment that they did by hire and assigning somebody too you, to introduce you to your tools and internal operations. Everything else is rather benefical.

Cooperations outsource codejobs to strangers today. And they do well with it. Never heard a hiring manager complain about the company beeing "a problem case" when it came to investments in hirde guns.

You might not hit it off with your collagues though. Many want the safety. If somebody appears who represents the opposite lifestyle, and shows everyone that life can be lived different- which theire manager might use for pressure once you are gone - things can get a little frosty.
> I believe it's not in serious doubt that an intelligent computer is possible - although it may be extremely complicated, and perhaps far beyond current technology - and current naysayers will one day seem much like the vitalists.

Physicists (and this guy is one of them) certainly do have a robust set of taboos against considering consciousness as a quantum phenomena (whatever that might mean.) It's unfortunate because there is a huge resurgence going on in the physics of quantum many-body entanglement, quantum computers, foundations of quantum, etc. Alot of this meandering was just sidelined in the 1940s when world affairs intervened. However, in light of these new discoveries it's time to revisit the old vitalist arguments. Imho.
There probably is a very simple algorithm for intelligence. It is just way to expensive to run it.

(The reason is very simple, namely that the rules for the universe are probably very simple.)
You're Blaming the Wrong People
I think this is the golden question regarding this stuff... would love to have any blog post about this.
Great points!

A lot of experience of a book off bubblin depends on what code is written under it and how the author wants to present it. Inverting light/black, zoom, choosing fonts are all easy things to implement here, and those are some of the flexibilities the author has when choosing something for their book on bubblin.

Reflow is altogether another beast - I guess it is more useful for books with just plain text and images (lifeless). We're not focused on those type of books.

Also for some books reflow is simply a bad deal. For example the more technical ones suffer badly in the current fragmented ecosystem of book providers. I personally dislike it when our inability to scale fonts turns a 50 page book into a 100 page one for no fault of the writer or the reader.

There is much less control on the design aspect of content within a book and even lesser control on the size of the downloaded files there.

And btw, while we are at it, try the scaling potential of Viewport Width units for book. That does it here for my book!
That's...half right.

If a term becomes generic, a trademark is abslutely lost under US law. And one of the easiest ways for a term to become generic is via unauthorized third party use. If Kickstarter didn't immediately threaten to sue, eg, Indigogo asking people to "come kickstart a project on Indiegogo" then they would be on a short path to losing their trademark by virtue of, yes, their failure to police their trademark.

So yes, there is absolutely a requirement to police third parties using your trademark in a way that treats the term as generic...which isn't the case here. Even if every damn project on Kickstarter said they were a "Kickstarter staff pick" it doesn't make "kickstarter" into a generic term for "crowdsourced funding".
The bacteria in the air are what's responsible for the unique, delicious taste of San Francisco sourdough.
"The current flavor of the month in the Apple space is iMore.com. Renee Ritchie’s response is here.

Setting aside Gruber’s dripping condescension and evidently complete lack of understanding that not every web site can or should be DF or The Loop, when you’re a company like Mobile Nations or anyone else that consists more of one lone “raconteur” and has to do things like pay writers, designers, and tech people, you’re fucked. Why?

Well, for one, unlike newspapers or non-internet radio/TV, for a web site, success can kill you just as much as failure. Bandwidth is not free, and at scale, doesn’t even resemble cheap. You want to have all that dynamic goodness? That’s more network accesses. That’s bandwidth and storage, and no one is giving that away, especially not at the scale that an iMore needs."
I think you wanted to say "Docker+Vagrant is best used for development" ;)
How we made it big as an app development company
I think the most likely explanation is that they were just shifting all the tail risk to DB and Barclays, who didn't know any better or thought the portfolios would never experience losses beyond the option premium.
4 Successful Startups That Were Built Within Bigger Companies
Careful, modern prokaryotes also have billions of years of evolution behind them. The first organism where likely inefficient and would not last in our current hyper competitive ecosystems. Arguably, the first organism where really more just free floating proteins without even a cell wall.
'Get started for free' so what does that mean for future pricing ? I would like to know what I get into.
I can't select/highlight text because it triggers the page-flip animation? Your analog metaphor is ruining my digital experience. It's putting flash before substance.
Me too; I really like the POLICE handler too, that makes a lot of sense. Awesome project!
> Yes, of course it is possible, if we change the meaning of "intelligent" to fit what a computer does. :)

I don't think that's what he's doing. Otherwise he could just define intelligence to mean what computers do now. Clearly he has at least roughly the same idea of intelligence you or I do.

> "I believe it's not in serious doubt that an intelligent computer is possible"

Do you have an objection to this specific statement when taken to mean general human-like intelligence being exhibited by computers? I have not heard anyone defend the opposite viewpoint often, and I'm interested if there are any compelling arguments why it's not possible.
more bespoke, more value-adding work these days

A software version of the Jevons paradox: making software cheaper increases the demand for software.
Agency’s request for 52,000 rounds of ammo for Hoover Dam prompts inquiry
SocialCrumbs is a social activity feed theme for wordPress
Writing a bot that plays Pac-Man is many things, but I wouldn't call it "scary". Especially considering the rules of Pac-Man had to be imperatively coded in relative detail [1], that some of the utilities were factored out into a basic reinforcement learning agent doesn't immediately convince me we've hit AGI at all.

Having to rely on playing an arcade game is a weak case in general. We don't call Counter-Strike modders AI researchers. The fear angle is nothing but woo, but I'd like to hear you elaborate nonetheless.

[1] https://github.com/moridinamael/mc-aixi/blob/master/src/pacm...
But none of those are viable anymore since asics.
> Instead of using an equation array in latex, use a numbered markdown list with latex formulae

That's a plausible benefit if you're editing a document where nice-looking numbering matters (e.g., an email). In chat, if I have multiple equations, I can just do something like:

1. $equation here$

2. $equation here$

I prefer chat to do as little formatting as possible while still providing a way to write Math. Otherwise you end up with unintended formatting, which is hugely annoying (a la (B) in Skype).

> Skype has it's annoyances too, ever tried to actually communicate "(B)", you get a great beer symbol you likely didn't intend to write.

Yeah, but it doesn't change the (B) on the white board I have the camera pointed at, which is the way everyone communicates mathematics via skpy.
Their status page just shows that message each day at midnight to delineate the start of a new day. Unless of course at midnight there is an ongoing problem. It is indeed back up.

I know waaaaaaay to much about the Github status page because of my little side project https://statusgator.io. Which monitors it and tells you when they post a problem.
I never met the man, but conversed with him a few times on mailing lists for opensource projects. He seemed to be a very smart man with a keen eye for seeing societal changes in their infancy.

He was a great advocate for projects like Tor and the Qubes OS project, and he put these tools into the hands of people outside the tech circles who really needed them.

RIP Caspar Bowden, we've lost an important voice against the creeping surveillance state we all live in.
Lol at the downvotes. I'm asking, not judging.

What are the "other goals" you mention? How's this different from "for(i=0;;i++) printf("%u\n", i);"?
Was racistsexistlicense.org not available?
It can't, without meaningless anecdotes the article wouldn't have anything at all to say.
Yes the ClojureScript compiler is written in Clojure, more than that it is written in a special form of Clojure that can do conditional branching depending on what environment it is running in. So now the ClojureScript compiler can be ran in ClojureScript.
re: boot2docker, I experienced the same issues as you and I found it even more annoying with little incompatibilities, etc.

I actually did something simple with both Vagrant and Docker, I'm hoping to bundle it into a self-executable and have it as an alternative to boot2docker.

Right now, it works only on OSX & Linux, but what it does is it uses Vagrant and builds a "docker-host" vm that you spin up manually (or you can just use a launchd script to spin it up on startup). Since Vagrant has great support for setting up a network bridge, I basically created a virtual private network between the host vm and my os. I set up the docker client running locally (brew install docker) and through the network bridge, it creates a pretty seamless experience.

The beauty of Vagrant here is that I can customize the mem, cpu, etc. Vagrant also has rsync support (and rsync-auto!) and of course, great shared folder support with the docker image. I have experimental support to also create this experience on AWS, including spot instance support

You can check it out here: https://github.com/mahmoudimus/docker-host-osx.
Big Pharma Eyes iPhone and ResearchKit for Drug R&D
Looks like a good replacement for iTunes, if all you need/want is library management. Only catch for me is that it doesn't rip from CD.
Yea, the page-flipping behavior is my least favorite thing about iBooks vs. Kindle.

I wonder if there are really good technical reasons for it, or merely if iBooks was developed during the era when Apple still liked skeuomorphic designs.
What we know to be the case is this:

Kickstarter does feature some campaigns as its staff picks, Kickstarter does notify campaigns when Kickstarter selects them as a staff pick, but Kickstarter will not admit that this particular project is abusing the staff pick appellation, and Kickstarter is refusing to say anything that could be interpreted as agreeing that this campaign engaged in unethical behaviour.

My personal conclusion is this:

This project gets a free pass. There is no evidence that any arbitrary project can give itself the badge and not get censured by Kickstarter.
https://github.com/swannodette/cljs-bootstrap https://github.com/clojure/clojurescript/wiki/Bootstrapping-...
Simplicity is always only a little ways off. If I sat you next to god and told you to pair program and write an OS equivalent to Windows XP, with you driving the keyboard- you'd be sitting there for quite a while.

But if I told you guys to pair program an AGI, you could probably finish in a day or so.

A simple algorithm is a matter of finding just one or two basic discoveries. It could happen tomorrow! It probably won't, but that's the nature of discovery.
Replete doesn't yet support using external libraries, but since the analyzer/compiler is available, I don't see any conceptual barrier preventing bootstrapped environments from consuming libraries.

David Nolen spoke a bit about Cljs-in-Cljs at the end of his Om Next talk, given at EuroClojure a few weeks ago. It's on YouTube now.
Compared to the 1970s and earlier, internal combustion engines are strikingly efficient. You're probably right that we've harvested all the low-hanging fruit, and further progress will be slow and slight.

But there's still a LOT of room for efficiency improvement by changing the other side of the equation. If we're generating power with nearly as much efficiency as possible, we can still go a long way in USING that power smarter.

Which is my long-winded way of saying that if everyone switched from driving big-ass SUVs to driving light compact cars, we'd still achieve a huge boost in miles traveled per pollutant emitted.