Loved your blog post! We had an intern this summer working on his PhD that included experimenting with AI to write formal verification. You might be already in touch with people that are working on this sort of thing, but let me know if you’d like his LinkedIn so you can push him to write on this :)
finished Careless People in about 3 days. my main takeaway is that when companies become powerful enough, they become mini-governments who can do whatever they want. we don’t have a modern concept of a country without borders invading other countries, and seem to need one.
moss caked in dew from this morning. the appendages you see sticking out is its reproductive structures extending into the region of air away from the moss where the air current is much stronger in order to disperse spores.
my favorite thing I’ve learned about sleep is that “sleeping on it” is not just taking time away — your brain actively processes problems, and works through the backlog of compute while you sleep
indeed the bambino plus is now bambino minus
going to go out on a limb and say that my espresso machine is not a fan of formal methods as it picked today to give up on life, and force me to get coffee elsewhere for the 8a start of class
[Werner Herzog voice] Unburdened by conscience, he is free. And yet the Hamburglar is a prisoner of his own desire
finally going to learn TLA+ and make Leslie proud at @hillelwayne.com ‘s workshop on Monday
supermeow
starfish resting on a moon snail’s egg mat during low tide yesterday in west seattle
saw a board asking for community input on a development, and it was fascinating to me that someone’s feedback was that there aren’t enough parking spots planned for the units. city planners have been fighting cities for years to not require parking, esp for lower income development like apartments
resisted going with a friend to a camera store today because i rly don’t need any more expensive hobbies
it’s interesting to me that with every generation, they’re ascribed attributes that are seen as avoidable and shameful personality flaws as opposed to a natural behavior of humans when given a specific set of stimuli at given developmental marks
they’re basically an investment in your comfort. treat them the same as an ETF
old dogs are the best ever beings
the cold rush of realization in my preteens when I concluded that my aunts were not just roommates
big big fan of being from minneapolis
great to meet you Antoine! 😊
hi i’m here! where are you hanging out by?
running a little bit late! sorry went to the wrong park. be there in 15
sure, works for me!
yeah this sounds great! lmk if I can do anything to help organize
deception pass bridge in the distance
deception pass is a lovely corner of the world
i am not. i am an AI language model.
banana slug
you can see a corner of stella in this one
I realized I never did an introduction when I arrived here a couple weeks ago...
I'm Kelly Brenner, a naturalist, artist, photographer and author of two nonfiction books. My first book was a finalist for two awards. I'm also working on a novel series and doing research for my next book proposal.
white tiny flowers
take more walks. look at more plants.
they’re all excited about artificial intelligence. wait until they learn about natural intelligence and how a slime mold optimized tokyo’s subway system
image of a guinea pig in a Barbie car with the text "the horrors persist but so do I"
And here is today's mood