skysight-inc/HackerNews huggingface dataset:
It is a much nicer programming language than its predecessors.

From the paper[1]:

"While rc was an experiment in adding modern syntax to Bourne shell semantics, es is an exploration of new semantics combined with rc-influenced syntax: es has lexically scoped variables, first-class functions, and an exception mechanism, which are concepts borrowed from modern programming languages such as Scheme and ML.

"In es, almost all standard shell constructs (e.g., pipes and redirection) are translated into a uniform representation: function calls. The primitive functions which implement those constructs can be manipulated the same way as all other functions: invoked, replaced, or passed as arguments to other functions. The ability to replace primitive functions in es is key to its extensibility; for example, a user can override the definition of pipes to cause remote execution, or the path-searching machinery to implement a path look-up cache.

"At a superficial level, es looks like most UNIX shells. The syntax for pipes, redirection, background jobs, etc., is unchanged from the Bourne shell. Es's programming constructs are new, but reminiscent of rc and Tcl. [Tcl was the new hotness at the time. --mcguire]"

One example from there:

es> fn echo-nl head tail {
if {!~ $#head 0} {
echo $head
echo-nl $tail
}
}
es> echo-nl a b c
a
b
c

Add the following definition:

fn trace functions {
for (func = $functions)
let (old = $(fn-$func))
fn $func args {
echo calling $func $args
$old $args
}
}

And you can get:

es> trace echo-nl
es> echo-nl a b c
calling echo-nl a b c
a
calling echo-nl b c
b
calling echo-nl c
c
calling echo-nl

Some additional features are exceptions and unwind-protect, automatic settor functions, and complex function return values.

[1] http://wryun.github.io/es-shell/paper.html
I think the important part here is not to focus on "supercomputer" but rather on "pocket". Imo the big thing is that you essentially have what used to be a desktop then a laptop and can carry it around in your pocket and do similar stuff with it AND it's socially accepted. Noone blinks an eye if you use your smartphone all the time. Rewind a bit and people would have blinked an eye if you had used your (bulkier) laptop all the time.
It's light and mobile yet sufficiently powerful. Locational context matters a lot more now and isn't tapped into fully.

+it's usually connected to the hive aka Internet so you essentially carry lots of information with you at all times. I'd argue that instant access to information (prices etc.) can be more enabling than pure access to the underlying computer.
+some other gizzmos like an always available camera/voice recorder/music player

[don't get me wrong, I'm fully aboard the more free systems NOW train]
These estimates seem a bit exaggerated at this point. SSD is still lagging in terms of capacity, and in my household we only have a handful of devices using SSD. While it's become more widely-adopted for sure, HDD's are not "doomed" until SSD capacity goes up and prices plummet. Still too expensive for an SSD.
"But that is purely down to distribution problems, not capacity problems."

