skysight-inc/HackerNews huggingface dataset:
>I do like the idea of a tag-based filesystem though. //

Ditto, I use tags heavily for web content and photos and would love to do the same for local files.

Seems that it might be possible to overload soft-links to do the job - create a hierarchy of tags and then put a soft link for each file in the relevant place. That way you could use current filesystems and filemanagers whilst you develop the concept and apps.

Someone mentioned file searches in Ubuntu (using Baloo) but the default file manager needs to have an interface to apply tags as a MVP og file tagging.
How did you write out the number? It's 10307545155701210591839 digits long.
You should visit some farms. Back in the 1800's agriculture was 80%+ of jobs. With the end of slavery and the evolution of machinery that number dropped to <2%.

Where was the economic implosion when automation took over agriculture?
Apple is the one named company that refused to comment.

"(Samsung) SDI, told Amnesty it doesn’t do direct business with the major Chinese suppliers mentioned in the report and that they aren’t in its supply chain."
I'd have no problem calling Armadillo a hobby company, they never had any paying customers (I think) and never produced anything of practical value. Not that there's anything wrong with that.

I'd personally say SpaceX fit that category through the Falcon 1 days, but moved past it once they moved to the Falcon 9. YMMV.
I mean, unless you live under a rock you have to realize that there are a lot of complex non-trivial apps that run in languages like Python, JavaScript, and Ruby.
What is the claim exactly? Ruby/Rails is bad because ... too much magic.

I think this is a false claim because.

1. Rails is easier to learn than most of the things mentioned above, so not magic

2. It's perfectly reasonable, and good, to build on top of and leverage things that you haven't taken the time to learn intimately.
It's a threshold I guess. My formal proof teacher said he thinks in type checking unification all the time. To him a program is a proof tree construction.

With time the way I approach code is also much more and abstract. You look at diagonal invariants more than code itself.
I also think the simplicity of tablet/phone UI's is not applicable. There's always a trade off in design; you cannot make one UI good for everything. As it stands, the desktop UI is a bit too complicated for simple app/game/media consumption. But similarly the tablet/phone UI is way too simple for most desktop applications.

Tablet applications literally do less so they don't need as complex of a UI. You can't take that simplicity and apply to more complex applications.
I find it relieving that people were already bad at punctuation 88 years ago.
Very Useful. Thanks!
That supports some of my guesses in my comment with a lot of context. Especially the government contractor part. Had anyone asked, I was going to reference Mills as an evolutionary step as well. I'll read the rest of it later.

Thanks for the paper! Getting many mental gaps filled in on our history this week. :)
Macros generate code, any code you want, including inline assembly if the scheme supports inline assembly, if not no.
my truck runs on five of the six cylinders available to it, and shakes like it does. Holding the steering wheel with my left hand means I hit step goals like crazy.
> I would personally kill for better mouse integration in i3 (which I use on all my daily-use machines), and I would be extremely happy to augment it with touch screen support (which I would largely want to use for tile manipulation).

This sounds interesting. Would you care to elaborate?
Sometimes (performant) SPAs provide a better user experience than regular views strung together with Ajax/jQuery. But otherwise, I agree. Rails and jQuery were probably the first truly "nice" APIs I've used in programming, and I still get quite a bit of enjoyment from using them, to this day.
I'll get back to you once I find a piece a paper large enough to write down the 10 sextillion decimal digits.
Friend of this team. They're using PaidAPI.com (yc alum) to warehouse all invoices, so no SSL needed on static site.
That only hides the pid directories of others users, and indeed on my system remounting /proc with hidepid=2 I'm still able to see the same values for kallsyms. Maybe your kernel is compiled without the CONFIG_KEYS=y option? (I'm spitballing here).
> I don't believe your comment was intended to be constructive at all.

You may have a different assessment of the candidate's potential value as an intern. The parent clearly stated "Here's feedback as to why I'm not sending this website to my studio lead to schedule a phone screen with the designer".

