Things I want to figure out/see implemented eventually

Basically, continuous (e.g. inotify-backed), open source and always available file sync.

• Dropbox is continuous, but proprietary. It's not distributed, but central server tends to be very available.

• Syncthing is continuous and open source, but only syncs among your own devices. If all of them are off, you wouldn't be able to access your files.

  It's also not necessarily very friendly towards average user: it works best when you have a device that is always on like a VPS.

Ideally, it would be something based on Bittorrent, and the chunks of data would be distributed among participants with sufficient redundancy. So most of the time you would rely on your own devices like in Syncthing, but in case of device loss or temporary outage you'd be able to assemble the data from redundant chunks in the peer network. Not sure how much redundant it has to be and if that approach works in practice.

• [2019-05-03 08:29] apparently Resilio Sync exists, but it's proprietary, nothing else I know of or resulting from quick googling
• [2019-06-13 19:45] IPFS looks close, but apparently not user friendly yet

You chat with someone and discuss something. Because conventional IM software imposes timestamp ordering, it often ends up interleaved with some ongoing things (e.g. "by the way remember about that thing tomorrow"), and you distract or switch. The discussion gets forgotten and/or the context is lost.

It's way worse in bigger Slack or Telegram channels (e.g. 15+ people). Sometimes you (well, at least I do) wait to post a message because you don't feel like interrupting some ongoing discussion and you don't want your message to be buried either. So you have to keep it somewhere and make a reminder or something, which is cognitive overhead. Because of the overall volume of messages people tend to mute group conversations, and then miss actually useful stuff.

Ideally, in a certain group chat/channel you should be able to:

• fork conversation off an arbitrary message, so you'd have a tree.
• view all the ongoing conversations/threads. Mute, mark as high priority, etc.
• perhaps archive the ones that are not relevant anymore.

Currently existing things I know of:

• Google wave?
• Telegram got replies which work in very few specific cases and not very sustainable for a proper conversation.

• Slack got threads, which sort of solve this issue.

  You can't turn old conversations into threads, but if you notice an opportunity early, or make a habit of spinning off early, you can work with it. It's not really used for personal conversations thought.

• XMPP is dead I guess, so not sure how easy it would be to prototype that.

Interesting enough, meatspace conversations also have this curse of linear order let alone other aspects that make them hard! But that's a whole different problem.

Links:

• [2020-04-30 00:18] Zulip looks promising
• [2020-05-14 17:34] Chatting with Glue: Cognitive Tools for Augmented Conversation: comic exploration into nonlinear messaging UI

Version control is too line orianted, sometimes I wish there was something that understands the syntax of programming language and operates on top of that. So for instance, reordering methods in a class would be trivial operation and not show up in diff. There are some caveats though: e.g. in some dynamic languages the order of definition matters, so you still want it to be backed by plaintext, probably. Perhaps it can be implemented as a diff filter rather than full scale VCS.

Kinda like a ragdoll with certain presets for muscle/skeletal configurations that allows you to mess with the model with realistic physics. If such a thing existed, it would help with:

• assessing safety of weight training
• safely of your seating/sleeping posture?
• increasing exercise efficiency. There is so much advice on the internet often claiming contradictory or hard to believe claims. If you could simulate the effect on the mode of your own body, it would make way more sense.

There are some reasonably interactive visualizations out there:

• Ziva VFX
• human body
• horse

Looks pretty cool, but in my understanding it only results in realistic tissue movement (jiggling/bending) and you still have to take care of skeletal and tendon movements yourself (let alone nervous system)?

Is it very hard problem anatomically?

Some links:

• Ziva Anatomy Transfer (ZAT)
• openanatomy
• Maya Muscle

Where physics is described by some sort of Lagrangian, and the evaluation semantics would would be consistent with its dynamics. Wonder if that's possible without involving explicit computations via dependent types. I guess would also correspond to some sort of special logic. Also making sure the set of correct programs is exactly the set of feasible states is presumably way harder.

