Can I have more details about this? I also have been told I have an acidic mouth. One dentist straight up suggested drinking alkaline water and I couldn't tell if that was quackery but the science sort of checks out I guess.
385 karma · joined July 25, 2020
It seems we both agree, though, that Old Reddit is not long for this world. Which I find regrettable.
If you're more familiar with the mechanisms by which New Reddit defends itself against scraping, I'm happy to issue a correction --- especially so if it can be explained why Old Reddit cannot offer such a defense.
> Besides scraping, this probably has implications for posting as well. Do you like reading comments from humans and not from other bots? Well, in that case a system that uses plain html will be easier to automate with bots than a javascript clusterfuck.
Commenting has --- as far as I remember --- required an account on Reddit, and Old Reddit is still accessible behind a login. So in the future when they do sunset Old Reddit, they can use this argument. I will still not really buy that they simply had to remove Old Reddit because of it, but whatever, I kind of doubt I'll even see the notice.
> You can't have the cake of web 1.0 and the eat-it of a botless experience too.
Alas.
I miss Reddit-the-communities, personally, whose interests as you observe seem to conflict with those of Reddit-the-company.
I'm even fine with them saying "because old.reddit.com is used by scrapers, we're locking it down" which I would still contest the need to do when other sites can use e.g. Anubis, but I probably wouldn't write a rant about it.
> Referring to old Reddit as plain, safe HTML is not an accurate characterization.
To be pedantic, it is accurate, but missing context. Please forgive me for doing the same thing the Reddit PR team has done, I am not so morally just.
Arguments aside, this is a touchy spot for me because I really do view my time spent on Reddit positively, and seeing where it has gone makes me feel all sorts of unpleasant emotions.
Unless their servers are being hit so hard by scrapers they can't stand up straight...
A failure in what sense? That they can't pay the bills or that they can't see the VC-desired 10X ROI? Because my impression (as a layperson) is that the Reddit of yore could have stayed afloat from ad revenue + user donations, but it wasn't turning a huge profit. Anyone else remember the sidebar with the quota for Reddit gold for server costs? I don't remember it being short that often...
I neglected to editorialize this part, but I suspect this is because *they don't have to*. I don't doubt that there are some new things on Reddit that people like, but Reddit was functionally complete as a place to interact with other people when it was launched.
I'm not an internet historian, but sites akin to Reddit have existed for a long time, and my understanding is that it happened to take over when the last forum aggregator died for whatever reason.
I hope the day never comes that you are booted off, however.
And dang it, I swear to god they put in a 2s rate-limit on the page, which it seems they have left in after the transition (perhaps because it's being rolled out still, although they could be so kind as to not rate-limit me now that I've logged in). Was that all they tried??
I'm having trouble understanding the purpose of your comment since it seems like you're just saying the ray ban glasses are bad for a different reason.
I won't be so confident to identify what it is, but there is something that causes "end users" to bristle at Zulip.
Where I'm coming from, everyone uses Slack. I spearheaded an effort to switch to Zulip because our Slack server is on a free plan and our messages get sucked into the void after 60 days now. Everyone agrees that this is bad, and that we don't have the money for Slack premium (we're an academic organization, so AFAICT we wouldn't even have to self-host to avoid paying), and yet so many people do not want to switch. Here are some common responses I've gotten:
* I refuse to use another messaging app and Slack is nonnegotiable for some of my collaborators.
* I don't want to learn a new UI.
* I don't want to learn a new UI that isn't basically the same as Slack.
* I will only switch if everyone else switches.
This is half a social problem ("I will only be receptive if everyone is using this"), but I do think there is some legitimate friction in Zulip's UI. I am fairly confident that we could successfully switch to Zulip if the Slack dissenters could be convinced to use Zulip --- or if Zulip could somehow be coerced into being more Slack-like.
As the "agent of change" at my organization, I felt like the resources Zulip provides are lacking in what I really need. Like I know there are technical details on how to move to Slack (https://zulip.com/help/moving-from-slack), but what I really need is help with the above: convincing people to try and acclimate to the UI. And yeah, I kind of agree that a 2 minute video on how to use Zulip is not the resource I need since it presupposes a degree of openness and cooperation that I don't have access to.
These are somewhat disorganized thoughts, but happy to expand upon anything if you're interested. I really do want to successfully move our org to Zulip since I'm tired of our messages disappearing.
LMK if there's a mailing list or something I can get on for your mom's book!
I saw some mention of the same on the website for the farm. Care to share any recipes? Or even just names of dishes? I quite enjoy foods from the Mediterranean and I'm interested in trying more!
I guess the point I mostly disagree with is the feasibility of what you describe here:
> In particular, if you get definitions right and if your plan actually makes sense mathematically (i.e. the proof is possible using your planned breakdown), you have a much more linear sense of progress.
This presupposes that you know how the proof should be written, which means that you not only have an understanding of the proof mathematically (whatever your definition of "mathematically" is), but you ALSO know how to warp that understanding into a machine proof. The author notes that the "getting the definitions right" part is slower than them writing out the definitions themselves for a variety of reasons which ultimately mean they had to carefully comb through the definitions to make sure there were no logic errors.
So I don't really disagree with your overall point (which is that the author can probably be trusted to say they are actually at 50%), but I think you oversell the assurances granted by formal verification when compared to software engineering.
While not a bad proxy, I would say it is a sufficient but not necessary condition. Especially since many pros have the money to blow on overpriced gear (but perhaps you do too).
My own anecdote: as a kid I wanted to learn electric guitar and, of course being a kid, I shopped with my eyes. My dad bought me a $1.2k guitar. It's still a respectable guitar to this day, don't get me wrong. But if he had instead taken the old electric in the garage (bought for probably $500) and spent a hundred bucks on getting it set up, I would've had a guitar just as good. I know because I dug it out recently and I actually think it is quite nice.
An example to a more extreme degree: https://en.wikipedia.org/wiki/Klon_Centaur#Legacy
Not to defend Teenage Engineering, but I have seen a surprising number of OP-1s in music videos/live performances of bands I respect. Does that justify its price tag? I feel somewhat certain in saying "no," but I have no expertise. Love its aesthetics though.
If we are to believe his word about not selling out, then I must assume that https://www.efforce.io/company also brings him more smiles than frowns. I suppose if you change the definition of "sell out" you can conventionally sell out without meeting your own definition. That said, I am reluctantly open to being shown evidence that the company isn't a grift.
I mean just look at this. I didn't even need to look through more than a few paragraphs to find:
> But the subscription traps are where the real extraction occurs—and here we encounter the kind of business model innovation that would make a mobster tip his hat in professional admiration. Customers complain of being locked into year-long commitments they can't escape, like hotel California but with erectile dysfunction pills. Better Business Bureau complaints reveal the pattern with the reliability of a Swiss timepiece: ... Picture ordering a 3-month hair loss kit only to find Hims has shipped and charged for a fourth without consent, like a pharmaceutical version of that friend who keeps ordering shots when you've already said you're driving.
BTW, where's the referral URL you speak of? I didn't realize there was a smoking gun.
Then I misunderstood your comment. I read it as "not invested in their tools => not a good programmer."
Reading the replies to my sibling comments, I don't think we really disagree but we probably have different pictures in our heads when reading the context of this thread.
I could just as easily say that good programmers are the ones who don't have sophisticated tooling setups because it means that they spend more time programming.
I'm inclined to agree with other comments that the baseline for productivity is probably lower than we think. It's fine to enjoy the process of making a perfect setup, but I don't see it as a prerequisite or strong indicator for being a strong programmer.
I will also mention Software Foundations in Rocq (perhaps there is a Lean port). I worked through some of the first parts of it and found it quite pleasant.
YouTube explainer: https://youtu.be/vfgySTaM1TI
https://www.hooktheory.com/theorytab
https://www.hooktheory.com/trends
It's a weird coincidence to see this post since I only occasionally remember about Hook Theory and binge it, but I remembered earlier this week.
Many of you have probably heard the Axis of Awesome four chords song (if not, look it up, it's great), but it's fun doing the same thing with other songs.
Like, did you know that you can sing the chorus of Numb by Linkin Park over the chorus of...
* I Hate Everything About You by Three Days Grace
* Immortals by Fallout Boy
* Cheap Thrills by Sia (swung Numb lol)
(+ the bridge of The Rock Show by Blink 182)
Numb has a pretty common chord progression so I could pick songs with the exact same chords, but there are also some oddly specific finds like this video game (?) song that inexplicably has the same relative chord progression as Hotel California https://www.hooktheory.com/theorytab/view/zun/reincarnation#...
---
I am often surprised how a seemingly simple chord progression has only one result, even when I search by relative chords and ignore extensions and inversions, e.g. https://www.hooktheory.com/theorytab/chord-search/results?ke...
However when you put that query into the normal search box, it does match a lot more songs, showing that there is a i III _ VII trend, just that i III vi VII is strange (which I guess makes sense). Perhaps my lack of music theory makes it harder to normalize my queries, but it's also possible that (1) there isn't enough data or (2) there is inconsistency in how people annotate the pieces (some songs will have II II II II, for example, following the rhythm, whereas some songs will have just a single II).
For keyboards really similar to OP's
The keyboard they were inspired by (not for sale... yet?): https://old.reddit.com/r/ErgoMechKeyboards/comments/1cfg3vr/...
Corneish (out of stock): https://lowprokb.ca/products/corne-ish-zen?variant=376943319... Unicorne: https://new.boardsource.xyz/products/unicorne-LP
The corneish is an absolute gem in my opinion. It is possibly (probably?) open-sourced too.
Although the objection I see is more like "Why bother learning to use emacs/vim when VSCode is free and does everything I care about and my friends use it?" Which, to be fair, the emacs/vim learning curve isn't for everyone. I sometimes wish they had less "leet programmer" cred, though, since what is cred to the leet programmer is (in this case at least) stigma to the majority.