aeshirey

# maximum allowable delta (°F) before we start the fans
TEMP_DELTA = 5.0

def check_temp():
    global VENTILATION_STATE
    c = db.cursor()

    # get the last ten minutes of data only
    c.execute("SELECT temp, room FROM temps WHERE (julianday('now') - julianday(timestamp))*86400 < 600 ORDER BY timestamp")
    inside_temps, outside = [], 0.0

aeshirey

import fsspec

filename = 'adl://path/to/file.csv'

adl_auth = {
	'tenant_id': "<tenant_id>", 
	'client_id': "<client_id>", 
	'client_secret': "PGNsaWVudF9zZWNyZXQ+"
}

aeshirey

// `probably` crate @ https://github.com/aeshirey/probably/
// Use it by specifying probably = "0.2.0" in your Cargo.toml
use probably::quantile::greenwald_khanna;
use std::fs::File;
use std::io::{BufRead, BufReader};

fn main() {
    const EPSILON: f64 = 0.001;
    const QUANTILE: f64 = 0.5; // median

aeshirey

// Algorithm from http://cosinekitty.com/compass.html
// Code ported to Rust by @aeshirey

use core::f64::consts::PI;
#[derive(Debug, Copy, Clone)]
pub struct Location {
    latitude: f64,
    longitude: f64,
    elevation_meters: f64,
}

aeshirey

#!/usr/bin/python3
# Blog post here:
# https://aeshirey.github.io/code/2022/07/08/smt-for-scheduling-scouts-in-tents.html

# Run this as:
#    ./scout-camp-gen.py > scout-camp.smt2
# Then check satisfiability with:
#    z3 scout-camp.smt2 > solved.txt
# This will output something like:
# ...

aeshirey

//! To use this gist:
//! 
//! ```shell
//! cargo new remove-nulls
//! cd remove-nulls
//! cargo add serde serde_json
//! ```
//! 
//! Then paste the contents of this file into src/main.rs.
//! Run `cargo build --release`