I sometimes find myself making a note or taking a picture or a voice recording which I wouldn't want to go public under any circumstances.

Relying on locking your phone is not really enough as it's easy to hack, or fail to lock, or reveal content by accident. What is worse, locking doesn't save you if if you're using some sort of cloud sync.

Of course, you can try and make sure you only keep it locally on phone, but you do need some means of syncing and arguably, waiting till you got a moment to transfer it via the cable bypassing network is even more insecure. Even if you're willing to do that, it turns out to be notoriously hard not to sync to the cloud by accident. Examples straight out of my head:

• You want to take an extremely private photo. If you take it with default Google camera app, it will immediately try to sync it to Google Photos. If you're like me and not using Google Photos sync, it's still quite useful to sync your whole photos directory automatically.
• You want to take an extremely private note. I'm not even sure that these days you can create an empty text file on an average phone (afaik, iphones didn't even have file system until recently), unless you've got a special app installed. All the default ones having note taking capabilities: Google Keep, Google Docs, email drafs, etc, all of them would get leak in the cloud immediately.

It sounds like a fairly general problem. So there are some criteria I want from such an app:

• allow taking pictures, notes, recordings etc from withing the container app, so intermediate data doesn't end up in insecure locations

• handle content share intents in case for content that potentially can't be from within the app

  Would be cool to prompt user to delete the original files afterwards, but not sure if it's possible in modern Android though.

• use asymmetric encryption for keeping data in the secure container

  Asymmetric is fairly important here, that allows to put data in container without actually asking for some sort of password every time, which would make using it way less frictionless.

• backed by filesystem

  That would allow actually synchronizing encrypted container through normal and less secure channels as long as you keep your private key safe. Not sure what to do with metadata though, but perhaps encrypting filenames with same key (with padding etc.) is not too bad.

So far I don't know any applications that match most of these criteria. Closest I know of are:

• open-keychain: you can share files so it encrypts them via PGP. That's the only thing that it does though, afaiu, it's more meant for integrating with other apps. It's open source though so would be good to use it as a library/intermediate.
• I'm personally using an Encfs container via EDS Lite and just use separate apps for secure photo taking and audio recording which don't have their content saved to cloud synced location.

If you know of something better, please let me know!

I got this thinking a while ago when I was keen on switching to Firefox, but it wouldn't let the user choose extension hotkeys, it was only added recently. And still, certain keys you just can't rebind (e.g. use Ctrl-Shift combinations), because they are hardcoded somewhere deep in the codebase.

