skysight-inc/HackerNews huggingface dataset:
I'm a bit out of my league here, but how does Maude compare to say Idris?

I remember dabbling with Pure, which used term rewriting, and lent itself to expressing mathematical equations in a familiar format, but it was not a prover.

I downloaded the PDF for Maude, and I will certainly take a look in the meantime. My interests are solely for learning, and I thought using something like Idris to work my way through Sussman's Structure and Interpretation of Classical Mechanics, might drive it home for me in ways that my physics classes didn't.
I just sent you an invite. I'm pleased you want to join us. Also, please tell me if the invite did not get in your inbox
I don't have kids but I'm from Australia (Perth to be precise), and our suburbs are like this too - generally far from the center and all the cafes, restaurants and nightlife that go with it, and very spread out. It's common for people here to get married young, have kids and move to the outer suburbs, falling out of contact with friends who aren't nearby.

I was always terrified of that so I got out, and discovered it doesn't need to be like that. In Berlin for example, Prenzlauer Berg (a very central suburb) is booming with young couples having kids, and from what I've seen and understood they keep very active social lives.
Evolution seems to select for highly redundant and holographic code, where holographic means non-sparsely encoded in this context. Height, for example, is encoded in a wide variety of genes which can be turned on and off by even more genes.
That's an implementation detail. Most people think of git history as more of a stream, forking and merging while moving forward. In this context, the arrows pointing in the direction of chronology is perfectly sensible.
Give me your email address and join us on slack and I guess you can find someone interested in that project
The confusion around Data Science roles and responsibilities
Not everything is open source :)
*1kg tomato is going for 30paisa in market yard. Average cost is Rs.13 ...thats 99.99% loss in value. .This is killing farmers and in another 10days you will see farmer suicides because they can't get price for their produce due lack of cash. The farmers are dumping their produce and going home depressed. This is not fair by anymeans.

While cities will see skyrocketing of price because of lack of stock.

Modi has hit at the heart of Indian economy of Farmers. They just are helpless ,the panic is rising every minute and it will create chaos in matter days.
Hey! I think it would be better to give me your email address and join us on slack and we will talk there more on every subject you want. What do you say? :)
(Disclaimer: Not a native speaker, probably some weird grammer/syntax)
I don't know if what i had qualified as burnout, but these past three year i sometime felt mentally strained, with huge sleeping needs (but difficulty to get asleep), low motivation, low productivity at work and at home (and therefore more stress/mental strain).