Are you sure? There may be or have been superproductive farming areas in the world, but do they last forever? In the US there seems to be a water shortage. The Ural sea is all but dried up. Can you point me to one location where farming is going on in a sustainable way?
A system much like this was used as a plot device in a Danish crime novel written in 2000. In the book ("Mailstorm") the protagonist witnesses what appears to be a murder on the 'random webcam feed as a screensaver'-network. Later he realizes the internet connection was down at the time, so it must have been running on LAN...
Actually, all platforms have a compiler: a jit JavaScript compiler, ready to run whatever code you want by just typing it in a text file and opening it with your browser. (Incidentally, it's how I started back in 2000, on public computers).

There are also plenty of WebIDEs nowadays that people can use out of the box - we are not in the 90s anymore, when all software had to be "installed" to be readily available.
Not much new here.

Apple has been shafting developers since at least 1987.
...or autoaccept TOS that no one reads or cares about.
A template for starting project documentation
Ola kind of ran out of time--as stated back when it started, it was an experiment. I was pretty excited by its expressiveness.
NetworkD3: D3 JavaScript Network Graphs from R
Yes, you do need those skills, but they are easier to put into someone off the street who has already spent years driving. People who have spent years flying are rare.
> "companies should ask permission before invading the privacy of consumers"

Thats not even a noble goal to pursue. Companies should be fined for invading privacy/tracking habits. Simple.
There are a large number of web applications running in IIS under the .NET platform: http://news.netcraft.com/archives/2014/04/02/april-2014-web-...

Also, Microsoft has made some announcements recently to get on the containerization bandwagon: http://azure.microsoft.com/blog/2015/04/08/microsoft-unveils...
Yes: HOTT is an acchievement. It differs from the other items on the list, though, as it belongs to the "theory building" branch of mathematics and not to the "problem solving" branch.

In the end, the current implementation of HoTT might not be the one standing the test of time; But the central idea behind the programme is here to stay: A refactoring of mathematics. (Higher) category theory is currently the best tool to uncover deep connections between different areas of mathematics. But doing higher category theory using set theory can be compared to writing a webapp directly in machine code: Possible, but cumbersome. A top level language providing suitable abstractions is needed and HoTT is one proposal.

It can be compared to the ongoing shift from imperative to functional languages.
I think you need to justify that statement, what about type theory says that Go can't have generics?

As a follow-up, would the same logic have proved that Java 1.4 couldn't add generics?
When Reality Gets in the Way – Applying Systems Thinking to Design
Show HN: A prototype natural-language processing based text recommendation engine
Anyone have a good template / project for homework assignments that typically have code snippets, graphs, images and formulas?
Yes, we have changed response codes when the old ones were just wrong.
Like returning a 500 when really it should be a 404, that kind of stuff.

As far as start/create params, these should not be changed at all, other than that you can pass the options that you could one only pass on start to create.
If something has broken here, it was most likely a mistake and should be reported on GH.
Even if we change the underlying configuration, we do version the API and make sure we are sending/receiving the same structs over the wire.

TLDR; if something broke in the API, please report.
Guerilla Testing with Usability Cafe [video]
Doctoral dissertation in graphic novel form
The signatures can get really unwieldy compared to generics in other languages. As I understand it, the Rust team is working on this.
I'd take fog rather then rain :)
> I don't follow you, what do computed gotos have to do with threaded code?

1. Build a jump table

2. Read a bytecode

3. Replace all the instruction codes in the bytecode stream with values from the jump table (i.e., build a threaded code from your bytecode).

4. In a loop, take the next value at PC and jump to it - it's already an address. No table lookups (just once, when you load your bytecode). So it's much faster than any switch can be.

EDIT: probably you did not notice that for most of the targets jumptbl_base = 0, and an indirection is removed.
Updating is different than reading. Having concurrent reads would be a good thing.
Bitcoin Network Capacity Analysis – Part 6: Data Propagation
Atlas, the new home for charts and data
I come at the mobile 'changes everything' just in my usage of computers and mobile devices.

I still use my laptop as a creation device, mainly for your point 1 above, I do like a good keyboard and mouse, but I do like touch interactions for certain things, and I think my next 'main' computer will have a touch screen.

I use my tablets as consumption devices mainly. I love reading, and I find the iPad has a great form factor for reading certain types of books - tech books, graphic novels etc.. But I also have an 8" tablet with pen, which I love, because the one thing I still love to do by hand is brain storm, mind map and just plain sketch out ideas. It's the main thing I miss being able to do on my main PC. And I love the mobility and battery life of tablets for when I am consuming around the house or in the garden.

My smart phone is mainly just a phone, but it is also my tap of flowing information. Be it a map when I am in a new city, or a quick lookup on wikipedia to settle a debate over beers, I find it invaluable for its niche.

So maybe I don't take the view you do that they have to replace the PC, I just find my life is much enriched when I use all of them together, each for what it is best at - for example, if I am working through a coding book I find it much easier to have the book open in the iPad next to the keyboard, than having the pdf open on the second monitor. A quick tap of the tablet and the page turns while I still have my terminal focussed and able to be typed into.

And as for the billions of people coming online with cheap smart phones - I don't expect them to be shopping Amazon - but I am working on, and I hope others will be too, a way for them to get information they need, when and where they need it, to improve their lives. It could be something as simple as an African farmer checking his crops and seeing weird spots on them, taking a photo and sending to a forum of farmers, and maybe within minutes receiving info on what he should do next to protect his crop.

Not everyone has the option (or desire maybe) to be tied to their home and never have to leave. Being mobile should be a choice, then it may not be quite the bummer you think it is.
The proper way to shave using a safety razor:
https://www.youtube.com/watch?v=2IuA8HGacJw

It takes a tad longer than a three blade razor, but I've always had closer and better shaves.

I've tried disposables, cartridges, electric and the safety razor and I'd rate safety razors better than all of them.
I feel like if you work in a team of divas you don't need a test like this to tell you that.

It kinda reminds me of that buzzfeed article "53 Signs Your Boyfriend Is Really Three Children In A Trenchcoat".
Largest by mass or by volume? Inhabitable by what, Under what level of continuous exposure to environmental conditions?
`git log --no-merges` saved me a lot of headaches after switching to a pull request-based review model at work.
The iPod was a success, but the iPhone and iPad were mega-super-success. Those devices were not about music, but apps, email and Internet. Apple certainly leveraged their success with the iPod but I don't buy that "Apple makes all it's money off hardware because of music" line.
Totally is my next goal! :D I agree whole-heartedly with what you're saying. :)

I'm really glad you think it seems nice. I eagerly await to hear what you think.
First equity crowdfunding (from ordinary USA investors) is going on right now
For server operators it makes sense to toss more processing onto the client-side as it lowers cost.

The FreeNet model is just ahead of its time: fully encrypted and fully decentralized using separate apps/plugins on the client-side to make sure it's always decentralized.

One issue with client-side decentralization has been how to pass things around to other clients when your main machine/box/mobile device is off. So you need carriers/exchanges that pass them around; in SaaS the client and data are stored on one server; with decentralization the data is stored on the client and on an exchange. Instead of being a server provider, you'll be a client provider coupled with a data host and you can just outsource that to S3 or some other data host provider.
There's something i like more about lapface, though. I'm not saying it's logical, just explaining my apparent preference.

I think it has to do with the low resolution cameras, and the slower update time.

I feel less of a sense of pressure.. less of a sense of being "on". Like, in a coffee shop i'm there, but i also don't expect people to be staring at me. With a good webcam stream, i have a sense of people staring (even if they're not)[1].

Lapface seems to be designed to inhibit this tension. Atleast, it does for me. Granted, i still have it, but not as bad. I'm excited to try it later today! _(who knows, maybe i'll have the same tension and end up hating it, haha)_

[1]: My coworkers and i sync up multiple times a week as a large group via audio, and some webcams. Sometimes i use my webcam, sometimes not - but when i do, i have that sense of being tense.
Yes, I totally agree, I was just questioning the above assertion : "perfect safety is only good for ivory tower guys".
> In your phone you value excellent long battery life.

No. You and I might want a long battery life, but 'the market' has decided that battery life is way down the list, below 'look like an latest iphone'.

The market has standardized on shiny glass brick, as thick as a pancake, and tiny batteries to match. Batteries that are less than 3,000 mAh and that barely last a day, two days, tops.

If the market thought an excellent battery life were important, there would be phones an inch thick, with a 10,000 mAh battery that lasted a week instead of the latest generation featuring 8-core, 64-bit, gigahertz+ processors.

Economics always wins. Unfortunately, economics is not always on your side.
> I am curious of course and would want to "maximize" my share and rate before taking any longer engagement...

What could be more 'fair' than a 50/50 deal? You could of course learn to prospect, pitch, and negotiate directly with clients. But that process requires a great deal time and tremendous soul sucking rejection. Do you really want to do that?
great input! thanks for that!!!
And it only has access to all your bank logins, emails, passwords and more!
The point is not the existence of conventions but the correct and wise application of them as opposed to just "let's do what the internet blogs about!".
lol. You'd think if "it's open source you can fix it yourself" worked as an ideology, its heartland would be Unix commandline text processing tools.
Looks like Google took it down? I'm not seeing Hillary when I search this.
Oh, thanks you two, I totally will make double sure to say "action adventure" in the future. :)
Yes. My comment was not clear, I don't associate "perfect safety" with functional purity. Quite the opposite actually, for the reasons you gave.
Congratulations, you've turned this thread into a shit-show.
Mochizuki's work is interesting. I wonder how long that will take to verify.
Verizon closes deal for AOL
How to read a digital footprint
Interview with James Simons, Billionaire Mathematician [video]
I can't still edit, I'm terribly sorry. :/
There's nothing intrinsically fair about 50/50. It all depends on the work split. This guy is spending hundreds of hours of professional time with the client. The agency is spending an hour or two. They absolutely do not 'deserve' half the take. Get another job, or negotiate directly with the customer for a contract.
Show HN: Static-get – linux static binaries for lazy people
>Actually it was the Republican marketing machine's "southern strategy" that started that.