It's pretty annoying that it's left to developer to think about providing hotkeys to the necessary bits of interface when the user can do same actions with mouse. Pretty sure X has got some kind of hierarchical abstract representation, would be nice to instead give users (or other developers, that don't necessarily have to be familiar with the app) ability to define arbitrary bindings or macros.

It's somewhat well known one can extend notion of derivative to abstract data types. Can we squeeze more from that?

Over the past few years there were few very successful examples of type checking implementations for languages without static types:

• mypy for Python
• Flow for Javascript
• Hack (compat mode) for PHP

In some ways, these tools provide superior type systems (e.g. optionals/sum types) to many 'classical' statically typed languages like Java or C++.

One reason for success as I see it is that typing is optional and can be used where/when the programmer feel necessary. You get benefits of dynamic languages for fast prototyping and benefits of type checking when it's time to harden your program.

I wonder if dependent types will take over the world through some similar tooling.

Related:

• Gradual typing
• Simple dependent types in Python

"Coming up with a showcase data" is such a common and tedious problem for tools like this, both demonstration and testing purposes.

One could generate some random data, but then it's not very relatable. Even if one is comfortable with demoing with some parts of their lifelog, still have to be really careful.

I wish there was some open source, curated and consistent dataset with a "made up" person's life events/messages/tweets/location/HR data.

It feels that all people who work on such tools could benefit from it.

Idea for the project name: "J. Doe".

Kobo doesn't have Goodreads integration like Kindle does. However sharing highlights is a great way to engage other people in the book you really like and want them to read. This can relatively easily be achieved via a script:

1. run the script in kron or via udev rule configured to trigger on your Kobo device

2. query the highlights from Kobo (they are in a nice sqlite database)

   I already have a local python script for that (my.books.kobo), e.g. used here.

3. choose which annotations you want to share. Some options are:
   • based on a special marker word (e.g. if annotation includes 'kobo')
   • interactively via prompting what you wanna share

4. send to Goodreads via quotes.create method

   You are gonna need some method of comparing highlights you already sent and diff them.

   Boring: just track annotation ids you already shared in some state file. Fun: use some elaborate comparison/hashing to match kobo annotations and goodreads ones.

Actually, this could even be useful for Kindle if you have a DRM free copy from elsewhere. Or for other ebook devices.

• [X] [2019-05-19 00:13] reverse engineered 'started reading' and 'finished reading' events, so at least it's possible to mark them manually on goodreads now

See kobuddy.

• [2019-05-07 20:32] ableton push kinda does that
• [2019-06-01 15:26] not sure if it would be really beneficial for proper musicians, perhaps as a learning tool only?

In the simplest approximation take some simple conical/cylindrical filter, water flow/temperature dependency and coarseness. As an output we get expected amount of caffeine, oils, some estimate of bitterness and acidity etc.

Some potentially relevant links:

• [2018-10-30 21:30] https://phys.org/news/2016-11-mathematics-coffee-ideal-brew.html
• [2018-10-30 21:30] https://www.researchgate.net/publication/299430179_Brewing_of_filter_coffee

[2019-04-22 21:28] I ran into this guide and surely coffee brewing doesn't have to be so elaborate!

I mean, seriously:

Pulse pour by adding 65g of water in 15 seconds, followed by a waiting period of 15 seconds and repeat 5 more times (pouring timeline below) . Each pour should begin in the center, work its way outward, and then return back to the center.

Come on. There is absolutely no way coffee taste depends on these intricate patterns of pouring water. A mathematical model would cast away this bro science at least to some extent.

I also can't really understand how is one capable of estimating coffee on the scale from 0 to 10, but perhaps that's just my unsophisticated taste buds, and I accept other people can train themselves to do that.

One common issue I see very often when people advocate for vegetarian/plant based diets is comparing, impact of producing 1 kg of meat vs 1 kg of vegetables/plants, which is obviously wrong way to analyze it (good luck surviving on lettuce). At the very least it should be normalized per calorie, even better by protein amount (as other macronutrients are relatively easy to satisfy).

However, different people have different dietary preferences in terms of macro composition (and good luck convincing people to change two beliefs at once).

Next, different ways of producing food have different impact on environment.

A good way of proving feasibility of meatless diets is to develop some sort of interactive simulator. It would take into account macronutrient and micronutrient requirements. It should allow to vary assumptions for environmental impact as well, as first, they may depend on means of production, but what's even more important, people might have different beliefs about impact too, and that should be respected.

That would also allow to 'generate' environmentally friendly meal plans via optimization algorithm.

That would make the whole discussion more quantitative and civilized.

• [2019-12-07 19:31] Tmorrowapp has got some CO2 models in javascript
• [2019-12-07 19:41] Ten Brighter Ideas by Bret Victor: similar idea, for power consumption

TLDR: it's annoying that you can't see how often each topic is used to use the most appropriate one. Ideally, I want something similar to Stackexchange interface.

Created a feature request here

However, this should be fairly easy to implement on client side (i.e. greasemonkey script). Considering that topics don't need to be set often, it should be okay performance wise.

Completely speculative and unprocessed straight out of my brain. Will get promoted above when I think a bit more about it.

• "Ideas I want to see soon" by Jonathan Borichevskiy
• "100 Ideas for Computing" by Sam Squire
• Halfbakery, a communal database of original, fictitious inventions, edited by its users
• ideas Trello board by Nikita Voloboev
• Space to Think: a space for exploring ideas