ravachol70’s gists

ravachol70 / hvm3_core.c

Created November 7, 2024 03:12 — forked from VictorTaelin/hvm3_core.c

HVM3 Core

	// HVM3 Core: single-thread, polarized, LAM/APP & DUP/SUP only
	// Based on: https://gist.github.com/VictorTaelin/2aba162f2b04478dc53e5615f482db7b

	#include <stdint.h>
	#include <stdio.h>
	#include <stdlib.h>
	#include <stdatomic.h>
	#include <string.h>
	#include <time.h>

ravachol70 / google-search-selectors-1.css

Created October 23, 2024 23:38 — forked from Mariven/google-search-selectors-1.css

css selectors to cover up google's ongoing necrosis

	div#main>div:first-child>div:has(>div+div#center_col) div:has(div[jscontroller]>div[jsname]>div>h1+div[jscontroller]>div[jsmodel]) > div:first-child {
	/* remove AI answers box */
	display: none;
	}

	div#search div[data-async-context] > div:nth-child(2) div:has(video, [aria-label*="Play on Google"]) {
	/* remove videos section */
	display: none !important;
	}

ravachol70 / compound-liquidator-2.js

Created July 21, 2020 01:36 — forked from staccDOTsol/compound-liquidator-2.js

	/*
	this bot assumes you've already enabled borrowing on compound.finance,
	that you already approved transfers on behalf of DAI and USDC
	(can do here https://chiragkhatri.me/compound-liquidator), and that you have
	DAI and USDC on your Ether address, while having nothing lent or borrowed yet.
	Author: Jarett Dunn [email protected]
	*/
	let request = require('request-promise')
	const CoinbasePro = require('coinbase-pro');
	const publicClient = new CoinbasePro.PublicClient();

ravachol70 / FizzBuzz.hs

Created June 9, 2019 01:04 — forked from i-am-tom/FizzBuzz.hs

Arguably the fastest implementation of FizzBuzz ever written.

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE UnsaturatedTypeFamilies #-}

	import GHC.TypeLits
	import Prelude hiding (Functor, Semigroup)

	type Main = (Fizz <> Buzz) <$> (0 `To` 100)

ravachol70 / Category.agda

Created May 31, 2019 01:44 — forked from mietek/Category.agda

Definition of a category as an Agda record: level polymorphic in the objects and arrows

	module Category where

	open import Agda.Primitive public
	using (Level ; _⊔_ ; lzero ; lsuc)

	open import Agda.Builtin.Equality public
	using (_≡_ ; refl)


	record Category ℓ ℓ′ : Set (lsuc (ℓ ⊔ ℓ′)) where

ravachol70 / Coffee.sol

Created April 24, 2019 13:12 — forked from ricmoo/Coffee.sol

Contract Addresses: Coffee Contract Example

	/**
	* Coffee
	*
	* Just a very simple example of deploying a contract at a vanity address
	* across several chains.
	*
	* See: https://blog.ricmoo.com/contract-addresses-549074919ec8
	*
	*/

ravachol70 / Hello.java

Created March 27, 2019 20:53 — forked from martintrojer/Hello.java

clojure-akka-vision

	package akka.tutorial.first.java;

	import akka.actor.ActorRef;
	import akka.actor.UntypedActor;
	import akka.actor.UntypedActorFactory;
	import akka.actor.ActorSystem;
	import akka.actor.Props;

	public class Hello {

ravachol70 / witness

Created June 11, 2018 00:44 — forked from gavofyork/witness

The Witness Algorithm: Privacy Protection in a Fully Transparent System

	# The Witness Algorithm: Privacy Protection in a Fully Transparent System
	By Vlad Gluhovsky and Gavin Wood

	# Introduction

	Being based upon a quasi-Turing-complete (quasi because it's actually bounded) virtual machine, Ethereum is an extremely versatile system. However one of its greatest strengths---universal auditability---seems to lead to a fatal flaw, namely an inescapable lack of privacy. Here we demonstrate an algorithm in order to prove that this is not the case.

	The algorithm could be used to make an Ethereum contract which, given two sets of addresses sources, `src`, and destinations, `dest`, will guarantee exactly one of two possible eventualities:

	- For each address in `src`, the controller of that address controls a corresponding address in `dest` (though the two cannot be related a priori).

ravachol ravachol70