skysight-inc/HackerNews huggingface dataset:
For pivoting? I don't know about dependent types, sometimes it's possible in theory to know the type of the pivot columns because you know the possible combinations of column fields that you're pivoting from, but is that dependent-typable?

I think there's a kind of Motte and Bailey that goes on with people who think typesystems are the one true god. They choose the simplest typesystem as their example of the cognitive/learning overhead, (say C#?)

But if you question the limitations they go to "but it's possible in X obscure typesystem".
For me, it works perfectly on both FF and Chrome (Linux), but I wonder how WebRender will deal with it; can you test Firefox Nightly with "gfx.webrender.all" set to true?
I don't understand why vertical video always gets this response, mostly from people who do anything with film.

I get it, it's not the most cinematic experience but who actually wants to hold their phone sideways while scrolling through a feed, or switch apps etc? It just doesn't make sense to do it any other way. Also as most video is even filmed in portrait mode.
Maybe good AI requires a combination of symbolic approaches for the knowledge representation, deep parsing for NLP and semantics/discourse models, and machine learning for pattern recognition tasks of any kind.

The currently trendy "AI" looks more like massive data mining with powerful ML to me, that's very good for certain tasks but brings us nowhere near real AI. The knowledge representation problem has not yet been solved. In order to get even just a convincing simulation of AI, let alone real AI, we need a large common sense knowledge base / computational ontology.

