これは RISC-V Instruction Set Manual Volume 2, Privileged Spec v. 20211203 の二次的著作物です。 この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
View format-man7.js
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
javascript: [...document.querySelectorAll("pre")].map(p => {p.innerHTML = "<p>" + p.innerHTML.replace(/\n\s*\n/g,"</p><p>").replace(/\n\s*/g," ")}) |
View 2023solver.d
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
// http://nmi.jp/2023-01-03-How-to-solve-2023-puzzle | |
// https://twitter.com/tkihira/status/1609313732034965506 | |
module solver; | |
import std; | |
import std.datetime.stopwatch : StopWatch; | |
void main() | |
{ | |
StopWatch sw; |
View 2023solver.d
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
// http://nmi.jp/2023-01-03-How-to-solve-2023-puzzle | |
// https://twitter.com/tkihira/status/1609313732034965506 | |
module solver; | |
import std; | |
import std.datetime.stopwatch: StopWatch; | |
void main() | |
{ | |
StopWatch sw; |
View LICENSE.md
これは RISC-V Instruction Set Manual Volume 2, Privileged Spec v. 20211203 の二次的著作物です。 この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
View LICENSE.md
これは RISC-V Instruction Set Manual Volume 2, Privileged Spec v. 20211203 の二次的著作物です。 この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
View ddsk.d
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 std; | |
// enum seed = __TIME__.reduce!((a, b) => a * 9 + b); | |
enum seed = 8; | |
enum r = Mt19937(seed); | |
static foreach (s; generate_ddsk_sequence(r)) | |
{ | |
pragma(msg, s); | |
} |
View gist:c5771b1d350116702ec02abac8afcd12
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
(function(){var a=function(c){return c.getUTCFullYear()+(""+(101+c.getUTCMonth())).slice(1,3)+(""+(100+c.getUTCDate())).slice(1,3)+"T"+(""+(100+c.getUTCHours())).slice(1,3)+(""+(100+c.getUTCMinutes())).slice(1,3)+"00Z"},b=encodeURI,d=document.querySelector("#contest-nav-tabs > div > small.contest-duration"),e=b(a(new Date(d.querySelector("a:nth-child(1) > time").innerText)));a=b(a(new Date(d.querySelector("a:nth-child(2) > time").innerText)));d=b(document.title);var f=b(location.href);b=b(document.querySelector("#main-container > div.row > div:nth-child(2) > p").innerText);window.open("https://www.google.com/calendar/render?action=TEMPLATE&text="+d+"&details="+b+"&location="+f+"&dates="+e+"%2F"+a,"_blank")})(); |
View q.sh
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/env bash | |
# https://betterdev.blog/minimal-safe-bash-script-template/ | |
set -Eeuo pipefail | |
trap cleanup SIGINT SIGTERM ERR EXIT | |
usage() { | |
cat <<EOF | |
Usage: $(basename "${BASH_SOURCE[0]}") [command] | |
EOF | |
exit |
View file-select.sh
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
#!/bin/bash | |
file-select() { | |
( | |
cd "${1}" | |
path=$(ls -a | peco) | |
path=$(readlink -f "${path}") | |
if [[ -d "${path}" ]]; then | |
file-select "${path}" |
NewerOlder