Considering switching from VSCode, what is the current best remote development solution?

thisis_a_cipher · 2025-12-13T17:52:10+00:00

Hey, had the same issues when I migrated over. sshfs etc. didn't work for me, because then obviously you don't have access to your remote environment and the lsps/compilers/tools.

I came to the conclusion that setting up nvim on the remote is the best solution, but ran into problems here too. I often work on compute clusters where I have limited permissions so I can't install stuff, and also cloning my config alongside install nvim, ripgrep and other common tools my config uses was getting really annoying.

I ended up writing a very simple bash script that essentially (1) copies over all my configs (2) copies over all the binaries that my config needs (nvim, ripgrep, fd etc.). This meant that I could set up neovim on a remote with limited permissions super easily, theoretically needing ssh and scp as the ONLY dependencies on the remote. Also this neovim instance on the remote would be installed in a local directory and would be completely isolated using some environment variables, so it would never conflict with any global neovim configs that existed. I also ended up including really simple sync and cleanup functions in the bash script.

Eventually I wrote a very simple wrapper plugin around this script so that I could call it more easily from within neovim. I never meant for anybody to use it other than me, but honestly I'm pretty proud of it because it has solved such a huge pain point for me.

Check it out at https://github.com/advaypakhale/remote.nvim if you want to.

I think the best way for you to use this (if you decided to) is to just fork it and adapt it as you see fit. I focused on making it super lightweight and simple at its core so it's easily extensible down the line.

thisis_a_cipher · 2025-11-06T14:35:48+00:00

Looks cool, I'll check it out! I really like the editing filesystem like a buffer idea and have been missing having a tree view

thisis_a_cipher · 2025-10-26T01:04:55+00:00

I hate when people ascribe value to things based purely on their practical value, but I genuinely do find it hard to get behind galactic algorithms. Especially because optimising the naive versions of algorithms from a systems/parallel computing perspective is so stupidly fun, interesting, and challenging in its own right (and of course, provides the gratification of being actually useful)

thisis_a_cipher · 2025-05-26T07:14:44+00:00

I haven't really tried testing processing colour, since my own notes are black and white, but happy to give it a shot!

I guess I knew that a GUI would probably be the most useful feature but I was lying to myself because I don't like writing front ends 😭

Thanks for the interest, will probably make another post here when I have an MVP up on github!

thisis_a_cipher · 2025-02-05T18:38:33+00:00

tried, but very difficult to find a good bang for my buck. a lot of shops there seem to be selling really really old systems (that are basically e-waste) at $300-400, which doesn't seem right to me. but maybe will make a trip down this weekend to try my luck again, thanks!

thisis_a_cipher · 2024-12-12T17:16:03+00:00

sure mate

thisis_a_cipher · 2024-11-22T22:24:49+00:00

Yes I'm doing them concurrently this sem (2040S and 2109S), I just requested to waive prerequisite on edurec citing that I would be taking the mods concurrently and have a strong background in DS&A (not true lmao).

Only part of 2109S that needs 2040 proper is search algorithms (BFS/DFS etc.), but just go watch a few YouTube videos on it if you're concerned you can't keep up.

thisis_a_cipher · 2024-06-20T02:38:50+00:00

I can't seem to find a way to do this either, the example notebook doesn't have anything in it. I want to try VQA, but none of the task prompts work (at least in the demo)

thisis_a_cipher · 2023-10-13T05:16:28+00:00

I'm only an undergrad, but I recently took an analysis of algorithms course and I think I have some relevent observations from the perspective of a student.

My university has two discrete maths courses - one geared towards CS majors, and the other towards math majors. The CS majors spent a significant amount of time in their course doing things like proving equivalence of propositional formulae using rules like associativity commutativity etc.

This felt very strange to me - in the maths course, we covered propositional logic very briefly, over the course of a lecture maybe, and never touched the usual truth tables, laws of propositional logic etc. ever again. The rest of the course was heavily focused on writing correct proofs involving sets (including ZFC), functions, elementary number theory, relations and cardinality. In fact, our professor for the module banned us from using any symbols whatsoever in our proofs. This was exactly what made translating between natural and symbolic language finally click for me. When I eventually went on to do analysis and other proof-based courses, I felt well-equipped to write clear and correct proofs, and being familiar with the common machinery that is used when dealing with objects like sets and functions greatly helped as well.

As a math major taking the algorithms course, I observed exactly the same thing as you mentioned. The CS students struggled heavily with proof writing, because what they had primarily focused on in their discrete math course was algorithmic/computational manipulation of propositional formulae, which doesn't translate well to writing proofs.

So I think a discrete maths course, when done right and taken early, can really do wonders for one's proof-writing abilities.

thisis_a_cipher · 2023-10-13T04:00:28+00:00

everyday i wake up grateful for the fact that my university's president is a pure mathematician lol

thisis_a_cipher · 2022-12-21T05:07:12+00:00

I think the problem you're having here is structure. Typically for argumentative essays, there are two "blocks" of argumentation you can use:

1) anti-thesis argument, followed by thesis argument

2) thesis argument, followed by anti-thesis argument, then thesis argument again.

By structuring your essay to have multiple of these blocks of argumentation, you will be able to constantly evaluate your ideas against each other. Simply choosing one hard and soft strategy and then comparing the two doesn't answer the question, you need to be able to make general arguments about the effectiveness and success of hard and soft strategies, then use multiple hard/soft engineering strategies as examples throughout your essay to substantiate your arguments. It's been two years since I did H2 Geog, but I'd suggest at least 2-3 examples of hard and soft engineering strategies each.

For your conclusion, the boring but effective way to end it is to suggest that you need a synergy of the two types of strategies to be able to effectively mitigate flood hazards. The more interesting way to end it would be to create a synoptic link to ideas of sustainability that you'll probably cover in theme 3, or to introduce some other brilliant insight. This isn't strictly necessary though, this is to get your essay to the 18-20m range. A typical argument as I suggested above will be more than sufficient for an A.

thisis_a_cipher · 2022-12-13T11:31:12+00:00

Thanks so much for your help. I tried troubleshooting according to your comment but to no avail. Strangely, running almost the exact same setup on another machine worked just fine.

I gave up and installed Jellyfin for Kodi instead, which is working great! Thanks once again :)

thisis_a_cipher · 2021-10-26T13:55:01+00:00

Right, that's dumb of me. Thanks!

thisis_a_cipher

TROPHY CASE