skysight-inc/HackerNews huggingface dataset:
You've got it backwards. Induction is usually proving that n implies n+1, So knowing it's true for 2 you can prove for 3.

The issue is that this proof only works with the base case of 2, for...reasons.
Don’t know why you’re getting downvoted, it’s a legit question.

Sometimes there are sales on gift cards.

Or, even without a sale, buy a gift card at e.g. Amazon or Target, and pay for it with your Amazon or Target credit card and you’ll get 5% off.
This case is so contrived and meaningless I am forced to believe it is satire.
It's been quite a few years since I last looked for the radio plays.

IIRC, the tapes of the original productions were lost, possibly mislaid somewhere but more likely destroyed in a BBC archive fire.

I've not personally listened to a performance of these plays (though I will say that "Kings In Judea", the Nativity story, makes a great piece of Christmastime readers' theater, speaking from personal experience).

Looking around the web a bit, it looks like some more recent productions may be available.
I contribute to open-source, that's the only thing i would be proud of, besides not hurting anybody in any way including myself
Brain chemistry is weird, perhaps some combination of therapy and antidepressants could help. It sounds like you can afford it, so why not give it a shot.
Anyone know if it’s possible to run shaders in VLC like you can with mpv? e.g. https://github.com/igv/FSRCNN-TensorFlow/releases
Consumers actively choose walled gardens over free alternatives. In fact, consumers are willing to pay premium AND put up with all the rent-seeking precisely because the free alternatives are trash in terms of UX/UI, which at the end of the day is more or less the only thing that matters to consumers. I do think that through (primarily government regulation) we as a society should try to lessen the rent-seeking and inscrutability.
That would be a problem for more than say more than 20 or 30 users.
Piracy remains a way better option than anything else.

I'd rather give my money to put.io than the iTunes Store.
Does signal not attempt to ban users that engage in spamming, spreading malware/CP/other undesirable content, impersonation, etc?
Honestly, do you have any desire to improve your current mindset?

If you do, you have the capability to change this.

Everyday go for a walk outside, and everyday lift something heavy.

You can fix yourself, as long as you want to.
Honestly, I don't think YouTube went far enough. He deserves to be permanently banned and socially ostracized. I hope Twitter and Facebook follow suit. Nobody should ever have to be subjected to Baby Shark.
≥ That depends on what you are looking for, though. They're probably morons if they are looking to hire a junior developer. If they're hiring someone more senior, I don't think it's obvious that they might be morons.

I think you misunderstood me. I'm talking about the sheer basics from people like Kernighan or Robert Cecil Martin. If someone at a small and largely irrelevant startup had the pretention to know better than them, them they are the definition of morons.
But doesn't the IOMMU itself become additional attack surface for compromising the kernel? At least, I've seen it suggested that the tradeoff to gain a bit of defense-in-depth isn't necessarily worth it.
Writing Functions in R: Working Example One
At this point i feel like it's bottomless

There is no light at the end of the tunnel, it's only getting darker and darker day by day
Yes. That isn't a contradiction. Let me give an example.

Let's say I have an MP3 file, and I added that to my Apple Music library on my desktop computer. Apple Music will make that file downloadable and playable on my phone, and that downloaded file isn't tied to the subscription in any way -- it's literally the same MP3 file that was uploaded. This functionality is an extension of an older feature which Apple called "iTunes Match".

On the other hand, if I download an arbitrary track from Apple Music which I didn't put there myself, that downloaded file will no longer be playable if I log out or cancel my subscription -- because those files don't belong to the user.
I think the flaw in Linus’ argument is that this happened in the 90s-2010s for x86. A foundational time, especially for his worldview, but I don’t know that the pattern repeats (some of his viewpoint is colored by his time at Transmeta).

