In a story of insane luck (and unluck!), the craziest part is definitely this
" He said that if I had had a spleen, it almost certainly would have ruptured when I hit the water, and I would have bled to death. Of the 25 pilots in our squadron, I am the only one without a spleen. It gives me something to think about. Maybe it does you as well."
While they exist, shell based autocomplete have always felt like a suboptimal solution we just accept out of historical happenstance.
- You need to press tab to get any completion to display
- You don't know what completion will appear when you press tab, or at most one completion displays
- The completions are not at all aware of context, at best just doing some untyped fuzzy matching. Compare this to Fig, which at least seems to know what sorts of arguments each command accepts and displays a list of them
- They only provide completion, not inline documentation, which is one of the big points of the article
Woah, that's really cool. This seems to check the first two of the article's points, approachability and discoverability. Are there any plans to implement the third point, interactivity, where you have small, dynamic guis embedded in the terminal?
Great to hear! I'm actually a week away from finishing my undergrad thesis (ironically procrastinating on that now), so kinda stuck with Zotero for now. Once that's complete I'll take a good look at polar.
Does roam support automatic importation of bibliographical info and export to bibtex? That’s the main value of zotero for me. Also latex math embedding notes would be great
You can implement pretty powerful type checkers as constraint based systems. I used Z3 in a project called LightDP to verify differential privacy as a property of the type system.
" He said that if I had had a spleen, it almost certainly would have ruptured when I hit the water, and I would have bled to death. Of the 25 pilots in our squadron, I am the only one without a spleen. It gives me something to think about. Maybe it does you as well."