Skip to content

Instantly share code, notes, and snippets.

View fedemengo's full-sized avatar
🌀
Poiesing

Federico Mengozzi fedemengo

🌀
Poiesing
View GitHub Profile
@lmmx
lmmx / 1-dr_spivak-operad-wiring-diagrams-foundations-and-applications.md
Last active June 10, 2026 10:08
🔭 DR: David Spivak’s Operad of Wiring Diagrams: Foundations and Applications (prompted with Spivak 2013: https://gist.github.com/lmmx/068749924b7db88af045d863ceb6f6d7)

David Spivak’s Operad of Wiring Diagrams: Foundations and Applications

Formal Foundation and Interpretation of Wiring Diagrams

Wiring Diagrams as Operads: Wiring diagrams (WDs) are a formal graphical syntax for connecting components, capturing how outputs of some components feed into inputs of others. Spivak showed that WDs can be rigorously treated as the morphisms of an operad (denoted $\mathcal{T}$ or $\mathcal{W}$) ([1305.0297] The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits) (). An operad is like a category, but instead of arrows from one object to another, it has operations (morphisms) with multiple inputs and one output ([Cospans, Wiring Diagrams, and the Behavioral Approach | Azimuth](https://johncarlo

@padeoe
padeoe / README_hfd.md
Last active June 12, 2026 20:21
CLI-Tool for download Huggingface models and datasets with aria2/wget: hfd

🤗Huggingface Model Downloader

Note

(2025-01-08) Add feature for 🏷️Tag(Revision) Selection, contributed by @Bamboo-D.
(2024-12-17) Add feature for ⚡Quick Startup and ⏭️Fast Resume, enabling skipping of downloaded files, while removing the git clone dependency to accelerate file list retrieval.

Considering the lack of multi-threaded download support in the official huggingface-cli, and the inadequate error handling in hf_transfer, This command-line tool leverages curl and aria2c for fast and robust downloading of models and datasets.

Features

  • ⏯️ Resume from breakpoint: You can re-run it or Ctrl+C anytime.

Caution

This guide is out of date, follow the new guide here: https://flipper.wiki/mifareclassic/

MIFARE Classic

Here are the steps to follow in order to read your cards. Your goal is to find as many keys as possible. The keys unlock sections of your card for the Flipper to read them - you must have a card. Once you read enough sections, you can use an emulated or cloned card at the original card reader to unlock it (sometimes even without finding all of the keys!).

Important

Major update coming in first update following OFW 1.0.0 (ETA: mid to late September) which overhauls and simplifies this process: Status

@fedemengo
fedemengo / pi_b2_1M_mathematica
Last active February 28, 2023 16:01
First 1M digits of PI in base 2
This file has been truncated, but you can view the full file.
11.0010010000111111011010101000100010000101101000110000100011010011000100110001100110001010001011100000001101110000011100110100010010100100000010010011100000100010001010011001111100110001110100000000100000101110111110101001100011101100010011100110110010001001010001010010100000100001111001100011100011010000000100110111011110111110010101000110011011001111001101001110100100001100011011001100000010101100001010011011011111001001011111000101000011011101001111111000010011010101101101011011010101000111000010010001011110010010000101101101010111011001100010010111100111111011000110111101000100110001000010111010011010011000110111111011010110101100001011111111110101110010110110111101000000011010110111111011011110111000111000011010111111101101011010100010011001111110100101101011101001111100100100000100010111110001001011000111111110011001001001001010000110011001010001111011001110010001011011001111011100001000000000011111001011100010100001011000111011111100000101100110001101101001001000001101100001110001010101110100111001101

Service Design

  • Author(s)
    • (Authors of this proposal)
    • @CAFxX (Carlo Alberto Ferraris)
  • Histroy
    • (List major version changes)
    • 2018/10/1: initial design
    • 2018/10/5: Reviewed with @tcnksm, @dragon3
  • 2019/12/1: added gRPC interface
@SwitHak
SwitHak / 20211210-TLP-WHITE_LOG4J.md
Last active May 15, 2026 03:33
BlueTeam CheatSheet * Log4Shell* | Last updated: 2021-12-20 2238 UTC

Security Advisories / Bulletins / vendors Responses linked to Log4Shell (CVE-2021-44228)

Errors, typos, something to say ?

  • If you want to add a link, comment or send it to me
  • Feel free to report any mistake directly below in the comment or in DM on Twitter @SwitHak

Other great resources

  • Royce Williams list sorted by vendors responses Royce List
  • Very detailed list NCSC-NL
  • The list maintained by U.S. Cybersecurity and Infrastructure Security Agency: CISA List
@b0gdanw
b0gdanw / DisableBigSur.sh
Last active April 7, 2026 22:21
Disable Big Sur services
#!/bin/zsh
#Credit: Original idea and script disable.sh by pwnsdx https://gist.github.com/pwnsdx/d87b034c4c0210b988040ad2f85a68d3
#Disabling unwanted services on macOS 11 Big Sur (11) and macOS Monterey (12)
#Disabling SIP is required ("csrutil disable" from Terminal in Recovery)
#Modifications are written in /private/var/db/com.apple.xpc.launchd/ disabled.plist and disabled.501.plist
# user
TODISABLE=()
@tylermorganwall
tylermorganwall / submarine_cable_map.R
Last active May 18, 2026 00:07
Submarine Cable Map Dataviz
library(geojsonsf)
library(sf)
library(rayrender)
#Data source: https://github.com/telegeography/www.submarinecablemap.com
cables = geojson_sf("cable-geo.json")
cablescene = list()
counter = 1
for(i in 1:length(cables$geometry)) {
@sjqtentacles
sjqtentacles / fennel-func
Created July 29, 2021 21:12
functional programming library for Fennel lisp dialect for use with Love2D and Lua
(fn table-insert [tab val]
(var t tab)
(table.insert t val)
t)
(fn table-remove [tab indx]
(var t tab)
(table.remove t indx)
t)