140 karma · joined January 23, 2021
It's a browser extension that lets you write sticky notes on top of websites.
https://en.wikipedia.org/wiki/Ramsey_theory
> Problems in Ramsey theory typically ask a question of the form: "how big must some structure be to guarantee that a particular property holds?"
In my mind, the sync feature for this app is less about backup and more about maintaining a single instance across multiple computers/browsers.
Not as easy in Chrome, but there's ways to do it. For example here's one: https://groups.google.com/a/chromium.org/g/chromium-extensio...
I realize the mobile UX is terrible. It's only designed for desktop, for now.
And yea, the security issue is tough. I'll see if I can reduce the required permissions.
Chrome and Firefox have a review team for their extension marketplace, though I believe there are instances of malicious extensions getting through anyway.
And while rather labor intensive, another path toward vetting is examining the source code. I haven't obfuscated it, and Googling for "view extension source code" has many results.
And for what it's worth, I can give an assurance that I'm not a bad actor.
Maybe relevant: https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...
1. I believe extension shortcuts are configurable through the browser settings. Here are some copy/pasted Google results
Chrome: 1. Click the three-dot menu from the browser's top-right corner. 2. From the More tools list, open Extensions. 3. Click the three-line menu from the top-left corner. 4. Select Keyboard shortcuts. 5. Click the Edit icon below the extensions.
Firefox: 1. Click the menu button. click Add-ons and themes and select Extensions. 2. Click the Tools for all add-ons cogwheel. 3. Click Manage Extension Shortcuts in the menu. 4. You will see the shortcut options (if available) for your installed add-ons.
2. That's a good idea. Not sure how I'd implement it. I'll put in on the roadmap :)
edit: the fix is released!
Following Jame Clear's guidelines of "Start small" and "Make it easy", this extension simply gives you the option to remove certain elements of the Facebook and Instagram websites, for example, the Facebook news feed and stories; and the Instagram explore page and suggestions.
Hope it can help others too, feedback welcome! Free, and open source.
Chrome: https://chrome.google.com/webstore/detail/zuckfeedsbgone/koo... Firefox: https://addons.mozilla.org/en-US/firefox/addon/zuckfeedsbgon...