Skip to content

Instantly share code, notes, and snippets.

View stepney141's full-sized avatar

stepney141 stepney141

20 followers · 32 following
View GitHub Profile
@mst-mkt
mst-mkt / nabeatsu.d.ts
Last active February 14, 2024 07:02
TypeScriptの型で世界のナベアツ
type Natural = 0[];
type Zero = [];
type One = [0];
type AhoSuffix = '（アホ）';
type Length<Array extends unknown[]> = Extract<Array['length'], number>;
type Add<N1 extends Natural, N2 extends Natural> = [...N1, ...N2];
type AddNum<N1 extends number, N2 extends number> = Length<[...NumToNat<N1>, ...NumToNat<N2>]>;
type Sub<N1 extends Natural, N2 extends Natural> = N1 extends [...N2, ...infer M]
? M
@euske
euske / tweets.html
Created August 10, 2023 05:57
Tweets by mootastic (2021-03-19 ~ 2023-08-06)
This file has been truncated, but you can view the full file.
<!DOCTYPE html>
<head><meta charset="UTF-8">
<title>Tweets by mootastic</title>
</head><body>
<h1>Tweets by mootastic</h1>
<ol>
<li id="1372720610531450884"><strong>2021-03-19 01:32 (Fri) +0900</strong>
<p>「なぜ宇宙飛行士はLinuxを使うのかって? そりゃ宇宙じゃウインドウを開けないからさ!」 <a href="http://pbs.twimg.com/media/EwziGW0VcAIyN2K.png">http://pbs.twimg.com/media/EwziGW0VcAIyN2K.png</a>
<li id="1372723374141501440"><strong>2021-03-19 01:31 (Fri) +0900</strong>
@sheepla
sheepla / dmenu-websearch.sh
Last active July 16, 2023 23:49
dmenu-websearch.sh - creating tiny web-search menu on Linux desktop
#!/bin/sh
_err() {
echo "[ \e[31;1mERROR\e[m ] ${1}" 2>&1
}
_has() {
command -v "${1}" &>/dev/null
}
@syuu1228
syuu1228 / 0001docomo-nmcli.txt
Last active June 4, 2023 19:36
Linuxのコマンドラインから0001docomoに接続
$ nmcli connection add type wifi ifname wlo1 con-name 0001docomo ssid 0001docomo
Connection '0001docomo' (a6fde1b0-6055-4e6c-a314-05027eb6083a) successfully added.
$ nmcli con edit id 0001docomo
===| nmcli interactive connection editor |===
Editing existing '802-11-wireless' connection: '0001docomo'
Type 'help' or '?' for available commands.
Type 'print' to show all the connection properties.
@kaityo256
kaityo256 / gpt-compare.md
Created April 19, 2023 08:28
ChatGPT 3.5と4の比較

GPT-3.5とGPT-4の比較

先生の名前

以下の文章を読み、後の問いに答えてください。

「私はその人を常に先生と呼んでいた。だからここでもただ先生と書くだけで本名は打ち明けない。これは世間を憚かる遠慮というよりも、その方が私にとって自然だからである。私はその人の記憶を呼び起すごとに、すぐ「先生」といいたくなる。別段深い意味で先生と呼んでいるのではない。憧れとか尊敬とかいう気持ではないからだ。私はその人を先生と呼ぶと、同時に自分を生徒と思うのである。すると自分は末席につくがよいと思う。そう思っていると、どんなに気が利いても、気どっても、おしゃべりになれない。私は先生に対しておしゃべりになりたいとは思わない。」

問 「私」は「先生」の本名を知っていると考えられますか？

@eniehack
eniehack / wa2_longreview.sql
Last active March 10, 2023 08:55
エロゲ批評空間におけるWHITE ALBUM2の長文レビューを文字列の長さで降順でソートして表示するSQL。https://erogamescape.dyndns.org/~ap2/ero/toukei_kaiseki/sql_for_erogamer_form.php にコピペすると動かせます。無保証、ライセンスはCC0-1.0です。
-- SPDX-License-Identifier: CC0-1.0
SELECT
r.uid,
concat('https://erogamescape.dyndns.org/~ap2/ero/toukei_kaiseki/memo.php?game=', g.id, '&uid=', r.uid) AS link,
g.gamename,
LENGTH(r.memo)
FROM userreview r
INNER JOIN gamelist g
ON r.game = g.id
WHERE r.game IN (
@mala
mala / note_vuln.md
Last active August 14, 2023 17:52
noteの独自ドメインセッションの脆弱性について報告した件

noteの独自ドメインセッションの脆弱性について報告した件

文責: mala

前置き

  • note.com (以下note) に2020年に報告した脆弱性(現在は修正済み)を解説する
  • 個人の活動として行っており所属組織とは関係がない
  • 自分がnote社に対して、問題があると指摘していたのは主に広報対応についてですが、この記事は技術的な知見を共有することを目的とするため、技術的な解説を中心にします。
  • 公開にあたってはnote社に対して確認の上で行っています。note社による修正対応は2021年までに実施されていますが、その修正内容が適切であるかどうかについて保証するものではありません。(網羅的な確認や追加の検証をしていません)
@aileftech
aileftech / hex-colors.txt
Created October 1, 2022 18:10
A Bash one-liner to produce a list of HEX color codes that read like (supposedly) valid English words
$ grep -P "^[ABCDEFabcdefOoIi]{6,6}$" /usr/share/dict/words | tr 'OoIi' '0011' | tr '[:lower:]' '[:upper:]' | awk '{print "#" $0}'
#ACAD1A
#B0BB1E
#DEBB1E
#AB1DED
#ACAC1A
#ACCEDE
#AC1D1C
#BAB1ED
#BA0BAB
@eggplants
eggplants / jp_package_tracking.md
Last active June 4, 2022 07:14
日本の宅配会社　追跡をWebでやる　メモ

日本の小包追跡をWebからやる方法まとめ

TIPS

  • 多くは返却されるhtmlをパースする必要がありそう
  • テストのためそれぞれの会社の有効な追跡番号を得たいが困難
    • 実際に使ってみるか？

リスト

@mugi-uno
mugi-uno / remote-work-style-check.md
Last active October 10, 2022 11:26
リモートワークスタイルチェック

リモートワークスタイルチェック

昨今の社会情勢の影響もありリモートワークを導入する企業・チームが増えてきましたが、 一口に「リモートワーク」といってもさまざまなスタイルがあります。

企業側と働く側のミスマッチを防ぐため、リモートワークにおける観点を列挙してみました。

リモートワーク比重度

どの程度リモートワークに比重を置いて導入しているかのチェックリストです。