Hacker News with Generative AI: Remote Development

Down the rabbit hole: Implementing SSH port forwarding over AWS Session Manager (joinformal.com)
A technical quest through obscure SSH and AWS Session Manager features in service of enabling VS Code Remote SSH via the Formal Connector, culminating in forking and fixing several concurrency bugs in AWS’s own reference library for connecting to compute instances using SSM.

AWS, SSH, DevOps, Remote Development, Bug Fixes

59 points by saligrama 10 days ago | 13 comments

VS Code Remote Dev and Dev Containers are not security boundaries (lets.re)
While Visual Studio Code’s Remote Development and Dev Container extensions simplify workflows and ensure consistent development environments, Microsoft’s documentation lacks warnings for how limited their isolation actually is – even when you use them with virtual or remote machines.

Security, Development Tools, Remote Development

4 points by retsl 47 days ago | 0 comments

Zed: SSH Remoting Is Here (zed.dev)
For people with large codebases, programming on a laptop can be overwhelming. Your fans are constantly spinning, the language server is continually out of memory, and rebuilds take forever...

Remote Development, Development Tools, Software, Programming

13 points by tosh 113 days ago | 2 comments

Coding on iPad using self-hosted VSCode, Caddy, and code-server (tailscale.com)

Coding, iPad, Remote Development, Self-Hosting

48 points by transpute 169 days ago | 90 comments