skysight-inc/HackerNews huggingface dataset:
My take from the abstract of Dedalus is "and adds an explicit notion of logical time to the language"

If you're interested in building a tool that relies on distributed communication and data flow it makes sense to bake a notion of logical time into the the system. Boolean logic has no notion of time. If you propose x != y say, you could be saying that throughout the lifetime of the system x is never equal to y or you could be comparing x to y at this instant in time. It depends of course if these are constants and/or variables.

Type theory shows that different logics map to different type systems so what may be holding programming back is that the logic of a system is not _dynamically_ selectable as the system evolves. Most (all?) programming languages have a simple boolean logic, mutable state, and just tons and tons of syntactic sugar on top of that. Obviously languages like Haskell and Clojure are more advanced (algebraic data types in the former and immutable data structures in the latter) but they still have a fixed/static way of being in the world if you know what I mean.

Natural language shows us that humans use many different types of logic contextually. Logic is not monolithic, maybe Eve is an admission of this?

Sorry if this makes no sense, it's just a hunch that's been percolating for a while.
Knowing if your application's dependencies have released security patches isn't just valuable, it's necessary. It's very painful and time consuming to monitor email lists, websites, RSS feeds, and GitHub issues for relevant information.

In my opinion, providing that information in a timely and actionable way, such as telling me when and how to update, is a useful service. When looking for a solution for Python applications I found https://requires.io/. It's a clever implementation since it reads a requirements file and is therefore easy to "deploy" and get immediately value from.

Your marketing leans towards 0-day protection. The challenge is doing anything actionable with knowledge of a new 0-day. Unless there is a patch available, which implies the discloser worked with the project/vendor, or a known workaround in lieu of official patch, how is your service doing to help?

What's your plan for supporting more operating systems, languages, and ecosystems? Are you curating information about security disclosures and software releases, or simply checking if newer versions of packages are available?
Secret in negotiation is like source control in software development. It is universally recognized best practice.

Its not secret:

http://corporateeurope.org/international-trade/2015/07/ttip-...
Yes, but they now share the same microarchitecture. s390x is mostly a difference in the microcode.
You can roll up this screen like a yoga mat
If you just need some API client libraries then you can compile most modules separately[1] e.g. Ads, Analytics, GCM, etc. This makes Play Services actually usable without multidexing.

[1] https://developers.google.com/android/guides/setup#split
Also, as I understand it, it's not particularly easy to interpret the results beyond "there is something there."
Instawork (YC S15) wants to change the way that small businesses hire
Not quite catching your point - if you set your min sdk to android 5.0, you will remove 43% of your users. That's kind of the problem.

Luckily, Android has a great compatibility library so you can still use many of the new features.
IANAL, but it might qualify if it where given without warning. As in sign this in 5 minutes or walk out the door. Though adding these out and giving someone a few days to sign or simply adding an effective date in the future would not qualify as duress.

Case in point people in some states are given a day or two to back out of a new car sale presumably due to high pressure tactics used at dealerships.
TPP's Copyright Term Extension Isn't Made for Artists–Its Made for Big Companies
I assume part of the training is how to locate the right stuff to cut to shut off the high-voltage connection? Have you ever had to do that in practice, and if so how hard is it on a car that's been mangled?
Except...

The Importance of Dietary Carbohydrate in Human Evolution

http://www.jstor.org/stable/10.1086/682587
"Every review I hear about working at Google makes me want to stay away"

I loved working there. Sure, who your boss is has a huge impact on your happiness. I ended up with a boss I enjoyed working for.

Does that review make you want to stay away, too?
Can anyone with more knowledge of solar technology speak to this?

I know nothing about solar technology developments. I am interested in adding solar to my house some day, but concerned about spending a lot of money today for solar panels that will either (a) be much cheaper in 5-10 years, or (b) be replaced by much more effective panels in 5-10 years.

