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
<script> | |
(function() { | |
htmx.defineExtension('ContentTypeJson', { | |
onEvent: function(name, evt) { | |
if (name === "htmx:configRequest") { | |
evt.detail.headers['Content-Type'] = 'application/json'; | |
} | |
else if (name === "htmx:beforeRequest") { | |
evt.detail.xhr.send(evt.detail.elt.getAttribute("hx-json")) | |
} |
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
# Originally from https://github.com/testcontainers/testcontainers-java/blob/de20484e53eb8d1f580b74ff9df31261b596ab5c/.github/workflows/release.yml#L1 | |
name: Release | |
on: | |
release: | |
types: [published] | |
permissions: | |
contents: read |
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
#! /usr/bin/python | |
from math import prod | |
def compute_digits( n ): | |
if n <= 9: | |
return [ n ] | |
else: | |
return compute_digits( n // 10 ) + [ n % 10 ] | |
def is_robust( value ): |
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
#! /usr/bin/python | |
seed = [0,12,6,13,20,1,17] | |
end = 30000000 | |
position = 1 | |
most_recent = {} | |
def process( num ): | |
global position, most_recent |
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
124109 | Boaty McBoatface | |
---|---|---|
39886 | Poppy-mai | |
15774 | Henry Worsley | |
11023 | David Attenborough | |
10679 | Its bloody cold here | |
8710 | USAIN BOAT | |
8365 | BOATIMUS PRIME | |
7687 | Katharine Giles | |
7055 | CATALINA DE ARAGON | |
6452 | I Like Big Boats&I Cannot Lie |
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
Bermudez and Logothetis show a small grammar that is neither SLR nor NQLALR but is LALR. | |
S -> agd | |
S -> aAc | |
S -> bAd | |
S -> bgc | |
A -> B | |
B -> g | |
"Simple Computation of LALR(1) Lookahead Sets", p.237 Fig. 5 |