I'm Laura (She/Her) and this is my public blog! I'm a PhD student in computer science. I also write stories and have a good cat named Socks, hence the title. I intend to use a Tumblr instead of a Real Academic Personal Website until someone stops me. Links to my stuff: ACADEMIC PUBLICATIONS Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programsappearing at ICFP 2024 STORIES A Puzzling Scenepublished in "Unfortunately, Literary Magazine" Of Flowers and Thread, Public Copyawarded second place in the Verses from the Rainbow contest by "Wingless Dreamer Publishing" Hey, they put this story in a book! Turns out, they don't pay me for that. But if you want a copy of this story in a book, you can get one here. CONTACT ME: [email protected]
Last active 3 hours ago
Don't wanna be here? Send us removal request.
Text
There two types of people:
1. Those who like to sort people into binaries
2.those who... shit fuck wait post canceled
343 notes
·
View notes
Text
a message for workaholics + people who call sunfish “useless” animals
14K notes
·
View notes
Text



Common Toad/vanlig padda, and Common frog/vanlig groda. Gömmaren Nature Reserve in Huddinge, Sweden (April 19, 2014).
261 notes
·
View notes
Text

Wallcreeper (Tichodroma muraria), family Tichodromidae, order Passeriformes, China
This species is the only member of this family.
photograph by Alec Zhu (@chinesenature66)
2K notes
·
View notes
Text

Gonna make this my pinned post tbh
383 notes
·
View notes
Text
Why do mathematicians love pi so much? It's related to some shape, but they like that shape because it explains why pi shows up? Sounds like circular reasoning to me
825 notes
·
View notes
Text

met some beautiful babies today!!!!! they were soooo lovely but a bit frightened so i couldnt get too close.
if u look close at the pictures u can see the baby slowly approaching!!
556 notes
·
View notes
Text

Smoker the dragon. Old character
19 notes
·
View notes