Or Reaganomics, or the wars they got us into, their rabid support for the military and uber-rich in our country, the list goes on.
Form Handling with Validation Messages
The 2015 open source summer reading list
Great observation, though it's not a bad thing, necessarily (assuming you were even implying that it was).

In fact, it could be a very good thing, especially if the alternative is, eg, dropdowns for type and scope, and a separate popup for editing or adding new ones, and so on.

Having the data model loosely encoded as text, and understood only by convention among humans, who can then improvise changes to that model in exceptional cases, relying on other humans to make sense of those changes even though they are "outside" the agreed-upon model, is sometimes exactly what you want.

Also, as UI for input, text is often the fastest and most efficient -- again, just what you want. Of course, you could always do string validation on the text input to enforce your model, so this can be considered an orthogonal point.

And these considerations don't even touch upon the increased complexity and maintenance costs that your tool itself (in this case, git) will incur if it takes on the burden of maintaining the data model explicitly.
UB according to the standard has no restrictions, but I think the point of these puzzles is to explain what could reasonably happen on a typical system, and why.
GenomeD3Plot – SVG based genome viewer written in JavaScript using D3
In Fargo, ND the northern lights not only were visible, but they stretched from the northern horizons, past the center of the sky, into the southern sky. The display lasted hours and were visible from the city.