Making assumptions about the parents intent provides no value to the discussion.
Trello hits 12M users, launches Power-Ups platform
If you can code quickly, then the effort required to refactor previously written bad code is lower. I.e it is not that you can type faster that matters, it is that you can fit more change iterations in the same time frame. And many times multiple change iterations are required because you can't see beforehand whether a particular refactoring will be a net positive or negative.
Because we are already using Consul we went with Vault. We are using it in a POC type setup now (only for a few services/scripts) but so far it's been pretty easy to work with. The API is fairly easy to use outside of the fact that there is no search function (or wasn't last time I checked). The documentation could be better but since it's a public project and I haven't submitted anything I'm not going to bash that :)
The fact that it's a single binary is another thing we liked. just drop it out somewhere and run it.
The KGB, the Computer, and Me
Not an expert, just the result of a Google search:Fuel has roughly 100x better energy density than lithium-ion batteries(both in weight and in volume), and batteries improve pretty slowly. Before take-off , the weight of fuel is 25-47% of the aircraft's weight.

And since the propulsive efficiency of a jet engine is relatively high(rough search gives 45%-80%) an electric engine doesn't buy much here.

So this isn't really a question of money, but basic limits.
Yes, it did cause a massive dislocation. And it isn't over yet, people are still moving to cities.
> You can declare structs as static in C and provide public helper functions that internally create data types, apply other static functions to them, and the produce results from them.

You can do that, with training and careful effort. But it was a design flaw that you have to do it manually, and that it isn't mandatory and trivial for even beginners to do. At the time C was "designed," this wasn't necessarily known to be important. We have no excuse today. But languages which do this wrong by default are still popular.

> In Haskell, it's very common to avoid exporting value constructors for data types, and to instead provide helper functions that allow for the implementations to remain hidden from anyone using the module.

In general, if calls require knowledge of type information at the call site, and the type needs to change for any reason (which becomes more likely as type annotation reaches further into program semantics) then all the call sites will need to be updated, or there will be an error.
In any published library, this means backward compatibility is completely broken and everyone else's code needs to change.

This is a misdesign in C and in a number of "statically typed" languages which crib from it.

> you'll see a huge block of assert statements right at the top of a function definition,

I almost never see this. The only time I see it is when a dogmatic true believer in the ideology of static typing writes Python. People can do stupid things in any language.

> this isn't a problem and even is a huge benefit because it doesn't require the huge, human-error-laden block of asserts to achieve it.

Humans are still required to provide type information, which means they can still make errors. Even better, correcting these errors often affects the interface at call sites, which means the fix has to break backward compatibility.

> so you burnt maybe 30 hours of computational effort just to be told that upon hitting a certain point in the code, here's a TypeError.

You were not reasoning correctly about your code. Proper testing should have been your safety net, but you weren't testing properly. If you are even vaguely trained and you are even vaguely trying, writing code which emits TypeError in production takes some doing.

The number of shops which never have problems in production is vanishingly small in ANY language.

It sounds to me like you got started in Python, and are identifying beginner's mistakes with the language itself.
Heck, Idris can in some cases write code for you based on solving the types you provided.

Powerfully-typed languages also work much better for structured editing.

http://docs.idris-lang.org/en/latest/tutorial/interactive.ht...
Ask HN: You're building an app in 2016 – How would you let users login?
1. Facebook Login (or other social logins)

2. Phone number with SMS code

3. Username/pass

4. Email/pass (Email will need to be verified)

Would like to hear people's opinions. Assuming the app doesn't absolutely need Facebook's social data, all the options seem viable with different pros/cons.
He recently responded to a comment saying that his boyfriend was the one that broke it off.

Narm No: "@iamkoby Who initiated it?"
Koby: "@NarmNo he did :("
Great points. I guess the pdf being called waterfall threw me on that part. Maybe we should call his the Royce model instead, eh?
You need to watch the Fantastic Contraption Twitch streams. Social VR.