The development world today looks very different. Back then, language support for other architectures was more bespoke and CPU vendors had to add support for their chips. Today, there are plenty of very rich, platform-agnostic (both CPU and OS) libraries. Additionally, mobile development has sufficiently matured ARM development that I don’t think that argument holds. If it did, then developers wouldn’t be able to develop on their x86 MacBooks and deploy to their mobile Apple devices (yes it’s ARM now but it hasn’t been for the majority). I think the plain x86-box -> server story is pretty solid for but the cloud has changed that. Everyone is now starting out in the cloud with CPU-agnostic languages where switching architectures usually is as simple as changing 1 line in a config. In some cases it matters but the vast majority of SW dev shops don’t feel this like you used to in the 90s and 00s. Plus M1s now provide developers with local ARM development.
Removing ‘open source developer’ from my identity
No, it was not always like this. It became an anti-tech, anti-capitalist publication some time in the last 5-7 years. I'm not sure why, but something similar also happened at other magazines in the same time period, like Vogue, Rolling Stone, etc.
> TCP/IP: Not really a "platform", but if you consider the internet as a platform: Your ISP puts you on a CGNAT with an abuser, or you random into a floating IP that is blacklisted as a bad actor

So then you use a VPN. It's also not the same thing because that's being done by endpoints instead of the platform as an intermediary.

> This issue exists one layer up at the level of BitTorrent trackers (without which BT is mostly useless)

Modern BitTorrent uses a DHT for this. Trackers, to the extent that they still exist, are just to make peer discovery faster.

> Linux: Not a platform, but you could probably get banned from package mirrors if you get the same IP as some asshole trying to DOS them and waste bandwidth

There are many independent package mirrors and also you can access them from any IP address (e.g. using a VPN again). Also, this:

http://manpages.ubuntu.com/manpages/bionic/man8/apt-p2p.8.ht...
Why not?

Imagine someone told you "you can't manage your own system on a workstation, you're going to terminal into a mainframe, no normal person has the time or resources to manage their own workstation." You'd say it's absurd, because it is.