Two years ago, tried to take vacations, did some sport (this one somehow helped, but not as much as i needed, and couldn't get motivated to do my best). I ultimately took a month leave and took my old student job, summer camp counselor, for two week. It worked.
Around last month, i felt the same, but couldn't take a long leave. My father (film set designer/decorator/constructor) was working on the set of a feature movie. i took four days (long weekend) to help him. Woke up every day at seven, did some woodwork, put some wallpaper, nailed/screwed some planks, went to secondhand market/junk shop with him, carried old furniture from there. I honestly don't know if it's the work i did or the fact that did it with my father, but it has been i long time i never felt this good.
So my advice: find a work you can do that's time consuming, physical, that you find meaningful, and do it with someone you like spending your time with. Maybe juste one of these will suffice, i really don't know.
For the last question, in my experience, it's both.
Even if the getting started is simple, there's still a ton of code and dependencies you're bringing into your project. Most importantly you've suddenly got dependencies on persistent processes such as Redis and RabbitMQ which need to be installed system wide. That's something that needs to be factored in to deploys, configs, restarts etc. You now need new tutorials for every deploy method (Heroku, Webfaction, PythonAnywhere and other outliers).

Yeah - everyone should ideally be comfortable with all this stuff but I try and keep anything that's more complex than a pip install in a virtualenv to an absolute minimum.
I have lived through those awful IE6 times and imho Safari is the new PITA of web development. Nowadays you don't have to create workarounds for CSS problems or same JS incompatibilities, Safari sucks at implementing even the most basic HTML5 APIs.

It is like with CSS 10 years ago. This nice new CSS feature (HTML5 API) which would perfectly solve your problem? Sorry you can't use it because IE (Safari) does not support it (maybe never will).
I sent you an invite to the slack group.
[Record breaking] 2016 Singles Day Data: growth slows down
This is when Firefox reader mode comes very handy!
Adobe Premiere Pro CC 2017 v11.0 Full Version Free Download
Also the desire to own your house, rather than rent as is more common in for example, Berlin.
App que ajuda no resgate dos créditos da Nota Fiscal Paulista
One part is driving prices down because you've got a good IT optimising system, real time tracking, ease of use,etc. Ans another part is driving prices down artificially without making money just to choke the concurrence.
BENEFITS OF ONLINE WEB DESIGN and DEVELOPMENT SERVICES – Khaleejad Blog
It's a case of energy depletion.
Now I'm in my 30s I've decided to exchange deep friendships for acquaintances/drinking buddies.
This is because deep friendships involve time, effort and sacrifice. This is fine for when you are a student or retired, but full-time work and family demands all your time, all your effort, and all your sacrifice.
I'm sure I will re-establish deep friendships when I retire.
Really, any resources? What if they just pay someone to do the whole thing? Are you really confident you could suss this out in the onsite discussion?
Hi,

Definitely go for it. Especially, please have a look at my previous comment in the thread entitled "Sorry, developer bootcamps: I was wrong" :

https://news.ycombinator.com/item?id=11445582

To resume: to my knowledge, the best training to start your journey as an aspiring Software Developer is the one suggested by Founders & Coders :

http://www.foundersandcoders.com/apply/

(Note: Codewars is just so awesome... https://www.codewars.com)

By the way, if you can get into it, I would strongly advise you to apply to FullStack Academy, they seem to have the best teaching around there (at least their students have very high rankings on Codewars) :

http://www.fullstackacademy.com

Good luck :)

Très cordialement / Best Regards,
Don't worry, you will knock this site out in terms of search engine ranking and bounce rate.
Although it might be worth mentioning that it's somewhat contagious. Keep on squinting at the Black Iron Prison.
foreach word: ++(wordmap[word])

print wordmap

This is on the level of a pretty simple first phone screen problem.
What? Windows was huge even before macOS so supporting it was a good choice. On other hand how many people will buy MacBook just to install Linux? Where you can literally make the same things on macOS if you don't remember it's still good old UNIX system?

Making changes to support few hundred or fewer users who want Linux in a “nice package” is shooting itself in the foot. From a business perspective it simply does not pay. And what is Apple? Big money-oriented business. If you have a business and want to please everyone you will fall, it's just that simple.

They make money on users who don't even know what Finder is and rest so called “pros” should just don't give a fuck and use it as they usually do...
The Google teams that he's referring to probably don't run on Google Cloud Platform, and rather run on Google's internal infrastructure that GCP is built upon. So most of your questions may not apply. However, his points about cloud infrastructure are still valid.
A lot of people feel a moral distinction between a quick death to more primitive traditional needs of food v/s slower death for uncertain gains. It is some kind of cognitive dissonance I feel. A lot of Americans who are perfectly happy eating a cow make fun of Indians for referring to cow as holy and outrage at Chinese killing dogs for food.

I personally think eastern world and more paganic religions like that of native Indians are perhaps more right to not see these issues as black and white based on fixed line but instead see our relationship with nature as much more flexible co-dependence. Like a mother who uses her own metabolism to feed her little child and the child who eventually tries to get rid of that dependence.
First home brain implant lets ‘locked-in’ woman play games
So crazy, $17 billion in one day...
At least "Click to play" setting for HTML5 audio/video would be great.
Investigation Reveals Silicon Valley’s Abuse of Immigrant Tech Workers
Looks cool. The hand-drawn graphics give the game a unique style which I find very attractive.
No, he actually has a very good idea what crappy frameworks are, because he wasted a bunch of his life working on the Lift web framework.
Yep, that's China
Agree this is an annoyance - how would you propose keeping features like YouTube or Netflix autoplay/playlists in this scenario?
A lot of the discussion here makes me think that perhaps there should be a coffee meetup HN thread or something similar posted regularly. Comment where you are, a way to contact you, and try to meet new people :)
Web apps do not need to be slow, they are slow because they are badly written or more usually rely on the network far too often. There is no reason

