/explore
|
You are here 
|
blog.arkadi.one | ||
| | | | |
gist.github.com
NixOSconfig file. GitHub Gist: instantly share code, notes, and snippets. |
|
| | | | | ||
| | | | |
fzakaria.com
I have written a lot about NixOS, so it's no surprise that when I went to go dust off my old Raspberry Pi 4, I looked to rebrand it as a new NixOS machine. Before I event went to play with my Pi, I was unhappy with my current home-networking setup and looked to give it a refresh. I have had always a positive experience with Ubiquiti line of products. I installed two new AP (access points) and setup a beautiful home rack server that is completely unnecessary since my Internet provider is Comcast with top ... |
|
| | | | | ||
| | | | |
jade.fyi
computers i guess |
|
| | | | | ||
| | | | |
github.com
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. |
|
| | | |||