http://www.twitch.tv/colinnorthway/v/34121601
I wouldn't say I'm stuck on the JVM, I actually prefer building web apps with Grails.

Grails may have a small community, but it makes Java web development really sexy. And I write 50% of my Grails code with Java. Groovy is ok, but I prefer the excellent IDE support I get with Java.
Autonomous vehicle reports to CA DMV
> But the best part is the unit tests. They run so much faster with Go that I don't get distracted waiting for them to finish, and that keeps me in the zone and much more productive.

You're describing a problem specific to dynamic languages with slow implementations (Ruby, Python). Languages like JS that have optimized multi-tiered JITs such as V8 will essentially run your unit tests just as fast.
I would love to get a report from someone with a lot of Erlang experience.

Erlang is a great example of an industry oriented dynamically typed programming language.

But... they recently, maybe more 5 years ago now, went to a lot of trouble to integrate a really nice static type system into it. They also had a type analyser, dialyser, for a long time before that.

The impression I had was that some significant number of people experienced some dynamic typing pain and a lot of effort was put into reducing this by strengthening the type system.

I am just a part time Erlang hacker, so I will keep out of this debate. But I would love to hear from anyone who experienced this in a professional development environment.
This looks like something out of the design team for Windows 8 (in both good and bad ways). It is visually striking, a dramatic simplification of what currently exists, and it makes several assumptions about the real world of what app developers need and how they can plug into OS-provided UI surfaces. One of the most painful learnings for Microsoft with Windows 8 was that overly-standardizing things like content sharing and tagging leads apps into situations where the affordances don’t work.
Pmu tools: tools for profile collection and performance analysis on Intel CPUs
At 1:00 of the video, he says "In my document I want to make a sentence bold, so I just select it, and then just click..."

But he doesn't explain HOW he selected the text. Since there's no mouse cursor, I have no idea how he just did that. A glance doesn't seem to be sufficient since it requires movement and intent.

https://www.youtube.com/watch?time_continue=71&v=9WZVPM-zZWM
The therapeutic index of opiates narrows continuously as addiction proceeds. Users have to skate closer and closer to dangerous levels to reach the same level of intoxication.

While dosage, purity, etc may possibly make the drug more predictable, fundamentally it doesn't matter which drug your cousin was taking. The longer he remained addicted to opiates, as a class, the greater his risk of death by overdose.

You have to be an anesthesiologist to administer fentanyl not because handling it safely is so difficult, but because managing high opiate tolerance is extremely dangerous.
Keep in mind for the vast majority of human existence thus far, humans sometimes just flip their shit and become untrustworthy. So some percentage of humans always expecting this from everyone is probable. So which is the mental illness, expecting a fellow primate is or will become bezerk, or that fellow primates non-deterministically do in fact go bezerk?
Does he mention performance? (I havent watched the whole video) That would be the biggest reason to go for C++, say, for me, as a game programmer.
Also (once again) this is a very webapp developer orienteted talk, stuff like "stringly typed programming" and "all we do is put string in http requests" ignores all non webapp devs.
Any idea how long the tax "credit" against the loss is in effect for? ie if I take a loss of $100k this year on my options and make a capital gain of $200k in 10 years time can I offset that gain w/ the $100k loss?

Will speak to an accountant either way but keen to hear your perspective.
You say cherry-picking, I say baseless assertion without a shred of evidence. Potato, tomato.
I teach programming at the middle school level and am planning a Minecraft event and some pilot classroom activities around it.

As I've researched what the whole Minecraft in the classroom thing is about, I've found a few ways it is being used, but they all boil down to making the learning experience more engaging to more students. Make it fun and the students will tear off and learn more better faster.

Some activities very directly support the curriculum, for example teachers who have made activities where concepts from quantum mechanics, newtonian physics, and life sciences have made working models in the Minecraft world where students can experiment and more directly experience the details behind these concepts.

