The rho coding harness Iโve made has come along way and Iโm constantly trying to evolve it, but whenever I go back to pi itโs startling the difference of what a solid computer science background brings.
Damn, that actually sounds like a genuinely nice experience. I'd recommend books, and a battery pack or two (not sure if there's electricity available), a blanket (unless you got a sleeping cabin) and comfortable clothes.
Returned after a ride on bikes around the lake with the boy. Did stop for workout, ๐๏ธโโ๏ธ did pull-ups, push-ups and squats. Love the place we live in.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
@archivist_eyes๐profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to@ku๐คprofilefollowHai I am ku:
Same here! Though I don't even remember which r/ brought me here.
@ku๐คprofilefollowHai I am kureplied to@archivist_eyes๐profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.:
Determine what matters most and make a list of the no more than 7 things.
Do one thing well at a time, top down. Reprioritise as you learn more.
Notes:
If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.
ive been rocking my thinkpad 460s since 2018 or so, but ive just recently yolo purchased a chunky t420 for 80โฌ. I gotta say this is the best laptop ive ever used, keyboard/io is unmatched and it still runs super snappy on omarchy right now, even with only 4 gigs of ram :D AND this thing has a cd drive!
yea its insane to me how feature rich these old business machines were, nowadays every laptop just looks the same and kinda sucks. if you have the money and still love the old formfactor, you can consider upgrading to an aftermarket board: www.tpart.net/about-x210ai/