I think formal verification is super valuable use case and would love to learn more about how to experiment with it through this tool, which may not have the immediate traction it needs to grow but I dig it and want to learn more

I am super bullish on bringing these experiences to Mac users. Keep it up.

Tips: Ditch the purple. Sarah Chen is Fakey Fakerson.

Thanks for the reply! Fakey Fakerson got me so bad lol. Which color would you replace the purple with?

Can you explain what exists here?

Hey this is dope but I’m too stupid to understand how this is happening in the first place pls send help

Can you share a project that uses this?

Great contribution thanks!

Hey I like it from the screenshot will peep it later. Would love this on mobile since that’s when I need snippets stored and otherwise use iOS notes.

Interesting thanks - have just targeted desktop for now, though making a sensible responsive layout for mobile should be fairly easy. Albeit it would mean that any snippets on mobile would not be shared with desktop given the local/browser based storage approach.

Instant ROI

I couldn’t get this working. I usually put r.jina.ai/ before URLs

Neat idea, I’m. It sure how to add into my existing work.