Skip to content

Instantly share code, notes, and snippets.

View Cardosaum's full-sized avatar
🦀
Flipping bits

Matheus Cardoso Cardosaum

🦀
Flipping bits
View GitHub Profile
@Cardosaum
Cardosaum / risc-zero-stark-to-snark-prover_attestation.log
Created April 9, 2024 19:36
Attestation for RISC Zero STARK-to-SNARK Prover MPC Phase 2 Trusted Setup ceremony
Hey, I'm Cardosaum-45436839 and I have contributed to the RISC Zero STARK-to-SNARK Prover MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:
Circuit # 1 (stark_verify)
Contributor # 40
Contribution Hash: 9b974d42 e70c63a9 b91bcfb4 485b4e1a
a2971f86 57a1973e 691b16bc a257c792
005c0a78 3c2570cd d5142428 9b5369a8
792b629f 00621417 ac8de82f e004553a
mkdir -p "/tmp/tmp.HcxOhOyPen/$(date +%F)" && shotgun -g $(hacksaw --colour "#50fa7b") - | tee "/tmp/tmp.HcxOhOyPen/$(date +%F/%s).png" >(xclip -sel c -t image/png) >/dev/null
#include <stdio.h>
#include <stdlib.h>
size_t fib(size_t x);
int main(void) {
unsigned int tests;
scanf("%u", &tests);
unsigned int i;
for (i = 0; i < tests; i++) {
#include "helpers.h"
// Convert image to grayscale
void grayscale(int height, int width, RGBTRIPLE image[height][width])
{
int mean_color;
for (int i = 0; i < height; i++) {
for (int j = 0; j < width; j++) {
mean_color = (image[i][j].rgbtRed + image[i][j].rgbtGreen + image[i][j].rgbtBlue) / 3;
image[i][j].rgbtRed = mean_color;
#include "helpers.h"
// Convert image to grayscale
void grayscale(int height, int width, RGBTRIPLE image[height][width])
{
int mean_color;
for (int i = 0; i < height; i++) {
for (int j = 0; j < width; j++) {
mean_color = (image[i][j].rgbtRed + image[i][j].rgbtGreen + image[i][j].rgbtBlue) / 3;
image[i][j].rgbtRed = mean_color;
#!/bin/bash
set -euxo pipefail
# set path for default files
path="$1"
cd "$path"
ch () {
files=$(rg -t css -t svg -l "." $path)
sed -E -i "s/$1/$2/" $files
@Cardosaum
Cardosaum / anki-dracula-theme.sh
Created October 6, 2020 17:05
script to modify anki default colors
#!/bin/bash
# set path for default files
path="$1"
cd "$path"
ch () {
files=$(rg -t css -t svg -l "." $p)
sed -E -i "s/$1/$2/" $files
}