<Button android:id="@+id/button"

is faster than

<button>
As an overachiever, I got this done in my 20s. It's in my 30s that I've begun to reverse course when I didn't even have casual friends left in meatspace.

> We should hang out!

This isn't actionable. It's a statement about how it's such a shame the universe doesn't conspire to make you accidentally hang out with each other. And I agree it is a shame - however, fortunately, one can make do without such contrivances!

> Wanna do X on Y?

This is actionable. It's the switch of passive to active in the social relationship. It's strange and weird, way outside of my comfort zone, and I do so awkwardly and nervously - but it works! Sure, they notice I'm awkward and nervous - they just don't care. Or if they do, it's a sign I don't want to hang out with them anyways. Realizing this - not just on an intellectual level, but actually internalizing that logic - makes it surprisingly bearable to be awkward and nervous.

Busy lives do mean the answer is often "I can't make it". But sometimes they can, and sometimes it's yes to "Hey, want me to send you a text the next time we're thinking about doing X?" - I'll take the answer to this at face value. Some people might only be available 10% of the time, but it's good to see them when they do. And sometimes they'll suggest a different time - and hey, that might work too. Few I know will go that far to merely feign polite interest - they no longer have time for that.

I consider myself rather deeply introverted, and yet I'm playing the role of the social butterfly in causing things to happen in my circles, if only occasionally. It's very strange.

I should start dating again at some point. Don't ask me how one works such strange and powerful magic. Baby steps...
Or at least provide an option for autoplay, so savvy users can turn it off.
Ask this on their bug tracker.
This behavior is so bad that I have changed my browsing behavior. I visit only selected, trusted news sites, as "free" sites are horrible offenders here. Google is much less useful while on desktops as it is likely to return obnoxious websites.

So far I have not had a bad autoplay problem on iOS. However a growing problem is obnoxious pop up ads that are difficult to escape.

Overall more of my Internet usage is shifting to apps because the Web is just too annoying. Years ago the Web was like a friendly, boisterous marketplace in a safe town. Now it's like the street in "Casablanca" where I must constantly guard against someone picking my pocket. It's not worth using except for a few sites I trust.

Google in particular had better watch out. With Web hostility their search is not as useful. One reaction of theirs has been to pack more information directly into their search result.
I remember you had to click play on flash at one point. It was an option you could turn on in preferences. I'd love to have it back.
> Tons of people inherit a lot of money. Not everyone becomes Trump

Trump inherited his father's wealth AND his father's business.

I'd argue that other modern reality TV stars are more successful then he is. Paris Hilton never received an inheritance (hefty allowance not withstanding) and built her own business. Kim Kardashian inherited less than him and is on her way to becoming richer. Both built their own business empire, not inheriting daddy's.
Facebook is IMHO the biggest offender in that category, dozens of "in your face" videos no one asked explicitly for...

Luckily, there's a setting if you can be bothered - and luckily, for many marketing departments around the world many can't...

"Look, how many views our videos have on FB"...
Hard to take this article seriously when it practically ignores performance topics.
The Real Clinton Conspiracy That Backfired
You don't solve storage performance problems by moving to S3. They're looking at response times in the hundreds of milliseconds - it's common to see multiple second response times from S3 (at least on AWS), sometimes they can take longer or just return an error.
People with opposing opinions to the current pervasive narrative are for the most part, part of a minority (yes). For most of us one miss-step or one bad outburst because we're frustrated, and then you're fired (or kicked out). Because you cross that "imaginary" line between dissenting but tolerable opinion and into the "we can now legally and without consequence say you're abusive and shut your opinion down by firing/excluding/arresting you". That's the problem with faux-free speech.

