Server Migration Notice (31/10/2026) — New SSH Host Keys (git.kb28.ch)
Following the server migration on 31/10/2026, the SSH host keys for git.kb28.ch have changed. If you encounter the REMOTE HOST IDENTIFICATION HAS CHANGED warning during git pull or git push, run the following command to directly replace the old key in your ~/.ssh/known_hosts file:
Official New SSH Key Fingerprints:
- ED25519:
SHA256:UrTJ+OdOKicPnL+6EgOHGlFSBm9KA+kBGMpKtoUBIOA
- ECDSA:
SHA256:qne+wTzSr8k5KIuEtXNYz9/LYed4eOMSmxzgMZ4g+KI
- RSA:
SHA256:eaVzvSUlo66pMayLMHL/cWg4zoPui3LmLOWKm0XX22g
Hey 👋, here is an initial implementation of the IEC gates I mentioned in #10 .
Feel free to suggest/perform any improvement.
Hey 👋, this looks pretty good, thanks for contributing !
I would just try to simplify the drawing process, since they are basically rectangles (see following comments)
I'll also add examples for the manual in a future PR, or you can copy those for the other gates (see doc/examples.typ)
@@ -0,0 +2,4 @@#import "../ports.typ": add-ports, add-port#import "../element.typ"#let default-draw-shape(id, tl, tr, br, bl, fill, stroke, symbol) = {Here you can simplify this function greatly by just drawing a rectangle:
@@ -0,0 +112,4 @@funclet space = 100% / inputsfor i in range(inputs) {This for loop can also be simplified because we don't need to find intersections with the gate's contour (rectangular):
Typos in documentation refs
@@ -0,0 +2,4 @@#import "iec_gate.typ" as iec-gate/// Draws an IEC buffer gate. This function is also available as `element.iec-gate-buf()`Should be
element.gate-iec-bufinstead ofelement.iec-gate-buf@@ -0,0 +35,4 @@)}/// Draws an IEC NOT gate. This function is also available as `element.iec-gate-not()`Should be
element.gate-iec-notinstead ofelement.iec-gate-not@@ -0,0 +1,67 @@#import "@preview/cetz:0.3.2": draw#import "iec_gate.typ" as iec-gate/// Draws an IEC-OR gate. This function is also available as `element.iec-gate-or()`Should be
element.gate-iec-orinstead ofelement.iec-gate-or@@ -0,0 +34,4 @@)}/// Draws an IEC-NOR gate. This function is also available as `element.iec-gate-nor()`Should be
element.gate-iec-norinstead ofelement.iec-gate-nor@@ -0,0 +1,67 @@#import "@preview/cetz:0.3.2": draw#import "iec_gate.typ" as iec-gate/// Draws an IEC-XOR gate. This function is also available as `element.iec-gate-xor()`Should be
element.gate-iec-xorinstead ofelement.iec-gate-xor@@ -0,0 +34,4 @@)}/// Draws an IEC-NXOR gate. This function is also available as `element.iec-gate-nxor()`Should be
element.gate-iec-xnorinstead ofelement.iec-gate-xnorThanks for your comments, I added all requested changes, so it's ready for review again @HEL