Wonderful work. Keep it up.
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
Sadly no, I think it’s gone forever. Probably wouldn’t be hard to recreate it though.
I like jrnl I never get to actually use it continuously…
I wrote a cron job that uses espeak and notify-send to 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.
That probably helps in the beginning but it seems like it would be very annoying and it would break concentration efforts.
I’ve solved this with a physical journal. I find it’s harder to forget when it’s in front of me. Downsides, my handwriting could be better, so it’s not the easiest thing to review. Plus it’s organised chronologically, rather than by task.
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.
Being able to remember what you did Friday afternoon on a Monday morning is valuable.
What I like about jrnl’s date syntax is how easy it is to inject events into the past. For example I just got interruped by a coworker so I can tell jrnl after he left: “jrnl 45 minutes ago: hunt for bug foo #32456”
OMG. This is almost exactly what I need in my life.
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.
If the only thing it achieves is getting rid of disqus and facebook comments then that will count as a win to me :)
I’m not even really sure I understand what it is.
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.