Skip to content

Instantly share code, notes, and snippets.

View edemaine's full-sized avatar

Erik Demaine edemaine

View GitHub Profile
@edemaine
edemaine / audit.txt
Created May 25, 2018 16:59
KaTeX npm audit output
=== npm audit security report ===
# Run npm install --dev [email protected] to resolve 18 vulnerabilities
SEMVER WARNING: Recommended action is a potentially breaking change
┌───────────────┬──────────────────────────────────────────────────────────────┐
│ Low │ Prototype Pollution │
├───────────────┼──────────────────────────────────────────────────────────────┤
│ Package │ lodash │
├───────────────┼──────────────────────────────────────────────────────────────┤
@edemaine
edemaine / gulpfile.coffee
Last active June 17, 2019 15:51
gulpfile.coffee for coffee/pug/stylus website automatic compilation (including watch rule)
# REPLACED BY GITHUB TEMPLATE: https://github.com/edemaine/webapp-coffee-pug-stylus
# Source: https://gist.github.com/edemaine/28c2bfebe326de4853f039e0306c4afa
# To use this gulpfile:
# npm install --save-dev gulp gulp-chmod gulp-coffee gulp-pug gulp-stylus (initialization)
# npx gulp (compile everything once)
# npx gulp watch (automatically compile everything as it changes)
gulp = require 'gulp'
gulpCoffee = require 'gulp-coffee'
gulpChmod = require 'gulp-chmod'
@edemaine
edemaine / settings.md
Created June 23, 2021 20:59
VSCode configuration to use Cygwin LaTeX in LaTeX Workshop
  1. Make sure that ...\cygwin\bin is in your PATH.
  2. Modify your "latex-workshop.latex.tools" configuration, or specifically the latexmk tool, as follows:
{
    "latex-workshop.latex.tools": [
      {
        "name": "latexmk",
        "command": "bash",
 "args": [
@edemaine
edemaine / when2meet-subset.js
Created February 13, 2022 15:20
Enable toggling subset of users in when2meet results view
// paste this into your browser console when looking at when2meet results
if (!window.OrigAvailableAtSlot) window.OrigAvailableAtSlot = AvailableAtSlot;
if (!window.OrigAvailableIDs) window.OrigAvailableIDs = AvailableIDs;
let nameFilter;
if (nameFilter = document.getElementById('NameFilter')) nameFilter.remove();
nameFilter = document.createElement('ul');
nameFilter.id = 'NameFilter';
document.getElementById('LeftPanel').appendChild(nameFilter);
const idOn = (id) => document.getElementById(id).checked;
for (let i = 0; i < PeopleNames.length; i++) {
@edemaine
edemaine / github-issue.js
Last active May 31, 2023 22:05
Minimalize GitHub issue, suitable for referee responses
// Paste this into the console.
// Change https://github.com/settings/appearance to "Light high contrast" theme for better printing
document.querySelectorAll(`
#partial-discussion-header,
.js-header-wrapper, .hx_page-header-bg,
.gh-header-show, .gh-header-edit, .gh-header-meta,
.timeline-comment-header,
.TimelineItem-avatar,
.TimelineItem + div,