skysight-inc/HackerNews huggingface dataset:
I never thought about make as a logic program.

But considering this seems to explain a lot. Like SQL, make is an integral part of the programming world ... that most people want as little as possible to do with and which some people violently hate and a few people enjoy playing with.

And I think this shows language that just tell the computer "what you want" and not how to get that something tend to not scale with the length of the command or the amount of data processed. SQL was originally created to be something like a human-friendly, natural language interface, if you can believe it. And it's sort of friendly if you only use one or two command-words but after that it gets extremely frustrating.

So the connection is interesting.
Brown University is conducting surveillance on its students. Everyone knew it was technically feasible, even trivial, but now that there is a financial incentive to surveil, it’s happening and impacting students.

I think that’s the reason for the tone.
Ah, sorry, I didn't mean to take a conspiratorial tone.

On campus, a LOT of students (perhaps the less technically adept ones) found it very surprising that Brown claimed to know where students were. This post was aimed primarily at those students, to clarify the technical mechanisms by which Brown located students.

I tried to speculate as little as possible. The rough set of indicators Brown took is straight from the University Spokesperson — I'm mostly just trying to fill in the technical details.

As for which of these mechanisms Brown is using most, the word on campus points mostly to IP geolocation.
I hope you realize that what you wrote isn't related to my point at all. It's fine, but why put that as an answer to my comment is beyond me.
The market is on an uptrend, so I go for OTM calls maybe about no more than 10% above the current price. If I get assigned then I just buy back my position anyway, a little loss of profit, but most of the time these calls are expiring worthless and I keep the premiums. Could probably make more money getting calls closer to the money, but I don't want the hassle really.

It's amazing that people will consistently pay me money for the chance to buy my stocks at the end of the week.
An Assessment of Illness in U.S. Government Employees at Overseas Embassies
I recall at one university there was a student who was clever enough to hack the card access system, but dumb enough to impersonate the university president and swipe into a main gate in the wee hours of the morning.
Tbh R's performance is only an issue when you deal with really big datasets. Most of the time R does just fine, and has a lot more libraries that Julia can ever hope to have.
It's crazy that wiretapping is illegal but this getting is not.
> It's usually frowned upon and recommended to avoid for Philosophy students exactly for the same reasons I think it's one of the best books ever written:

> It doesn't shy away of critique and dispute

This is nonsense. wittgenstein and nietzsche are highly regarded within philosophy departments, and they both criticize philosophy to the point of turning their backs on philosophy. russell is just not a very careful scholar of history, philosophy, or the history of philosophy.
Buy some tennis shoes just for indoor exercising? It will also help with cushioning.
Are "Rust Notebooks" jupyter notebooks running a rust kernel, or have I missed something here?
Aston Martin behind debunked anti-electic vehicle “study”
Yeah, it was an aha moment for me when I understood the reason for the cap gains / normal tax difference.

It makes sense that it's an attempt to index for inflation, although strange that there is only one cutoff (securities held for 1 year taxed the same as the ones held for 10 years); you would imagine some sort of step-down function would make more sense / track inflation more accurately (or indexing directly which is much harder).

So maybe different tax rates for 1/5/10/20 years held?
Alan Watts is so eminently samplable. Lots of bands in all sorts of genres sample him.

Here are some of my favorites, from Dhamika:

Eliya - https://www.youtube.com/watch?v=cM1VVCbPfys

Indukala - https://www.youtube.com/watch?v=tXUZoS3LwWo

The Real Substance - https://www.youtube.com/watch?v=llq1Q0us3Ww

Perspective - https://www.youtube.com/watch?v=KNoy4UWd4zA

Luminance - https://www.youtube.com/watch?v=1vz5Qkg2SHc
Codesign: The Saga Continues
For introductions, my favorite is Alain de Botton's The Consolations of Philosophy.