We are literally talking about doing something as simple as buying a single board computer and a hard drive, putting a pre built system on an SD card and plugging it into an Ethernet cable. It's not surgery.
You're thinking of the ISEE-3 reboot project: https://en.wikipedia.org/wiki/International_Cometary_Explore...
That's already a lot! I don't contribute to open source (as I'm not a coder) and I'm thankful that you do.
FB blocked my business account and blacklisted my domains.
Interesting you bring this up, because the average assumed rate of return for pension funds is 7.7%:

https://reason.org/data-visualization/public-pension-plans-n...

You may have noticed various pensions being bailed out by taxpayers - assume this will continue, although the rampant and excessive inflation is also alleviating this problem (to the detriment of beneficiaries).
The exact same thing happened to me, I added my own (new) card for billing and they immediatly locked my account and requested the docs, I got the same screen you described.

I had just moved countries and none of my new accounts had statements yet, by the time I got them I just get stuck in this repeat loop of upload docs, wait a few days, says invalid.

No way to get back in, all my purchases lost, no human to contact, I just don't use Amazon anymore. Very annoying
I thought the first thing you did was label the label maker itself label maker
Unless you’re Mormon (Jesus is God of the Old Testament).
The Tale of Rainfurrest 2015
Then perhaps needs to include variance?
Then, mentally?
Hey I found a post about my username.
YAML is like Python without the effectiveness.
Ah, zero downtime upgrade.
How would they have any information about any of this? It's end to end encrypted. I don't think it even has accounts; the service is just a relay and the messages are authenticated on the basis of TOFU, i.e. this peer is the same as it was last time.
While I don’t disagree in particular that Apple should offer support for account recovery, and that a resolution shouldn’t require knowing the CEO’s email address and crossed fingers, I don’t necessarily follow the logic that ‘they store my photos’ necessarily means ‘they should be governmentally coerced into having dedicated support staff’.

It’d follow logically that if your photos (or whatever) are valuable to you, you wouldn’t punt sole responsibility of their perpetual storage to third parties. Understand instead that the storage services they offer are voluntary, conditional and subject to loss due to error, negligence or even maliciousness (the latter of which rarely serves business interests).

Apple should obviously do better here — assuming this story is indeed accurate - but introducing legislation here seems like a leap.
Read the almanack of naval. Bettered my life
That's a good point, thanks.

I was thinking of it in contrast with all the subway projects that don't happen and cost ten times as much now, and things like that - think Collison's lists.
Better.com CEO lays off 15% of employees right before the holidays [video]
> Macs don't require an Apple account to function either.

i helped someone setup their macbook air M1 a few days ago. the least i can say is that they were asked to create an apple ID and they were asked for a phone number.

those steps were not skippable.

i was disturbed to say the least because i was recommending them to skip those steps and enter that information when they felt comfortable. an OS should only care about the user account. but two accounts and external identification were needed in this case.
But aspects of their OS are clearly intrinsically related to Rust. Like system calls that you can borrow across.
Well, we cared, but we also understood that death is part of life, and some things are worth the risk. At least worth it to those doing the dangerous jobs. Don't think for a moment these guys didn't know how dangerous their jobs were.
Most people use mobile devices and want the ability to watch content anywhere, anytime at press of a play button. That’s the benchmark. No personal hardware setup will match that convenience and people who are not aware of the security risks shouldn’t be hosting their own content from their personal network online.
> I don’t necessarily follow the logic that ‘they store my photos’ necessarily means ‘they should be governmentally coerced into having dedicated support staff’.

Understandable. But I'm of the opinion that companies like Google and Apple more or less offer these services and advertise them as one stop shops for you, forever. And in many cases, mine included, I pay for it. That I make an offcolor comment on Youtube or get a chargeback against the Google store shouldn't lead to a complete blackout to said photos, in my opinion.
Um... the cleansing of the temple (John 2:13 - 17) comes immediately to mind.

And there's destroying that fig tree.

His reported interactions with the Pharisees aren't exactly a model of calm detachment either.
It's a common "false proof" example that's taught in many introductory college classes. I learned this in my discrete math class.
As long as the automatic way finds most things, and there is any way to manually include arbitrary things, that is actually perfectly great to me.

I don't understand what the complaint or expectation is here.
A monad is just a monoid in the category of endofunctors... duh!
That risk includes getting shut down by your ISP, who may be the only ISP in the area.

I once got a nasty call from Comcast's net abuse department because I was gasp running a mail server. It was locked down tight, and only accepting mail from an old email provider.

They didn't care. I was told that if I had SMTP open or they saw SMTP traffic coming in, I'd be permanently banned from being a Comcast customer because I was "running a server."

Internet needs to be declared a utility and internet companies need to concern themselves only with reliably delivery of network packets and to otherwise completely fuck off. My power company, gas company, and water company don't give a fuck what I do with my electricity, gas, or water.
Get off of the internet. For an extended period of time. Invest in real-life relationships. Get into nature. Seek professional in-person psychological help, not help via the internet.
As a dev I love seeing these. Makes me feel better about myself when these companies with seemingly infinite resources suck at engineering as much as I do
> Oh, but CPU instructions ...

And who says your code runs on a CPU? :^)
I don't think most programmers are "good" at math. Not to say that they're bad either or don't have the ability to get good if they put in the effort. It's just that most programmers don't learn how to prove things because only math majors in college really need to prove things.
> Given that this is just structured data behind the scenes, it will remain a puzzle as to why Spotify decided not to enable Wrapped in the browser.

There is no puzzle here, they are 100% trying to force people to use the app. I suspect this is because it is much more likely people will pay for subscriptions since the app is severely limited, especially in comparison to the web/desktop version. IIRC you can't even see the songs in a playlist and it's fixed on shuffle for the mobile version.
I can.