I've never seen the lights before so it was an experience I'll never forget.

Also, as a note, there seemed to be some kind of "magnetic pole" just south of the center point in the sky (overhead). It was like there were "waves" that were blown from the northern horizon, and the "waves" trickled across the sky and converted into a single distinct point. That point was like a warped magnetic point, not unlike a shadow cast by shining light through the bottom of a clear injection molded plastic ball. It was very cool. I'm curious if that's a common trait of the northern lights?
I wouldn't say it was disturbing, but it was definitely cringe worthy. A lot of their blog feels that way. They've gone for an informal corporate approach like using puns[1] and memes[2] as headings. Even that video felt badly scripted; like it was meant to sound like an informal pub conversation but instead it came off awkward and unprofessional.

I'm sure their products are of the highest quality, but their blog isn't a great advert in my opinion.

[1] http://engineering.intenthq.com/2015/06/for-those-about-to-c...

[2] http://engineering.intenthq.com/2015/06/wikidata-akka-stream...
One really nice side-effect is that these commits can be used to autogenerate changelogs, which is what the Angular team does.
Docker containers are not black boxes. Every command that has run in creating that image is in its history, if not its Dockerfile. Stop spreading FUD.
> Getting your Linux computer to work right takes time but

It doesn't just take more time; once something is sufficiently difficult, it goes from incrementally time-consuming to insurmountable (for most people) -- it might as well not exist.
I tend to do this but with git add -p
The whole thing between Taylor Swift and Apple is so obviously staged. The fact that this was done over Twitter, the most shareable possible format, the "Love, Apple" bit the wording of all of it. The need for Apple to position itself as the Artists streaming service. How are we seriously talking about this as if this actually happened unscripted?

