Graded Modal Dependent Type Theory
fuck it, just paste your clipboard in the comments
Submitted 9 hours ago by IAmNorRealTakeYourMeds@lemmy.world to [deleted]
Comments
OmniLotus@lemmy.dbzer0.com 59 minutes ago
Ryanmiller70@lemmy.zip 59 minutes ago
llamapocalypse@lemmy.world 9 hours ago
your clipboard in the comments
AstroLightz@lemmy.world 1 hour ago
Here’s mine:
That’s right, it’s empty. I clear mine when I’m done copying/pasting stuff. Mainly due to paranoia.
elephantium@lemmy.world 7 hours ago
hunter2
TropicalDingdong@lemmy.world 8 hours ago
gingernate@sopuli.xyz 1 hour ago
Kaley Cuoco
bricked@feddit.org 7 hours ago
584895
In case you need my 2FA code
ramasses@social.ozymandias.club 6 hours ago
Thanks
thesohoriots@lemmy.world 9 hours ago
don’t care didn’t ask CURSE OF RA 𓀀 𓀁 𓀂 𓀃 𓀄 𓀅 𓀆 𓀇 𓀈 𓀉 𓀊 𓀋 𓀌 𓀍 𓀎 𓀏 𓀐 𓀑 𓀒 𓀓 𓀔 𓀕 𓀖 𓀗 𓀘 𓀙 𓀚 𓀛 𓀜 𓀝 𓀞 𓀟 𓀠 𓀡 𓀢 𓀣 𓀤 𓀥 𓀦 𓀧 𓀨 𓀩 𓀪 𓀫 𓀬 𓀭 𓀮 𓀯 𓀰 𓀱 𓀲 𓀳 𓀴 𓀵 𓀶 𓀷 𓀸 𓀹 𓀺 𓀻 𓀼 𓀽 𓀾 𓀿 𓁀 𓁁 𓁂 𓁃 𓁄 𓁅 𓁆 𓁇 𓁈 𓁉 𓁊 𓁋 𓁌 𓁍 𓁎 𓁏 𓁐 𓁑 𓀄 𓀅 𓀆 𓀇 𓀈 𓀉 𓀊
IAmNorRealTakeYourMeds@lemmy.world 8 hours ago
Curse of Ra
Ra Rasputin Russia greatest love machine.
fartographer@lemmy.world 51 minutes ago
Where the fuck did that cat go?
frostlytt@lemmy.blahaj.zone 1 hour ago
chromatastrophic
AkatsukiLevi@lemmy.world 8 hours ago
nwtreeoctopus@sh.itjust.works 4 hours ago
Googled my symptoms and it basically came back with “99%, you’re compressing these vertebrae/discs and it causes [exactly my symptoms].” So it’s just getting old! Woo!
IAmNorRealTakeYourMeds@lemmy.world 3 hours ago
so, it’s cancer?
IAmNorRealTakeYourMeds@lemmy.world 9 hours ago
bootleg@sh.itjust.works 1 hour ago
eHRRnHa&>D\y1iO% 😉
Big_Boss_77@fedinsfw.app 2 hours ago
Here is what i need you to do…
Step off the train, bus, or subway at the central hub of your city. You are looking for its heart—the place where streets converge, where neon glows brightest, where the energy is thick in the air. Stop for a moment. Absorb the movement around you: the rush of pedestrians, the scent of food from street vendors, the hum of distant music and car horns. Let yourself feel small in the vastness.
Tilt your head back and scan the skyline. Ignore the familiar structures; seek out the one that disappears into the sky, the one that makes your breath catch. This is where you’re going. If you don’t already know the name, ask a local or search quickly on your phone. Find out how to get there. Walk if you can—experience the shift in the city’s pulse as you move closer.
When you arrive, step inside with quiet confidence. If there’s an observation deck, buy a ticket without hesitation. If it’s an office tower, find the public-access floors and take the highest elevator you can. You are not here for hesitation or second-guessing. You are here to climb.
At the highest floor accessible by elevator, stop. Breathe. The climb begins now. Locate the stairwell. If it’s locked, check for another way—some rooftops are meant to be reached. If needed, ask someone who works there if there’s an open-air space. Sometimes, persistence finds a way.
Step onto the stairs. Begin your ascent. Feel the rhythm of your breath, the pull in your legs, the steady push upward. With each step, let go of something—an old regret, a lingering doubt, a weight you’ve carried too long. Higher and higher. The city fades behind you, becomes something distant, something beneath you.
When you push open the final door, the wind will hit you first. Let it. Step onto the rooftop, walk to the edge (safely, of course), and look out. The city is no longer a maze—you see it now as a whole, a living thing that stretches beyond you.
Close your eyes. Feel the altitude in your chest, the distance between you and the streets below. Take the deepest breath you’ve taken in years. Hold it. Then exhale, slowly. This is what you came for. Not the view, not the height—the perspective.
Standing here, above everything that once felt overwhelming, you may realize something: You can kindly fuck all the way off
Grail@multiverse.soulism.net 7 hours ago
fiendishplan@lemmy.world 8 hours ago
~/Downloads/OrcaSlicer-Linux-flatpak_V2.3.2-rc2_x86_64.flatpak
IAmNorRealTakeYourMeds@lemmy.world 8 hours ago
hate when they sell tiny 3d prints for a dollar per gram. literal incredibly overpriced waste.
I print stuff for my friends are organisers for the cost of filament, a friend asked if anyone has a spare birdhouse, she’s getting a large 3d printed one for about 3$
crazycraw@crazypeople.online 8 hours ago
crazycraw@crazypeople.online 8 hours ago
it was blank sorry.
toeblast96@sh.itjust.works 4 hours ago
confusedwiseman@lemmy.dbzer0.com 4 hours ago
… nothing happened
IAmNorRealTakeYourMeds@lemmy.world 4 hours ago
exu@feditown.com 9 hours ago
over_clox@lemmy.world 6 hours ago
glibg10b@lemmy.zip 2 hours ago
0.538875614
Olgratin_Magmatoe@slrpnk.net 4 hours ago
698116
Trev625@sopuli.xyz 4 hours ago
ROYLGTCABV
Uhh I was thinking about the rainbow and how it shouldn’t be ROYGBIV cause Issac Newton randomly decided it should be 7 and then found that scientists now use ROYGCBV and I tried to make a new rainbow with just the primary and secondary colors RYGCBM but Magenta isn’t in the rainbow (cause it’s a mix of high and low nm wavelength light) so that leaves RYGCB but then it looked stupid without orange so I wanted tertiary colors so I added them to get ROYLGTCABV (There isn’t one past Red because it drops off a cliff toward infrared but there is a color past blue as it goes to ultraviolet: violet) Red, Orange, Yellow, Lime, Green, Teal, Cyan, Azure, Blue, Violet.
I still think it looks stupid. I think it’s because our red and green cones are right next to each other and blue is farther away so because of that we have a higher range of distinct colors in the red-green area than blue. (Useful for telling ripe fruit from foliage. We and primates got it as a mutation on the X chromosome and evolution must’ve made us keep it cause it turned out to be useful) So I think to make it even better it needs to not be halfway and quarter between red green and blue but weighted toward the red/green side. Very random thinking on this Saturday lol but that’s why it was in my clipboard.
IAmNorRealTakeYourMeds@lemmy.world 4 hours ago
the way we perceive color isn’t the same way wavelengths work though. we practice amounts of specific wavelengths, not the wavelength themselves. which means that we perceive colors that don’t have a wavelength, like pink. which only exist in our perception. so any attempt at improving ROYGBIV is as arbitrary as Newton’s attempt. Fuck, we know there’s also infrared in there, so only improvement would be irROTGBIVuv.
ramenshaman@lemmy.world 5 hours ago
Mine’s blank, I think graphene OS clears it after a while
IAmNorRealTakeYourMeds@lemmy.world 4 hours ago
I think that’s depends on the keyboard you use (and maybe the permissions). im on GrapheneOS and my clipboard works as a normal android clipboard.
infinitevalence@discuss.online 18 minutes ago
crape myrtle