#penflip

[king-in-dtr]

Office tricks. #officetricks #penflip #pilotprecisev5 #isthebest #slowdayatwork #showmewhatyougot (at Research Triangle Park)

[king-in-dtr]

Office tricks. #officetricks #penflip #slowdayatwork #showmewhatyougot #pilotprecisev5 #isthebest (at Research Triangle Park)

[sarojaba]

Penflip - collaborative writing and version control

Rust 언어가 1.0 버전이 공개되기 얼마남지 않은 것 같다.

0.6 부터인가? 문서 번역 작업을 조금씩 하고 있었는데, 문서의 변화 속도가 너무 빨라 혼자서는 역부족 ㅠㅠ

이제 언어 스펙이 바뀌지 않으니 공동 작업을 해도 좋을 것 같기도 하다.

아직은 튜토리얼 뿐이지만, 완전한 한글화를 할 수 있도록 해봐야지 ㅋ

[singularityhacker]

A group of almost 40 mathematicians wrote a 600 page textbook on Homotopy Type Theory in less than six months. They taught themselves git, and they used GitHub for hosting, pull requests, and discussions. The book simply wouldn't exist without GitHub.

Loren Burton, Creator of Penflip

[sciencefictionreader-blog]

Writing platforms?

I had a couple of story ideas that I want to compose and flesh out next year. Tumblr seems like the wrong place to display writing, because it is not a platform given to lengthy posts, and those who stumble across a story will keep scrolling more often than reading. Is there a platform anyone here uses that is geared toward short form creative writing and sharing of said writing? I have seen penflip, and it looks promising.

[ushf]

Penflip: another entrant into the "Git for writers" market

Penflip is a similar concept to Authorea, which I noted earlier.  I don't quite see what's different, yet.  Discussion on news.ycombinator too.

There's nothing actually to see there yet, but the author has some good discussion of, and links to, the problems and opportunities in this area.