One perhaps promising approach are geometric meaning theories/concept representations that allow for logical combinations. For example, Diederik Aerts works in this area. However, to be honest, I don't have the math skills to evaluate his approach. Generally speaking, logical modelling is too limited for good concept representations - especially classical 90s AI like in default reasoning and other nonmonotonic logics -, whereas traditionally geometric representations suffer from problems with representing logical inference and quantification. IMHO, that's a problem worth looking at. (Admittedly, I'm a bit biased towards symbolic AI like the people in this article.)
Useful jQuery code snippets for responsive websites
And then this happened:

https://news.ycombinator.com/item?id=17359361
Your boss always has exposure to the downside. They may take it out on you emotionally (if they're a jerk), and throw you under the bus socially (again, a jerk), but they deal with the consequences in reality because the worst they can do to you is fire you. That's how hierarchies work.
Yes, I think that it's likely that a dysfunctional institution would be unable to prevent you from doing that, and it's likely the reason why you're a part of it.
Perhaps you could take a look at the this traditional Okinawan diet, which is 95% plant-based (only a tiny amount of fish).

The longest lifespans on the planet (well until the western diet came along and promptly reversed that within mere decades).

If you want to talk logically, the most eco friendly approach is a vegan diet simply due to the inefficiency of calorie conversion through an intermediate species as opposed to getting directly from the source.
Project management for small teams
>If you primarily work with Mac OS, Safari makes some sense, otherwise it makes no sense. Why do I never hear that complaint?

Edge being multiplatform was part of that post, so what the commenter said makes sense. There are better options on Android and iOS.

>Have you ever looked at the privacy controls of Windows?

Privacy and control over the device. Both of which are limited in Windows by comparison.
Great to have you here elaborating on various design choices. Are you perhaps familiar with OGDL [1] and what's your opinion?

[1] http://ogdl.org/spec
Firefox is dead, it's at 6% market share now:

Chrome	57.36%	60.60%	47.77%
Safari	13.96%	17.27%	22.16%
UC	7.88%	1.69%	0.32%
Firefox	5.45%	5.89%	6.21%

https://en.wikipedia.org/wiki/Usage_share_of_web_browsers
Ah, the developer who's 10x because their work slows down everyone else 10 times.
> Is the lack of plugin suppport for iOS 100% legal/policy issues? Is there even a shread of any techicnal issue preventing it?

It is both legal, but also technical issue since Apple doesn't allow alternative rendering engines on iOS. Firefox for iOS is basically same webkit as Safari using and so Mozilla can do nothing about extension support since it's completely different code base from Desktop and Android versions.
No software engineers were fired. There were 3 devs at Symless, including myself, and we left of our own accord for various reasons.

This certainly did create a bit of a crisis, because hiring C++ talent in small towns outside of London is hard.
It’s absurd how much goes into the bin. Why can’t restaurants especially use cloth napkins that are cleaned off-site and also silverware, plates and cups like what was done for centuries? Getting all restaurants’ service paraphernalia away from disposable-like-Ikea-furniture to nearly zero waste seems entirely doableb because that’s how it was before. Even store beverage containers like seltzer water are refilled without melting them down, why can’t more manufacturers go back to the deposit system and just clean containers instead of completely destroying and remaking them for every use?
Many of the comments relate this adage to situations where the rules explicitly prohibit some behaviour. I always assumed it is meant for situations where the rules are not settled yet or unclear. If I ask in such a situation for permission someone may forbid it. If I do it anyway I brake not only a rule but show that I do not accept my superiors authority. It would have been better to act in uncertainty about the rules. The result of my actions could vindicate my behaviour and help clarify the rules for the future. In the few situations were I offend someone I could still plead to ignorance.
You can, but you lose the possibility of comments, and writing JSON by hand is also a pain in the ass...
Ha! I was thinking that as well.
>I think that perfectly proves the author's point, though. The "self awareness" of postmodernism has filtered to even the most banal of sources and been left in the dust by the avant garde of today. Irony and sarcasm as critical devices are dead for anyone but the hacks.

Only today there are only hacks. And everybody still uses irony and sarcasm.

Besides, the parent is right. Postmodernism is not a theory to inform cultural production (how people make stuff), although its confusingly referred to as such sometimes.

Postmodernism is a condition of a whole culture (or a whole society) and the inventions that appeared later on (the internet, mobile apps, interactive shows etc) that the author speaks about, only serve to make the world even more postmodern.

The core of postmodernism is that we have exhausted modernity -- and indeed there are no trends that are "new under the sun anymore", not just because everything has been done before (which is almost true), but because society doesn't care about following this or that form en masse anymore and then proceeding to another (e.g. how baroque turned romantic, turned 12-tone, etc. or similarly in any other sphere).

Instead, everything is fragmented, and everybody (artist or not) can do whatever they please and have an audience/followers. There is no canon and no single "normative" culture the way it was 80 or 100 or 150 years ago.

Plus, nothing is able to baffle anyone anymore -- in the way that each generation before could shock some part of the established culture (up to perhaps punk, but probably not even that, and not even 50s rock n' roll -- it only shocked the most conservative parts of society, and had no problem being marketed, sold, and dominating the airwaves in record time).

Postmodernism is also about having access to all the cultural production and modes of the past, and the internet and co made that even more so. Artists, politicians, marketeers, etc can borrow from any period, and repackage and resell everything, combine it, etc.

All of these things are what are described as the "postmodern condition" by the now dead French theorists of the postmodernism.

And none of those things is going away.

Even a total return to modernism or classicism across all artists for example, would still be postmodern -- because before post-modernism art didn't regress to previous periods, it invented new modes.
This is such a terrific point. Let's think of forgiveness and permission approaches as useful tools that work best in context, that do not have moral characteristics on their own. I wish this were at the top because it should be the context for every other top level post I've read.
I have switched to Edge as my main browser for my laptop solely on that it does not drain my battery as fast as the others.

Edge has become much better since the last major update this spring, however still missing some functionality compared to the other browsers.

I think rendering performance Edge is already on par with it's competitors, I have no problems there. It is the application it self that has some annoyances, the "feeling" of the GUI. It can feel a bit laggy like when creating tabs, moving tabs etc. That needs more work.

My biggest gripe with Edge is that I can't change spell checking language without changing the keyboard layout for the Edge window.

I have no connection to Microsoft. I regularly use Edge, Firefox & Opera.
Most jobs you come in and do your thing and leave at the end of the day. Exception would be those early startups run at home.
Why don't you use TweetDeck?

https://tweetdeck.twitter.com/
Tesla has no incentive to get law enforcement involved if they believe the crime is "over". Police poking around Tesla's internal computer systems for months and interviewing everyone is going to be terrible for productivity.

And it gives them no gain.
Firefox works fine for me, so I'm not sure what "dead" means.
Seems to like it's starting to be that your are a product regardless of whether you are paying for the service or not.

The degree of hubris and outright contempt for the public by corporatists is utterly disgusting.
I was playing about 10 hours/day of Starcraft a decade ago.
It was replacing social interaction and gave some sort of satisfaction - but it wasn't something too important,I could skip playing it for weeks if i found something more interesting. It was concentrated gaming where i had nothing better to do. Eventually i got bored of it, since it was causing me losing hours of sleep at night.
I did something similar in 2016 where I wrote tutorial on new technologies almost every week https://github.com/shekhargulati/52-technologies-in-2016. You learn a lot but as you don't end up using them you forget them .
Helping Underprivileged Children Visit Athens City Museum in VR
Reduce, reuse, recycle.

Destroy, remake, dispose.
The most appropriate languages for ML should really be functional first, statically typed languages like OCaml or F# or maybe Scala.

The problem might be that many people doing ML don't really know how to program beyond a basic level, and at first glance a language like Python seems "easier". But they get by anyway since the difficult part of ML is often not really the programming as such, and if your program is just a 100 line script calling Tensorflow then any language can work, however annoying it may be.
I’m not sure if you are referring to something specific in that post but no, quite the opposite - LIGO confirmed Gravitational waves, predicted by Einstein’s general relativity.

The Michelson-Morley experiments were a failure in that they didn’t find what they were looking for (Aether), but relativity came out of trying to understand that “failure” (rather, the null results of the experiment - calling not seeing something you expect a failure is an oversimplification)
I've talked about this before.

Firefox is my main browser but I find chrome's developer ecosystem better.

For e.g. the Chrome Dev tools protocol, puppeteer etc. I hope there's some kind of standardization (other that Webdriver) or easier automation and testing on Firefox.
> if you were to build something on your property without permission from neighbours / government

Like "planning permission"? Don't they have this everywhere?

Seems fair enough to me. Built structures have such an impact on the environment it absolutely makes sense to regulate construction.
I'd rather read tutorials from experts to be honest.
"Plastic" isn't a single molecule. Different types have different amounts of decomposition. PLA will break down in human timescales.
Thoughts on working with Wikidata from practical experience – pros and cons
I co-developed Synergy v2.0, but have since moved on. With that in mind, if anyone has any appropriate technical questions or concerns I'm sure Nick wouldn't mind me answering them.
Of course, writing a tutorial about something gives you a way more thorough learning experience, but it is way more time consuming.

For me personally it works best if i use a technology productively. You will face challenges very fast and solving these will give you a huge boost of enlightenment.

Writing a tutorial is similar, but it adds the complexity of explaining it to the reader.
As Haskell begins to get more and more dependently typed features this could definitely be an exciting possibility (I think there are folks already working on this).
If it can run something as hungry as a webbrowser, of course you can do coding. The resources to run vim (or even emacs) are tiny in today's world. You probably wont be doing any 3D work or massive amounts of video manipulation, but even in the latter case it will be more than powerful enough.
>See: "most banal of sources". Rick and Morty is a case study on this exact point.

While it is indeed banal, please, then, mention any other source that is not banal, and does not owe 90% of its existence to postmodernism.

I don't think you'll find any on either side of the Atlantic, no matter how highbrow it purports to be.

>He is not showing us an envisioned possible future, or exploring any novel ideas.

That's orthogonal and unrelated to postmodernism. Postmodernism wasn't about envisioning new ideas and futures -- in fact it said that new ideas are nigh impossible, as all current forms/ideas are just imitations and recombinations of existing ideas and forms, and all are perceived with equal indifference towards their novelty factor (or lack thereof).

In other words, if I created Blugrass-Death Metal-Opera combo in 1920 I would be a pioneer and a modernism breaking norms etc, and would have even shocked some part of the establishment and public.

Nowadays it would be business as usual, even if somebody hasn't already made that combination, nobody would bat an eye for its emergence. And the same holds true for anything else. It's just a new product, not a new form.

When music (to keep it to that sphere) progressed in small steps that took decades/years to be superceded, there were new forms (eg. Palestrina, Mozart, Beethoven, Mahler, Stravinsky, etc).

Now that it has embraced anything from silence (4.33) to total noise (e.g. Pan Sonic and noisecore), there's nothing really new. Anything will sit somewhere between those extremes (that are already received).
These crazy people went and made a youtube video about it in 2017: https://www.youtube.com/watch?v=-q7ZVXOU3kM
They should just add buttons to download chrome/firefox/opera. That is all Edge users needs at this point
Exactly, and I don't know why we go to the trouble of defining specific categories. Why not just say that "I find myself doing X so much that it affects other aspects of my life and I would like to stop" is the definition of a disorder, no matter what X is, and just help people? Why do we need the label?
Gaming isn't a new medium though; commercial / arcade games have been around since the early 70's, vs TV's since the 30's; that's 40 years between TVs and video games, and nearly 50 years since the advent of video games and now.

I don't get why people still think video games are a new medium. Home consoles have been common since the 80's, which is also nearly 40 years now.
It might be a misunderstanding. In many languages, there is one commonly used word that translates (out of context) to "wife", "unmarried partner" and "woman" at the same time.
I think what we're talking about here is "Power Distance Index" [0], one of Oersteds most well know dimensions, covered in Malcom Gladwell's "Outliers".

It's the degree to which people in a society capitulate to power and to which those in power are aloof to their subordinates.

There are some very interesting patterns in that measurement indeed.

[0] http://www.clearlycultural.com/geert-hofstede-cultural-dimen...
You probably need some upvotes first. Be patient
That's a good analogy except that with traffic, you have factors outside your control that can cause a crash. Avoiding bugs in code is theoretically completely within the programmers control. There are various tools that help with this in different languages to compensate the fact that programmers are human: compiler warnings, best practices and linters, sanitizers, testing, static typing, runtime checks etc. Different safety mechanisms offer different tradeoffs both for cars and programming.

One could argue with the your analogy that UB in C is silly because it assumes programmers who make no mistakes. In reality, writing C code can be economical (adequate safety, low cost, high performance) -- pricing in all the human errors -- and making the proposed would also cost performance and possibly money for some, that's why there is pushback on such proposals.
Indeed there are: https://www.youtube.com/watch?v=ulwoUq6VaSs
Disrupted Childhood: The Cost of Persuasive Design [pdf]
Wouldn't coding up a prototype be more in line with asking for permission? You code up the prototype to demonstrate your idea then ask your team if you can proceed with it. I would say that's a solid, proactive way to get your ideas across.
Are Americans trashing the English language?
Streaming with linear types
My reading would be: contemporary western literary culture is excessively, stiflingly concerned about authenticity. I want to read books about a wide range of experience, far wider than any individual is likely to have in reality; the best fiction is at least partly an exercise in imagination as well as observation.

It's great that authors from different racial/sexual/... backgrounds are writing, but with contemporary culture focused heavily on racial/sexual/... identities, we need novels that can engage with that and show us different perspectives within a unified narrative. So we need to be ok with authors writing from the perspective of identities other than their own, even- especially- when that inevitably leads to some inaccuracies. The push for diversity may have lead to greater inter-novel diversity, but it has, ironically, heavily damaged intra-novel diversity in the west, as many authors (understandably) no longer dare to attempt to represent other identity-perspectives in their work.
I get all of those except 3). We all want more rewarding experiences, it's why we love to try new things, travel and get better at our hobbies.

Maybe I'm misinterpreting the magnitude that it refers to?
They should just stick a kernel in vim so I don't even need to install an OS ;)
Open browser incognito, open google, paste link, profit. Works for me.
To look at it optimistically, or maybe naively, ever increasing centralization will increase our incentive to devise decentralized alternatives and generally decrease our tolerance for such colossal clusters of power. Facebook and the like are already profanely large and important. That could be the only reason to give more power to Facebooks of the world – to quicken their downfall.

A sort-of test of this theory is the current US administration. During the election, some anti-establishment and left activists called for Trump to be elected. They felt like society didn't want to be fixed, or was beyond fixing. Dishearted, they decided that the faster this unsustainable state of affairs reaches its climax the better. Enter Trump.

There's a noteworthy counteracting force though. As, the documentary maker, Adam Curtis argues in HyperNormalisation, for the last few decades, the principal objective of our ruling class is to maintain stability and reduce risk. Risk, as a word, has actually been bizzarely relevant during this time. Look at how its use in the Google Books corpus shoots up starting in the seventies [0]. Of course, virtually any ruling class always opposed power redistribution, but what Curtis is trying to demonstrate is that our current establishment has become extremely adept at it, in part thanks to the advent of computing and internet.

An interesting area of focus for socioeconomic studies is how specifically stability of power distribution is maintained, in this day, and how those mechanisms could be compromised.

[0] https://books.google.com/ngrams/graph?content=risk&year_star...
Pretty sure it forms the white shell on mm's and Smarties.
Real domain, just no A record.

For our projects, we create domains like {project}.{workstation}.company.net
This is macOS-specific, I had noticed it there too, but not on Linux.
> The only thing that matters is that it integrates well and is efficient on the host OS, and that it can sync settings, bookmarks, reading list and stuff between your devices.

In fairness, bar the "integrates well" point, any modern browser will do what you've described (where "efficient" can be used to described a number of different performance related matrix).
> The only thing that matters

Well - for some of us it matters that the rendering engine behaviour and performance characteristics are the same.
I work in this field (not directly on the ML, for the company born out of the winner of Camelyon16) and the last two years of progress has been amazing to watch. Tumor detection has become incredibly accurate, across basically every tissue/tumor type, and we're now making real progress on the next major goal: determining the best therapy for a given patient.

It's a bit of a dirty secret in this space that pathologists have a pretty high error rate on a lot of these tasks — it's just tough work for human eyes to do literally hundreds of times every day. Applying computer vision techniques can not only improve accuracy and reproducibility over human assessment, but you can do types of analysis in seconds-to-minutes that would literally take years for a human. We're just scratching the surface.

There are lots of ML challenges here, but just as many general tech/engineering/design challenges. So if you're interested in working on bringing work like this to the masses, we'd love to talk at PathAI.