krzysz00

#include <stdio.h>
#include <stdlib.h>

long double average (long double *inputs, int size) {
  double sum = 0;
  int i;
  for (i = 0; i < size; i++) {
    sum += inputs[i];
  }
  return sum / size;

krzysz00

Require Import Coq.NArith.BinNat.

Local Open Scope N_scope.

Theorem add_remove_zeros : forall n, N.add n 0 = n.
  induction n.
  - reflexivity.
  - induction p.
    + reflexivity.
    + reflexivity.

krzysz00

#!/usr/bin/env zsh

# Don't miss remote command failure
set -o pipefail

BACKUP_DIR=$HOME/Documents/ppc/db_backups
SSH_KEY=$HOME/.ssh/plotprotectors_backup

if [[ ! -d $BACKUP_DIR ]]; then
   # At initializaiton, we expect d[0-6].sql.bz2, w[0-3].sql.bz2, and m[0-5].sql.bz2

krzysz00

#!/usr/bin/env python3
## NOTE: requires numpy >= 1.15
import numpy as np

# Takes an array with an index into the array to gather from in each position
# That is, we set [o1, o2, ...] to data[gather[o1, o2, ..., :]]
# Alternatively, with transpose=False, assume that we index with data[gather[:, o1, o2, ...]]
def shuffle_idxs(data, gather_idxs, transpose=True):
    if transpose:
        last_dim = gather_idxs.ndim - 1

krzysz00

Keybase proof

I hereby claim:

• I am krzysz00 on github.
• I am kdrewniak (https://keybase.io/kdrewniak) on keybase.
• I have a public key ASD3mvlK1api9J_hunoAF_c4QVUVxo1sFN2g5Yve_z9oFQo

To claim this, I am signing this object:

krzysz00

ActiveModel::MassAssignmentSecurity::Error in Devise::SessionsController#create

Can't mass-assign protected attributes: name, password, remember_me

Rails.root: /home/krzys/projects/PPC-board-2.0
Application Trace | Framework Trace | Full Trace

activemodel (3.2.22) lib/active_model/mass_assignment_security/sanitizer.rb:48:in `process_removed_attributes'
activemodel (3.2.22) lib/active_model/mass_assignment_security/sanitizer.rb:20:in `debug_protected_attribute_removal'

krzysz00

diff --git a/src/libcore/panicking.rs b/src/libcore/panicking.rs
index 0b8a523..e7fd6e9 100644
--- a/src/libcore/panicking.rs
+++ b/src/libcore/panicking.rs
@@ -33,6 +33,7 @@
 use fmt;
 
 #[cold] #[inline(never)] // this is the slow path, always
+#[cfg(not(feature = "trivial_panic"))]
 #[lang="panic"]

krzysz00

src.dir=src
build.dir=build
classes.dir=${build.dir}/classes
jar.dir=${build.dir}/jar
lib.dir=lib
system.lib.dir=/usr/share/java
reports.dir=${build.dir}/reports
doc.dir=doc

krzysz00

#!/bin/bash
MOUNT="/media/1tb/kdbackup"
/bin/mount -o loop,rw -t ext4 /media/1tb/kdbackup-disk.ext4.img $MOUNT
/usr/bin/dpkg --get-selections > /home/packages.dpkg
pushd $MOUNT > /dev/null
/usr/bin/nice -n 10 rm -rf backup.7
/bin/mv backup.6 backup.7
/bin/mv backup.5 backup.6
/bin/mv backup.4 backup.5
/bin/mv backup.3 backup.4

krzysz00

import System.IO (hFlush, stdout)
import Data.List (genericTake, genericDrop)

split :: (Integral a) => a -> [b] -> ([b], [b])
split n xs = (genericTake n xs, genericDrop n xs)

merge xs [] = xs
merge [] ys = ys
merge (x:xs) (y:ys)
  | x < y = x:merge xs (y:ys)