wisam
Joined 10 years ago
Joined 10 years ago
Would you share the details of the hardware setup (MiniPC, USB remote control) and screenshots of your configured KDE/Plasma desktop?
I believe that other than being ML-like language and being developed jointly by Microsoft Research and Inria, F* has nothing to do with F# and .NET.
Dan Grossman is an excellent educator. You'll probably learn more programming [languages] concepts than any other beginner's course.
Its secure defaults will probably block all other services you're running on your server and render them inaccessible.
You might even end up not being able to ssh to your server if you choose not to let Algo set up ssh configurations (because you have your own).
I would say install Algo on a dedicated droplet or backup your VPS before setting it up.
I'm not going to say the M-word, someone will *maybe* say it in ... *either* case.
Just wanted to say I see what you did there. Nothing insightful to add.
I mean constant constants, constant variables, and variable variables seem useful.
I'm not sure how would variable constants be useful.
Also, anybody knows the difference between constant constant and immutable data (constant contact constant)?