4 ms·
I read this article last week, lost it, and was looking for it yesterday. You just saved me a long hour of guessing at terminology. This seems like a large ste
by krichman 14y ago
I read this article last week, lost it, and was looking for it yesterday. You just saved me a long hour of guessing at terminology.
This seems like a large step in the right direction for exception handling, but I think it still has the problems that the programmer writing the function that can throw needs to enumerate a number of cases to make it effective, and the programmer calling that function needs to have documentation ready for a descriptions of all the possible restarts.
- 6ren 14y agoGoogle's web history, with its toolbar, allows you to search the pages you've visited before (not just their titles, as in browser history). That is, you can search the subset of web that you've seen http://support.google.com/accounts/bin/answer.py?hl=en&answer=65396&topic=14150&ctx=topic http://support.google.com/accounts/bin/answer.py?hl=en&a... NB: Google will then have all your base, and people on HN have recommended turning off google web history altogether (let alone the toolbar!). I mention it, because it is also a killer-solution to the common problem you mention.
- technolem 14y agoDon't most browser history systems support this on their own?
- dbaupp 14y agoI think this allows one to do a full-text search, essentially. I.e. search for content on the page, rather than just URL/title.
- krichman 14y agoIt is much better than using browser tabs for an archive - I'd rather not let Google have all my base, though. I'm thinking I'll do a bookmarking solution one of these weekends that syncs to a webserver I own.