Skip to content

Instantly share code, notes, and snippets.

View williambdean's full-sized avatar
💻
Stuck in the terminal

Will Dean williambdean

💻
Stuck in the terminal
View GitHub Profile

pytensor-suite-feedstock

This is a conda-forge feedstock for PyTensor. The recipe produces two packages: pytensor-base (core, lightweight) and pytensor (adds compiler + BLAS deps).

Reviewing bot version-bump PRs

When the autotick bot opens a version-bump PR, verify that PyPI dependency changes are reflected in the recipe before merging.

Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@doi-t
doi-t / manage_milestones_with_gh.md
Last active May 19, 2026 21:43
Manage milestones with gh

Use gh v0.11.0 or later for the "shell" aliases.

Run the following gh alias set commands for each operation. You can confirm the created aliases with gh alias list.

gh listMilestones

gh alias set listMilestones "api graphql -F owner=':owner' -F name=':repo' -f query='
    query ListMilestones(\$name: String\!, \$owner: String\!) {
        repository(owner: \$owner, name: \$name) {
            milestones(first: 100) {
@bonniss
bonniss / github-search-cheatsheet.md
Last active July 30, 2026 08:49
Github search cheatsheet from official docs.

Github Search Cheat Sheet

GitHub’s search supports a variety of different operations. Here’s a quick cheat sheet for some of the common searches.

For more information, visit our search help section.

Basic search

@bwengals
bwengals / DTC_latent.ipynb
Created April 3, 2018 01:56
DTC for latent GP, non-normal likelihoods
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@JorjMcKie
JorjMcKie / LeoAccess.py
Last active October 6, 2026 13:50
Accessing dictionary dict.leo.org from Python
#!/usr/bin/env python
# -*- coding: latin-1 -*-
#
# Query the dictionary http://dict.leo.org/ from within Python.
# This is based on an equivalent script for German/English by:
#
# Copyright (C) 2015 Ian Denhardt <ian@zenhack.net>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@masonicboom
masonicboom / ddg.sh
Created September 10, 2013 18:05
DuckDuckGo from the command line, using w3m.
#!/bin/bash
query=$(echo "$@" | sed 's/ /%20/')
w3m -no-cookie "https://duckduckgo.com/?q=$query"