You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
the command zig run my_code.zig will compile and immediately run your Zig
program. Each of these cells contains a zig program that you can try to run
(some of them contain compile-time errors that you can comment out to play
with)
Run a shell script with bash, line-by-line, prompted on each command. Useful for running unknown scripts or debugging. Not a secure substitute for understanding a script beforehand.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
this is a rough draft and may be updated with more examples
GitHub was kind enough to grant me swift access to the Copilot test phase despite me @'ing them several hundred times about
ICE. I would like to examine it not in terms of productivity, but security. How risky is it to allow an AI to write some or all of your code?
Ultimately, a human being must take responsibility for every line of code that is committed. AI should not be used for
"responsibility washing." However, Copilot is a tool, and workers need their tools to be reliable. A carpenter doesn't have to
Raspberry Pi, Static HTTPS site with Docker and Nginx
Raspberry Pi, Static HTTPS site with Docker and Nginx
This tutorial is dated Oct 2021, if it's much further on than that this information might be out of date.
This is a guide on setting up a static HTTPS website on your raspberry pi using docker and nginx.
The aim is to have this running on the raspberry pi and to be able to access it from a host computer
on the same local network.
You should already be able to ssh into your pi from your host computer and have raspberry pi OS set up.
After long searching I did not find a good description of how to set up Syncthing that works exclusively via CLI without using a Web browser on the devices.
This is useful for example on a headless Raspberry Pi without proxying web-traffic through SSH or with port-forwarding limitations.
In this example we will want to share the default folder from Machine A with Machine B