Skip to content

Instantly share code, notes, and snippets.

View lojikil's full-sized avatar
🌊
cantankerous and querulous, he was as the sea to the shore

Logyi, hajnalvédő lojikil

🌊
cantankerous and querulous, he was as the sea to the shore
View GitHub Profile
digraph g {
"sd-proxy-buster-template" -> "sd-log" [label="securedrop.Log" color=red];
"sd-devices" -> "sd-log" [label="securedrop.Log" color=red];
"sd-devices-dvm" -> "sd-log" [label="securedrop.Log" color=red];
"sd-whonix" -> "sd-log" [label="securedrop.Log" color=red];
"sd-gpg" -> "sd-log" [label="securedrop.Log" color=red];
"sd-proxy" -> "sd-log" [label="securedrop.Log" color=red];
"sd-devices-buster-template" -> "sd-log" [label="securedrop.Log" color=red];
"sd-app-buster-template" -> "sd-log" [label="securedrop.Log" color=red];
"securedrop-workstation-buster" -> "sd-log" [label="securedrop.Log" color=red];
@MattPD
MattPD / analysis.draft.md
Last active April 24, 2024 14:53
Program Analysis Resources (WIP draft)
@lizthegrey
lizthegrey / attributes.rb
Last active February 24, 2024 14:11
Hardening SSH with 2fa
default['sshd']['sshd_config']['AuthenticationMethods'] = 'publickey,keyboard-interactive:pam'
default['sshd']['sshd_config']['ChallengeResponseAuthentication'] = 'yes'
default['sshd']['sshd_config']['PasswordAuthentication'] = 'no'
@rain-1
rain-1 / closure-conversion.rkt
Created February 16, 2019 10:06
Closure Conversion
#lang racket
;; this is a stand alone simple version of the closure conversion part of the hoist pass from the tarot compiler
;; see https://rain-1.github.io/scheme for more.
(require data/queue)
;; closure conversion for lambda calculus
;;
;; the input language is:
@roehst
roehst / Direction.idr
Last active December 9, 2018 23:42
Simple verification in Idris
module Main
data Direction = North | South | West | East
turn : Direction -> Direction
turn North = East
turn South = West
turn West = North
turn East = South
#!/usr/bin/python
from BaseHTTPServer import BaseHTTPRequestHandler,HTTPServer
PORT_NUMBER = 31337
class myHandler(BaseHTTPRequestHandler):
#Handler for the GET requests
def do_GET(self):
self.send_response(200)
@mclarty
mclarty / capwatch.py
Created September 1, 2018 21:41
Download CAPWATCH database via API
import requests
url = "https://www.capnhq.gov/CAP.CapWatchAPI.Web/api/cw"
orgID = "{{orgID}}" # 362 = TXWG
unitOnly = "{{unitOnly}}" # 0 = No; 1 = Yes
user = "{{eServices username}}"
pwd = "{{eServices password}}"
payload = {'orgid': orgID, 'unitonly': unitOnly}
@miguelmota
miguelmota / notes.txt
Last active April 14, 2024 08:26
runc vs gvisor (runsc) vs rkt vs KataContainers vs NablaContainers
knowledge dump on container runtimes
KataContainers
- image coupled with kernel
- light vm layer
- can run in nested virturalization environments if hardware supports and you can enable it in bios (ex. only bare metal EC2 instances, limits many cloud providers)
- slower startup time
- OCI compliant
- previously known as ClearContainers by Intel
[POWERSHELL-DOWNLOAD-HUNT]
dispatch.earliest_time = -24h@h
dispatch.latest_time = now
dispatchAs = user
display.general.type = statistics
display.page.search.mode = verbose
display.page.search.tab = statistics
display.visualizations.charting.chart = bar
display.visualizations.show = 0
search = FileName=powershell.exe (CommandLine=*DownloadFile* OR CommandLine=*invoke-webrequest*) | stats values(CommandLine) as "commands" by ComputerName