ljlolel

10 ms·

241.
by ljlolel 1y ago
Alcohol. Is Lindy
242.
by ljlolel 1y ago
Alcohol is lindy
243.
by ljlolel 1y ago
That says it was some individuals of a giant organization not policy of any subset of it
244.
by ljlolel 1y ago
Catholics were targeted by the Nazis so seems unlikely
245.
by ljlolel 1y ago
You will die and your great great grand children, in 2100, if any, will have <10% of your dna variability
246.
by ljlolel 1y ago
He’s also commenting in this thread!
247.
by ljlolel 1y ago
Yea I’m partly saying he came across it or remembered it much later and was amused to not correct it
248.
by ljlolel 1y ago
That’s the title I saw!
249.
by ljlolel 1y ago
More likely he decided to leave it in as a nerdsnipe rather than he wrote it in the first place as a nerdsnipe (seems more likely he thought he had it?)
250.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover(imperialcollegelondon.github.io)
146 points by ljlolel 1y ago|107 comments
251.
by ljlolel 1y ago
The trick is to realize that you never even needed to write it at all
252.
by ljlolel 1y ago
We are a cell in the system
253.
by ljlolel 1y ago
No more reason to care for a species than for an individual sacrificing itself for the group population
254.
by ljlolel 1y ago
Biology works itself out
255.
by ljlolel 1y ago
Now you’re starting to see it! https://www.smithsonianmag.com/science-nature/how-cats-conqu...
256.
by ljlolel 1y ago
… As in people are choosing not to have kids
257.
by ljlolel 1y ago
Maybe after AI there won’t be need more than 1000 people on the planet
258.
by ljlolel 1y ago
When we go to space we will absolutely take fruiting plants with us. Are we just the legs and reproductive organs of the plants?
259.
by ljlolel 1y ago
Arrival is my new favorite movie ever
260.
by ljlolel 1y ago
Idk pretty sure Google and Facebook hate it
261.
by ljlolel 1y ago
Capitalist doesn’t really fit with the gdpr. And anything but full trust of government also wouldn’t fit with chat control.
262.
by ljlolel 1y ago
Isn’t EU’s justification that they protect you from companies / private industry but they want full government/police control because that’s trusted / socialist?
263.
by ljlolel 1y ago
My friend won a 9 figure trademark case with a mag7 company
264.
by ljlolel 1y ago
Because he lives in a country. Going to war with half the people around you makes the whole country much poorer.
265.
by ljlolel 1y ago
TEDx
266.
by ljlolel 1y ago
? The page doesn’t mention man either. It says people. Looks like nearly half the judges are women, and the top 2 winning entries look like majority women.
267.
by ljlolel 1y ago
Tarjan was my algorithms professor. He invented many of them
268.
by ljlolel 1y ago
Don’t downvote this guy! Interesting to note that he probably constantly got criticized for not having vision, so he took that literally and called the product Vision Pro. It’s the kind of mistake an LLM would make. Very Lacanian.
269.
by ljlolel 1y ago
Literally what they do for Norte dame?
270.
by ljlolel 1y ago
Maybe before we have AGI we should get an AI that can translate Andrew’s proof into Lean for us. Easily tractable, checkable, useful, and build-upon-able

More ›