skysight-inc/HackerNews huggingface dataset:
1. What if I happen to go to the bathroom in office and miss that same conversation? Or go to lunch and miss a conversation? Or do literally anything else and miss a conversation? Let's ban lunch out of office? Let's ban walking out of your cube?

2. Some of in-office employees find it cumbersome and annoying to sit next to loud and obnoxious coworkers. They find they can not get any work done around them. Why should we cater to some employees and not others?

3. Video conferencing is not a pain in the ass. At my job, it's a simple as "create skype meeting" on outlook. Everyone clicks link, done. Or if it's more adhoc-open chat, call, share screen. Done.

I've yet to see a good reason why good employees can not work from home, other than, your company is just poorly managed and can't handle it.
Not really, competition only checks this effect if the price-discrimination advantage isn't so compelling such that:

1) All firms start doing it...because what Producer wants to leave money on the table?

2) The firm that does it best gains a significant advantage over competitors thus leading towards non-competitive market conditions.

And, from a purely speculative perspective, if the price discrimination advantage wasn't strong enough to result in one of the two above situations, then why would a firm invest in this sort of tech anyway?

But, like I said, I am no where near educated enough in the subject matter to really credibly start speculating too far. And it is certainly conceivable that competition could check this trend...but I don't believe it is a sure thing.
My $.02 - good for you for asking the questions. Don't stop there :)
Discourse co-founder here.

I'm not sure about those stats you posted from 3 years ago since they aren't using the same `rake stats` numbers that are built in to Rails. Discourse's Rails app is currently 63k SLOC not including tests.

On my relatively fast computer booting takes 4s without bootsnap and 2.5s with it, which is a nice quality of life improvement.
News-wise:
HN, The Register, Ars Technica, Reuters, AP, Fark, Physorg.
Entertainment:
Reddit, Youtube, a bunch of webcomics, some forums.

I use Feedly to organize pretty much all of it.
Ask HN: Are there any good resources for learning Laravel with Vue 2.0?
I've been slowly learning Laravel lately and using it for small work projects that need web front ends for various databases or similar. I'm still using jQuery and manipulating the DOM to hide and show things, and things like setInterval and AJAX to query Laravel, and then manipulate the DOM again to display updates.

Jeffrey Way's Vue 2.0 series doesn't really mention much about Laravel from skimming through, just Vue. There's a great series (so I'm told by many) here:

https://laracasts.com/series/learning-vue-step-by-step

But that's for Vue 1.0, which I'm presuming is't worth learning?

I've been doing back end PHP and Python for years with no real care for nice interfaces as I work in a BigCorp, but now I'm doing projects for myself I'd like to learn how to make more user friendly/functional sites.
I'm sure you are right. I was just trying to convey the positive impression I got from what little time I spent with PowerShell and the great documentation it has.

Especially the fact that I was able to accomplish what I set out to do in a very reasonable amount of time.
> Right - that's why I said nothing but methods and nested classes - expressions in method bodies would be disallowed.

