skysight-inc/HackerNews huggingface dataset:
Wadler's work is great, I've seen his talk on this many times (where he has the lambda shirt on), but it doesn't really cover "why it is useful" just "why it is inevitable".

Really, how would you scientifically show that parametric polymorphism is "useful?" "Useful" isn't a very empirical property, it isn't something you can reliably measure. In a scientific paper, you can't just say something like:

> When it comes to maintaining and evolving these systems, the lack of explicit static typing becomes a bottleneck.

without justification! You have a citation, or perhaps it is something just accepted universally (which it isn't, of course). At the very least, you have to weaken the statement a bit...like:

> When it comes to maintaining and evolving these systems, the lack of explicit static typing is probably a bottleneck.

You can't talk in absolutes without evidence. But you know, the benefits of static typing are clear via anecdotal experience, we only really argue about whether or not the benefits balance out the disadvantages of static typing (and how those disadvantages can be mitigated, and if that is enough...). Again, in arguing about this we are firmly in the area of design and not science.
Given that I'm not wrong as the above link shows (http://aviationweek.com/blog/nasa-cnes-warn-spacex-challenge...) would anyone care to explain to me for a second why I'm getting downvoted?

I'm happy to be less stupid if that's the problem, but I don't know what thing it was that I did that was stupid.
Kim Dotcom loses extradition case
Smalltalk and the Metaobject Protocol are things to revile and shun.

They aren't elegant programming models and they aren't even internally consistent programming models.

If you read Smalltalk papers, they aren't really compsci papers at all. They're musings about some ideas they tried and how well they thought they worked afterwards.

The language world is moving to a more coherent, formal, mathematical understanding of type systems, programming languages, and automatable proof systems.
Nice article, but I couldn't pass up a chance to correct Elon Musk's math:

It is important to note that the amount of energy needed to achieve a given velocity increases with the square, so going from 1000 km/h to 2000 km/h takes four times as much energy as going from 0 km/h to 1000 km/h, not twice as much.

Three times, not four--you already spent a quarter of the energy getting to 1000 km/h. Getting the rest of the way to 2000 km/h takes the remaining three quarters.
If you want an introduction to assembly with the hopes of achieving super complicated in the future, I would suggest taking a look at the Intel manuals [1]. Volume 1 specifically offers an overview of the processor's architecture and underlying components (registers, ALUs, branching); it's actually a pretty useful textbook. Volume 2 walks explains each and every single instruction and what it does. Volume 3 is a programmer's guide to the Intel processor, which is what might help you quite a bit, it provides examples of using stacks, function calling, memory management, and SIMD instructions.

[1] https://www-ssl.intel.com/content/www/us/en/processors/archi...
If we can land the rocket accurately enough to put it down on a tiny barge only slightly larger than the rocket itself, then why do we need to tolerate the weight of the landing legs?

We already have industrial robots that can move and grasp heavy weights relatively quickly over distances of several metres -- it doesn't take much imagination to conceive of a similar contraption being used to arrest the descent of the rocket over the final few tens of metres of its' descent - a sort of brobdingnagian robotic catcher's mitt.

Granted, this might be a bit on the expensive / elaborate / bizarrely over-engineered side -- but it would look utterly awesome.
> I don't think that's a bad thing, but it's not "innovation".

Making something useable is not innovation?
Performance isn't one dimensional. Maybe the benchmarks you're looking at aren't gated on method call performance. Maybe the authors of whatever benchmark you're looking at wrote final manually. Maybe they used freestanding functions instead of methods. Maybe your benchmarks aren't calling functions at all. Who knows?

The point is that anyone who has worked on compilers for OO languages will tell you the same thing about devirtualization. This stuff goes back to Smalltalk implementations in the 80s.
It may be just me, but I hate learning concepts from equations. IMO, no one ever woke up one day and said, let's have P, Q, Ω, and Φ. (Or whatever they are.) Most probably they started with: Can I win this card game, and I have these cards?
I made oh my giraffe [1] in LÖVE and released it for iOS and Android using these ports.

[1] http://www.ohmygiraffe.com
Process arguments aside (and there may be process arguments that demolish the US case here, and I care about process too, especially if they involve getting evidence in bogus ways):

The US has Kim Schmitz dead to rights in this case.

There's a whole mythology about what MegaUpload actually was, and it gets partial anecdotal support from people who, for instance, used it or had friends who used it solely as a sort of Dropbox or benign file transmission method.

But when the DOJ imaged the servers, they got Schmitz's mail spools, and they have Schmitz and his employees in black- and- white discussing payment systems that disbursed cash to users specifically based on pirated media.

My favorite anecdote from the indictment:

At one point during the operation of MegaUpload, a user downloaded an episode of Dexter from it, and complained to Schmitz via email that the video quality was low.

Schmitz responded not by scrubbing Dexter off his site, but instead by demanding that his staff fix the video quality issues.
This is smaller than the smallest RSA number

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

which was factored in 1991, so I bet you can get the right hardware and software to factor your number too. Maybe one of these implementations will do it:

https://en.wikipedia.org/wiki/General_number_field_sieve#Imp...
Deep Kalman Filters
Generally speaking, most programs could be written in either Haskell or an imperative language without much trouble (assuming you're comfortable with the language), though some problems are better suited to Haskell than others.

The way I see it, if you want to extend your language to be able to express solutions to your problem in terms that are close to your problem domain, then Haskell is probably a good choice.

If you would rather transform your problem into constructs that are easily understood in terms of the low-level operations performed by a computer, then you might be better off with a low-level imperative language.

To put it another way, if your requirements include things like deterministic real-time scheduling, strict performance or memory requirements, anything involving assembly language or cachelines, then you should probably use something like C or C++ or Rust.

On the other hand, if you don't care about any of that and you just want your program to compute the right answer in a reasonable amount of time and you want to have high confidence that it's right, then Haskell is a pretty good choice.
Google uses a lot C++.

They've done some Web things.
I have been looking and hoping for something OS X like allSnap [1] for Windows where window sizing management isn't set up at prefixed sizes, but simply allows you to resize Windows as normal but they will snap to the sides of other Windows or screen edges. This allows you to nicely line up all your window edges with each other with little effort.

[1]: http://ivanheckman.com/allsnap/
A bit OOT, LibGDX is another game engine, but for the JVM (can use Java, Scala, Clojure, Kotlin, etc), that runs natively on desktop, Android, Web (transpiled to JS), iOS (using RoboVM). It has Lua support as well through 3rd party.

Udacity has Nanodegree using it: https://www.udacity.com/course/mobile-2d-game-developer-nano...

Disclaimer: I'm writing a game using LibGDX.
In my not-so-humble opinion, they are also usually the ones who need the experience the most (ahem).
Phabricator is a very good tool! But calling it a substitute for GitHub seems a bit off. GitHub (and GitLab) revolve around repositories. As the name implies they are focused on git and git workflows. As a user you are using `git` most of the time when interacting with the systems.

Phabricator on the other can supports `git`, but that's just one of the supported storage systems for phabricator. As a user you are using `arc`, phabricators command line tool.

I've seen many people having issues with using `arc`, having used, say github, prior to that. This got better recently when the `arc land` workflow was improved.
This seems quite expensive given that the units are located in Crown Heights.

(19 people * 1900 avg rent) / 7300 sqft = $4.68 per sqft

Lets look at a typical unit [0] in Crown Heights. We'll look at large units (4+ br) to make it comparable as possible.

It's 4k per month for a 1200 sqft space with for 4br - so

$4000 / 1200 sqft = $3.33 per sqft

So about 40% more expensive than a normal shared unit + plus way more roommates. I think the extra 800-1000 difference per month should pay for food and laundry with plenty to spare for savings.

[0] - http://streeteasy.com/building/348-eastern-parkway-brooklyn/...
The article mentions that the water landing requires less fuel to return the rocket because it doesn't have to spend fuel overcoming its initial ballistic trajectory. In the water landing scenario, how far away from the launchpad is the landing barge? I'm wondering about the economics of launching from a site where your first stage trajectory is entirely overland, to avoid the complications of landing on a barge that's being tossed in the sea. Though it might be hard to find such a site in U.S. territory that's both near the equator and sparsely populated.
He's commented on this type of thing before and it seems like he thinks it isn't any great trick. The main thing is that if you're going to reason well from first principles, you have to learn from first principles. If you build your "tree of knowledge" efficiently, then adding on to it isn't so difficult because you have a good core. Contrast this with the hobbyist that tries to learn rocket science when they don't have a good handle on first-year physics.
You're talking about strncpy not strncat.
And yet still very short and very unreadable.
The Ups and Downs of a Chef Shop
When I had spare time I was working on a Terraria-inspired game. Here's a sample video of how far I got: https://www.youtube.com/watch?v=clxX8QZonL4 with the code here: https://bitbucket.org/sirpengi/lua_lovestory/src/tip?at=defa...

I ended up using luajit FFI to call into C to calculate lighting. I wonder what the FFI support is on the android/ios ports.
I'm having some trouble with the opening salvo here:

"Now imagine placing a marble somewhere on that slippery sheet -- it is guaranteed to fall into one of the funnels. "

This holds for the case where there are two objects initially at rest, but I don't see it as obviously true if there are more than two objects in the universe.
... or (as a less mechanically complex solution ...) use the same concept as the arrester cables on an aircraft carrier flight deck -- but upended to catch a vertically descending vehicle.

(No flight deck required -- just cables suspended between two towers and an arrester hook at the top of the rocket -- which just has to be lighter than folding legs at the bottom).
Perhaps being convicted of fraud means his reputation is already damaged so he has little to lose by being in the reputation trap. If he had a clean record, he might keep away from the trap. In the end though, it doesn't really matter if he's wrong but we would suffer a huge loss if he's right but can't get it finished.
>I think its the teachers job to earn the students' respect

Students should have a respect for school (and the role of the teacher) before any other kind of respect can be earned by the teacher as an individual.

Or, to put it another way, earning the students respect as a teacher is OK.

But having to earn the attention, and having to fight against students making noise, playing, ignoring the lesson etc, should not be the case.

>I think that when I show how deeply I love the topic I'm teaching, it rubs off on the students and they go along with it.

As I said, assuming the teacher is capable and passionate, it still depends on the students. Depending on the school/area/class/etc some students wouldn't care even if Alan Kay taught them programming and Richard Feynman did physics.

The idea that students will be captivated by a passionate and eloquent teacher doesn't always pan out in reality. A lot of times it's more like: https://www.youtube.com/watch?v=Bdf_XdDwc-o

>Also, you seem to be arguing from the perspective of what is rather than what ought to be.

Well, to get things to where it "ought to be" you should first tackle and work with "what is".
We have a very pro-napping policy at our company. I'm the CEO and actively nap probably 3 days per week for a least 30 minutes when I'm in the office.

We even have a nap pod...and the pro-napping policy is written into our employee/HR manual.

Of the 80+ employees, I'd say 20% of them nap in the office at least once a week. Why fight biology? Naps are great.
I have been working with Chef for a handful of years now and heavily at Quid. Finally put together a few of my many thoughts on Chef. Hoping to touch on a few other topics in the near future.
On-demand image processing for AWS – Fast
Judge Rules Kim Dotcom Can Be Extradited to US to Face Charges
I'd like to have semi-eco-villages that could also support a more mobile community. In particular, I'd like to be able to travel and live in an RV, moving between "villages" as desired.
Everyone check out Lapis [0] as well!

[0]: http://leafo.net/lapis/
Composable Pipelines [in Go] Improved
It's not that it's unique it's that the problems that arise in them are unique.
What the hell are you talking about?!
As a teacher, I guess I'd agree. But I think that the bit about girls tending to have better attitudes toward school is the key point. It's much easier to be err on the side of giving marks (not awarding marks for incorrectness, but I guess trying to find the reasoning in partially correct answers?), providing more detailed feedback etc when you know the student will appreciate it or displays what the article refers to as a "school friendly" attitude.
Thanks for the link Brian. The "Get In Line For The Beta" button does not work for me (it does not do anything).
Maybe I am missing something, but how would the unix epoc overflowing a problem? As long as they don't handle overflow errors, all the math still works until it overflows twice...
This Is What a Tor Supporter Looks Like: Ben Wizner from the ACLU
Interesting article that exposes some problems of C, that some take for granted or ignore.

However the arguing that C is not Turing complete after you take away the IO and limit yourself on an non-abstract machine is silly. C can simulate any Turing machine limited by the same previously mentioned rules and the same holds if you remove those rules for both systems, not just for one.
I love pet projects, specially little games (have made some with SDL in the past).

I don't know how Terraria does it (never played) but I suggest you that you only moved the camera when it's necessary (instead of keeping the character in the center literally always). The camera jumping along with the character might even let the player dizzy...
> Where are you getting 56k from?

https://en.wikipedia.org/wiki/Personal_income_in_the_United_...
Except that the longer you run the first stage, the longer you have to carry the weight of the first stage. It eventually becomes much more efficient to jettison the first stage and use a slightly less powerful but much lighter weight second stage, because you no longer need as much power to get through the atmosphere. Which is the whole point behind staging (https://en.wikipedia.org/wiki/Multistage_rocket#Optimal_stag...).

It turns out when you add 10 lbs of weight to the first stage for reuse you lose approximately 1 lbs of weight from the max payload. (http://aviationweek.com/blog/nasa-cnes-warn-spacex-challenge...)

On the second stage every 1 lb of reuse you lose 1 lb of payload, which is one of the big reasons why second stage reuse isn't really feasible on the F9.
Egg from Hundred Years Ago: The Century Egg – Infossible
Demo: http://semantic-wordpress.gopagoda.io/

Download: https://github.com/ProjectCleverWeb/Semantic-UI-WordPress
I see two aspects to your question/comment: at-rest, and two-objects.

The whole point of that comment was to apply only to at-rest things (he goes on to contrast it with objects with velocity), though I think maybe you got that.

If you have a marble and two other objects, the other objects make two funnels, and there is a saddle (itself curved) where the two objects's funnels are equipotent. That's the three-body case. If it were possible to balance perfectly on this line of equipotence, you'd just slide to the lowest point on that line, and stay there, out of the funnels. This, IIUC, is one of the Lagrange points... L1, I think. In theory it's possibly-stable, but its stability exhibits negative feedback, so in practice it's impossible (although with station-keeping rockets, it's cheaper to hover there than most places).

As you add more funnels, you just get more of these saddle lines intersecting. There are many infinitely-fussy places in the universe where you could in-theory-but-not-in-practice hover without falling into a funnel (if it weren't for brownian motion and maybe some other quantum effects that disturb your infinitely-difficult equilibrium).

Of course, this whole analogy doesn't account for the fact that all of the bodies are acting on each other, not just the funnels acting on the marble.
Antibiotics can change your gut microbiome for up to a year.

http://www.theatlantic.com/health/archive/2015/11/taking-ant...
I agree that it is interesting. For example, what if you can implement, in C, an interpreter for a language that has a bignum type? I am thinking along the lines of Greenspun's tenth rule (which I realize is not even close to a rigorous argument.)
Sort of. URL "routing" is necessary for REST, as opposed to an RPC (or GraphQL) style POST to a single URL.

But yes, other than arbitrary URL routing existing, there is nothing that makes it have a "REST" style.
They're called POS for a reason..
So WebExtensions is Mozilla's name for a subset of the Chrome Extension API they'll be implementing?

It's really weird to see a project named WebThing that doesn't seem to exist outside of a particular vendor's blog/wiki. I'd expect to find a public mailing list/GitHub repo/landing page without much searching. They don't even own webextensions.org.
Primes can't be divided.
You sound a little demanding when you capitalize "NOT" like that.

I didn't make the visualization but I find the circles to be a good choice. Not only is it pretty, it makes use of two-dimensional space in a consistent way. A factor of 5 has the same shape whenever it appears.

If you factorized things into a straight line, do you just line everything up horizontally, in which case you just see hundreds of dots with gaps in them and there would be nothing interesting about the visualization? Or do you make rectangles, with some of the factors going vertically? In that case, sometimes your 5s will go horizontally and sometimes they'll go vertically, making a distinction out of nothing.
Actually, empirical observation depends on the correctness of basic logic, which must therefore precede it. You can't do experiments without having a logical framework that allows you to interpret their results. You can certainly find people who've convinced themselves that they need to empirically check math. i.e. check that 30x100 = 3x1000 by rearranging beans on their kitchen floor. I wouldn't hire anyone who did that to paint my bathroom, though.
Making it user friendly is typically the hard part.

Has anyone ever shown PGP/GPG encrypted messages (let's say over email, but even an encrypted file is equivalent) being cracked?
Maybe I should have specified "In the U.S., poor and homeless people..."

Those photos did make me very happy, thank you.
Anecdotally, I'd say there's a correlation, but I too know plenty of counterexamples.
[We're running a Gitlab instance and one CI instance with multiple CI runners in the Google Cloud.]

Gitlab CI is great if you don't need dynamically provisioned build slaves, for which I found no integrated support. In general, Gitlab CI is much more straightforward and easy to use than Jenkins.

Jenkins wins when it comes to stuff like build artifacts (getting these out of Jenkins is easy peasy (just wget them and provide basic HTTP auth if needed), but with GitLab I have not yet found a way to automatically download say the latest build results), credentials management and other "more enterprisey" features.

Jenkins is easy to install on Debian-based systems; I have no real experience in setting up Gitlab other than via the official Docker images, which is nearly as easy as typing `apt-get install jenkins`. Setting up CI runners/instances is easy as well (apt-get install + one or two calls to gitlab-multi-runner).

Overall I'm pretty happy with Gitlab CI. Especially the fact that every developer in our company can take advantage of automated builds by just enabling CI support and putting a .gitlab-ci.yml in the repository is great. Over are the days were admins had to manage Jenkins jobs.
> as long as he didn't keep logs.

It doesn't matter who keeps the logs, the blockchain is the log. I really think you are the one who is missing something. Because the blockchain has the entire history, everyone knows every transaction wallets X, Y, Z and any other wallet has ever done.

> A block chain is a transaction database shared by all nodes participating in a system based on the Bitcoin protocol. A full copy of a currency's block chain contains every transaction ever executed in the currency. With this information, one can find out how much value belonged to each address at any point in history.

https://en.bitcoin.it/wiki/Block_chain
Exchange APIs requests that you never use to requests that you need
Hi everyone! We are two data-scientists, came up with idea recently. ApiHop is the new platform for web-services API quotas exchange where you can sell your unused API quota or buy the requests quotas from other users.
KonbiniRentals.com
Konbini Pocket WiFi Rentals Philippines is your convenient source of unlimited internet surfing while you’re having your vacation throughout the amazing islands in the country.
They are already cheap and have AAA games have budgets comparable to mid-tier Hollywood movies. Not being able to sell something you bought seems strange to me.
I'd say the interpreter is interpreting a non-Turing complete subset of the bignum language. That said, what is and isn't "Turing complete" is hardly relevant for practical purposes. C has obviously been very useful as a language, despite whatever theoretical statements can be proven about it.
I looked at benchmarks for SSDs in consoles and they were saying not to bother because the difference to loading times was minimal
I am confused as to the author's justification for seeming to give credence to a thoroughly discredited person.

It would have been a better article if he had just stuck with "the science says it is possible just not probable" instead of discussing Rossi. And no mention of Pistol Shrimp - I am disappointed.
Most US Ports Are Still Unprepared to Welcome the New Generation of Megaships
I just can't get into Phabricator. Babel switched to it for issues. I find it hard finding anything. I kind of wish they would mirror the issues on to Github.

When I see Phabricator I just don't see anything. I just see a blob of text dumped to the screen. Maybe it's because I'm so use to Github.