Skip to content

Instantly share code, notes, and snippets.

Discover gists

@jph00
jph00 / polya.md
Last active December 30, 2024 21:03
Summary of Polya's "How To Solve It With Code"

A guide to George Polya's "How to Solve It"

Introduction

George Polya (1887-1985) was a Hungarian mathematician and educator who revolutionized our understanding of problem-solving and teaching. While he made significant contributions to mathematics, his most enduring legacy is his insights into how people learn and solve problems. His 1945 book "How to Solve It" has influenced educators across numerous fields, extending far beyond mathematics.

Polya's Teaching Philosophy

Polya's approach centered on three key principles. First, he championed active learning, believing students learn best by discovering solutions themselves rather than being told answers. Second, he emphasized heuristic thinking - the art of guided discovery and learning from experience, viewing problem-solving as a skill that can be developed through practice. Third, he developed sophisticated questionin

@neonfuz
neonfuz / stack.org
Last active December 30, 2024 20:58
my nootropic stack

Stack

daily:

SupplementDosemgrep
l-theanine1 pill2001-2
coffee1 cup1-3
- caffine???
- mct-oil1 squirt???
@rnelson
rnelson / README.md
Last active December 30, 2024 20:57
fuck you, program!

About

Need to kill a program? Make it fun.

$ fuck you firefox
(╯°□°）╯ firefox
$
@yifanzz
yifanzz / code-editor-rules.md
Created December 17, 2024 00:01
EP12 - The One File to Rule Them All

[Project Name]

Every time you choose to apply a rule(s), explicitly state the rule(s) in the output. You can abbreviate the rule description to a single word or phrase.

Project Context

[Brief description ]

  • [more description]
  • [more description]
  • [more description]
@ReedD
ReedD / ec2-startup.sh
Last active December 30, 2024 20:52
User data for EC2 to set up Docker and Compose (Fig) for ec2-user
#!/bin/sh
export PATH=/usr/local/bin:$PATH;
yum update
yum install docker -y
service docker start
# Docker login notes:
# - For no email, just put one blank space.
# - Also the private repo protocol and version are needed for docker
# to properly setup the .dockercfg file to work with compose
@ChristopherA
ChristopherA / brew-bundle-brewfile-tips.md
Last active December 30, 2024 20:49
Brew Bundle Brewfile Tips

Brew Bundle Brewfile Tips

Copyright & License

Unless otherwise noted (either in this file or in a file's copyright section) the contents of this gist are Copyright ©️2020 by Christopher Allen, and are shared under spdx:Creative Commons Attribution Share Alike 4.0 International (CC-BY-SA-4.) open-source license.

Sponsor

If you more tips and advice like these, you can become a monthly patron on my GitHub Sponsor Page for as little as $5 a month; and your contributions will be multipled, as GitHub is matching the first $5,000! This gist is all about Homebrew, so if you like it you can support it by donating to them or becoming one of their Github Sponsors.

@ayebrian
ayebrian / vmware.md
Last active December 30, 2024 20:46
VMware ESXi 8 / vCenter 8 / Workstation 17 license key 2024
@databento-bot
databento-bot / ranking.csv
Created August 18, 2023 09:57
raw_symbol median_spread median_touch
WY3Q3 C1110 1 70460.2
SR3M6 1 704.5
SR3M7 1 502.5
SR3M8 1 256.2
SR3U3 1 15647.5
SR3U4 1 710.0
SR3U5 1 746.0
SR3U6 1 399.0
SR3:AB 01Y U4 1 27.5
@databento-bot
databento-bot / rank_futures_spreads.py
Created August 18, 2023 09:56
import databento as db
import pandas as pd
client = db.Historical()
def rank_by_volume(top=500):
"""
Returns instrument IDs of instruments that traded most, in descending rank
@shoaibswe
shoaibswe / signing-git-commits.md
Created December 30, 2024 20:34 — forked from phortuin/signing-git-commits.md
Set up a GPG key for signing Git commits on MacOS (M1)

Based on this blogpost.

To sign Git commits, you need a gpg key. GPG stands for GNU Privacy Guard and is the de facto implementation of the OpenPGP message format. PGP stands for ‘Pretty Good Privacy’ and is a standard to sign and encrypt messages.

Setting up

Install with Homebrew:

$ brew install gpg