I presume you mean "expressions that aren't method definitions in class bodies" (though that's a problem, because of things like attribute declarations) rather than "expressions in method bodies", since methods with no expressions in their bodies would be pointless.
I get about 23 full, uninterrupted minutes in a day.

When I'm in the office, I wonder if my coworkers wait for me to start working just so they can ask me how my day is going or to tell me a joke.
Totally. All crypto concerns aside--though I am on the side of the fence that says, while Signal is clearly superior, MTProto still hasn't really been cracked, and WhatsApp's server-side key reset is a bigger deal--the UX for Telegram's mobile (iOS AND Android) and Desktop clients (Windows, Mac, AND Linux) all kick ass. They're blazing fast, sync works phenomenally (except for secure chats, RIP), the ability to share arbitrary files up to 1500 MBs is awesome, Instant View is everything FB Instant Articles should have been, and the (admittedly gray-area copyright) stickers ROCK.

My closest friends/family all use Telegram now because it's just better. When I want truly secure messaging, I use Signal or PGP
I'd love to believe that, but I felt much the same way in the double-dickities, when popups and popunders were rampant, and popup blockers started becoming common place. Eventually, only the oldest and least tech literate of people still had browsers that allowed popups, and they started to go away. It seemed like advertising like that was going away, but it didn't, it just changed, and instead of opening in a new window, it just opens as a DIV in the same one. Only this time it's controlled by the same javascript that is required to make the site even work, so it probably won't ever go away.
Stop worrying – start logging with LogPacker
The poorest population is relatively shrinking in the developing world they are the customers of the future.

Having an entire generation growing up under the brand of a corporation is effectively priceless.
Mono exists since 2004, you must have cared for a long time.
I've had the opposite experience. Used Windows for 2 decades and rarely had problems. Switched to macs 4 years ago and all of them (4) crash a few times per week.
A quote that, while not automatically true, seems to apply to many situations:

"People who are brutally honest generally enjoy the brutality more than the honesty." - Richard Needham
Radio transmission shield earth from cosmic radiation
Websites can ignore DNT, but Tracking Protection eliminates trackers in Firefox itself. It’s like an ad blocker, but focused on identifying and removing trackers specifically.
Excellent point. I have yet to hear a meaningful reply to the argument that 'the American free enterprise system' implicitly depends on having a whole continent's worth of resources to exploit at the outset.

Libertarianism would be a lot easier to take seriously if it banned inheritance or something to prevent the accumulation of resources that could be handed to others, which is at odds with the whole notion of meritocracy. Libertarians do make some effort to speak up for open labor markets and abolition of borders, but I can't think of any libertarians leading the charge for immigration reform offhand.
Not everyone here has grown up in US academic culture. I for one have formed my desires of helping others long before I noticed anyone rewards that in any system (not to mention that my country's education system doesn't put much focus on volunteering for social causes).

Also, spending time on understanding the benefits coming from participation in a marketplace leads one to conclude that the market doesn't address all human needs promptly enough, and is not itself beyond creating many great problems.
I had the same experience at Amazon with their secret projects, including each iteration of their kindle fires
Court Upholds Enforceability of Open Source Licenses
I was doing that with indent and CVS plugins back in 2000.
They were losing money on you before by subsidizing your ride. Now their price better reflect the actual economic costs, and it's not surprising that this means you don't take a taxi as often.
Racket has hygenic template macros, which are quite nice. Common Lisp offers a whole bunch of machinery around macros and more types of macros (most famously symbol macros).

Clojure picks the worst of all worlds by making reduced-power backtick macros, not stack tracing the macro output on failures, and then having a culture that discourages the use of macros.
That's not relevant. Your original comment:

> aka, men

claimed that no genders or sexes other than "male" and "female" exist. But thanks for admitting you were wrong!
This article is conservative activism.

The headline on the article is simply wrong. It says "New ‘Social Justice’ Math Class Teaches Kids That Math Is Evil, Dehumanizing". If you follow the links to read up on the class, that is absolutely not the point of the class.

The point of the class is the opposite - to use quantitative thinking in an applied context.
FYI - I just learned this trick (which was actually introduced in Windows 8 or 8.1): right click the start menu for a shortcut to a lot of system-level shortcuts (Event Viewer, System, Disk Management, etc).
I don't buy into this capitalist/worker distinction either, which is just a fancy name for wage slavery.
My guess is that some Google engineers started an OS project to scratch their own itch, or to test the waters on an anticipated business problem. Detailed speculation is probably useless at this point.

That being said, I really think the time is ripe for a new desktop OS. There's a lot of lessons from iOS and Android that just aren't showing up on Mac and Windows.
If your best and brightest 10% are losing 30k, it's worth asking if the effects are worse (even if it's only 3k per average employee, assuming there are 80% of them, that's a lot of 3k), and if it's worth it for the benefit the least capable or experienced 10% will get.

And please, don't latch on to the mathematical definition of average. I'm talking about a roughly bell curved distribution of talent.
Previous discussion: https://news.ycombinator.com/item?id=13662165
Nike's Manufacturing Revolution – Flex and Nike Partnership
That's a good point...I should have mentioned the tone. Despite it, though, there is some actual content in the rant.
I looked into investing a small amount in crowdfunding, but there are very few platforms offering it and the companies seemed to be raising money at overpriced valuations. It would be nice if crowdfunding could grow, since ordinary people could get a share of large growth and they could also offer certain unique benefits for a company the raising money (e.g. help with marketing).
Code Optimizations for the Brave
Amazon Devs Ask Echo Owners to Chat with Alexa for University Challenge
>Well, C++ and C# would be those kind of languages.

C++ does not even have a decent ADT and pattern matching support, you have to do some really kinky stuff to implement something that would at least resemble option type.
It would seem to me that the dark forest theory [1] and building megastructures large enough to dim your star like this are largely incompatible.

It would be really neat if not only this demonstrates existence of life outside of earth, but relieves one of the theories that suggests we shouldn't contact said life.

[1]: https://www.quora.com/What-is-the-Dark-Forest-Theory-of-the-...
That's 1 day that I didn't have to spend, even better when dealing with many instances.
Have you worked at any other public company? It's pretty common to not share private company information...
Not sure how I missed all this, but what a fascinating read! Has there been any updates for this?

EDIT:
http://blog.fogcreek.com/killing-off-wasabi-part-1/
Did you install some (the same) software on all four of your macs? A few crashes per week per mac, on all four macs, seems more than a coincidence. I have had three macs and they always ran very stable. I only reboot when macOS updates require it.
He was probably talking about runtime optimizations done by CLR and JVM; this kind of optimizations is impossible even when you use TypeScript.
Never thought​ about it that way. The problem is that the military has socialized medicine so it's not good for libertarians either.
Do you mean to suggest that OxyContin (extended-release oxycodone) is less of a problem, or less addicting, than Percocet (instant release oxycodone + APAP)?
You could make that argument, and indeed many are. For instance, the effective altruism movement is all about evaluating that argument. The real question isn't if, but when participating in the market is an effective way of helping. Similarly, a good question is the one OP is asking - are there effective ways of helping directly with tech skills, and if so, what are they.
I went to the, possibly, only university in the country that did not have C & UNIX. In 1973, at USF Tampa, we had an IBM 360 system, complete with punch cards. Horrible. Engineering required Fortran IV, boring, and the instructor smoked.
I finally worked at a defense contractor, which used DEC's VAX 11/780 running VAX/VMS. I was hardware and a good-natured soul introduced me to VAX/VMS. VAX/VMS was painless, easy to learn and use.
In October 1981, IBM came out with the IBM PC. $6,000 with a monochrome monitor, no hard-drive, and DOS 1.0, not much more than a loader.
Over time, MicroSoft improved DOS and eventually started the Windows franchise with Windows 95.
The MS hired Dave Cutler away from DEC to be principle sw architect on the Windows New Technology. Windows was good and MS was innovative. Prices came down. Capability went up.
But a new "feature" showed up: software "viruses", then trojans, then on-and-on, building a $10Billion per year anti-malware industry.
I still stayed with MS. I liked and knew the user interface. Then came Windows 8, 9, and 10.
Over time I had had periodic positive discussions with folks who knew and used C, UNIX, GNU, Linux.
My wife is legally blind and finds her way around the display partly by vision (limited) and partly by memory.
Windows 8-10 made computer use by my wife impossible.
I switched to Linux Mint 17.3, love it, enjoy it, have fun with it. I installed Linux on both mine and my wife's machines, on a friends machine, and no-one has any complaints.
Starting on Monday, 22 May 2017, I am teaching my 11yo grandson how to program in C on Linux.
I doubt that I will ever go back to Windows.
A chicken egg is a single "cell" grown over a number of weeks, whereas beef is composed of many tissues with varying cell types grown over several months.

I'm not a biologist, butcher or genetic engineer...so take my answer with a dash of seasoned salt.

EDIT - Corrected
42-inch yacht still hoping to become the smallest boat to cross the Atlantic
"that's how most of the world's wealth is created"
Most of that wealth simply goes to the top 1% and stays stuck there.
Yes. I am using Linux. Thanks for the quick response.
It will be divided into operating expenses and the reserve fund. The detailed financials should be mailed out at least yearly. So you can see where all the money is going. The operating expenses will cover the hot water, garbage, exterior building insurance, snow removal, sewer, common area maintenance like landscaping and floor cleaning. The reserve fund covers the long term maintenance, painting the exterior, roofing, replacing water heaters, carpeting replacement in common areas. High cost areas like that probably have a pool or a front desk person too.
This allows computers cut off from the internet to be infected too. Juicy and the risk is minimal.
GitHub Introduces Marketplace
Doesn't seem like we can know that for sure without knowing their complete costs per ride. Even at the higher price that might still be true. It might not.

What we do know is that the algo isn't based on their cost, its trying to figure out the max it can charge me and "get away with it". I'm suggesting that its time horizon is much too small. It was enough to chase me away. That might be what they wanted. It may not be.
I can appreciate that, but I am also not excited about a walled garden growing around desktop.
> “Society is more willing to accept wealthy people paying higher fares,” said Chris Knittel, a business professor at the Massachusetts Institute of Technology. “But if the repercussion of lower fares in lower-income places is longer wait times, that’s probably what they want to keep an eye on."

I can't help but recall all the times Uber or its defenders claimed that its supposedly uniform fare scale meant that it could serve all neighborhoods equally, unlike the taxi companies. It will be interesting to see if this policy reproduces the same behavior while laundering it through machine learning.
The attackers seem to have a poor grasp on cryptography. The entire point of RSA is that they don't have to generate the key locally. Just ship your ransomware with the attacker's public key, generate a symmetric key K locally, encrypt the data with K, encrypt K with the public key, offer to decrypt K for a ransom.

There seems to be an inverse correlation between smart and evil in human beings which is reassuring, but only mildly.
Ανοικτά μέτωπα στην Μπουντεσλίγκα
This is not very surprising at all.

The use of PowerShell is completely analogous to using shell scripts on linux, along with making use of things like the GNU core utils and other nearly universally-installed utilities (curl/wget, tar, etc).

Traditionally there wasn't a lot you could do purely from a shell or scripting environment on Windows -- all the "good stuff" was in Win32 APIs, hence needing to ship binaries.

Microsoft has been adding everything to PowerShell, to the point that you can now do nearly anything you can do with the GUI -- and in many cases more, since most of the administrative commands accept a -ComputerName parameter and are integrated with domain authentication. It's only natural to take advantage of that.
I guess I shouldn't be surprised, but it's pretty clear: if you're at Uber and you did something potentially unsavory, and are not well-connected you may indeed be walking around with a target on your back.

Not sure I could stomach that for too long.
Maybe it's intuitive compared to whatever else there was in the 70s when the bourne shell was invented? I dunno. I agree, bash is not very intuitive to the contemporary scripter _especially_ when you get into scripting.
Powershell works well as a shell, but fails specacularly as a programming language.

The whole "I can run this script on 100 different machines at once super easy" is fine, but lets see you try to write some rigorous code in PS and the come back and tell me how it's easier than C#.

They both have their place.
> If you seed with nanoseconds it'll be a lot harder.

Not really. Or rather, a lot of zero is zero.
You are undoubtedly right.

Although, not putting down the guys. Regretting the direction their work went.
Why Certificate Revocation is still broken
In other words, it's totally OK not to understand what you're working with?
There is absolutely nothing inherently morally superior in making it a not-for-profit. Lots of not-for-profits have serious problems. I wish making life better were as simple as "well, just make your business X format and you are suddenly on the moral high ground!"

You should not make your business idea a not-for-profit out of the idea that this is somehow inherently morally superior. That is a bad reason to do so. Some types of work or goals are better served by a specific model. Some things are best served by having it done as a public good by the government, such as police and fire. Some things are well served by the not-for-profit model. Some things are well served by a for-profit model. Some things are well served by a co-op model. None of those is inherently morally better for all goals all the time.
I saw the last show for the "red team" in Providence, Rhode Island. While I have seen a number of Cirque du Soleil (CdS) shows over the last 10 years, I haven't seen Ringling Bros. (RB) in about 20 years. The difference I immediately noticed was the ticket price. A CdS show ranges anywhere from $40 to $120. My seat at RB, on the sixth row, cost $55. I understand the desire to keep the show accessible to all families, but the price disparity between the two companies was huge. The production quality was good, but not as high as that of CdS.

That said, I enjoyed the show and the fact that it is accessible to people at most income levels. Audience members were permitted to go on the performance floor 30 minutes before the show. We could interact with the performers, who were doing a few mini-shows, and get a much closer look. That sort of access costs over $100 at Cirque du Soleil.

Besides ticket price and production quality, another factor working against Ringling Bros. is the fact that everyone lives on the train. Entire families travel to every city. They have a school on the train. When everyone came out at the end of the show, there were at least 200 people of varying ages—babies to adults. That can't be cheap. I'm not sure if Cirque du Soleil does the same for their performers.
I dont think it matters if Uber failed to do proper due diligence, once the paperwork is signed it's pretty much a done deal.
Levandowski is surely a smart guy, but the fact that smarts alone in this day and age rarely get you to where his is now.

Who is he connected to?
Just creates a war of escalation. Someone will release the "Kayak for Uber/Lyft/Etc" if it doesn't exist already.
No, I'm talking about the one I linked to, which is done in Coq.
Have you been to the remodeled Orchestra Hall of the Chicago Symphony Orchestra? We aren't happy with it, though they've been tweaking it and appear to have produced some improvement, over the intervening years.

I heard recently that Milwaukee is up for something similar: Extending the back of the building.

These projects aren't new construction; nonetheless, they -- in the Chicago case, certainly -- are sacrificing acoustics to the various drives for (extensive, structural) remodeling.
I don't think this has much to do with Reddit. "Randroid" and similar terms as a derogatory way of describing a certain cluster of ultra-free-market views has been common on every online discussion service I've been on, dating back to Usenet. Although this may be partly because actual, honest-to-god Ayn Rand fans are also surprisingly common on online discussion forums (and were especially common on Usenet).
If an ad network marks a click as fraudulent but still charges the advertiser, aren't they guilty of fraud as well? That seems like risky behavior for a company.
Was that a $3.33 fare the video? The minimum fare in Sydney, Australia is $8AUD ($6USD).
> Did they decide to reinvent all the wheels badly just because someone at Google was bored?

This is how projects are born and die at Google. They live until no one is interested in them anymore and they are abandoned.
Discoveries Fuel Fight Over Universe’s First Light
Please don't get discouraged by some of the negative comments here. You're not the only one searching for high-impact ways of helping out with the skills one has. I strongly believe opportunities like that exist, even if they're hard to identify. I also believe there's work to be done in making those opportunities easier to find.

Feel free to e-mail me if you ever want to talk about this further (address in profile).
Apple's Tim Cook Test Driving Wearable for Diabetes
Court ruling nullifies US requirement that hobbyists register drones
load path caching should; compilation caching won't, for now at least.
Extraction of terms written using Fixpoint isn't really the Curry-Howard correspondence. Instead, the correspondence is between (for example) proofs of correctness and terms in the Calculus of Constructions.

[Fixpoint terms are also CIC programs, so there's a sense in which they're related, but it's not really about Curry-Howard.]
We've banned this account for posting mostly uncivilly and unsubstantively after we've asked you to stop. We're happy to unban accounts if you email hn@ycombinator.com and we believe you'll stop breaking the guidelines.
Wished Uber was around when I was sleeping in my car.
Sort of? It's kind of built out of almost web components, if you squint, and there's an export tool, mostly together: https://github.com/aurelia/web-components

The Aurelia argument seems to be that it's the Web Component spec that's not entirely all together still, not Aurelia's version of web components at a somewhat orthogonal angle to the spec.

This thread from the developer: https://news.ycombinator.com/item?id=8950360
A Unified Theory of Layout