Threads for rickcarlino | Lobsters

7

Shapr 5 months ago | link | on: Ask: Type systems in natural languages?

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.
1. 1
  
  faitswulff 5 months ago | link
  
  Wow, that’s neat. Did you open source it, by any chance?
  1. 1
    
    rickcarlino 5 months ago | link
    
    Please share this with us. Would love to see it
  2. 1
    
    Shapr 4 months ago | link
    
    Sadly no, I think it’s gone forever. Probably wouldn’t be hard to recreate it though.

2

C-Keen 6 months ago | link | on: A Year of Developer Journaling with jrnl.sh

I like jrnl I never get to actually use it continuously…
1. 4
  
  rickcarlino 6 months ago | link
  
  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.
  1. 1
    
    rpaulo 6 months ago | link
    
    That probably helps in the beginning but it seems like it would be very annoying and it would break concentration efforts.
2. 1
  
  lil_cain 6 months ago | link
  
  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.

1

rickcarlino 10 months ago | link | on: Crash into ATS

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?
1. 2
  
  doublec 10 months ago | link
  
  Not yet as far as I can tell. The other ATS documents are available in PDF and epub.

14
rickcarlino 11 months ago | link | on: Do you journal about your workday? Why? What tools do you use?
Yes I do! I thought I was alone in this practice.
1. Set a cron job to call espeak every 16 minutes and say “Please make a log entry” (so I don’t forget)
2. 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.
1. 2
  
  C-Keen 11 months ago | link
  
  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”
2. 2
  
  colindean 11 months ago | link
  
  OMG. This is almost exactly what I need in my life.
3. 1
  
  przemoc 6 months ago | link
  
  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).

2

dmendek 1 year ago | link | on: Annotation is now a web standard

Am I the only one that does not see big benefits in this?
1. 9
  
  rickcarlino edited 1 year ago | link
  
  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.
  1. 6
    
    pilkch 1 year ago | link
    
    If the only thing it achieves is getting rid of disqus and facebook comments then that will count as a win to me :)
2. 4
  
  peter 1 year ago | link
  
  I’m not even really sure I understand what it is.

8

rickcarlino 1 year ago | link | on: reMarkable - an e-ink tablet

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.