Edit: It's a common negotiation technique to add something that you know the other party will object to. Since there will always be push back it's good to have something you can sacrifice that you never really needed in the first place to appease the other side.
D3-interpolate-husl: D3 plugin to interpolate HUSL and HUSLp color spaces
How does that rate of between 2 and 8% innocents jailed compare to other countries?

It would seem to be terribly high, if you take the number of people in jail in the USA as an input and you work out the numbers that comes down to 2% of 2.3M which is 46,000 and 8% of 2.3M which is 184,000!
These annoying messages are a bad attempt to follow a bad law. But to just block these messages in the browser seems like a bad approach. The point is to get informed consent to write+read cookies from the user. One could argue that the act of installing a plug-in for this purpose = implicitly consenting to accepting any and all cookies, but that seems like a weak inference.

Given the law, it would be better to be able to pre-emptively, explicitly blanket-consent to all cookies, or specific types of cookies (e.g. analytics tracking, or saving user settings) in one's browser (or at first, before it's standardised, with a plugin).

Of course, this solution would require web developers to follow certain standards in implementing their cookie-consent-getting method. (It would have been even worse if they tried to legislate this from the outset.)
> Edit a photo? For real? With one finger?
Do you use 2 mice to edit your photos? Most computer graphics people I know edit photos with a pen (also a singular digit). The main thing I miss when editing photos on my laptop is the ability to reach out and touch it, and normally with 1, 2 or more fingers.

The main problem is the damn iPad and its 'fat finger' syndrome, but I have a pen based 8 inch tablet that I wish had more capable photo editing software, because it turns editing photos into a dream (I am not a professional, and could never get the hang of digitizing pads, I like to see what I am editing directly under the pen)
"Chomsky's theories carried an atomistic, bottom-p approach to language to it's natural conclusion. It certainly did inspire a generation of research, most of it misguided. But its real flaw was one it inherited from its structuralist predecessors. It treated utterances as decomposable structures rather than as wholes, which is how the brain treats them. From the very first the Chomskyites had to admit that no research supported any connection whatsoever between the structures they posited and what went on in the brain. They assumed that further brain research would be needed to uncover those connections. But all the brain research since then has shown that transformational grammar (and even its rivals, which I studied) bears no resemblance to what the brain does with language. So what Chomsky gave us was the foundation for the ultimate mathematical elaboration of a structuralist theory that bears no relationship to anything in nature."

-My dad (Ph.D. Linguistics, Yale - way back in the day)
A request to tweak Apple's music contracts that amounts to a rounding error on their quarterly profits is not exactly analogous to requests to change Apple's software platform strategy (which the OP leaves annoyingly vague).
How an ATX startup is taking on Nike, Under Armour and lululemon
What's the point of having a pop-up that tells you "this site uses cookies" when tools can tell you exactly that without the webdeveloper's having to make a single modification to the website?
You're correct and this may be why we see all of these people who say "I have a great app/website idea!" and then do nothing or look for developers to implement their idea. If the barrier to entry is lower there would be more people trying to implement their idea.

It's not enough to have a compiler, we need a simpler scripting language as well so anyone can create throwaway web apps. We need a Tcl or Perl for Android and iOS.
Fabrication improvements.
I confess that my first hope was that it was some kind of klein-bottle glassblowing robot bodged togetehr out of bits of scrap wood and insulated with glass-fibre.

The reality was almost as good though, it's a cute little forklift-bot, and appears to work really well for his use (although I suspect if he started stacking boxes on top of each other it would get a lot harder).

So, who's going to kickstart Kiva for your attic/crawlspace? :)
Isn't it the entire fact that the Web uses plain text for everything from html to css, to javascript and json, that contributed so enormously to its success?

Suppose HTML had been a binary format. Would it have gotten anywhere near as far?
Pull request failed ingratiation testing.
Unless you get a government that blows a hole in the budget with stupid, wasteful spending.