Skip to content

Instantly share code, notes, and snippets.

View fix_v2.css
/* Custom tlk.io Chatroom CSS - Fix: No Avatar */
@import url('https://fonts.googleapis.com/css?family=Cairo');
#header {
display: none;
}
#channel {
text-transform: uppercase;
}
View primeFactorization.js
function isPrime(n) {
if (n === 2) return true;
for (let i = 2; i <= Math.sqrt(n); i++)
if (n % i === 0) return false;
return true;
}
function primeFactorization(n) {
let d = [];
for (let i = 2; i < n; i++)
@Steffan153
Steffan153 / B4B_smarter.v
Last active Oct 31, 2019 — forked from DonaldKellett/B4B_smarter.v
A formal proof that @Blind4Basics is getting smarter every day
View B4B_smarter.v
(*
* A formal proof that @Blind4Basics is getting smarter every day
* Special thanks to @AwelEshetu for raising this question and
* @Steffan153 for challenging me into making this compile ;-)
*)
Definition Blind4Basics (_ _ _ _ _ : unit) := True.
Definition is := tt.
Definition getting := tt.