mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#code

51 posts47 participants3 posts today

How about installing VS Code on a #GitHub Windows runner? This allows you to do this unattended.

runs-on: windows-latest
steps:
- uses: gbraad-actions/install-vscode-action@main
- name: Run VS Code serve-web
run: |
code serve-web --host 0.0.0.0 --without-connection-token

Handy with #Tailscale when you want to debug the build on a runner. Pr even to quickly enable RDP and log in.

github.com/gbraad-actions/inst

Install VS Code on Windows. Contribute to gbraad-actions/install-vscode-action development by creating an account on GitHub.
GitHubGitHub - gbraad-actions/install-vscode-action: Install VS Code on WindowsInstall VS Code on Windows. Contribute to gbraad-actions/install-vscode-action development by creating an account on GitHub.

#iden Quick-start verified: Creating and sourcing the #python and #rust virtual environments to compile and install, generating an identity, starting the pad manager, and how to import the library in a #jupyter notebook ready to write and read and poke at the test node.

github.com/stevenaleach/iden/b

IDEN - decentralized identity and distributable services. - stevenaleach/iden
GitHubiden/quickstart.md at main · stevenaleach/idenIDEN - decentralized identity and distributable services. - stevenaleach/iden