As easy as 1, 2, 3!
Updated:
- Aug, 08, 2022 update
configdocs for npm 8+ - Jul 27, 2021 add private scopes
- Jul 22, 2021 add dist tags
- Jun 20, 2021 update for
--access=public - Sep 07, 2020 update docs for
npm version
Tom Smeding tomsmeding
🦆
andrejbauer
/ AgdaSolver.agda
Last active
November 9, 2024 16:28
How to use Agda ring solvers to prove equations?
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
| {- Here is a short demonstration on how to use Agda's solvers that automatically | |
| prove equations. It seems quite impossible to find complete worked examples | |
| of how Agda solvers are used. | |
| Thanks go to @anormalform who helped out with these on Twitter, see | |
| https://twitter.com/andrejbauer/status/1549693506922364929?s=20&t=7cb1TbB2cspIgktKXU8rng | |
| I welcome improvements and additions to this file. | |
| This file works with Agda 2.6.2.2 and standard-library-1.7.1 |
lieuwex
/ buienalarm.go
Last active
July 9, 2018 19:10
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
| package main | |
| import ( | |
| "encoding/json" | |
| "fmt" | |
| "io/ioutil" | |
| "math" | |
| "net/http" | |
| "os" | |
| "strings" |
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
| int64_t ipow(int64_t base, uint8_t exp) { | |
| static const uint8_t highest_bit_set[] = { | |
| 0, 1, 2, 2, 3, 3, 3, 3, | |
| 4, 4, 4, 4, 4, 4, 4, 4, | |
| 5, 5, 5, 5, 5, 5, 5, 5, | |
| 5, 5, 5, 5, 5, 5, 5, 5, | |
| 6, 6, 6, 6, 6, 6, 6, 6, | |
| 6, 6, 6, 6, 6, 6, 6, 6, | |
| 6, 6, 6, 6, 6, 6, 6, 6, | |
| 6, 6, 6, 6, 6, 6, 6, 255, // anything past 63 is a guaranteed overflow with base > 1 |
afair
/ tmux.cheat
Last active
February 27, 2026 02:50
Tmux Quick Reference & Cheat sheet - 2 column format for less scrolling!
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
| ========================================== ========================================== | |
| TMUX COMMAND WINDOW (TAB) | |
| ========================================== ========================================== | |
| List tmux ls List ^b w | |
| New new -s <session> Create ^b c | |
| Attach att -t <session> Rename ^b , <name> | |
| Rename rename-session -t <old> <new> Last ^b l (lower-L) | |
| Kill kill-session -t <session> Close ^b & |
coolaj86
/ how-to-publish-to-npm.md
Last active
February 14, 2026 13:18
How to publish packages to NPM
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
| --- | |
| -- kreed131.blogspot.com/2011/07/tcp.html | |
| --- | |
| import Network.Socket hiding (send, sendTo, recv, recvFrom) | |
| import Network.Socket.ByteString (send, recv) | |
| import qualified Data.ByteString.Char8 as B8 | |
| import System.Environment (getArgs) |
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
| function pwdx { | |
| lsof -a -p $1 -d cwd -n | tail -1 | awk '{print $NF}' | |
| } |