Skip to content

Instantly share code, notes, and snippets.

@KyGuy2002
KyGuy2002 / drizzle-studio-codespaces
Last active May 6, 2025 21:13
Using Drizzle Studio for local database access in GitHub Codespaces
Drizzle Studio is a cloud hosted web ui `local.drizzle.studio`.
It connects to the local hosted api that is started when using `drizzle-kit studio` in your terminal.
By default, the ui tries to connect to localhost:4983.
If using github codespaces, the server will be at a link like `your-codespace-name-4983.app.github.dev`.
If you try to use the `--host` param for the cli it won't work. (https://github.com/drizzle-team/drizzle-kit-mirror/issues/381)
Instead, use the `?host` query param when accessing `local.drizzle.studio`.
@steve981cr
steve981cr / How-to-Release-an-Electron-App-on-the-Mac-App-Store.md
Last active June 28, 2025 03:11
Step by step instructions on how to release an Electron app on the Mac App Store. Uses Electron-builder to package the app.
@dicej
dicej / type-systems.txt
Last active December 17, 2024 08:24
Type system learning notes
Classes
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/
Books and Articles
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/

Introduction

This page is intended to help you set up a more functional sway desktop environment. Features that will be covered:

  • Manual and automatic screen locking using swayidle and swaylock
  • Working notifications with mako.
  • Nice application launcher and exit menu using fzf and kitty
  • Taking of screenshots, optionally selecting a region, using grim and slurp
  • Volume control with multimedia keys
  • Laptop screen brightness adjustment using brightnessctl and bound to keyboard keys
@buger
buger / read.md
Last active March 7, 2024 09:05
API Gateway guide to SOAP

API Gateway guide to SOAP

SOAP is a big and painful topic when it comes to API gateway support. And the reason is that the SOAP protocol itself has a very flexible declarative XML format, and its specifications are unfortunately really vague and leave a lot of things open for interpretation.

In this document, we will try to cover all possible ways how you can integrate SOAP with Tyk API Gateway, from simple pass through to calling WSDL services.

Introduction to SOAP format

A SOAP message is a XML document which is used to transmit your data, and can look as simple as:

@CodeMyUI
CodeMyUI / index.html
Created October 30, 2017 10:33
SVG Gooey Hover Menu Concept
<div id="menu">
<div class="hamburger">
<div class="line"></div>
<div class="line"></div>
<div class="line"></div>
</div>
<div class="menu-inner">
<ul>
<li>Menu Item</li>
@jayphelps
jayphelps / package.json
Last active March 24, 2025 01:15
TypeScript output es2015, esm (ES Modules), CJS, UMD, UMD + Min + Gzip. Assumes you install typescript (tsc), rollup, uglifyjs either globally or included as devDependencies
{
"scripts": {
"build": "npm run build:es2015 && npm run build:esm && npm run build:cjs && npm run build:umd && npm run build:umd:min",
"build:es2015": "tsc --module es2015 --target es2015 --outDir dist/es2015",
"build:esm": "tsc --module es2015 --target es5 --outDir dist/esm",
"build:cjs": "tsc --module commonjs --target es5 --outDir dist/cjs",
"build:umd": "rollup dist/esm/index.js --format umd --name YourLibrary --sourceMap --output dist/umd/yourlibrary.js",
"build:umd:min": "cd dist/umd && uglifyjs --compress --mangle --source-map --screw-ie8 --comments --o yourlibrary.min.js -- yourlibrary.js && gzip yourlibrary.min.js -c > yourlibrary.min.js.gz",
}
}
@nepsilon
nepsilon / how-to-find-the-pid-of-a-process-using-a-given-port.md
Created December 27, 2016 02:54
How to find the PID of a process using a given port? — First published in fullweb.io issue #80

How to find the PID of a process using a given port?

Sometimes you have a process you lost the PID, and would like to kill it.

You can use top (or better htop) to search for your process name and press k to kill it. But this isn’t optimal when you aren’t sure of its name. A better alternative is to search by the port opened, for example port 80:

sudo lsof -i :80
@sj26
sj26 / LICENSE.md
Last active June 11, 2025 00:43
Bash retry function

This is free and unencumbered software released into the public domain.

Anyone is free to copy, modify, publish, use, compile, sell, or distribute this software, either in source code form or as a compiled binary, for any purpose, commercial or non-commercial, and by any means.

In jurisdictions that recognize copyright laws, the author or authors of this software dedicate any and all copyright interest in the software to the public domain. We make this dedication for the benefit