/int/ - I want to learn TLA+, Erlang, Ocaml, HoTT, mathematics, make simplified database implementations in

Bernd Fri, 07 Mar 2025 23:23:57 GMT No. 25589469 >>25589484

Just learn lisp

Bernd Fri, 07 Mar 2025 23:24:23 GMT No. 25589475 >>25589484

Reddit tier post

Bernd Fri, 07 Mar 2025 23:25:15 GMT No. 25589484

>>25589469 I don't like Lisp since it has no types and is hard to maintain. >>25589475 Why?

Bernd Fri, 07 Mar 2025 23:25:25 GMT No. 25589486

Just start by going to the gym. You will feel physically better and have more energy for other activities. t. knower

Bernd Fri, 07 Mar 2025 23:28:37 GMT No. 25589506 >>25589511 >>25589519

i cant even do laundry. i cannot do anything. the only thing i can more or less do is walk. just 10-20km back and forth down the 3km long sea walk

Bernd Fri, 07 Mar 2025 23:29:47 GMT No. 25589511 >>25589641

>>25589506 How do you maintain all that baby fat doing 10-20km walks?

Bernd Fri, 07 Mar 2025 23:31:13 GMT No. 25589519 >>25589641

>>25589506 Ugly piece of shit

Bernd Fri, 07 Mar 2025 23:41:46 GMT No. 25589641

>>25589511 i dunno maybe its water and not fat. also i eat a lot. also a 10km walk or even a 20km walk is not a lot of calories expanded, especially once your muscles become trained and efficient >>25589519 yes that is factually correct

Bernd Sat, 08 Mar 2025 04:45:35 GMT No. 25591101

Just go to the gym None of that other shit is useful at all

Bernd Sat, 08 Mar 2025 04:48:52 GMT No. 25591115

> Should I drop something? Dropping KC would be a good start

Bernd Sat, 08 Mar 2025 05:51:21 GMT No. 25591305

First thing: stop lurking on imageboards

Bernd Sat, 08 Mar 2025 05:52:49 GMT No. 25591312

>mathematics >gym that's literally all you need.

Bernd Sat, 08 Mar 2025 05:53:03 GMT No. 25591315

>>25589466 >learn TLA+, Erlang, Ocaml, HoTT, mathematics, make simplified database implementations in Erlang, work on two robots, write a microkernel in Rust, and go to the gym. You will still remain a hohol.

Bernd Sat, 08 Mar 2025 06:22:27 GMT No. 25591390

You think you're ready to build highly-available distributed systems????

Bernd Sat, 08 Mar 2025 10:07:17 GMT No. 25592121

> Should I drop something? everything except mathematics gym should be replaced with cardio in the open and weighted calisthenics

Bernd Sat, 08 Mar 2025 10:12:31 GMT No. 25592142 >>25592220

latest.jpg

15.16 kB, 400x559

You will never become a codegarch

Bernd Sat, 08 Mar 2025 10:28:38 GMT No. 25592220 SÄGE!

>>25592142 I already have a job, but I wish I had some passive income or to be on welfare.