To be fair, I think companies and individuals should have a right to disassociate with anyone for any reason they choose (yes including the bad reasons). But they should at least be honest about it, rather than hiding behind some veil of "it's abusive behaviour". Just admit you don't like the opinion before it cross that line, and purge appropriately.
You are so savvy that you can't even search online?

On firefox go to about:config and set media.autoplay.enabled to false.
Certificate pinning is gaining popularity e̶f̶f̶e̶c̶t̶i̶v̶e̶l̶y̶
somewhat thwarting MITM attacks.
Read my Lips, Time is Real.
And no new taxes.
Here is a chrome extension that mutes audio for all tabs except thw selected one: https://chrome.google.com/webstore/detail/smart-tab-mute/dnf...
So before this weekend I'd only setup continuous deployment of a simple Rails app & database to a cluster using CircleCI [0]. This was quite a lot more complicated than I'd have liked and this weekend I thought I'd give wercker and distelli a go (based on seeing this post).

I found the wercker docs a little lacking. The wercker.yml docs in particular felt incomplete [1] - I already know how to write yaml... However, when I looked around a little with the help of Google I found they had some better tutorial style content on their blog and followed this guide [2]. While the guide might be easier to follow basically that was what I needed and I've been able to get one of their sample apps up and running ok on a test cluster.

After this being a little awkward/unclear at times I thought I'd give distelli a go at the same task:

- Nice being able to take containers from different repos

- Good to be able to create clusters but I wasn't able to connect to an existing cluster on GKE.

- Wasn't able to find anything in the documentation [3] (but managed all the same - credit to the UI?)

- Not clear how I create other Kubernetes artefacts (services etc)

- I actually quite like the kubernetes yml file system; distelli seems to abstract this away.

[0]: https://github.com/charlieegan3/kubernetes-examples/blob/mas...
[1]: http://devcenter.wercker.com/docs/wercker-yml
[2]: http://blog.wercker.com/Deploying-a-Microservice-to-GKE-with...
[3]: http://imgur.com/a/Qdto5
Stop Quantum Supremacy Now!
He is right. Give me a specialized collection of functions any time, aka, a library, but I will never again use a framework, which is a half-finished program, of which the users are supposed to figure out how to fill in the blanks. A framework imprisons your own code within confines and limitations of what will often turn out to be some kind of imbecilistan.
I really dislike auto-playing audio and video as well, for all the reasons you mentioned, but also for a less logical reason: it just makes it feel like the browser isn't on your side. If a site is automatically playing audio or a video advert, its design is not in the user's interest, so in that situation your software has to choose whose side to take. I just want and expect the software I have installed on my computer to take my side, and always act in my interests. It probably sounds silly but I just think software should always be primarily designed for the end user.
Found it!
It was "together.gov", see https://crt.sh/?id=49224865

DNS records are still up, but don't point to any IP though.
firefox -> about:config -> media.autoplay.enabled = false

additionally the dom.audiochannel.mutedByDefault and media.default_volume settings may also be useful if you want slightly different behavior.

If you want a more blunt tool you can also use content blockers to block media content until you opt into it for a particular site.

> I know there are plugins than can somewhat do this, but no solutions are universal or great.

How so? There are about a dozen FF addons covering different use-cases like muting inactive tabs or all tabs but a designated one. If none of them meet your particular expectations that might also indicate that everyone wants something different and it is difficult for browser vendors to cover all expectations. Maybe you should modify an existing addon instead to do what you want.
Secret is coming back
In the end it doesn't really say that they rolled their own on prem solution. For the kind of money they were forking out in the cloud you could just buy a Netapp or Isilon and get something that provides enough consistent storage performance. You don't need a distributed FS for the kinds of numbers they're looking at, using one is just a complicated way of working around the underlying limitations of cloud storage. In your own datacentre getting storage that works is pretty easy.
I wrote https://github.com/ludios/mute-new-tabs and I am now happier with a quiet Chrome. The idea is to mute all new tabs and unmute them only when you interact with an in-page volume control (or manually unmute via the tab icon/context menu). This solves only the sound problem though, not the data consumption.
Why CPU Frequency Stalled (2008)
exactly why Trump won the destitute and the rich alike.

