This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main exposing (..) | |
import GraphicSVG exposing (..) | |
import GraphicSVG.App exposing (..) | |
myShapes model = [ background, | |
(model.state) | |
|> initializeShapes | |
|> spreadShapes | |
|> group |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Html | |
import Html.Attributes | |
tech = "https://mpng.subpng.com/20190707/beh/kisspng-picture-frames-blackboard-learn-wood-stain-green-5d21d53e2974b5.2023988515624983661698.jpg" | |
back = "https://www.blublub.co/wp-content/themes/blublub/assets/images/spinner.gif" | |
linIndep_background = "https://media1.giphy.com/media/LGMlFAeRChusjqewVV/giphy.gif" | |
image3Vect ="https://i.stack.imgur.com/SlvU1.gif" | |
fail = "https://media3.giphy.com/media/2zoCChOiQnIg40CE13/giphy.gif" | |
good = "https://media.giphy.com/media/tIeCLkB8geYtW/giphy.gif" | |
linIndep_vector = "https://media0.giphy.com/media/V9EpFr1Kg1h7t7ARQd/giphy.gif" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from selenium import webdriver | |
import time | |
import datetime | |
driver = webdriver.Chrome() | |
driver.get("https://macreconline.ca/") | |
login_button = driver.find_element_by_id("loginLink") | |
login_button.click() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from selenium import webdriver | |
import time | |
driver = webdriver.Chrome() | |
driver.get("https://maccheck.mcmaster.ca/") | |
time.sleep(5) | |
email = driver.find_element_by_id("i0116") | |
email.send_keys("") #Your email goes here |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Proof: | |
p ⇒ (q ⇒ r) | |
≡⟨ “Material implication” ⟩ | |
¬ p ∨ (q ⇒ r) | |
≡⟨ “Material implication” ⟩ | |
¬ p ∨ (¬ q ∨ r) | |
≡⟨ “Distributivity of ∨ over ∨” ⟩ | |
(¬ p ∨ ¬ q) ∨ (¬ p ∨ r) | |
≡⟨ “Definition of ¬ from ≡” ⟩ | |
(¬ p ∨ (q ≡ false)) ∨ (¬ p ∨ r) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
MacOS: | |
brew install chromedriver && pip3 install beautifulsoup4 selenium | |
Todo: | |
- Put driver and set calculation on a different process | |
- Haskell! | |
~ Mehul | |
""" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
pip3 install discord-py bs4 aiohttp | |
- Mehul | |
""" | |
import discord | |
from bs4 import BeautifulSoup | |
import aiohttp | |
from discord.ext import commands |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2022-06-23T20:06:09.645938Z DEBUG mirrord: init called | |
2022-06-23T20:06:09.654621Z DEBUG tower::buffer::worker: service.ready=true processing request | |
2022-06-23T20:06:09.654805Z DEBUG HTTP{http.method=GET http.url=https://192.168.49.2:8443/api/v1/namespaces/default/pods/http-echo-deployment-77fddcdc49-6z22r otel.name="get" otel.kind="client"}: kube_client::client::builder: requesting | |
2022-06-23T20:06:09.655203Z DEBUG HTTP{http.method=GET http.url=https://192.168.49.2:8443/api/v1/namespaces/default/pods/http-echo-deployment-77fddcdc49-6z22r otel.name="get" otel.kind="client"}: hyper::client::connect::http: connecting to 192.168.49.2:8443 | |
2022-06-23T20:06:09.655793Z DEBUG HTTP{http.method=GET http.url=https://192.168.49.2:8443/api/v1/namespaces/default/pods/http-echo-deployment-77fddcdc49-6z22r otel.name="get" otel.kind="client"}: hyper::client::connect::http: connected to 192.168.49.2:8443 | |
2022-06-23T20:06:09.660909Z DEBUG hyper::proto::h1::io: flushed 111 bytes | |
2022-06-23T20:06:09.665833Z DEBUG hyper::proto:: |