Assuming that the economics of it are the only motivation for going solar, and that with current technology and pricing the panels pay for themselves only after ~10 years, am I better off waiting a few years to get more efficient/cheaper panels, or is it unlikely we'll make significant advancements in these areas, and/or do current government incentives (which may be ephemeral) make up for the advantages of future tech?
Deep Dive: Why We Need Venue Reform to Restore Fairness to Patent Litigation
It's to help people whose main or only access to the web is (smart)phones to learn how to make web sites. There is a Webmaker program for desktop browser users already. A combination of tools, documentation, and curriculum as I understand it.
What's the difference for you , between leasing and buying ?
Hardware Guide: Neural Networks on GPUs
Can anyone versed in Loglan with some familiarity with Esperanto give me the benefits Loglan has over Esperanto?

It seems more complex in grammar with more difficult consonant clusters, at a glance.
Generating enough PV power for US electricity needs is easy. Covering a few square miles in Arizona with PV would do the trick. But storing and transmitting that electricity is damn difficult.
On the other hand, laptop is a 2011 model and I'm not allowed to upgrade until next year. My desktop has a "huge" 1 TB drive in it that I had to get my manager to approve, because Amazon apparently doesn't work with large datasets, and the desktop is just barely creaking along.

And I know what you're thinking. "Well your stuff is old, so you could obviously go in and get an upgrade!" Nope, went in the other day, literally, and was told I had to wait another year.

Frugality is absolutely widely misapplied at Amazon. Nearly every developer I've met that has been at Amazon for more than a year is dissatisfied with the hardware policy.
After reading all these threads it's becoming more apprarent that AWS is a different animal than the rest of Amazon, especially the marketing and sales arms where the real pressure is.

But, this being HN, we see a disproportionate amount of AWS engineers chiming in going "hmm. everything's cool here."
You'll see a pull request from me soon. I'd much rather contribute than write my own from scratch, as I had planned to do before I saw this.

Edit: to elaborate, the layouts are generally fine, you just need fatter sliders and more space between the buttons.
Works fine here with a French IP address.
Tell HN: Full Collections of Free AWS Certifications Courses
The Amazon:reInvent will soon be here (Las Vegas, October 6 -9)
Just in case you, guys, want to get your AWS certification at the event I made here a full collection of free courses about AWS Certifications you might be interest in.

Have a look and pick up yours:

