Mushroom foraging is a really fascinating area combining intuition with structure. Another fun source of inspiration: I am a member of a mushroom ID group on Facebook. Often, when a user posts a photo, it's not enough for an ID, so experts ask for specific information
They might ask, "where was this found?" Or "can you take a photo of the gills?"
A distinguishing feature of experts is the ability to quickly identify the right questions to ask to arrive at a positive ID more efficiently and with high certainty
Is there any work on this kind of thing for software systems? I'd like to use something like this to build proof automation at some point. But it also seems cool for lots of learning tasks
Interestingly, after observing the group for long enough, I have learned many of the right questions to ask when presented with an image that is not enough to ID a mushroom
So I play a game with myself when I see a mushroom photo: I try to identify it and, if I fail, I try to predict the questions that experts in the group will ask in the comments. Then I check and see if I was right
From this I've learned general principles like minimal pieces of information (say, what tree a mushroom is growing on) that distinguish edible mushrooms from poisonous lookalikes
This means I can ask other people those questions, but I can also ask myself those questions, so I've gotten really good at identifying edible mushrooms in the PNW

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with Talia Ringer

Talia Ringer Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @TaliaRinger

30 Apr
Did you have a part-time job during high school?
Yeses so far are more than 2x the US average
It's interesting by social class, some couldn’t find work, some people worked to support their families, some to support themselves with spending money, some just for the sake of learning work ethic, some for fun, and some were above working
Read 6 tweets
29 Apr
Oh my gosh I wrote my generals report while I was so depressed I barely survived and honestly, the comments in the LaTeX are so snarky they're hilarious and I'm going to share some without context below
% like machine learning or whatever; but honestly, I doubt it
% clarify this nonsensical explanation
Read 13 tweets
29 Apr
Why are people scared of PL? Especially type theory and proof assistants and so on? A professor recently said my work had a reputation of being "so hard basically nobody else can do it" and I'm flattered, but I also don't think it's true at all.
I just take Curry-Howard to its logical conclusion and treat proofs like programs. I diff them. I transform them. I compile proofs to new proofs. And it's actually really nice because proofs carry so much structure.
I do lack reasonable fear instincts about problems other people call hard. Maybe there's a social process involved in coming to view a problem as hard that I just ignore.
Read 8 tweets
28 Apr
Even in vision I can think of examples that computers still are awful at that people are amazing at, and that people use algorithms for. Like ask any mushroom forager how we tell chanterelles apart from false chanterelles. There's a simple algorithm!
False gills, like those in chanterelles, fork and then merge again. True gills never do. You can avoid picking mushrooms that will hurt you (correctness matters a lot for mushroom foraging) if you check for just one fork and merge
Spotting things that look kind of like chanterelles is fuzzy and we do that pretty quickly and imperfectly. But once we do that the algorithm is what gives confirmation if there is doubt. Other keys: if there's one, there are many others nearby
Read 14 tweets
28 Apr
It still confuses me that in spaces in which humans can often generalize from just 2 or 3 examples, it's considered successful when a software system does so from millions of examples
Nevermind robustness issues
It's true that, you know, reading the entire internet is something that computers can do better than us. But why should they have to? I feel like the metric for success is just wild
Read 13 tweets
27 Apr
On the "we" versus "I" debate about my thesis, I ended up going with this:

- "I" for things I did,
- "we" for mathematical handholding, and
- "Nate" and "RanDair" and so on for things my coauthors did.

Nonstandard I guess, but I deliberately designed projects to decouple work.
So it is actually very easy to point to the parts that my coauthors did. And for the things that we really did design together, I will add a note about this in an early section at the end of the introduction, along with complete authorship statements.
I'm going to use the knowledge package that @16kbps recommended to introduce those authors and link back to the full authorship statements when I mention their names in later chapters. Credit is extremely important!!!
Read 5 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!

Follow Us on Twitter!