Explore >> Select a destination
|
You are here 
|
www.outcoldman.com | ||
| | | | |
www.morling.dev
|
|
| | | | | As a software engineer, I like to automate tedious tasks as much as possible. The deployment of this website is no exception: it is built using the Hugo static site generator and hosted on GitHub Pages; so wouldn't it be nice if the rendered website would automatically be published whenever an update is pushed to its source code repository? | |
| | | | |
blog.creekorful.com
|
|
| | | | | I've made a little fun experiment this weekend by trying to make a unified package manager user interface. The idea was to design the simplest package manager UI possible. And I've come up with something that I really like. I've named the project 'x' (I am tired in finding meaningful name derive from Greek god or anything...). Here's how it works: The program read a sequence of operations to apply. Each operation is prefixed by a token indicate what the operation kind (install, update or remove). | |
| | | | |
gist.github.com
|
|
| | | | | ScriptBlock Logging Bypass. GitHub Gist: instantly share code, notes, and snippets. | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
