skysight-inc/HackerNews huggingface dataset:
Ask HN: Reddit removed my permissions from my own legal, non-abusive community
My partner and I started a community on reddit more than 10 years ago. Nothing illegal or untoward, it's just a subreddit about a city and everything related to it.

We have had some issues with abusive commenting like many other places, but we've kept a good handle on it, with a combination of automoderator and manual moderation.

We had to add other mods over time, especially during election season and through covid and the riots, to keep up with the volume. Some have been helpful and respectful, and others have just given me nothing but abuse and criticism. Perhaps it was a mistake to keep them on, but they were good at their work otherwise.

Well, after a snafu (my fault, admittedly) reddit has now taken away my permissions as mod, effectively removing me from my own community that I started.

What was my mistake? I didn't post something illegal, nor anything abusive. I merely removed other mods, temporarily, and added an auto-moderator rule which warned users when their posts were reported.

This was reported to the admins through ZenDesk, and suddenly I'm caught in the middle of a "power struggle", I guess, to gain control of this subreddit.

Just a note to anyone wanting to start a community on this platform, you can spend years growing it (to 250K+ at this point) and then one day it can just be taken away from you with no recourse.

We are now waiting on a "decision" from the admin team, and I don't know what to expect as the outcome, but it seems even if you are not breaking any of the rules, you can suddenly discover that you've been removed from the community you started and maintained for years.
Thanks the second one finally answered the question:

In summary, Gödel’s loophole is that the amendment procedures set forth in Article V self-apply to the constitutional statements in Article V themselves, including the entrenchment clauses in Article V. Furthermore, not only may Article V itself be amended, but it may also be amended in a downward direction (i.e., through an “anti-entrenchment” amendment making it easier to amend the Constitution). Lastly, the Gödelian problem of self-amendment or anti-entrenchment is unsolvable. In addition, the author identifies some “non-Gödelian” flaws or “design defects” in the Constitution and explains why most of these miscellaneous design defects are non-Gödelian or non-logical flaws.
Ok. If we are being careful, there are different kinds of completeness and we should specify which one we're talking about.

Here's a good list: https://en.wikipedia.org/wiki/Completeness_(logic)#Forms_of_...

The existence of a proof within the logic system for every well-formed formula or its negation is "syntactical completeness".
If you used Ranger in your vim days it's also available in emacs. Projectile when inside a git repo also has a lot of good stuff for navigation, see projective-find-file and other fn from the package.

I will leave this here for the small set of people that use both emacs and windows. The 'everything' extension for emacs is really great, instant HD(s) wide file/folder search. If you don't have Everything.exe installed on your windows machine i'd urge you to go try it. (with or without emacs)
As far as emacs integration this is what I use for it. The 2nd function requires the projectile and perspective extensions, it opens a new virtual-desktop-thing inside emacs.

(if (eq system-type 'windows-nt)
(use-package everything
:config
(setq everything-cmd "C:\\Program Files\\Everything\\es.exe")
(setq everything-ffap-integration nil)))

(defun open-file-from-anywhere ()
(interactive)
(everything))

(defun open-file-from-anywhere-in-new-persp-if-in-project ()
(interactive)
(let* ((fpath (everything-find-prompt))
(f-projectile-root (projectile-project-root fpath))
(project-name (projectile-project-name f-projectile-root)))
(if f-projectile-root
(progn
(persp-switch project-name)
(find-file fpath))
(progn
(message "File is not in a valid project directory")
(find-file fpath)))))
That commit details the replacement of the music videos with a generic test video, exactly what I said. I'm unsure how it is supposed to show it is not the case.
The price difference is only like 300 dollars so pretending that one is low end and the other high end is not really true here. They are both high end devices.

I can't buy this hypothetical stronger arm Macbook so it means nothing. Apple's marketing material said the M1 would blow everything out of the water with a HUGE margin.

Now it turns out it's actually slower then their own laptop would be with a refreshed intel chip. That's what dissapoints me.
Well. This is a random post to be seeing on the HN front page.

Yup, Caltech is small.
Beautifully said. Seriously.

Well stated. Yes, I cannot agree more that you need challenges like what Sedol faced. He admitted playing AlphaGo made him a better player. I too feel same whenever I get challenged but there is difference of the challenge's virtue depending on the outcome. An emotionally strong deeper understanding stable person will possibly see growth, but the flipside is someone not ready/incapable/not mentally mature enough will probably get their souls crashed.

In martial arts, we always fight against a belt above as one cannot better one self being challenged by stagnant skill level.

One of the main reason why I like coding. Even if similar task, I try a different path to challenge myself.
yes it is, I commented before coffee :)
I think the parent means that it's a career choice that in the US is quite well payed especially after some tenure, given the level of training /education required. It also comes with a ton of job protection that's rare in the US, and a pension. Couple all of that with a monopoly on violence in society, and police in the US occupy a position of unusual privilege.
The referral phrase that got my friend to download it: "it's a carnival"
Yea ha ha.

