type StringBool = "true"|"false";
interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };
type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
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
| #!/usr/bin/env xdg-open | |
| [Desktop Entry] | |
| Type=Application | |
| Name=Zotero | |
| GenericName=Zotero Bibliography Manager | |
| Icon=/home/lilian/.local/Zotero_linux-x86_64/chrome/icons/default/default48.png | |
| Exec=/home/lilian/.local/Zotero_linux-x86_64/zotero %f | |
| Categories=Office | |
| Terminal=false |
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
| # Inside the SSL server: | |
| # Local proxy for uLogMe (https://localhost:8443/) | |
| location /ulogme/ { | |
| proxy_set_header Host $host; | |
| proxy_set_header X-Real-IP $remote_addr; | |
| proxy_buffering off; | |
| proxy_cache off; | |
| proxy_ssl_verify off; | |
| proxy_pass https://localhost:8443/; |
Have you ever argued for or against teaching language X as the first language in a university computer science curriculum? If so, I hope that your arguments:
- were first and foremost about students, considering the question “What do we want students to gain from their experience with a first language?”, not “Is language X better than language Y?” because the latter question requires too much context and isn’t really answerable;
- kept in mind that ultimately we want to train polyglots, so the first language is never the only language; and
- took into account previous work from computing educators, and education theorists and practitioners in general.
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
| [Desktop Entry] | |
| Version=1.0 | |
| Type=Application | |
| Name=Zelda: Return of the Hylian SE | |
| Comment=http://www.solarus-games.org/games/zelda-return-of-the-hylian-se/ | |
| TryExec=zelda_roth_se | |
| Exec=zelda_roth_se | |
| Icon=/usr/share/solarus/zelda_roth_se/zelda_roth_se.png |
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
| #!/usr/bin/env xdg-open | |
| [Desktop Entry] | |
| Name=Kaamelott Soundbard | |
| Comment=Kaamelott Soundbard desktop app | |
| Exec=/home/lilian/.local/kaamelott-soundboard-linux-x64/kaamelott-soundboard | |
| Icon=/home/lilian/.local/share/applications/kaamelott-soundboard.jpg | |
| Terminal=false | |
| Type=Application | |
| InitialPreference=6 |
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
| // Source https://codepen.io/juliangarnier/pen/gmOwJX | |
| // (C) Julian Garnier | |
| // Adapted by Lilian Besson (Naereen) https://github.com/Naereen | |
| // to add a fireworks effect on a reveal.js slideshows | |
| var canvasEl = document.querySelector('.fireworks'); | |
| var ctx = canvasEl.getContext('2d'); | |
| var numberOfParticules = 40; | |
| var pointerX = 0; | |
| var pointerY = 0; |
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
| #!/usr/bin/env sh | |
| # Works with merlin version 2.5.4. Using protocol described at | |
| # https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type-checking | |
| usage () | |
| { | |
| echo Usage: either of the following will work: | |
| echo | |
| echo ' sig module.ml' |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
| #!/usr/bin/env bash | |
| # Semi-automatically update dx.doi.org links on GitHub to https://doi.org. | |
| # | |
| # Usage: | |
| # 1. Copy this gist into a local folder of yours (e.g. ~/forks/). | |
| # 2. Make it executable with `chmod +x ~/path/to/clone-rm-dx.sh` | |
| # 3. Install the gfork Node.js package and its dependencies. | |
| # 4. Find target repos on https://github.com/search?o=desc&q=dx.doi&s=indexed&type=Code&utf8=%E2%9C%93 | |
| # 5. Insepct the code: can `dx.doi.org` be savely updated? Inspect tests, |