- Course: AWS Solutions Architect Professional Level Certification: Part 1 of 3 (https://goo.gl/6ArUJR)
- Course: AWS Solutions Architect Professional Level Certification: Part 2 of 3 (https://goo.gl/fj2QvQ)
- Learning Path: AWS Solutions Architect - Associate Level Certification (https://goo.gl/98LW4J)
- Learning Path: AWS Certified Developer Fundamentals (https://goo.gl/MsYhkp)
I do active blocking. I permanently allow any application that I can trust. For example I will allow chrome to connect permanently. But if it is some cryptically named service trying to connect I will block it permanently. After an initial approval stage you do not see too may popups for approval.

But I can see how this can be a disruptive process, when all you want is some work done. I wish we lived in a place where I did not have to use tools like this.
Presage is great, but to clarify some other comments - it doesn't involve any specific dataset, like SwiftKey - it simply does nice smoothed predictions when given a large database of n-grams (groups of words) and their frequencies. It's fairly easy to chop up a corpus into n-grams using NLTK or other tools, and there's a good port for Python called Pressagio.

My startup Spoken - http://spokenaac.com - uses n-gram predictions to help users with aphasia or other language disorders speak. The user interface challenges aren't quite as intense as Stephen Hawking's binary input, but it's an interesting field if you're into design and big data.
Derivative work can be great, sadly lazy derivative work comes off more as theft but in the art world it's a blurry line. [1] [2] [3]

Lazy (creative) work seems of no higher quality than lazy work utilizing premade bits. Bad code made from scratch, a bad song written from scratch, or a bad sample based song...

Examples of pure sample based musicians:

Kleptones: http://www.kleptones.com/pages/downloads.html

Girltalk: http://illegalart.net/girltalk/shop/index.html

[1] http://99designs.com/designer-blog/2013/04/19/5-famous-copyr...

[2] http://www.theguardian.com/books/2008/feb/09/art

[3] http://www.bloomberg.com/news/articles/2015-06-17/richard-pr...
It does..?

That must be Google Analytics. I don't even store emails, yet.
The founder of General Assembly now runs a rave startup
If there's one thing I am finding is that people of every generation are nostalgic to video games (in particular) from their childhood.
>And 57% of our demographics are on 5.0 or newer, with 19+ covering over 80% of users actually using the app

You must have a very unusual user base! We have 11.6% using 5.0 or newer, and apps in our category (Communications) have average of 16% using 5.0+. Our largest user base is for 4.4, at 49%.
Helped me determine that no one is doing what we are up to at my startup. First to market as far as we know. Platform launches on August 30th but you can sign up early at http://www.joinjune.com if you want to be assured of being in the beta.
Stanford engineers develop wireless device to stimulate nerves in mice
It seems like this might be a good fit with what Sandstorm is doing (making personal servers easy to use). Even if I'm writing a program for myself, I still want to access it from multiple computers and share the results.
No T-Shirts, really?
I found the same thing. The best blog-like sources I found are livestrong.com and whfoods.com.

By far the best source of info I've found is http://ndb.nal.usda.gov/ndb/search/list which is a database of all foods, even pre-packaged ones.

And this is helpful too to know daily intake recommendations:
http://www.nal.usda.gov/fnic/DRI/DRI_Tables/recommended_inta...

I had no part in this app, but have used it too, and it's based on the gov data from above: cronometer.com
I knew I'd read something on the subject. Brad Cox, in his book "Object Oriented programming", discusses the influence Smalltalk-80 had on how he designed Objective-C, when he was creating it.

From the opening of chapter four, "Objective-C implements the dynamically bound style of object-oriented programming used in Smalltalk-80 as a set of extensions to a conventional base language, C."

Smalltalk-80 gets a lot more discussion, and there is a lot more about the influence of Smalltalk-80. My copy was printed in 1986, when the programming world looked very different, but from his own words it's pretty clear that something of Smalltalk is very much in Objective-C.
I'm slowly and intermittently reading rands's book Managing Humans.
This makes so much sense, after learning about Relay/GraphQL I was wondering who else was working on something like it, it appears Netflix is one of them :)
The only mechanism I'm aware of that truly allows anonymity over your own connection (or a connection that can be tied to you) is onion routing. On top of that, you must do it from a separate device or isolated VM to prevent hardware fingerprinting.

Anything less than that is like using snake oil crypto: it might make you feel good, but it's not really there.
Hard Drives Fail – Here Are 5 Stats That Prove Why You Need Backup
Do you have any thoughts on how automated tests would work in this world? You mentioned email filters and responders in the OP, and I remember that everytime I start creating filters I quickly hit a point at which debugging or changing them becomes fraught.
Yes, but at this kind of multiplier only in the case where the entire test is 100% cache-resident on one CPU and spilling on the other. Crypto stuff tends to have small working sets, so my intuition is that it's got to be something else.
Sweet! Yeah, let me know if you have any questions about the helper components as well, its the first time I have done something like that!
The Poetry Network
Non-compete != NDA, though the same logic would apply to that.

Non-competes are much more sinister than NDAs.
QVC owner to acquire Zulily for $2.4B
Gotty – Share your terminal as a web application
Press P for additional options
In Defense of Not-Invented-Here Syndrome
21,460 sf building for lease in soma
Restaurant means different things to different people. To me, I do not care if a fast food establishment (McDonald's, Qdoba, Panera, etc...) replaces workers with robots. The food and experience already feels autonomous and disconnected.

I do not see robots replacing servers at non-fast food places for a long time if ever.

They bring up grocery stores but I think most employees, especially check out clerks, will be replaced by machines. As much as I love to talk to the older person about their grandkids while they, slowly, scan my items I would be OK with dumping my items onto a tray and having the machine do all the work. Almost like self checkout except for a robot replacing me.
I understood some of these terms.
Doesn't support opacity, but this one does now.
I can confirm that Upwork is an unmitigated disaster. As someone trying to get started and hire a contractor, I couldn't figure how to do some very basic things. It's truly mind-boggling how bad it is.

Everyone involved in the design and programming should be placed on some kind of industry Do-Not-Hire list.

> the only reason anyone's still using them is the lack of a better alternative

That, however, is not true. Freelancer.com has been around forever and is much better. (By which I mean it's functional — a vast improvement over Upwork.)
I'm sure I'm not the only one thinking about how to play this as a villain, without completely shitting all over the game and other participants.
So this situation happened to me in 1996 in Texas a right to work state.

1.) My boss came and asked me to sign a non-compete after learning that I ran a similar business in another city after 3 years of working for him.

2.) I was not competing as none of my customers were his customers. My business in Houston. His in a small town 60 miles away.

3.) I went to a lawyer and asked if I had to sign and if this non-compete (said I couldn't work on any computer in Texas within two years of termination) would apply. Lawyer said it was ridiculous and while it wouldn't hold up in court he had the right to lay me off for not signing it.

4.) I refused to sign on principle and was laid off. I went to draw unemployment and he fought it. I was granted unemployment but, quickly found a newer higher paying job anyway.
Mattress stores want to rip you off. Here's how to fight back
Overall a nice meditation and certainly all round good advice. I keep coming across this idea of the loneliness of leadership though. Perhaps necessary to the mood, I submit he skipped over the hard part.

The loneliness of leadership, to me, is quite different from solitude. I have felt most lonely when I'm most busy. It's a sense that there's no one left to help. You've delegated everything you can, you've set aside everything you can, and still the work keeps coming in, often from people who depend on you, not necessarily outside sources. This is where you realize maybe you overcommitted on a few things and you start wondering if maybe the straights got it right: maybe pursuing that new idea wasn't worth it. Just keep things going.

That's when you realize this leadership gig is harder than it looks. In your office at 1 am on Sunday when there's no one else. Maybe Steve Jobs wasn't so crazy calling people at oh-dark-thirty.

By comparison, solitude has come to me almost as a reward, a gift from others who commit to letting me be alone long enough to get some thinking done.
Yes! This is a great niche for them to tackle with better tooling.
So, this is definitely a clickbaitish headline, but things you should know:

~30 states agree that non-competes can be imposed after the fact and without anything additional being given to you.

~9 states say otherwise.

IE this is a pretty standard ruling.

Next i think y'all are gonna learn that you basically own nothing done in your own time when you work for large diversified tech companies.
;)
Irony starts at the top.
Are you worried about privacy? Are bookmarks an attack vector of any kind? Or am I just naturally paranoid about these things?

I've always been wary of who can see my bookmarks, but not for any particular reason. It kind of reminds me how US libraries are vigilant to shield your checkout history from government searches.[0]

[0] An ongoing issue in the age of the PATRIOT Act. http://sfpl.org/index.php?pg=2000060501
The Marketing Stack for Growth Marketers
Nowhere, but some people call System I/(A/400)/I-Series a mainframe. It's midrange, but people call it what they call it.

Anyway, IBM i and AIX run on the same hardware. They used to be called System I and System P. Now it's just Power Systems.

Maybe thats what he ment.

Or well, come to think of it. There is a UNIX side to z/OS itself.
Billion laughs
Show HN: Linkas.io – Comment on any page
what time is it anyway?
The answer to the title question is clearly "no" given they are looking to train the elite of the elite.
And again with the ridiculous analogies.

It's really difficult to have a serious discussion about computer security vulnerabilities when people keep comparing it to throwing rocks through windows or weapons of mass destruction.

And yes, it's relevant, because the severity of a problem can and does influence how problematic various approaches are.

This is a local root exploit. Those are common and not generally problematic. The barrier to escalating from a normal user to root is at best the absolute last line of defense, and often completely irrelevant. It's a problem that should be fixed, don't get me wrong, but the severity is about 2 out of 10.

The fact that I think it's not a bad thing to release information like this has no bearing on what I would think about releasing information on building a suitcase nuke from household ingredients.

Could we try to keep the conversation grounded, here?
Time for a Speccy vs Commodore redux I think. Two tribes....!
> I think singling out vegetarians is pretty unfair, even if it was mentioned in the paper.

Heck, just the starting to think about what you put in your piehole that vegetarianism forces people to do would immensely help with food-related health issues in places like the U.S.

I'm not a vegetarian, but it's glaringly obvious vegetarianism isn't the cause of the majority of the food-related health issues today. As another poster put it, you generally cook/eat what you grew up with; how many people think fresh fruits and veggies are "too expensive" or cooking is "too hard" because they've been raised on fast food? Even if you look at more vegetarian friendly and offbeat sites like E2, they have articles with titles like "a vegetarian dish that isn't just another bowl of brown gack".
Very helpful insight, thanks. To summarize - the value added services of billing, monitoring and dispute resolution make it worthwhile for the contractor to use the service.
Oh, they're past the Revolution, they've moved on to the Genesis. Seriously, Eve ?! I think they should change their motto to "Humanity, reborn"
Do you have any ideas on what changes could be made to make it less of a race to the bottom? Charge a fee to post jobs? Enforce a minimum $/hr?
It makes sense, I think :)

