When my parents were 29 they were married for five years living in a home they purchased together. I am currently ripping a rotisserie chicken apart limb from limb and eating it with my bare hands in my kitchen of my 1 bedroom apartment that I rent
The plot thickens.
"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."
https://t.co/02Q52MH81g
Programmers are the least priestly class imaginable. There's never been a more open and democratic field. Computer programming is gated by cognition, not by membership in a secretive caste.
The degree to which this claim is false is astounding:
- Most programmers are self-taught.
- Encouraging people to explore and learn on their own is the cornerstone of online programmer culture. c.f. "RTFM"
- It's common at companies to ban programmers from business / sales meetings, because they'll blabber about details of how everything works in a way that "scares the hoes" (all non-programmers are hoes).
- *Open source*? Hello?? Programmers invented this
having ur brain be evil sucks, what the fuck am I going to tell normal people around me "haha yeah I have really poor emotional regulation, and I'm upset over something that's basically made up in my mind"
People calling this paganism have no idea how macabre early Christianity was compared to Roman paganism. Worshipping in catacombs, venerating the bones of saints, willingly dying for their faith, consuming the body and blood of God. The pagans saw them as a death cult.
one of the ugliest truths about life is that every choice kills another version of your life.
get married, and you’ll eventually miss the freedom you had alone. stay single, and there will be nights when you wonder what it would’ve been like to build a life with someone. have children, and you’ll miss parts of the life you had before them. don’t have children, and you may spend years wondering about the family you never created.
there is no perfect path and there is no decision that leaves you with everything.
the life you didn’t choose will always look better from a distance because you never had to pay its price.
stop searching for a choice you won’t regret , it doesn’t exist. choose your life, accept what it costs, and live with the consequences. buena suerte 👍
You'll regret it if you get married, you'll regret it if you don't get married. You'll regret it if you have kids and you'll regret it if you don't. Kierkegaard said this 200 years ago as follows - whatever you choose, you'll regret it, because the problem isn't in your choices, it's in romanticizing your life. A person always finds an untravelled path alluring and mysterious. That's why the issue isn't making the right choice. It's choosing and deciding which regret you'll live with. In life, we must choose our regret.
If Go had expressive types, it would be THE language. The deliberate design against sum types is why it's C-tier for me despite the excellent ecosystem, performance, and devx.
Movie is pretty alright but it evoked such a visceral unexplainable feeling in me while watching it to the point where I don't blame Shinkai for trying to recreate this movie 10000 times
@dukeofdolma It's so over-focused on tool and su agent calls that Claude Code has a special system prompt for Opus 5 telling to absolutely not use Agent spawn if not explicitly instructed. This is appended ONLY for Opus 5 it seems
In 2015 Lenovo shipped laptops with software that broke HTTPS for every user.
Installed deliberately for ad revenue.
Lenovo pre-installed a piece of adware called Superfish on consumer laptops starting September 2014. Its purpose was to scan every image you view on the internet and inject ads for similar products.
To do that on HTTPS pages, it needed to intercept your encrypted traffic.
So it did something catastrophic.
it installed itself as a trusted root certificate authority on your laptop. Meaning your browser treated Superfish as a trusted source of certificates, the same level of trust as VeriSign, DigiCert, or your bank's own certificate authority.
Everything you did over HTTPS- banking, email. shopping. medical records was being decrypted by Superfish, analyzed for images, and re-encrypted before it reached you.
then it got worse.
Every Lenovo laptop shipped with the exact same certificate and the exact same private key.
The password protecting that private key was cracked in three hours by Security researcher, Rob Graham (Errata Security).
The password was "komodia."
The name of the Israeli company that made the code.
Once cracked, anyone with that private key could impersonate any website to any Lenovo user on earth. your bank. your email. any HTTPS site. a fake page would show a valid padlock and your browser would trust it completely.
Lenovo's initial response: "we have thoroughly investigated this technology and do not find any evidence to substantiate security concerns."
Then the password was posted publicly online.
Lenovo paid $7.3 million to settle the class action lawsuit.
The EFF called it "catastrophically irresponsible."
Crazy stuff.
the funny thing is I find the tech behind fil-c to be pretty interesting and cool with its own important use cases but the whole contra-rust framing that keeps cropping up feels totally unnecessary and disingenuous and makes me less interested in the project