Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
💻Programming
In the brain, a lost limb is never really gone - NPR
news.google.com·21h
👤Incels
Q&A: Math education and the importance of memory and problem solving
phys.org·1d
💻Programming
Matthew 27:29–30:
threadreaderapp.com·1d
👤Incels
Bitching about Transparent Screens | Sci-fi interfaces
scifiinterfaces.com·23h
👤Incels
Diddy accuser's lawsuit dismissed for 'untimely'…
usatoday.com·1d
👤Incels
Spotify Debuts Messaging On Road to 1 Billion Subscribers
pymnts.com·1d
👤Incels
National World War II Museum Rare Artifacts Exhibit : CSPAN2 : August 27, 2025 3:58am-4:39am EDT
archive.org·23h
💻Programming
JAM Project at the One-Punch Man Anime NYC Panel Makes You Glad You're an Anime Fan
animenewsnetwork.com·1d
👤Incels
I'm reading about Reformed Orthodoxy in Scotland. You know what I've learned?
threadreaderapp.com·1d
👤Incels
Breaking the Black Box: Inherently Interpretable Physics-Informed Machine Learning for Imbalanced Seismic Data
arxiv.org·1d
💻Programming
Segregation of endoderm and mesoderm germ layer identities in the diploblast <i>Nematostella vectensis</i>
nature.com·1d
💻Programming
Transfer_2.2.7_TNT.dmg
xmac.app·21h
💻Programming
Help! My Family Has a “Brilliant” Plan for My Niece’s College Housing. And It Somehow Involves Me.
slate.com·21h
👤Incels
Varlet Review - RPG Site
news.google.com·16h
👤Incels
Asking Eric: I told my husband his clothes embarrass me, but nothing has changed
mercurynews.com·22h
👤Incels
All the hidden details in Taylor Swift's engagement to Travis Kelce you may have missed
dailymail.co.uk·19h
👤Incels
Celebrity birthdays for the week of Aug. 31-Sept. 6
independent.co.uk·2d
👤Incels
North Korean leader Kim Jong Un will attend a military parade in Beijing next week
independent.co.uk·5h
💻Programming
I replaced my YouTube "Watch Later" with a NotebookLM queue and transcripts, and it completely changed how I consume content
xda-developers.com·3d
💻Programming