They took that poison pill already, I really, really doubt they ever new pop music stops being part of youtube in the future, the audience is too large. It would be like them taking music off of the radio because people could record it on reel-to-reels. They might stomp around a bit and try to use the law to get what they want, but when push comes to shove the big labels will keep their music on youtube.
> Not OP, but I think he was referring to The Lord of the Rings: The Fellowship of the Ring (2001)

OP referenced "over 90% of HN readers", who are notoriously out-of-the-mainstream nerds[0], so he probably was referring to The Lord of the Rings (1978) [1] which grossed $33.7 million (which seems a lot less than the 2001 film, but is pretty similar as a multiplier on its budget.)

[0] https://www.example.com/what-you-thought-this-was-a-real-sou...

[1] https://en.wikipedia.org/wiki/The_Lord_of_the_Rings_(1978_fi...
> And perhaps there is not much difference between computers and humans after all...

My point is that at the current state of technology the difference is so huge that it's almost inappropriate to use the term intelligence to describe both how humans think and what computers do.
People still travel within their own country instead of abroad
I'm no expert, but isn't that just autocorrelation? (https://en.wikipedia.org/wiki/Autocorrelation)

Autocorrelation is the algorithm used for Radar (at least, that's what my professors told me). When radar bounces off of another object, there are different "echos" of that radar (ex: an object was 10 miles away and 20 miles away: the 20-mile object will take 2x longer to come back). Its messy and everything.

The radar input is very messy, full of reflections, echos, and more. But autocorrelation takes all of that information, and tells you where the objects were.
> The point is that DKIM can be abused to lend undue credibility to falsified data... not that it can credibly attest true data.

So can deep fakes. What makes deep fakes explainable and DKIM unexplainable?

If the journalists interests do not align about DKIM, how come they align about deepfakes?

I'm not saying journalists have any integrity. I'm just wondering why specifically for DKIM a "throw the baby out with the bathwater" solution is advocated, whereas for things like deep fake it isn't -- where the underlying truth is the same: "You can't trust what you see/hear".
I just started hosting with AirBNB and experienced a bug with the platform. It offered the wrong price ($100 instead of $278) and the guest accepted before I could intervene because the platform defaulted to AutoAccept.

When I reported the problem, the support rep claimed it happened that way because I had "Smart Pricing" on. It was set ON by default. But AirBNB's own documentation says the Custom Price I set for the dates in question (Xmas week) override all other pricing.

Even if "Smart Pricing" had applied, it shouldn't have offered the lowest price for the highest demand week of the year, because AirBNB's own calendar shows the demand peaking high for the week, not low.

Now I've been 3 days trying to get a response from tech support.

They deny responsibility, and promise to escalate it to a supervisor, then close the case without responding to my detailed evidence.

What can I do? Does anyone know how to escalate to an AirBNB IT person? I would have thought AirBNB would like to know its platform has a serious bug.
By tradition, fundraising = aggressive pursuit of monetization = degradation of features and increases in the use of dark patterns... As someone else mentioned - if they haven't made money 'til now, it's not looking good.

Anyone find a decent way to track GPS activity on a more open system that isn't plagued by upsells? I'd even take a local solution if it is decent enough to sync with my Garmin and track critical stats about my runs/rides...
Great, now I want to have a taste of broccoli ice cream. Thank you very much...
I've actually found this to be useful, especially in the evenings when I'm tired. It's helped me stay focused (I haven't used the meditation much and the sleep not at all). It feels like gentle assistance, not a adrenaline shot to the heart.
My bad, meant to say introducing "repudiability".
What I don't understand is why it is clear to almost everyone but myself that DKIM-truth incentives are different than deepfake-truth incentives.

And yet, the deepfake equivalent to the suggested solution is one of "start showing deepfake as news" or "stop showing any video as news", neither of which anyone would consider a reasonable response to deepfakes. I just don't understand how DKIM is suddenly so revered as truth when almost no one knows what it is.
TSMC 5nm and 7nm processes are fully loaded until H2 2021
> NZ is still getting new cases

In fairness, those are due to quarantine failures, which were anticipated and planned for.

Why would a region with one person per square kilometer plan to quarantine people in a crowded hotel in the centre of a crowded city, and respond to the inevitable outbreaks which potentially expose millions of people to the virus, when you could divert all the jets to Woomera and stick everyone in tents for 14 days? That's a question which those responsible are trying hard to ignore.
I graduated from Caltech last year, and the exams are all still take-home. You're expected to time yourself and not consult course materials, and basically nobody cheats. It's a rare sort of equilibrium where nobody's cheating, so it's very hard to start -- you won't find any co-conspirators, and if you're found out it's social death.
we have exactly 1 replication protocol. That's raft.

We spend a ton of time ensuring it's correctness

1. https://vectorized.io/validating-consistency/
2. https://vectorized.io/kafka-redpanda-availability/

That is our essential complexity. If you are trying to replicate data to machines, you need to replicate data to machines. We chose raft as the only way. In essence we are much simpler than upstream w.r.t protocols for data replication.
I think selling a product that doesn't yet exist may work without an MVP, especially if it's a completely novel idea where none exists. We launched recently (and got paid customers on day 1, no mailing list, no large # of followers, no marketing spend) in a relatively established market niche and didn't run into the problems of finding customers, because customers were already looking for that solution and liked what they saw. We also needed to build out the whole product before the first revenue dollar.

I think strategies differ depending on:

- How new the market is for that particular product

- How big of a risk is it to adopt your product vs alternatives

- How polished it looks (inverse relationship to how many solutions already exist)

In some cases, you may need a much more polished MVP to get people to bring out their credit cards. If your product is the only one of its kind (and is in high demand), the UI is less important in v1.
Starlink will be huge. I would like to receive the thing right now. I don't think people appreciate just how big it will be.

For context: right now, I'm in Algiers, Algeria, with an ADSL connection of 4Mbps paid around $30/month for home usage. Recently down to $15/month, but the. 2Mbps for businesses is $77/month. Now, I've tried numerous times to upgrade this.

Fiber was priced at around $190/month for home usage, with many people showing upload is capped at 1Mbps. Yes, that's "one megabits, not megabytes, per second". Even then, I was willing to get it.

20Mbps for business is ... $505/month. It's cheaper for home use at ... $77/month recently for 100Mbps, which is a price drop from $190/month a month ago... if you can get the company to install FTTH, and if you live somewhere 'with DSLAM' as they say. They can't serve downtown.

ADSL and fiber are only available through the state owned company, of course, which also proposes Wimax, and 4G. Other carriers have 4G. Doesn't work where it matters. Plus it's capped. There were competitors in ADSL and Wimax, they were closed and had trouble with the regulation authority which oversees all.

I once needed someone remote to be on video call with a physician. ADSL went down. I sent "airtime/4G" credit to 8 numbers belonging to people who were present so they could have "internet" and be able to make the call. These numbers were of the three different carriers. No internet.

Starlink will be huge: bypass state monopolies, bypass regulating bodies. People will pay off customs agents to get receivers in if authorities try to restrict their imports, and there will be a black market for that if that happens.
I'm sad that there isn't an explanation of Godel's proof!

But, given that we can amend the constitution, it does seems fairly straightforward that a dictator could come to power, if there was approval of a super majority of the people.
Gaining root access on Alexa using only sound [pdf]
Tesla instrument clusters fails because they use a cheap NAND flash for syslog
>Maybe make them pay 10-25k lump-sum in cash. After a certain amount of guests have visited the offering then the money can be returned.

This is so detached from reality. It would wipe out probably 99% of listings from people not doing it professionally.
NSA/XKeyscore espionage on Swedish and Danish defense industry
Pfizer release their data ahead of Moderna. How is Moderna "ahead"?

And no, stability testing happens pretty early on. Pfizer would have definitely collected enough data at this point to say whether or not their vaccine is stable at higher temperatures.
If there's a law you have to get it, and the burden of proof is that the law doesn't apply to you, it's mandatory.
Keep it simple: I kept a basket of takeout menus from my favorite neighborhood restaurants in the kitchen. Call the number on the takeout menu.

In the event you call and your menu is out of date, it's a minor inconvenience and you'll grab a new one when you go get your food. I never had a restaurant give me trouble because I had an old menu, usually they were happy I'd been a customer so long I had an old menu.

New restaurant? Yeah, you might end up calling from some shady Yelp number but then you add the takeout menu to your collection and use that number next time.

We don't need the internet to order from restaurants. Plus there's something nice about the time your favorite restaurant starts to recognize your number.
I wonder if the constant surveillance aspect of Tik Tok is pure coincidence with the round-the-clock ticking of the clock, or quite intentional.
In Canada they have two cities, excluding our largest, Toronto, and many other major cities (Montreal, Halifax, Ottawa, Edmonton, Victoria, Winnipeg, etc etc). Having a curated list like this that excludes huge cities when you have millions of users running in these cities and smaller seems ludicrous. What are they adding by curating? If something of value then add a “Strava Approved” badge, but for the love of god let people post full routes and rate them!
Curious, for NES emulation, the most accurate emulators also simulate minor timing inaccuracies to allow for certain hacks to take place (if memory serves).

How is this handled in such code-generation projects?
That is a good point and there even is a sort of open source implementation of the Wolfram language, Mathics [1]. Although I would assume its value is kind of limited without the standard library included with Mathematica.

[1]: https://mathics.org/
There's no rules, but you still might get the stink eye. The same stink eye you might get by ordering a 'Campari col bianco' at 6am not wearing a bricklayer outfit.
Worked in that space for a year and boy is indoor positioning with wifi or Bluetooth unreliable. I bet on it never making it, especially with all the other possibilities for indoor positioning opening up.
“Digitized” just means PDF, at best.
Spot urls.py bugs lurking in plain sight
We have production users today.

We hope to announce our early product partnerships in the coming months. Big Corporate law is incredibly slow.... you have no idea. haha.
Fresh allegation, does not seem like it has made it to English media yet. Use Google translate.
Unfortunately it’s not a relational database, so no constraints or any of the other features.
You're throwing a lot of things out there and I really can't see a real connection between the Go documentary and all of this Palantir/no-prejudice/no-emotion/favorite-food talk.
This may sound unhelpful, but if you have good enough organic growth somebody may post it in the subreddit (and many other places) without your prompting
I installed it out of spite a couple months ago and it's one of the best decisions I've made during the pandemic. It has brought me so much cheer. I expected it to be dumb, instead it's been delightful. I'm not sure it's possible to understand the appeal of TikTok without trying it yourself and seeing what the algorithm does.
Cod is pretty widespread, but salted cod is not common here in the UK or I think in Ireland and I had never come across that particular way of cooking it before. When we eat it, traditionally it is street food cooked from fresh, battered and deep fried, which can be nice if it's done right but many places mess it up and the fish gets too oily.

That paella sounds nice. Barcelona is also a great city, great food, culture, beaches, amusement park on a mountain! Seville, Madrid, Cordoba and Granada, even Valladolid are also great. The only Spanish city I didn't like was Malaga. In fact, I think that in general Spain is excellent at urbanism and liveable cities.
It's a horrible signal. Signal-to-noise ratio: Zero. Two reasons. The first is the huge variety among people with the degree. It's supposed to give you a chance to create your own thing, but this also means it's not a signal.

The other is the hate. Especially in some industries, people are widely aware that higher education is desperately in need of reform, have had genuinely bad experiences in school, or are just plain anti-academic. In fact, the notion of "signaling" is a symptom of these problems.
> Programmers (myself included) tend to rather drastically underestimate the likelihood that data can end up in an error state.

Have you priced ECC DDR4 recently? That stuff is expensive.

What I find interesting is that the chances of a bit error is minute... but the number of bits in a common system is large. (Actually to a human mind I would say it is astronomically inconceivably large)

I first became aware that bit errors <=> memory size were colliding when I heard about large sun systems were doing something called memory scrubbing.

https://en.wikipedia.org/wiki/Memory_scrubbing
I haven't the faintest why this conversation is only about politicians.

I don't want a nation-state to be able to contrive fake historical signatures for my own emails.
Break Down #3: Fintech Trends from Q3 2020
What's the caveat?
Facebook Knows Adding Labels to Trump’s False Claims Does Little to Stop Spread
I have looked a little bit at Pure before, it seems pretty neat. Do you know if there is anything interesting written about it?
The other segment where Airbnb filled a huge market need is medium-to-large family travel. I went to Italy last year with 4 family members ranging in age from 3 to 70. Staying in hotels would have been prohibitively expensive and more cramped, so we probably would not have gone. They definitely made the pie larger in the category.
I've heard this before, but what advantage does the loan have? Doesn't the CEO still pay just as much tax when he/she sells the stock to pay down the loan? Is it just to allow the stock a chance to appreciate?
I am trying to follow, but I feel I am hanging

Goedel incompleteness theorem -> apply this to "theories"

Goedel completeness theorem -> apply this to a specific "model", of the theory

So there can be "something true but not provable" in the theory, and "we cannot describe all true things about specific models", but ....what?
I've got a lot of mileage out of the \copy command, which copies the results of a query into a client-local file

https://www.postgresql.org/docs/12/app-psql.html#APP-PSQL-ME...
hah, I'm with you there. My surname's probably evident from my username. The more common variation has two L's. All was well until I moved to Ireland, where no matter how many times I tell them, they spell it with two L's.

I even got in an argument getting my public service card issued, where she told me quite sternly "It has to match your birth certificate". Except I've seen my birth certificate and she hasn't.

So the taxman, drivers licence, public service cards all have one spelling. And my passport has the correct one. I'm not entirely sure if I'm two people or not.
technically, that would be a case of the MIDI data having noise in it, not extra information.
I was about to be shocked because I thought r23 wasn't recompiled for arm... then meh. Truth is Apple is about as good(but slightly worse) and they feel like the margins are worth it.

Bonus: I'd like to see Apple's GPU up against an Iris Xe.
Headlamp: a new UI for Kubernetes
> I go there because it makes me happy.

Could not agree more, I have all my niche topics in an endless stream I can dip in and out of as I desire. The hit-rate on "things I like that it shows me" is incredibly high, higher than I would have believed possible without heavy tuning on my part. I did "nothing" but like the videos I enjoyed, swipe to the next video on videos I didn't like, and occasionally follow a creator if I've seen 3+ videos of their on my FYP that I like.
Hard to reconcile that theory with the old warm cup of milk before bed for children and adults unable to sleep

I suppose hard to digest could be made to mean, makes you sleepy but I find coffee wakes people up and why is it ok to be sleepy before noon

If it means makes your stomach unhappy then avoid it, not have it and be uncomfortable