Sarah continued to use #AI when she started #college this past fall. Why wouldn’t she? Rarely did she sit in class & not see other students’ laptops open to #ChatGPT. Toward the end of the semester, she began to think she might be #dependent on the website. She already considered herself #addicted to TikTok, Instagram, Snapchat, and Reddit, where she writes under the username maybeimnotsmart. “I spend so much time on TikTok,” she said.
#dependent
Sooooo, when you get to #deep into it.... it's just like getting #Problems with a #Lover. You start to get #dependent from it.
:hurb:
If It Breaks We are Screwed!
We had a fascinating discussion with filmmaker Leighton Pierce about how the tech revolution will shape the future of cinematic storytelling and humanity.
Watch or listen to the full episode wherever your podcast is.
https://youtu.be/I-RI0IbuNk0
#theinternetiscrack #podcast #dependent #ai
@Buideach Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons. #America will be the #loser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
@pulseofeurope Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons. #America will be the #loser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
@EugeneMcParland Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons. #America will be the #loser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
@Desertpaws Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons. #America will be the #loser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
@harzretro Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons. #America will be the #loser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
@joesticker and Europe will not only fill the gap of #Ukraine but its own gap: With #European #ammunition and #weapons.
#America will be the #looser in many ways: nobody in the world will do #business with America anymore,if there is the slightest chance of an alternative,because nobody wants to be #dependent on America anymore. It will not only be the American defense industry that will suffer from this. #Trump is driving the American industry against the wall. In full speed!!!
Or join directly the #fediverse on #mastodon #stephenking to not be #dependent on the state of mind of another #billionaire.
#SanePeopleLeaveTwitter
https://mastodon.arch-linux.cz/@Erebos/113483727045897646
It’s really, really bad for the #USA to have such a bad situation. We all know that #KamalaHarris has win for a better and stronger US. But we also know that #Trump supporters will never accept this result.
What really saddens me, though, is that so many nations are currently focusing on this, even though there are more #important issues. We have all become so #dependent on it – for better or for worse.
As a #VeryGeneralObservation... #IF (and #IT's a #VeryBIG #IF) you #Think that a #SmartWatch will #BenefitYou and #YourHealthMatters, #Then #Great...
#However, the #TradeOff is that you have to #Share #YourHealthData with #BigTech who will #Monetise #YourData for #AsLong as you're #Dependent on #TheirTechnology... And, #BigTech will only #SupportYou for #AsLong as #IT's in their #CorporateInterests to #DoSo...
They're #NotCharities and #IT's #YourData...
#So... #HaveALittleThink #AboutThat...
🧙:fediverse:🤖🐺🤖:fediverse:🧙 | :PirateBadge:⚕️🦹🦄🦹⚕️:PirateBadge:
Multi level #Dependent #Dropdown in #Microsoft #Excel
#coq #dependent-types #typetheory Handling impossible match arms in Coq (https://www.unwoundstack.com/blog/dependent-matching-in-coq.html)
:lobster: Dear Friends of the Universals,
We may be a soup! We may need soup! Here are the ingredients:
- Water
- Vegetation
- The surprising bit
#Exceptionally enough already, we are part of the ingredients. The most rare flower. The #strangest #herb is #goodwill not personal interest, not self animal consumption. Oh no! Is it empathy for the blending and the #splitting into parts?
For simmer sake here is another soup recipe we had this very evening:
- #Fresh #root #turmeric and freshly mortared #black #pepper
1.(b) Herby spicing #flavouring - water
- vegetables
- Creamed #coconut
Simmer #gently with thickening or thin #dependent on needs.
#serve with #Joy
Wot no noodles? Oh yeah … use your #noodle.
We are incomplete without each other;
Like the pieces of a jigsaw puzzle, we are designed to be #dependent on each other and the whole beautiful picture emerges only when we are brought together.
https://wagingnonviolence.org/forusa/2023/10/we-are-incomplete-without-each-other/
So far the best resource I saw for #dependent type are the HoTT game https://thehottgameguide.readthedocs.io/. It's pretty incomplete, but very awesome nevertheless.
The Wikipedia and nlab pages go without saying.
https://ncatlab.org/nlab/show/dependent+type+theory
#dependent types are super confusing, but at the same time they feel easier than normal ones.
I guess that makes sense for every advanced concept - as a concept wouldn't exist if it isn't making things easier when you finally get it.
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst