ster

joined 4 years ago
MODERATOR OF
[–] ster@lemmy.ml 2 points 2 years ago
[–] ster@lemmy.ml 4 points 2 years ago

I do try to get out every day, sometimes it helps but sometimes it makes me feel more worn out.

I'll try keeping my window open a bit more often.

I don't think the distractions are the problem, on good days I'm motivated enough to keep away from the distractions. On the bad days I can force myself to keep staring at the work but my brain just wanders or I just stare into space.

[–] ster@lemmy.ml 4 points 2 years ago

I'm sober at the moment due to wanting to focus on my work. I'm starting to think it could be sleep related so I might give this a shot

[–] ster@lemmy.ml 3 points 2 years ago (2 children)

This is possible, I'm vegan so I probably don't get much from my diet, and I live in the UK so we probably only get enough sunlight in the summer. Do you take vitamin D supplements?

[–] ster@lemmy.ml 1 points 2 years ago (1 children)

I don't know much about it honestly. I'm not really an impulsive person though?

[–] ster@lemmy.ml 3 points 2 years ago

I think sleep could be a big part of it, I've always struggled to maintain any kind of sleep schedule. I don't think I suffer from any severe mental health problems as I'm fairly functional in day-to-day life.

[–] ster@lemmy.ml 3 points 2 years ago

I thought burnout was more of a long term thing, whereas mine tends to resolve the next day (or occasionally after a few hours). Sometimes I will have a weekend which is bad

 

I'm currently preparing for exams which are very important to me. Some days I can work for 6 hours or more without stopping and I get loads done and feel great about it. Unfortunately some days I get up and I can't bear to work.

On bad days, I feel like I can't focus on anything, and no matter how much it stresses me out, my brain just refuses to put any effort in. I have no motivation and just feel like going to sleep or giving up and doing something to waste time.

Generally I find if I work a lot one day the next day is more likely to be a bad day.

Does anyone else have this? How do you prevent this or at least cope with it?

[–] ster@lemmy.ml 0 points 2 years ago (4 children)

Letting the Russian government oppress Ukraine won't solve this either. We'd all prefer no fighting, but fighting is better than letting Russia bully their way.

[–] ster@lemmy.ml 3 points 2 years ago

Crypto is a fascinating concept but it's been taken over by a combination of tech bros and finance bros

[–] ster@lemmy.ml 2 points 2 years ago

That's very interesting thank you.

 

Let f be a function. We are told that f^2 (f composed with itself) has a unique fixed point. How many fixed points could f have?

[–] ster@lemmy.ml 5 points 2 years ago (2 children)

Source on the claim that most people from those countries want it back?

 

Here is the Lean 4 documentation, it's still under development

[–] ster@lemmy.ml 1 points 3 years ago

This would be fantastic, although as a maths student myself I would want a mix of human-written and automatically-generated problems (since automatic ones are severely limited in scope and routine problems are rarely done in any quantity at high level).

If it also integrated with (an) Interactive Theorem Prover(s) to allow leaners to write proofs which are computer-checked that would be incredible.

I've actually been meaning to start this project myself for around 2 years but the barrier for me is web development, I'm a competent Python programmer so I reckon I have a chance with the backend but I have literally 0 ability in UI/frontend design and frontend development.

If anyone considers themselves mildy competent (post-beginner) level at frontend web development and wants to chat about this on matrix I'm all ears.

view more: next ›