Skip to content

Instantly share code, notes, and snippets.

View QasimWani's full-sized avatar
:shipit:
Natura Naturans

Qasim Wani QasimWani

:shipit:
Natura Naturans
View GitHub Profile
@dcalacci
dcalacci / evaluationFunction.py
Last active December 6, 2023 16:54
the manual evaluation function I used for hw2 of berkeley's pac-man projects
def betterEvaluationFunction(currentGameState):
"""
Your extreme ghost-hunting, pellet-nabbing, food-gobbling, unstoppable
evaluation function (question 5).
I used the following features in this model:
- distance to the closest active ghost (active ghosts are non-scared ghosts)
- current score in the game
- distance to the closest scared ghost
- number of capsules left
@danharper
danharper / background.js
Last active August 23, 2024 01:26
Bare minimum Chrome extension to inject a JS file into the given page when you click on the browser action icon. The script then inserts a new div into the DOM.
// this is the background code...
// listen for our browerAction to be clicked
chrome.browserAction.onClicked.addListener(function (tab) {
// for the current tab, inject the "inject.js" file & execute it
chrome.tabs.executeScript(tab.ib, {
file: 'inject.js'
});
});
@SheldonWangRJT
SheldonWangRJT / Convert .mov or .MP4 to .gif.md
Last active November 11, 2024 14:18
Convert Movie(.mov) file to Gif(.gif) file in one command line in Mac Terminal

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.