exasperation
@exasperation@lemm.ee
- Comment on SUNS OUT GUNS OUT 11 hours ago:
The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove.
Stated more precisely, it has true propositions that you cannot prove to be true. Obviously it has false propositions that can’t be proven, too, but that’s not interesting.
- Comment on SUNS OUT GUNS OUT 23 hours ago:
with a rigorous, needlessly convoluted proof.
Again, Goedel’s theorem was in direct response to Russell and Whitehead spending literally decades trying to axiomize mathematics. Russell’s proof that 1+1=2 was 300 pages long. It was non-trivial to disprove the idea that with enough formality and rigor all of mathematics could be defined and proven. Instead of the back and forth that had already taken place (Russell proposes an axiomatic system, critics show an error or incompleteness in it, Russell comes back and adds some more painstaking formality, critics come back and do it again), Goedel came along and smashed the whole thing by definitively proving that there’s nothing Russell can do to revive the major project he had been working on (which had previously hit a major setback when Russell himself proved Russell’s paradox).
how about:
x = 2
2x = 3,000
omg! they’re inconsistent!You didn’t define x, the equals sign, the digit 2, 3, or 0, or the convention that a real constant in front of a variable implies multiplication, or define a number base we’re working in. So that statement proves nothing in itself.
And no matter how many examples of incomplete or contradictory systems you come up with, you haven’t proven that all systems are either incomplete or contradictory. No matter how many times you bring out a new white swan, you haven’t actually proven that all swans are white.
And formal logic and set theory may have seemed like masturbatory discipline with limited practical use, but it also laid the foundation for Alan Turing and what would become computer science, which indisputably turned into useful academic disciplines that changed the world.
- Comment on Weapons trafficking 1 day ago:
but I feel like people in union jobs making enough of a salary to buy a comfortable home is going to drive up wages for everyone
Even if that is an effect where increased unionized non-supervisor wages push up supervisor salaries, my point is that there are simply fewer middle managers to benefit from that effect.
Plus the second order effects of a hollowed out middle choking out the pipeline for promoting and training future business leaders, so that it’s a small number of big corporate executives overseeing jobs they’ve never had instead of the older system of a lot more small and medium sized business leaders supervising jobs they used to personally work.
- Comment on SUNS OUT GUNS OUT 1 day ago:
It was a response to philosophers who were trying to come up with a robust axiomatic system for explaining math. Russell and Whitehead’s Principia Mathematica attempted to formalize everything in math, and Goedel proved it was impossible.
So yes, it’s a bit of a circlejerk, but it was a necessary one to break up another circlejerk.
- Comment on Weapons trafficking 1 day ago:
I don’t think the McAllisters were in union jobs. I think they were pretty high up the tier of management.
People talk about union jobs going away, but don’t forget, non-unionized middle management has totally been gutted by outside consultants over the same time period. So the changes in the workforce have hurt the earning power of both the line workers and the middle managers who used to make up the middle class.
- Comment on What a wonderful world we live in! 1 day ago:
Up in horsey heaven, here’s the thing
You trade your legs for angels wings
And once we’ve all said good-bye
You take a running leap and you learn to fly - Comment on Unholy curses 3 days ago:
Why no, I am not a vampire
Oh and you probably don’t want us driving wooden stakes through your heart either, huh?
- Comment on New Posters for ‘Superman’ 4 days ago:
Probably where AI learned that sheen from.
- Comment on It's bad man 1 week ago:
every hole is a goal
ew
- Comment on It's bad man 1 week ago:
25-35 is a great time. I moved cities and changed careers in my late 20’s, and pivoted again in my early 30’s, and it was a good reset to build on lessons learned and undoing past mistakes, while having the youth and energy to really enjoy myself and actually choose a path I was going to have fun with.
I’m enjoying my 40’s a lot, but I look back fondly on that 25-35 period as being both fun in itself and setting me up for a good 30’s and 40’s (and possibly further).
- Comment on The joy of a family that values education celebrating the graduation of their son 1 week ago:
IT’S A BEAR DANCE
- Comment on Krysten Ritter Officially Returning as Jessica Jones for ‘Daredevil: Born Again’ Season 2 2 weeks ago:
Definitely one of the best villains ever put on screen. He killed it.
- Comment on Why is coal and fossil fuels still used? 2 weeks ago:
Lazard is a pretty respected analyst for energy costs. Here’s their report from June 2024.
In the U.S., peaker gas plants that are only fired up between 5-20% of the time, the levelized cost of electricity (LCOE) is between $110 to $230 per MWh. The levelized cost of storage for utility scale 4-hour storage ranges from $124-$226 per MWh, after subsidies. Before subsidies, that 4-hour storage costs $170-$296.
Residential storage, on the other hand, doesn’t come close. That’s $882 to $1101 before subsidies, or $653 to $855 after subsidies.
So in other words, utility scale storage has dropped down to around the same price as gas peaker plants, in the U.S., after subsidies.
- Comment on butt mogged these zoomers today 2 weeks ago:
It’s just that I don’t have any expectation of the girls in the picture being shocked
That’s the joke.
- Comment on Why is coal and fossil fuels still used? 2 weeks ago:
Yeah, people are working on it.
The EIA estimates that there’s about 30 GW of battery capacity in the U.S., mostly in storage systems that are designed to store about 1-4 hours worth.
That’s in comparison to 1,200 GW of generation capacity, or 400 times as much as there is storage.
It’s coming along, but the orders of magnitude difference between real-time supply and demand and our capacity for shifting some of the power just a few hours isn’t quite ready for load balancing across a whole 24 hour day, much less for days-long weather patterns or even seasonality across the year. We’re probably gonna need to see another few years of exponential growth before it starts actually making a big impact to generation activity.
- Comment on butt mogged these zoomers today 2 weeks ago:
I’ve heard of nigging but I’ve never heard of this.
Um I hope you mean negging
- Comment on butt mogged these zoomers today 2 weeks ago:
“Mogging” as a term originated in the early 2000’s and went mainstream-ish in the late 2000’s when the “pickup artist” community started getting attention in places like the New York Times. The people who originated it are probably like 45-50 years old now.
Quick etymology: comes from these pseudoscientific douchebags trying to name the phenomenon where a man tries to subtly belittle another man in front of women, establishing that he’s the AMOG (alpha male of group), eventually became a verb amogging or mogging, and then various specific types of this behavior earned prefixes: heightmogging, etc.
The fact that it has this kind of staying power, 20 years later, is the surprising part.
- Comment on 'Sinners' Passes Box Office Milestone No Original Film Has Reached in 8 Years - at $200 million domestic, it is the highest-grossing original movie since Disney's "Coco" 2 weeks ago:
Worked for Christopher Nolan, too. Although he did make The Prestige and Inception during his decade making Batman.
- Comment on Lemmy Shitpost 2 weeks ago:
Some daals are spicy, and could arguably be considered British?
- Comment on Why the Laugh Track Won’t Die 2 weeks ago:
The studio laughter (or canned laughter) still adds something. I’m not a fan of any multi cam sitcoms since Seinfeld ended, but as the article mentioned, it still does something for shows like SNL.
COVID showed that some variety type shows normally filmed before an audience still benefit from having an audience. John Oliver’s show without laughter seemed weird. Some standup comics have played around with the genre without an audience, and it’s really interesting.
So I’m with this article. It’s a legitimate style of show that uses the laughter.
- Comment on Things are getting really crazy. 3 weeks ago:
I’m a subscriber to their monthly print copy, and a lot of the stories in the print version don’t make it to the website as quickly. I’ve got the February copy on my desk with the following headlines:
- Trump Administration Offers Free At-Home Loyalty Tests: Tool That Diagnoses Disobedience to be Mailed to U.S. Households
- U.S. Military Bans Men With Girl Names From Combat - Wars Will No Longer Be Fought By Male Shannons, Terrys, or Carmens
- Baby Saves Affair: Illicit Relationship Rekindled by Out-of-Wedlock Birth
As far as I can tell, these articles never made it online. And they are funny. Good coffee table material.
- Comment on Although i love it 4 weeks ago:
In my opinion, cauliflower sucks unless it’s been roasted/fried/seared with dry high heat to the point of being brown and crispy.
If it is overcooked, the rupture of the cell walls makes that cabbage stank run out into the dish.
If it’s still raw or cooked at too low a temperature (which includes any temperature in which liquid water will exist on the surface), it’s missing the delicious browning that happens at high heat.
That means it doesn’t work as cauliflower “wings.” The breading/batter protects the cauliflower too much, and it ends up steaming itself inside. Just batter up some firm tofu instead, those are great wings.
It can work as cauliflower “steak” I guess, but that doesn’t really taste like it should fit the culinary role of a protein/main. I’m all about roasting cauliflower, and flat slices make it easy to grill or sear evenly, but that just doesn’t fit that ecological niche that a steak does.
So I generally don’t like cauliflower served with broccoli. They cook too differently to be able to actually cook them together in the same batch.
- Comment on Choose a number, 1-5! 4 weeks ago:
When I got married, sitting down with the caterer and choosing between dozens of flatware types, I realized that I personally like three dimensional smoothness, with round, cylindrical handles that have some heft but not too much width. I also like cylindrical tines that don’t look like it was made from a flat sheet of metal cut and bent into shape (I prefer tines that are cylindrical, not rectangular prisms).
I also like curves along where the head meets the handle, and along the head itself. No sharp corners or edges.
I dislike ornamentation on the handle itself. I like plain, smooth handles.
I chose the forks for my wedding, and then later on in life, based on what I learned about my own preferences, I bought some flatware that fits those general principles (looks like the Sambonet Hannahs, but cheaper than that very expensive line), and replaced the ones in my house. Now I basically don’t have any forks that I don’t like.
- Comment on 1994 white Kevin 5 weeks ago:
John Mulaney has a joke about how his parents knew Bill Clinton that way, from all going to undergrad together at Georgetown. Apparently all the women loved being escorted by Bill Clinton, and the men were all jealous.
- Comment on What else are they hiding from us? 5 weeks ago:
Yup. Electrical engineering does something similar. The addition and subtraction of voltages, currents, resistance, capacitance, and inductance in AC circuits is basically unworkable without the shortcut of converting the sinusoidal waves into imaginary phase angles and doing math on them, and then converting them back to sinusoidal waves as necessary.
- Comment on Me want cookie 1 month ago:
Cookie is already a slang term for pussy, you can skip that step.
- Comment on Me want cookie 1 month ago:
Yeah, cookie monster is blue, but this particular shot has so much dark shadow in that textured fur that it’s nearly black in most places.
- Comment on Me want cookie 1 month ago:
Industrious eye
- Comment on Infinite Monkey Theorem 1 month ago:
You don’t need a normal distribution or statistical independence. It just requires that any given key combination remain possible.
No matter how unlikely, anything that is possible will eventually happen in an infinite time.
- Comment on Infinite Monkey Theorem 1 month ago:
Some infinities are bigger than others, though.
Even if you have countably infinite monkeys typing countably infinite strings for an infinite period of time, there will be an infinite number of strings that the monkeys haven’t typed, that will never be in the set of completed typed strings.