Conversation

Talia Ringer 🌻🪬
@TaliaRinger
If you treat a path through a higher dimensional maze as a proof, can you transform it like a program? Can you can factor it, invert it, generalize it, specialize it? Can you derive new paths from existing paths in a way that corresponds to a change in environment?
Quote Tweet
Talia Ringer 🌻🪬
@TaliaRinger
·
I mean what is a proof if not a solution to a higher dimensional maze with possibly infinitely many solutions?
3
15
Talia Ringer 🌻🪬
@TaliaRinger
We do have different techniques, but the biggest barrier to applying them across areas of CS is that we insist these are different techniques for different domains. But domains are much more similar than they are different
5
9
Talia Ringer 🌻🪬
@TaliaRinger
Maybe this is a product of SIGs, subcommunities, the need to defend your work and field as novel and interesting. It's nice to split off and develop different things but every so often we need to meet up and merge again, and I think CS is at that point
2
4
Rob Rix‎
@rob_rix
I kinda think ADHD might play a role? E.g. I find myself making, and accepting, connections that other people seem to reject immediately if they ever occur to them. Some of those are in fact invalid, but more often than not there’s some real, and interesting, substance to it.
1
3
Rob Rix‎
@rob_rix
For every subject X, everybody starts not knowing X in the slightest. Making connections that get you to *some* knowledge of X, however obliquely, and help you fill out the blanks from there, seems pretty valuable to me.
1
Show replies