It's a fascinating subject but be prepared to be utterly confused the deeper you dive. I've concluded, like philosopher Michael Huemer, that few philosophical principles can be uncontroversially concluded. Excerpt from The Problem of Political Authority [1]:

"Questions of this kind are notoriously difficult. How should we approach them? One approach would be to start from some comprehensive moral theory–say, utilitarianism or Kantian deontology–and attempt to deduce the appropriate conclusions about political rights and obligations. I, unfortunately, cannot do this. I do not know the correct general moral theory, and I don’t think anyone else does either. The reasons for my skepticism are difficult to communicate, but they derive from reflection on the problems of moral philosophy and on the complex, confusing, and constantly disputed literature about those problems. It is a literature in which one theory after another runs into a morass of puzzles and problems that becomes ever more complicated as more philosophers work on it. I cannot fully communicate the situation here; the best way of appreciating my skepticism about moral theory is to delve into that literature yourself. Here, I shall simply announce that I will not assume any comprehensive moral theory, and I think we should be very skeptical of any attempt to arrive at sound conclusions in political philosophy by starting from such a theory. Nor, for similar reasons, do I start by assuming any general political theory, though we shall arrive at a political theory in the end."

As far as an overarching philosophy, I've concluded on intuitionism, closely approximated by Huemer's Ethical Intuitionism [2].

[1] https://spot.colorado.edu/~huemer/1.htm
[2] Excerpt: https://spot.colorado.edu/~huemer/5.htm
Yes. Call your representatives and campaign for new ones, or run propositions
Didn't realize IT logs are subject to FERPA.
The first thing one should know about philosophy is that, just like with religion, there is not one but many philosophies. That’s on a general level. Besides that, there is philosophy of science, philosophy of mathematics, historical philosophy, perhaps even philosophy of philosophy. Much of studying philosophy, unlike in sciences and mathematics, consists of the study of its history (which is a fun subject in its own right).
> I would love to know if there are examples of instigating violence that were productive and useful for society (because there might be some)

