Since I feel a bit lost lately, I decided to prepare a list of things to try to accomplish this year.

  1. MATH: be able to complete whole math problem sheets after just attending lectures and reading
  2. GYM: join a gym and consistently train at least 3 times a week.
  3. BOOKS: read 12 books
  4. ROT: spend less than 3 hours on mindless entertainment
  5. CAREER: make one interesting project involving proofs or verification

I may add some things in here in the next few days.

I’ll try to share my progress in here.

27-01-2026

I gathered two books: “Extreme Ownership” by Jocko Willink and Leif Babin and “Patopanstwo” by Jan Spiewak. I know - a bit cliche, but i wanted to read these for a while and im in mood. I joined a nearby gym and trained. I successfully completed a couple of math problems with little-to-none ai help.

28-01-2026

Today ive wasted a lot of time watching videos about ice situation in us. I cooked a meal but im not satisfied by it - I have to make it right next time. I thought a lot about what im doing in my day-to-day and realized that my life doesnt really represent what i value so i would like to change this. Gonna do some maths now and maybe hit the gym. I hope this writing helps me get out of this brainrot i have now. I started both of my books (read preface).

29-01-2026

I stayed up till late to work on measure theory class, but i woke up after like 7 alarms, didnt eat, had a bad hair and had to rush to university. It felt awful. But i did it anyways since i strive to be at all lectures this year. I got a point in class but failed my quiz by a elementry school mistake. I failed again. Maybe i should put a blog post of all the fails this year. To make this day better and to tackle this year goals i went to gym. I have now around 2 hours until i meet with friends. I’m gonna shower, clean my room and start tackling some probability questions. I have no idea how long will the meeting be but i want to read a bit later and maybe reaserch something for goal 5.

31-01-2026

I gotta make this more about goals and less of a diary. I still struggle with youtube. Statistics show that i spent on averge 4.5 hours a day – that’s just crazy. I’d like to add a goal to use less youtube but i worry that something else will take over. Instead let’s do the goal that I can spend less than 3 hours on mindless “entertainment” (Goal 7). I feel like im doing more and more maths comfortably. I’m trying to read more but i kinda dont have the energy (i’ll try). Gym is great, i like it and hit like 4 times this week. I’ve added the prefixes/labels to the goals. I don’t have the time to focus on formal methods now, i might just leave this one for now. I sorted goals based on priority.

02-02-2026

yesterday i did hit my 6h of maths but unfortunetly due to maybe being overly excited couldnt sleep. missed lecture. regretted. attended exercise class though. its 13:30 now. I need to hit my 6h today somehow.

1330 math ->1.5 (-30min eat)
1600 math (@else) ->3.5 (-20*2=-40)
1900 math -> 4.5 \ 2000 gym+eat
2100 math -> 6
2230 books+sleep

Dropping goal “environment” and “friend” since they are hard to keep consistent at the daily level so i just ignore them anyways.

02-07-2026

I’m pretty much overclocking, i just studied for the last past few days… I need to study for my measure theory test still. Heres the schdeule:

1500 clean
1530 eat
1600 study
2000 gym
2100 study
2400 try to go to sleep

It’s like im overclocking but i feel fine tbh. I dont read any books but this WILL CHANGE after tuesday i promise. I’ll try to read something nonetheless before that.

02-08-2026

Yesterday was a mess. Instead of studying peacefully i started vibe coding something on a side and got sucked into it. I managed to start studying like from about 22:00 and i put myself to bed at 5 AM. Woke up at 1 PM. But i gotta keep pushing. Let’s study today to the max.

I noticed a nice image i’d like to put on my wall.

Curry Howard Isomorphism

10-08-2026

I was truly tryharding the past few days. I think i passed my semester finals. I need to focus on a couple things now:

  1. Keep doing maths - every day at least a little bit
  2. Do home workouts
  3. Read everyday
  4. Dont get into another habbit of excessive watching series or other form of rotting
  5. Code Ulam and maybe start doing something in verification