Hickey's ideas about time and state are also pretty relevant - http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hic...

One of the things we are still working on is expressing non-monotonic logic nicely (things like "birds can fly, but penguins can't, but Harry the Rocket Penguin can"). It's unpleasant in standard datalog but I think we can provide a nicer interface.
Bad actors should have their rights taken away. That's just normal society and has been for thousands of years.

Now, pre-crime is what's going on here, and that's not going to end well.
They really need to get Florida mapped. Florida is a great candidate for solar power, but the state government is pretty clearly in the power utility's pocket and they work to make it very difficult for solar providers out here.
I don't think it's particularly hyperbolic to say "everyone" even if you actually don't mean to include people who are trying to harm you. That's generally assumed.
Yes but have you had a marketing and a sales person and a business exec throw random logic and rules into the mix? That's the hardest part; integrating seemingly random or subtle business rules into the reporting or applications.
Mapbox adds running and cycling routes from Runkeeper to its mapping software
Yes, I care about privacy. That's why I want my shared bookmarks to live on my own server, not on delicious or Google Drive or whatever.

If they are encrypted before they leave the client so much the better. I would consider that a hard requirement for the passwords, so might as well do it for the bookmarks too.
Announcing Buildkite Agent 2.0
And, for good measure, Philip Glass's "Akhnaten" (1983)

https://www.youtube.com/watch?v=XENvMGyy4J8
No. The weight of the panels and the strength of the roof are accounted for when the system is designed.

Modern lightweight truss construction fails so quickly under a fire load, we're unlikely to make an aggressive attack if the fire has been burning in the attic space for any length of time, panels or no.
(IANAL)

I guess the idea is, how does the fact that the employer can walk up to you at any point regardless and say "walk out the door" interplay with other facts and laws? Are you just constantly under duress? I would assume not, since you also have the mirrored right to just walk out the door of your own volition at any point.

I can see logic the in interpretation that this arrangement basically results in the constant ability to reconsider the employment agreement: "If you don't like it, you can leave at that very moment. Otherwise, you are bound to it."
Win32 is the style that Windows apps are supposed to be and what people expect in a Windows app. What are you talking about? In what way does the win32 look "not fly"?

I've tried to use WPF and it was just a major pain and felt like a mess. There is no impediment to "responsiveness".

Where did you get the idea winforms apps don't follow the system colors?
There's more to the Android APIs than UI stuff, which is the majority of what's covered by workarounds like the Compatibility Library. This is a very real problem with Android development -- "hey look at all this cool stuff we've added and you'll be able to actually make use of in two years!"