Does the American Revolution count? (No snark, I'm serious.)

Freedom of speech as recognized in the US Constitution is about the recognition that one person doesn't have the right to silence another, and forming a government doesn't grant that right, and cannot. There ain't no King anymore.

The First Amendment is not an authority granting a right, it's an authority recognizing the limits of its own power or domain. It doesn't say "y'all have the right to say what you want" it says "Congress shall make no law ... abridging the freedom of speech" It's saying that even the highest authority in the land doesn't have the right to limit what someone says. (Although you certainly don't have to listen!)
Will redirecting all DNS as described in the article work if the Smart TV is using DNS over HTTPS?
Old reddit users are last I checked in the Reddit traffic stats I had access to around 1-2% of active posters, and mobile overall is thumping desktop reddit several times over.

By the time New Reddit was launched old reddit wasn't even the primary way to view the site anymore. Nowadays new reddit crushes old reddit. Reddit doesn't need it's old users, it doesn't need you, and it doesn't need me. It could kill off old reddit today and it would be fine.
People know about data collection. They don't care.

The first thing we need to do to have productive conversations about privacy with non-technical people is to stop pretending they are ignorant or unable to understand trade-offs. People know that their online activity is tracked. They know that their Alexa devices record their conversations. All of this has been on the news enough times that you'd need to be living in a cave to be unaware of it.

People know this, and they have chosen to purchase these devices anyway. Maybe it's not because they are stupid and need the state to protect them -- maybe they are capable of evaluating trade-offs and their choices ought not to be second-guessed by people who think they know better.
Not really, if the calls get assigned it means I made a ton of profit from holding the stock anyway, I can deal with a little bit of loss. The biggest shit-your-pants upswing that happened in a short period of time was TWLO, I did eventually get back in and went on to make more money though.
Exactly, the problem is that market research clearly shows that most americans aren't ad-conscious enough to pay $50-$100 extra to not have an ad being the first thing they see when their TV turns on.
309k in that portfolio.

But I have capital in other portfolios with different strategies, including one where I took a massive short position in NKLA and made a ton of money, though I wish it had gone to ZERO. Here's where it all started: https://news.ycombinator.com/item?id=24473631
Call out her employers? No. I’m referring to the exchange she initiated with Yann Lecun that caused him to be harassed to such an extent that he withdrew from Twitter.
You need to have a moderately big processing complex to do various kinds of tasks in the TV anyways (scaling, HDMI negotiation, temporal interpolation, audio, etc).

Decoding video is not any significant additional BOM cost (mostly just the network interface), and it is more convenient and nice for a significant fraction of users.... plus it allows the manufacturer access to additional revenue streams (e.g. getting some pennies for bundling Netflix).
Random story about routine calibration. The old Sony CRT reference monitors were weird with their calibration as well. Had a 32" 16x9 HD monitor that had the mass of a dying star. It was in a dedicated film xfer/color correction bay. Once installed, it never moved until we moved to a new location. Once in the new location, it had some weird anomalies even after the typical calibration steps. Our Sony tech realized that we had changed the orientation of the monitor 90 degrees. His explanation was that the earth's magnetic fields were the culprit. Rotating the monitor 90 degrees made the issue go away. Don't remember ultimately what the fix was, but it was fixable.
You turned on location services.
Doing well-formed push-ups until failure each morning has very impressive effects. Quantifiable improvement happens quickly. Chest and triceps will start to noticeably tone up. Fat loss (pant size) will be helped as well.

The health benefits are great:

“In a 10-year study published in February, researchers reported that men who can do 40 pushups have a whopping 96% lower risk of heart disease than guys who can't muster 10.”[0]

I had a hard time breaking 37 in one go until I started doing a second set one minute after the first. I could do about ten before failure in second set and soon I was breaking 40 in the first set.

[0] https://www.webmd.com/men/features/pushups-help-mens-hearts
Or java
It's a language where it's worthwhile to sit down and read the book, but it aspires to be fairly accessible too via zero-cost abstractions and integrated tooling. I think it's been moderately successful in this goal all things considered, but there's always more progress to be made.
As someone who went to multiple schools for undergrad including brown I fully disagree. Brown is a very libertarian school with regard to the student body. Sure this example sucks but how many people at brown were involved with this decision making process? This feels like a situation where technical administrators who are not in charge of normal student life made a decision which is both highly unusual and clearly controversial. I would say the main people I came into contact with at brown for instance RAs in dorms and my professors and course staff were absolutely understanding, kind, and liberal in a way that I did not experience in other schools.
James Maffie's "Aztec Philosophy" is pretty great, as is "Filosofia Náhuatl" by Miguel Leon Portilla. (If you are interested in process metaphysics) Oh and the latter seems to be available online: http://www.historicas.unam.mx/publicaciones/publicadigital/l...
If the future elite is growing up under surveillance and this is normal for them - won't it then just be a matter of time before this becomes the new normal for all of us?

As much as I would like it to happen, I doubt some switch will flip after they exit university, which makes them no longer accept measures like this.
I've seen no evidence niche subreddits in general are dying because Reddit's growth in general is so strong and a rising tide lifts all boats. I've seen niche subreddits climb in traffic steadily even as their overall ranking on reddit declines.

I just would have guessed new reddit would have started the decline years ago but the apex hasn't even been reached yet. Still I do think the apex is coming just because of the sheer user hostility of Reddit.
What phone do you use?

You care very strongly about the walled garden so much so that you’ll ignore thousands of other compromises compared to other devices that you may not like. That’s rare, but you’re on Hacker News so of course you aren’t like normal people when choosing a phone. You can’t assume most people will do what you do when they haven’t even heard of the walled garden issue so it literally could not be on their list of considerations.

I’m guessing I could say you don’t care about privacy or usability or something else based on your phone choice. But you’d say no I care about not having a wallet garden and thats why I chose it. Well in the same way most people didn’t choose to have a walled garden. They went to the store and bought one of the most popular phones and regardless of brand all their apps came from an App Store so they didn't even know the difference when they were deciding between other compromises like price, availability, network, battery life, ease of use, etc.

In fact, most these people never had an App Store before their iPhone so it seemed like an extra thing no one else had instead of a locked down Apple monopoly. Hindsight is 20/20.

None of these people would be upset if you put in a power user setting to allow third party apps. They wouldn’t even know it was there. So don’t say they “chose” that they didn’t want it. You can’t say people chose to ban something they don’t even know exists.
well I'd say Slack is lucky to survive after kicking the Microsoft's nest, you know, the last two times when Microsoft is really pissed off, you got .Net and the death of Netscape. And an antitrust of course.
What company? It an issue if Google runs ads against your location history and lets you delete it whenever you request, but not an issue that Flashlight App sells your permanent location history forever to brokers to aggregate and resell to anyone who asks for it?
Given this is a very strange year, extending into the markets, it is a very legit question to ask about sustainability. As I think about converting to full time trading in 2021, I ask myself this same question.

Let me clarify my situation first. I didn't have a bunch of cash to buy stocks in March. I worked at Google for 4 years and had all my cash sitting in GOOG stock via RSU vests. I didn't hold any other positions. Over the course of weeks I watched all the gains that had accumulated over those 4 years evaporate to nothing. There were a few days where these savings actually went red. By the time the bottom hit I didn't have a bunch of cash sitting around. I had a bunch of stock that had lost substantial value. I remember thinking "I am now officially losing money I had previously earned from hard work". I got really scared. I thought I was going to _continue_ losing money. The bottom never really looks like a bottom when you are in the thick of it.

This is the _starting point_ for when I began to actively trade around my equities. I thought, the markets are wild right now and here is my chance to come out ahead. I can sell all this GOOG stock tax free since there was no capital gains any more (consolation prize for me). Let's get going. It was difficult because I was so used to the comfort of just holding the same thing and watching it grow. It was like the autonomous car just handed over the steering wheel as it was going off course and I needed to get back on the track and learn to race at the same time. I now have a balanced portfolio, with tons of extra cash with a lot less exposure to GOOG. I also quit working for them.

I do think what I've proven to myself is that I can read environments, react accordingly and have the conviction to make good moves at the right time. The world will be different going forward and the same opportunities might not exist. I built confidence but most importantly I learned that I absolutely love waking up in the morning each day and getting into it. This is something I didn't have working at Google, and whether I can sustain this or not, I know I am moving in the right direction (away from there!).
So on point. Sharepoint is awful. Confluence is the worst except for all other knowledge base software.

I guess this space is so boring that we aren't seeing any exciting startups tackling it and giving the incumbants reason to innovate.
Do you want your comments to be inaccessible when your own computer is down? Do you want to be the only repository of all pieces of information posted online, forever?

If not, then you want other people to be able to host these content for you. And they won't want to be liable for what you are saying.
"[The messages] will not be advertisements for commercial purposes, but rather for services, always linked to the community or the app."
It's tricky, though. Technical aspects nonwithstanding, suppose what we call "Microsoft Office" had never been separate programs to begin with, and right from the beginning had been a single binary that did Word, Excel, Outlook, etc. depending on what you clicked, and then that binary had just gotten new features every time Microsoft discovered a new thing they thought it needed.

Would it be anticompetitive to add a chat feature to that program? If so, when do software updates become anticompetitive? If not, what is the functional difference between that and the situation we have now?
My only problem with LG is that it doesn't seem to continuously poll/maintain a connection to SmartThings, so the Google Home-based control will never work and it can take 15-30 seconds before you can control the TV via the official app. Maybe this is because it's hard-wired instead of on wi-fi.
"Ah, shit, here we go again"
Kia recalls 295,000 U.S. vehicles for fire risks
I've done some of those high-intensity YouTube videos at home. Here, I'd either have to do them on top of the bed, or do them in the 2 foot space between the bed and the wall, or in the 3x4 foot shower.

The bedroom, toilet, and shower in total area of 8 sq. m. / 86 square feet. That's 8 by 10.5 feet, with a double bed taking up most of it, and a pair of glass walls separating the toilet and shower areas. I haven't measured it, but it's advertised as 8 square m, and looks roughly 8 by 10.5.
Have you ever had to do technical support for someone who changed settings they didn't understand? Or maybe someone who decided to "clean up" a bunch of system files that they thought were wasting space?

In my experience, product design is generally done with a well-meaning attempt to protect the average user from themselves. People who can and do manage their own networks in sophisticated ways are, unfortunately, far less common than people who have no idea that their ISP fscks with DNS lookups.

Personally, I'd bury this setting pretty deep in an advanced-usage-only tab and behind a notice SCREAMING about how using these settings is unsupported. And then tell support staff that they are not obligated to support whatever crazy configurations people cook up for their home networks.

I understand not doing it at all. A few people will complain, but the number of people who will refuse to buy a TV because it doesn't play nice with their pihole is almost certainly too small to register on any material financial statement, and attempting to please them will generally run into some other point they are unwilling to budge on. The number of people who screw up an advanced setting they don't understand will show up in support costs.
There is a saying that "if libraries did not exist for millennia, no government would create one in the 21st century. They would instead give people a means-tested tax credit for buying books and call it a day".

I think this sentiment applies to much more than libraries or infrastructure. Laws against wiretapping and opening postal letters are vestiges of the past. They never got updated when communication moved digital. They would not be passed today. They are kept on the books only because of inertia. If they didn't exist in the first place, no government would create them in 2020.
Simon Kornblith / GoogleAI – SimCLR and Paper Haul
This week myself, Sayak Paul and Yannic Kilcher speak with Simon Kornblith from Google Brain (Ph.D from MIT). Simon is trying to understand how neural nets do what they do. Simon was the second author on the seminal Google AI SimCLR paper. We also cover "Do Wide and Deep Networks learn the same things?", "Whats in a Loss function for Image Classification?", and "Big Self-supervised models are strong semi-supervised learners". Simon used to be a neuroscientist and also gives us the story of his unique journey into ML.
We cover a lot of ground on contrastive self-supervised representation learning, and augmentations in particular. Simon has also done fascinating work on analysing the evolution of representations in NNs.

https://www.youtube.com/watch?v=1EqJyMy0LnE
Still though, as noted by the paper, there hasn't been a shutdown in Japan:

> Without introducing lockdown measures or strict domestic movement restrictions during the state of emergency, authorities requested non-essential businesses to close or opt to work remotely. Stores and restaurants were asked to operate for reduced hours. The state of emergency was lifted on May 25, 2020.

Yes economic down turns can increase the suicide rate shock, but shutdowns are obviously not a factor for Japan as they haven't imposed nearly as onerous containment measures as other countries. The main reason for Japan's current plight is that its economy is heavily susceptible to external economic shocks such as decreased global consumption due to an ongoing pandemic.

https://www.businesstoday.in/current/world/covid-19-effect-j...
Bitcoin is a thneed.
I did quit my day job :) I didn't do it because I think I can replace the income, but just realized I was very unsatisfied with my day job. I absolutely love the day to day of trading and investing. I'll figure out something.

I still hold all my LEAPs. I am up 60-100% on those but they are unrealized and don't want to pay taxes on them this year. We will see where things land when I sell them. Anything can happen.
Not sure why you're being downvoted.

I acknowledge they're great for you, but it's hell to do even just five of them in a set.

I don't know anyone who enjoys them other than for the challenge of being able to do a ridiculous number of them in a single set.