Skip to content

Instantly share code, notes, and snippets.

View rehanqasimk's full-sized avatar

Rehan Qasim rehanqasimk

View GitHub Profile
@willccbb
willccbb / grpo_demo.py
Last active May 28, 2025 21:03
GRPO Llama-1B
# train_grpo.py
#
# See https://github.com/willccbb/verifiers for ongoing developments
#
"""
citation:
@misc{brown2025grpodemo,
title={Granular Format Rewards for Eliciting Mathematical Reasoning Capabilities in Small Language Models},
author={Brown, William},
@rahularity
rahularity / work-with-multiple-github-accounts.md
Last active May 29, 2025 18:11
How To Work With Multiple Github Accounts on your PC

How To Work With Multiple Github Accounts on a single Machine

Let suppose I have two github accounts, https://github.com/rahul-office and https://github.com/rahul-personal. Now i want to setup my mac to easily talk to both the github accounts.

NOTE: This logic can be extended to more than two accounts also. :)

The setup can be done in 5 easy steps:

Steps:

  • Step 1 : Create SSH keys for all accounts
  • Step 2 : Add SSH keys to SSH Agent