Some are just virtual worlds where you can be a virtual tourist and learn about a place or time in history. There is one where you explore Boston during the time of the Boston Tea Party for example, and you have to talk to all of the NPC characters to learn facts you will be tested on later.

Some are very computer-science focused where students make their own mods or just use scripting languages to automate structure creation on a larger scale.

All of these could be taught using more traditional methods. For some learners, just telling them to read a book will be the highest throughput/most effective learning method. Those kids are going to do fine regardless. These new gamified virtual world methods of introducing the material may slow things down for the learners we historically see as highly capable learners, but they promise to engage and light a fire inside some of the other students who otherwise might get left behind.

How much you should or can tailor the experience for each audience is a challenge I face all the time. It isn't easy as every decision seems to involve improving the experience for one segment of the class, usually at the expense of another.
The largest known living flying insect is a species of giant dobsonfly native to China. Wingspan 21cm.

The largest known flying insects from the fossil record were about the size of a crow. Meganisoptera are sometimes called griffinflies, with wingspans up to 71cm, length 43cm.
How Calculus Hinders the Global Economy
Hi! It was a few things, but a while ago so can't remember all of them. An example was creating a migration. I had to rely on a blog post from about a year and a few versions of Phoenix ago to get the Cli commands just to add a column to a table. Appreciate now that it is probably in the ecto docs, but that's not really made clear anywhere and even then I didn't find them easy to navigate.

Your docs in general are pretty good and comprehensive, I just felt like a few obvious things had been overlooked.

Might just be me though...!
Syntactically, Go is less lenient than Java, C#, or most other freeform languages, due to, for example, automatic semicolon insertion.
Yep. I didn't phrase that well - it caused dislocation, but not permanent unemployment. Society adapted, and new careers came into being that couldn't have existed when we were devoting all our human capital to manual labor on the farm.
You shouldn't have been downvoted. I was in a fully automated "lights out" factory producing PCs. Big trucks came up to the doors where the components (produced by robots in other factories) were unloaded by robots and passed from robot to robot until the entire machine was assembled. Once fully debugged, the entire factory was moved offshore to be owned by a group of the executives who would be able to sell to the company and hide all the income from taxation (the group included executives from "competing" companies to avoid any legal issues of "self-dealing".) So the billionaires made more billions by selling at high prices to our society while hiding their income.

I should add that they didn't automate boxing the computers, so that they could have a few people work each day doing boxing. We used low-cost humans (with degrees!) to box just to double check to make sure we were running the right products as scheduled for the factory. We could have automated that, too, but people are cheap. (Contrary to the beliefs of many, we more often stopped automation projects due to workers being too cheap to bother replacing, not because it was too hard to automate the job.)
"We're gonna party like it's 1999 ..."

I guess some things never change, oy vey
> Did it cause a massive dislocation and unemployment when 90% of the human population was more or less replaced by machines?

It most certainly did. I'm not that familiar with what it looked like among laborers and displaced farmers (the Luddites come to mind, but they're too early); but this had a disruptive effect all the way to the top. Look at the long English tradition of hostility to the new world of manufacturing (William Blake, H.G. Wells, and J.R.R. Tolkien immediately come to mind); or read Fritz Stern's _Gold and Iron: Bismark, Bleichroder, and the Building of the German Empire_, which discusses at some length how the new, low-margin agriculture ruined the German aristocracy.
I never said Go was perfect. Go needs to have much better debugging for my tastes.
Cool app! Why wasn't this idea thought of before.
I agree that studies of the form, "How long does it take to implement some app A in language X" are asking the wrong question.

I thought we all knew and agreed that the difficult part of most applications is maintenance. How does static or non-static affect a new hire's ability to get up to speed and support an app? How does it affect long-term maintenance, refactoring, adding features, and fixing bugs?

