-
In the other direction, there’s the Grammatical Framework that uses dependent types to translate among multiple languages.
I used GF to build a small webapp to improve my Swedish vocabulary while I lived there. The code would generate random sentences in both Swedish and English and I’d enter the translation and check my input against the GF translation.
-
Wow, that’s neat. Did you open source it, by any chance?
-
Please share this with us. Would love to see it
-
-
-
-
I like jrnl I never get to actually use it continuously…
-
I wrote a cron job that uses
espeakandnotify-sendto tell me “Please make a log entry” every half hour. I was going to put it in the article, but people always give me funny looks about it so I left that part out ;-)Maybe I will make a part II to this article.
-
-
-
-
Great to see folks using this language- I’ve had my eyes on it for some time, but haven’t tried it out yet.
Is the book available in text or Epub format?
-
Not yet as far as I can tell. The other ATS documents are available in PDF and epub.
-
-
Yes I do! I thought I was alone in this practice.
- Set a cron job to call espeak every 16 minutes and say “Please make a log entry” (so I don’t forget)
- Use
jrnl(http://jrnl.sh/) to keep logs, making backups as needed.
Being able to remember what you did Friday afternoon on a Monday morning is valuable.
-
-
-
Never heard of jrnl before. Thanks! I am using my own scipt log-append, but it’s only meant to report what’s happening right now. In workplace I plug it into booting, shutting down, screen lock and unlock too, so I have rough estimate of time spent outside of desk and time spent in work in general. My other scripts help me here: day and month (which I have somehow forgotten to commit and push).
-
Am I the only one that does not see big benefits in this?
-
It’s actually a huge deal. If you were around the web in the late 90’s, you may remember plugins like “ThirdVoice”. It was basically Disqus, for every website, managed externally from the website.
Social sticky notes + social comments + notes for any site.
I haven’t read the spec yet, but I imagine this is significant for taking discussions out of the “walled gardens” and giving that control back to users. I would quite like the ability to discuss a websites content without needing to register for an account on every page I visit.
Although many won’t remember ThirdVoice today, it was quite disruptive in that regard. It gave end users to have a discussion on a medium that was entirely separate from the main site. I even recall websites such as SayNoToThirdVoice.com (or this one I found via google that is still online) organized by webmasters who felt they were losing control over discussions about their site. It will be exciting to see where this one goes.
-
-
-
-
I wish more consumer products used epaper. Despite the monochrome display, the battery life can’t be ignored. Sunlight readability is also a huge plus.
I would be interested to see how consumers feel about that trade off overall. Personally, I would rather have a month of battery life and no glare than a color screen, but it seems like fewer consumer products are coming out with epaper displays.
Wonderful work. Keep it up.