What have you found for these years?

2009-01-16

急切 (4)

總算週末又快到了,心想可以輕鬆些,下午思索著 agda 與 haskell 之間的關係,
思索著 proofing 和 programming 之間的關係,總算也是覺得好好的。
(雖然我總覺得還沒抓到 agda 的一些關鍵點,懵懵懂懂迷迷茫茫的。)
回去了之後又改了一點程式,告一段落之後就看點別的,不過...

不舒服的感覺卻漸盛,那種不知道接下來可以幹嘛的心情。
所以大概又要陷入那種白白浪費時間的情境裡了吧。
平時不眠不休地寫著程式,週末就完全進入廢人模式,
目前的平衡狀態大概是這樣吧。

或許由於最近太過於脆弱,所以極其容易受影響,整個節奏就完全亂掉,
最後就會陷入這種模式。不知道什麼時候可以改善一點。
這好像也不是誰的錯吧?想怪人也不知道要怪誰...
進入奇怪的自言自語模式了,看來該停止了,不然會有更多混亂的感覺浮現

2 retries:

Plumm said...

最近還是頗煩的 @@ 下週看看會不會好一點 @@

Lin Jen-Shin (godfat) said...

:s

Post a Comment

Note: Only a member of this blog may post a comment.



All texts are licensed under CC Attribution 3.0