I'm not entirely sure how to answer that question, but I'm not convinced that controlled studies will point to an answer.

It might be interesting to look at corporate metadata and try to find how how much companies spend over the lifecycle of an application on the whole development and maintenance of a project. See if you can find projects with enough similarities to warrant a comparison and compare a Java app with a Python app. Probably impossible, honestly.

I don't have a strong opinion on the matter. In my experience, th e design and leadership of a project have a far bigger impact on the ease of development and maintenance than the type system. I've seen very large but very elegant C# programs that were a pleasure to work on and maintain. I've seen Python web systems that are an absolute nightmare to work on and reason about.

Probably most people here have experiences going both ways with different type systems. I blame the developer for god-awful messes and praise the developer when I see clean, sensible code. I never blame the language. Except for JavaScript. I will always blame JavaScript. Hell, JavaScript is probably what's really causing global warming.

In general, a clear head and some discipline count more for code quality than any type system, and the lack of either definitely does more damage than any type system can.

But I'd go along with the idea that statically typed languages force more discipline on younger developers who haven't yet got the experience to even know what clear-headed ness even means.

Working in C# was a great experience for me coming from a self taught Python background, no question about it. It also improved and helped me structure my Python code, and becoming better at designing good Python code in turn helped me write better C#.

There can be a virtuous cycle in working with different languages and type systems.
I think this is the best objection I've seen to what could otherwise be a pretty cool idea to try and refine.

The answer to designing complex, professional-level applications in that paradigm is "make it fullscreen, and use a keyboard and mouse". Tablets just don't give you the precision and screen space to work with extremely complex tools.

I think Windows 10 actually manages this well. I'm using a Surface Book, and despite its various issues, this tablet/notebook hybrid actually works quite well. Plug the screen into the base and I have a full blown, high res screen with a keyboard and dedicated GPU for my coding/Photoshop/Blender. But if I just want to consume, I can pull the screen off and sit on the couch.
It looks like it's "hard" to do correctly, so TMSU doesn't do any magic but will try it's best through the "repair" command:

https://github.com/oniony/TMSU/wiki/FAQ#why-does-tmsu-not-de...
You need Google Analytics alerts but with filters? We just released that
I still regret the death of Strongtalk --- a gradually typed Smalltalk variant.

It gave you dynamic types, when you wanted them; and Smalltalk is pretty much the most dynamic of dynamically typed languages. And it gave you static types, when you want them; including proper parametric types and polymorphism. So you got the best of both worlds.

http://www.bracha.org/nwst.html
Largest prime number yet discovered has 22M digits
make sure you have privileges to read that file. I ran grep without sudo and got that address on Ubuntu 15.10, but with sudo it will display an actual address.
You cannot program effectively unless you understand the syntax and semantics of the data representations you are using, and when you do understand those things, perhaps you are unlikely to make type errors in the first place.
That's the divisibility check for 3, yes, but I am pretty sure fdej didn't write that number out in decimal. The proof doesn't work with exponents. You'd have to represent the number in base 10 for digit summing to work.

To check, 2^6-1=63 is divisible by three (it might work), but 2^9-1 has a sum of 12 and a value of 511, which is not divisible by three (it's 170 * 3 = 510 + 1).
Honestly looks like a phishing site.
I want Gaze recognition now. Where can I put my money? lol
My question is: what evidence did you use to determine that the design of the website is the bottleneck for growth?

If it's not the bottleneck, then $10 is too much.

To get sound evidence that the design is the bottle neck the expertise for such determination is probably an order of magnitude more than you are looking to spend.
Yeah, they lied to him, stalled, avoided him, in the end told him "he could spend an extra $20K for the car he wanted", after he'd put down a deposit. At least after that, they "agreed" to refund his deposit.
Some believe that reduction of farm labor was the underlying cause of the great depression.
Thanks for Datafun where can I start to learn more about the syntax you are using on the README.md?