That sounds a lot like the half-baked shoving you're trying to describe.

I wouldn't be so convinced the 50+ million people who voted Trump fit neatly in to those two categories.
How Brocade missed the boat with Vyatta (2014)
I live in Berlin and it's not hard meeting new people in Bars, Clubs, meetup.com events and the like - but then again I'm not over 30 yet, the same is true for most of the people you usually meet that way.

You wouldn't have all that without a certain density that allows you to have all that within walking distance or easily reachable via public transport.
There should be a media play permission just like there is for accessing your webcam or showing notifications. You give the permission once to a website such as youtube, and from them on videos would play automatically for the domain youtube.com. No videos would play on any website to which you deny this permission.
You're implying that the web has gotten worse, but in my experience it used to be much worse. Just the memory of the sea of pop-ups that you had to fight when browsing the web makes my stomach turn.

However, there seem to be a recent trend in auto-platyng video, in fact this is not only happening on the web but on apps too like Facebook and Twitter.
I think the Perl/OCaml camels or the Swift swallow logo are that line. They're not cartoon characters or a cute looking animals like the Go gopher which is both a cartoon and a cute animal.
> In the worst cases such as on mobile browsers like iOS Safari

What site does this? You can't (auto)play media on iOS without direct user action for exactly the reason you specified.

iOS 10 changed this slightly to allow silent or muted videos to autoplay when visible on the screen https://webkit.org/blog/6784/new-video-policies-for-ios/
There are a couple Chromium bugs filed about this: https://crbug.com/107923 and https://crbug.com/514102

Overriding autoplay can lead to a confusing user experience -- play/pause synchronization issue with embedded YouTube videos: https://bugzilla.mozilla.org/show_bug.cgi?id=1217438

The Disable HTML5 Autoplay extension is often suggested for Chrome, and it has 112,213 users, but it's far from perfect: https://chrome.google.com/webstore/detail/disable-html5-auto...
Its only slightly related- but is there a sort of zoom in Version of a Formula Display language out there?
Lets say i have a Wikipedia article which contains the formula: F = G ((m1m2)/r^2)
Now normal this dense knowledge notation requires lots of already existing knowledge to decipher. But if you had some java script system to "zoom" in, you could replace parts of it - first with words (linking to the corresponding article)- then with the Explanation itself.
Tweetment Effects on the Tweeted: Experimentally Reducing Racist Harassment
WHY I should be President
"Frameworks are the worst thing to happen to software development in the last decade (and possibly ever)."

His site is using bootstrap.
Could these problems be solved with bigger networks, or do you really need to improve the algorithm beyond that?
Most features in HN are not decided by popular vote. If it's a good idea and easy to implement, one suggestion is probably enough.

I think that your first suggestion is in this category, but the mods may disagree.

A fix to the second one looks more difficult to implement, but I've never seen that message. (I only had similar problems with threads that are killed while I'm writing a reply.)
+1 for master always deployable. In teams I've led, I've made it a rule to never commit to master, and sparingly commit to develop.

Features are developed in branches and merged into develop. Once we're happy with things, we tag & merge into master. (Junior dev so my approach may not be the best.)
Altitude apparently shows up both as an increase in depression and a decrease in ADHD. One researcher hypothesizes that altitude affects both serotonin and dopamine production, decreasing serotonin and increasing dopamine.

https://mic.com/articles/104096/there-s-a-suicide-epidemic-i...
A Guide to X86 Calling Convention
The app is said to have over 18,000 classes: http://quellish.tumblr.com/post/126712999812/how-on-earth-th...

I'm guessing that link will crash on mobile, it slows down chrome on a desktop.
Did that buy youtube is still on autoplay.