I'm sure of this because I've made a career of it and I do it professionally for a large corporation. I know how many engineers it takes to have a 24/7/365 follows-the-sun rotation that doesn't lead to burnout. I've personally seen and solved lots of failure modes that result in mysterious degredation. (Hey did you know there's firmware on the SAS breakout board itself?) I've read many more, with solutions I'd never have come up with, by people cleverer than me.

An individual tech person could theoretically manage to do it, but I'd rather have my team helping me while I help them. I'm only human, and can't always see my own shortcomings.

I can. But I know better than to try and self-host something mission critical for myself or (especially) family. I self-host the same way a car mechanic has a classic car in their yard that they'll aspirationally fix one day.
> Not everyone is able or even wants to mess with that stuff.

People literally managed books full of CDs or jewel cases, DVD racks, cassette tapes, LP collections, people had an entire rack in their house dedicated to hardware designed explicitly to use these cumbersome things, people torrented and used gnutella and managed software CDs, movie CDs, photo albums, VHS collections and the like just fine for ages. Not everyone is capable of playing MP3s on an PM3 player? Since when?

If these new systems that everyone is using is so much more complicated than that that you have to pay a professional service to do it for you, we have royally fucked up somewhere along the way.
Many have an emotional relationship with Apple. Love or hate them they have created some kind of emotional response in you.
Commonly the 1 unhappy customer might tell his story to ten of their friends or thousands+ of readers online. Fixing customer problems (especially drastic ones) carries large incentives, because those single stories will actually be observed, while the 1000 happy customers won‘t be mentioned.
You have an extra "o" when you spelt loser.
But no, I've been there buddy, and honestly, still partly stuck in that rut. What really helped me is just going out to meet people. When I think abt the days that depression hits the hardest, it's usually the days when I have minimal to zero human interaction. Something abt regular social interactions is critical for my mental well. I also have had pretty bad social anxiety, but recently have committed myself to getting better at it. Used to think of it as something innate, that other people were borne with but somehow I was passed over. Now I realize it's just a skill like any other, and the more you immerse interact with people, the better you get at it, and the more enjoyable it becomes.
Recommend just taking any opportunity you can get with strangers to make small talk with them. Bars are good for this too.
Also I noticed that the way you write your messages, strongly signals "depressed person". You need to supress this outward expression of your depressive state as much as possible when interacting with other people. Because as much as society tells you otherwise, nobody really enjoys interacting with a depressed person. So no matter how you feel on the inside, shud try your best to reflect an outwardly normal attitude.
BTW, some others have commented seeking therapy. I have mixed feelings abt this. On one hand, people with seriously crippling depression shud definitely seek professional help. On the other hand, alot of self diagnosed "depression" can be simply chalked up to having some bad days, rather than some chemical imbalances in the brain. In the latter case, seeking a therapist just externalizes the solution instead of facing the problem that is yours to solve yourself. What you are feeling would probably continue for the rest of your life, unless you can do something to change it.
Anyways, I hope this helped. Don't give up, and always remember that youre probably stronger than you think. The present is not indicative of the future, and even your worst days will give way to a brighter tomorrow
I'm not in a place to find the source, but I recall reading that they used long flexible hoses.
Anyone know the best way to watch The Chosen? The last time I tried maybe a year ago, I think I was forced to use some sort of custom
App and casted to my TV, but the quality was so wretched I couldn’t bear it and stopped watching within a few minutes..
The first, filter, map, etc. functions are also only loops&branches under the hood, no? :)
It's emotional investment vs monetary investment (it's not a "business relationship." Ironically, businesses seem much less likely to fuck over another business, probably because the chances of getting sued are much higher.)
Use Old Reddit.
http://www.bash.org/?7717
It doesn't matter if they lose one customer by mistake if they screen out multiple fraudulent accounts this way. It's simply more profitable to do this in an automated way than to actually consider the human in the equation.
You have the wrong philosophy. A wrong interpretation of reality. Depression is inevitable. Have you ever asked yourself what a "good person" means? And why? Because it is written in a book? Because others told you so? Use your mind and senses, use Aristotle's achievement of how to interpret reality correctly: logic. Read "The Virtue of Selfshness" by Ayn Rand and live the best life you can.
They should be regulated. In the same way that other utility providers (eg electricity, water etc) are regulated.

