Text

My room is super messy, my bike doesn’t work, all of my clothes are dirty, and I still don’t have all of my data backed up. Wtf is wrong with me?

Text

Not super happy. Why not? What do I want? What do I need to focus on to get what I want?

I want to see real progress on my weight and on my overall fitness. I want more responsibility and power at work. I want to be able to get another job if I need to. I want to spend more time with available women. I haven’t been making any noticeable progress towards those goals and that’s NOT OKAY.

Read More

Tags: journal goals
Text

Good day today. Responsible eating patterns, and I didn’t stay up too late.

Tags: journal diet
Text

Eating has been going more-or-less okay for the last couple of days, but I’m not satisfied. I’ve found that I need a meal or two to concentrate while I’m working, but most of my calories have been coming in after that. I’m going to cut them out. New rules:

  • 700 calorie meals if I’m too hungry to concentrate.
  • No calories after I stop working for the day. If there’s social calories, then booze, and a tiny dinner are exceptions.

I’ve been getting out of bed far too late. I’d like to be up by 10 on most days, so I’m going to try to start going to bed earlier every day, and eventually get back to a fairly strict 1 am curfew.

I costs me 90 minutes and $5 every time I go to the gym, so that’s just not going to happen any more. I’ve been running and doing push-ups / pull-ups, but that’s not enough. I should be able to afford a barbell and some rubber plates soon. That’ll let me do sumo deadlifts, cleans, and overhead-press. I think I’m going to just do grease-the-groove with all of those exercises until I can afford access to better equipment.

Tags: journal diet
Text

Eating went better today. This is promising.

I figured out something today! When I’m eating with other people, I always feel pressure to eat a lot of food. I never realized this before, but it’s because I eat really fast. I finish before everybody else, and then it feels awkward to be the only one not eating. Revised Rules:

  • 700 calorie meals if I’m too hungry to concentrate.
  • When eating socially, eat as slowly as possible, and keep portion sizes as small as is reasonable.
Tags: journal diet
Text

Eating went alright today. I think I’m also going to try to minimize portion size in social meals. I’ve been trying to keep all of my meals around 700 calories, but that adds up pretty fast. So, for social meals, I’m going to try to eat as little as possible. Adjusted rules:

  • 700 calorie meals if I’m too hungry to concentrate.
  • When eating socially, mimic the portion size of someone who doesn’t eat much.
Tags: journal diet
Text

I’ve decided to start treating my diet problems as a food addiction, and stop eating. Fasting is unhealthy, so I’ll make some exceptions:

  • Socially eating is okay, but keep portion sizes down. 700 calories is a good target, but more is okay in some situations.
  • Eating for nutrition is okay, but only it’s been 24 hours since the last meal.
  • Eating a small meal (<700C) I’m having trouble concentrating. I should try drinking water and taking a nap first, though.
Tags: journal diet
Text

Built another very simple REST API with Haskell. Warp, Acid State. It took me a while to get my code past the compiler, but once I got to the testing phase, there was nothing left to fix.

Tags: coding haskell
Link

I wrote a silly little REST web-service in Haskell using Warp and Acid State. Here are the types:

import Data.SafeCopy
import Data.Acid
import qualified Network.HTTP.Types as W
import qualified Network.HTTP.Types.Status as W
import qualified Network.Wai as W
import qualified Network.Wai.Handler.Warp as W

type URL = Text
type User = Text
data Data = Data(Map User [URL]) deriving (Show, Typeable)
data Req = AddURL User URL | DelURL User URL | GetURLs User
data Resp = Ok | URLs [URL]
type DB = AcidState Data

writeData ∷ Data → Update Data ()
queryData ∷ Query Data Data
$(deriveSafeCopy 0 'base ''Data)
$(makeAcidic ''Data ['writeData, 'queryData])
-- 'makeAcidic’ creates event constructors ‘QueryData’ and ‘WriteData’.

delURL ∷ User → URL → Data → Data
addURL ∷ User → URL → Data → Data
getURLs ∷ User → Data → [URL]
getData ∷ DB → IO Data
modifyData ∷ DB → (Data→Data) → IO()
respond ∷ DB → Req → IO Resp
urlFromQuery ∷ ByteString → URL
decRequest ∷ W.Request → Maybe Req
encResponse ∷ Maybe Resp → W.Response
app ∷ DB → W.Request → IO W.Response
main ∷ IO()
Photo
I did it! Today was my last day of couch to 5k, and I ran a 5k in 30 minutes with Janis. That&#8217;s a Purdy score of 46.7k. The map says 30:09 minutes, but that&#8217;s her time. I sprinted the last tenth of a mile to make sure my time was within 30 minutes. I stopped at 30 minutes, and she checked the distance when she caught up.

I did it! Today was my last day of couch to 5k, and I ran a 5k in 30 minutes with Janis. That’s a Purdy score of 46.7k. The map says 30:09 minutes, but that’s her time. I sprinted the last tenth of a mile to make sure my time was within 30 minutes. I stopped at 30 minutes, and she checked the distance when she caught up.

Text
# Unix
data Filesystem = File Perm Text | Directory Perms (Map Text FileSystem)
type Process = [Text] -> String -> IO (String, String, Word8)
exec :: Text -> Process

# Object Languages
data Object = Object (String -> Object -> IO Object)

# Table Languages
data Atom = STR Text | NUM Double | BOOL Bool | NIL | PROC Proc
type Proc = Obj -> IO Obj
data Obj = ATOM Atom | TABLE (HashTable Atom Obj)
Tags: programming
Text

This was the last day of week 7 on Couch-to-5k. I ran 2.6 miles in 25 minutes! That’s 46.5k purdy points, and an estimated 30.13 minute 5k. This was a very challenging run for me, but I’m definitely feeling like I have a chance at pulling off a 30 minute 5k on a good day. I was expecting that to take another 9 weeks!

Text

Ran 2.4 miles in 25 minutes. That’s 42.7k purdy points, and an estimated 32.78 minute 5k.

I’ve been alternating between a 12 minute mile and a 9:40 minute mile. The 9:40 pace actually feels easier to me, and I’ve been spending more time at that pace. Today’s run was pretty difficult, but I’m feeling like a sub-30-minute 5k at the end of week 8 might be achievable!

Text

I just chased a caffeine pill with coffee.

Tags: caffeine
Text

Just finished week 5 of c25k. Today I ran 2 miles in 20 minutes, which, at least in the last 6 months, is my first run that’s longer than 8 minutes and my first run that’s farther than 1 mile! That’s 44k Purdy Points.

Read More