This idea seems similar to screeps, robocode, battle-code, and to a lesser extent, Neural MMO. Source: over 1 year ago

Looks cool! Reminds me of robocode. Source: over 1 year ago

I found https://robocode.sourceforge.io/ in Java, https://screeps.com/ in JavaScript (WASM from Golang seems not to work), and https://leekwars.com/ had its own language…. Source: about 2 years ago

You had to write the intelligence of a robot/tank in a C-like language of these game development software. The bottom line is two of these programs competed against each other. If I remember correctly these battles took place in a recurring tournament and you could win a license of the game developement software, or maybe nothing. The only one I found in a 2-minute search that is similar to this is Robocode... Source: about 2 years ago

One of the first incantations of this idea that I encountered, when I had just started working at my first corporate job back in the day, was Robocode ( https://robocode.sourceforge.io/ ) - it was great fun, and I see it's still going. - Source: Hacker News / over 2 years ago

Use hub here via CLI and forget the gui https://hub.github.com/. - Source: Hacker News / 10 months ago

Try automating the PR process as much as possible. Make use of tools like hub CLI for speeding up the pull request process. Code quality tools can help you automate the due diligence for coding standards and conventions, and test automation tools can assist in bug discovery, and identifying security vulnerabilities. - Source: dev.to / about 1 year ago

Parse_git_branch() { # Speed up opening up a new terminal tab by not # checking `$HOME` ...which can't be a repo anyway # # For the heck of it, micro-optimize this too: # time (repeat 1000000 { [ "$PWD" = "$HOME" ] } ) == ~4.2s # time (repeat 1000000 { [[ "$PWD" == "$HOME" ]] } ) == ~1.4s [[ "$PWD" == "$HOME" ]] && return # Fastest known way to check the current branch name ... Source: almost 2 years ago

You can always query via github api or use the hub client (from their home page https://hub.github.com/). Source: over 2 years ago