VyseofArcadia

55 ms·

781.
by VyseofArcadia 9y ago
I think the connection to Facebook, at the very end and totally unprompted, is a little bit forced, but it was a fascinating read about Capgras.
782.
by VyseofArcadia 9y ago
> So I came up with the idea to get my users to share it, so that I didn’t have to. To do so, I set up a very enticing referral program: >> Users could share their referral link and get a 10% cut of the ad revenue from every app th
783.
by VyseofArcadia 9y ago
Unfortunately I'm not a set theorist, so I haven't done any deep dives into the NBG/ZFC equivalence. My area of expertise (Lie theory) doesn't really require detailed knowledge along those lines. I'm only really awa
784.
by VyseofArcadia 9y ago
I think perhaps the core sentiment of GP's comment is, "Dang, I didn't learn anything from this article." It's super great that more and more people are learning about these cool features that have actually been aro
785.
by VyseofArcadia 9y ago
The article frames it as some sort of debate in some sort of mathematical ruling body which doesn't exist. There is no authority that's going to decide that, "ok, V = ultimate L is the axiom we're going with, everyone ha
786.
by VyseofArcadia 9y ago
> My wife went to school for Architecture, where she learned "basic" structural mechanics, and some Calculus, but still cannot explain to me in simple words what an integral or a derivative is. Not her fault at all: her Calculu
787.
by VyseofArcadia 9y ago
You probably despise a lot of popular Haskell libraries.
788.
by VyseofArcadia 10y ago
>{f ∈ [1..N ⟶ 1..N] : ∀ y ∈ 1..N : ∃ x ∈ 1..N : f[x]=y} is not expert-level material.
789.
by VyseofArcadia 10y ago
>I used to use Debian almost exclusively, but ever since this systemd BS I've gone FreeBSD as much as possible. This isn't about personalities, it's about me not caring about the problems that systemd is trying to solve. T
790.
by VyseofArcadia 10y ago
Amazing music videos for mediocre music. I like the one they did in microgravity: https://www.youtube.com/watch?v=LWGJA9i18Co
791.
by VyseofArcadia 10y ago
Keep in mind that's not an option at every job. In my case, not being able to leave work at work has been one of the factors in my decision to leave academia.
792.
by VyseofArcadia 10y ago
> ownCloud, soon to change to nextCloud Why the switch? A quick look at both hasn't resulted in a clear winner in my mind.
793.
by VyseofArcadia 10y ago
Interesting to see that style of Windows installation making a return. I remember it being how almost everything was installed for 3.1 and 95.
794.
by VyseofArcadia 10y ago
> Ord a is a witness that type a is well-ordered, which is to say that for any two as, one is definitely less than or equal to another. What the author described here is a linear order, not a well ordering, despite linking to the correct
795.
by VyseofArcadia 10y ago
I've got a savings account. Interest on that baby is getting me upwards of 30 cents a month.
796.
by VyseofArcadia 11y ago
Location: Alabama, USA Remote: Preferably not Willing to relocate: Yes, please Technologies: C/C++, Java, Python, Haskell, Linux, MOS 6502 assembly Resume/CV: http://zsarver.github.io/pages/resume.html Email: