Skip to content

Instantly share code, notes, and snippets.

View ai2ys's full-sized avatar
🎯
Focusing

Sylvia Schmitt ai2ys

🎯
Focusing
View GitHub Profile
# !/usr/bin/env python
import tensorflow as tf
from tensorflow.python.framework.convert_to_constants import convert_variables_to_constants_v2_as_graph
from tensorflow.lite.python.util import run_graph_optimizations, get_grappler_config
from pathlib import Path
import argparse
def frozen_keras_graph(model):
@wildestpixel
wildestpixel / code.py
Last active July 17, 2022 23:43
Raspberry Pi Pico & Pimoroni RGB Keypad HID in Circuitpython 6.2+
# Adapted from Sandy J Macdonald's gist at https://gist.github.com/sandyjmacdonald/b465377dc11a8c83a8c40d1c9b990a90 to configure all buttons and switch off all lights in loop
import time
import board
import busio
import usb_hid
from adafruit_bus_device.i2c_device import I2CDevice
import adafruit_dotstar
@marcoandre1
marcoandre1 / SSH-configuration-github-gitlab.md
Last active June 1, 2024 05:07
Managing SSH keys for Github and Gitlab

Managing SSH keys for Github and Gitlab

NOTICE: This guide will help you set ssh keys for GitHub and GitLab. However, this is not going to change your commit user.name or user.email. If you need to change those for specific repositories, just run the following commands while in your repository:

git config user.name "Your Name Here"
git config user.email your@email.com

For more info, see this answer. Also, keep in mind this only changes the .git folder inside your repository which never gets added/committed/pushed/uploaded.

I recently had to manage two ssh keys (one for Github and one for Gitlab). I did some research to find the best solution. I am justing putting the pieces together here.

@ai2ys
ai2ys / rebase-instead-of-merge.md
Last active December 24, 2023 21:29
Rebase instead of Merge
@aaalexlit
aaalexlit / create-infra.sh
Last active November 29, 2023 12:33
Create a Lambda function with an ML model and expose it to the internet through AWS API Gateway. After finishing, clean it up running ./delete-infra.sh
# Check if the number of arguments is correct
if [ "$#" -ne 1 ]; then
echo "Usage: $0 local_image_name"
exit 1
fi
# Assign the argument to a variable
LOCAL_IMAGE_NAME=$1