They should be subject to consumer protection law.

Apple was forced in Australia by the ACCC (our consumer protection regulator) to provide proper warranties and repair/replacement/refund protection, as specified by the law.

I see no reason why they shouldn't be "governmentally coerced into having dedicated support staff" to support their compliance with the law.
as soon as this becomes common parlance, there'd be too high a volume and become yet another noisy channel.
Been there, it gets better.

If you want somebody to talk to drop me an email at pavlo@malynin.com about anything thats on your mind.

If you want to talk to somebody at this current moment you can also text HOME to 741741 to speak with a counselor.
But consider how many people shop. It's pretty likely that the number of people running retail scams is a small percentage. Doesn't make them any less soul-sucking to deal with, but that's not really the same thing.
> The argument in the article is the following:

This is incorrect. You attribute an argument to the article that it does not make.

> This argument is valid only if A ⋂ B ≠ ∅

This is vacuously true in that the argument is not valid and its validity therefore implies all propositions including that A ⋂ B ≠ ∅. Although I tend to suspect that that isn't what you meant to say. It is equally true that "This argument is valid only if A ⋂ B = ∅". It is not true that if a function f takes a constant value, you can conclude that A ⋂ B ≠ ∅ for arbitrary A and B.
Man that sounds so hard to program. I wonder if that's the reason.
> to explain that the card does not send me a billing statement and I cannot possibly produce one

I'm sorry but this does seem extremely suspicious. I've never heard of a bank that does not provide any statements.

Sure, a debit card does not have a billing statement like a credit card, but the bank account that the debit card is linked to should provide a monthly statement where you can see the transactions. At least a downloadable PDF even if they don't send a paper one in the mail.
Particular courts in jurisdictions that actually have enforceable consumer protection law.
A law that stated companies cannot cut off access to people's purchased digital goods without a findable process for sensibly resolving mistakes on their part seems valid.

They are effectively stealing - by accident obviously. But once that happens and they give you know recourse - there is intent that mistakes on their part won't be fixed.
This has already happened with "Steve's" email address at Apple, which used to be monitored but is now mostly ignored, I suspect because of the sheer volume of traffic.
Yes that is because the behavior is pathological and repetitive. I realized this at some point, it’s kind of like a self imposed delusion. Every day you tell yourself in your head that you suck, you’re worthless etc.

Yet there’s really no justification for it, things aren’t actually getting worse. In fact, my most depressed years were a kind of stasis where nothing external was really changing. The lack of change is what eventually caused what can only be described as mental paralysis to take hold. There is no light in the tunnel because your brain is expecting a continuation of the status quo.
Oh that's right it's funny how your memory adapts to what you want it to be. But it's just the same with them anyhow.

U2-charist: https://en.wikipedia.org/wiki/U2charist
It was actually pretty easy, I’ve used these guides for zfs on most of my Linux infra.

https://openzfs.github.io/openzfs-docs/Getting%20Started/Ubu...
There are lots of suggestions in here, things like "meet people", "get off the internet", etc.

I have one and only piece of advice: seek treatment for your depression.

You likely won't be able to implement any of these other suggestions until you do that one.

Depression is no joke and can very easily ruin your life if you don't treat it. None of the other suggestions I saw in the thread seem to understand this. (The hyperbole and a half webcomic series on depression does, however.)

My contact info's in my profile, and I have some suggestions to that end I don't wish to write here.

Call or email me. Don't wait.
What made it better for you?
For the sake of the trilogy: https://thebestmotherfucking.website/
It could be useful if programmers actually learned how to properly prove things. That way they would realize how full of holes their code tend to be.
So now you will get banned from YouTube if you accidentally stream a children's song. That is unnecessarily draconian of them.

Then again what did we expect? It is YouTube. They will not change and it is only going to get worse for the users.
Give https://www.lyrahealth.com/ a try -- when I needed a therapist, they had availability.