Skip to content

Instantly share code, notes, and snippets.

View akku1139's full-sized avatar
🔥
Translating Hono docs

-akku- akku1139

🔥
Translating Hono docs
View GitHub Profile
@hediet
hediet / main.md
Last active July 7, 2025 12:37
Proof that TypeScript's Type System is Turing Complete
type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
@inodev
inodev / campaignDate.js
Last active August 1, 2025 02:31
侍エンジニア塾LP 2018-10-12-22_09_48(JSはminifyから展開済) 取得元: https://www.sejuku.net/other_lp/g/
function today() {
var b = new Date();
var d = b.getFullYear();
var e = b.getMonth() + 1;
var c = b.getDay();
var a = b.getDate();
return d + "/" + e + "/" + a
}
function addDate(h, f, i) {
var g = new Date(h);
@tksugimoto
tksugimoto / memo.md
Last active April 26, 2025 08:23
Chromeで名前解決をoverride (/etc/hosts 相当)
@okanon
okanon / fuckin_nvidia.md
Last active May 22, 2025 05:35
グラボをNvidia Storeから個人輸入する際にハマった

グラボをNvidia Storeから個人輸入する際にハマった

結論

  • 無事購入できました:joy:
  • 代理店価格(日本価格)より1~2万円ほど安く購入できる
  • 初めて購入するときは結構沼るので注意が必要
  • 必ず在庫通知がメールに届くようにする
  • 万が一キャンセルされたときに、早く返金が欲しいならPaypal決済かつ銀行口座からの引き落としを使え

そんなところです

@Zackptg5
Zackptg5 / Making a DualBoot Mod for TWRP.md
Last active May 28, 2025 04:48
Making a DualBoot Mod for TWRP

Making a DualBoot Mod for TWRP

I no longer have a device where this is capable but there's a growing interest in it so figured I make a guide on it

What you will need

  • A working brain
  • Magisk zip
  • Some binaries (Some of these are included in twrp but varies by device so I'd just pack your own)
    • From magisk zip: busybox, magiskboot, magiskinit (rename magiskinit64 to magiskinit and use it if device is 64bit)
  • For ext4 partitions: e2fsdroid, mke2fs
--[[ Generated with https://github.com/TypeScriptToLua/TypeScriptToLua ]]
return {
["$schema"] = "https://json.schemastore.org/schema-catalog.json",
version = 1,
schemas = {
{
name = ".adonisrc.json",
description = "AdonisJS configuration file",
fileMatch = {".adonisrc.json"},
url = "https://raw.githubusercontent.com/adonisjs/application/master/adonisrc.schema.json"
@greymd
greymd / sudo新一.md
Last active August 7, 2025 15:06
sudo新一

 オレは高校生シェル芸人 sudo 新一。幼馴染で同級生の more 利蘭と遊園地に遊びに行って、黒ずくめの男の怪しげな rm -rf / 現場を目撃した。端末をみるのに夢中になっていた俺は、背後から近づいてきたもう1人の --no-preserve-root オプションに気づかなかった。 俺はその男に毒薬を飲まされ、目が覚めたら・・・ OS のプリインストールから除かれてしまっていた!

sudo がまだ $PATH に残っていると奴らにバレたら、また命を狙われ、他のコマンドにも危害が及ぶ』

 上田博士の助言で正体を隠すことにした俺は、 which に名前を聞かれて、とっさに『gnuplot』と名乗り、奴らの情報をつかむために、父親がシェル芸人をやっている蘭の $HOME に転がり込んだ。ところが、このおっちゃん・・・とんだヘボシェル芸人で、見かねた俺はおっちゃんになりかわり、持ち前の権限昇格能力で、次々と難タスクを解決してきた。おかげで、おっちゃんは今や世間に名を知られた名エンジニア、俺はといえばシェル芸 bot のおもちゃに逆戻り。クラスメートの convertojichattextimg にお絵かきコマンドと誤解され少年ワンライナーお絵かき団を結成させられる始末。

 ではここで、博士が作ってくれたメカを紹介しよう。最初は時計型麻酔 kill 。ふたについた照準器にあわせてエンターを押せば、麻酔シグナルが飛び出し、プロセスを瞬時に sleep させることができる。 次に、蝶ネクタイ型 banner 。裏についているダイヤルを調整すれば、ありとあらゆる大きさのメッセージを標準出力できる。必殺のアイテムなら fork 力増強シューズ。電気と磁力で足を刺激し、 :(){ :|:&amp; };: でプロセステーブ

@RubenKelevra
RubenKelevra / fast_firefox.md
Last active August 15, 2025 12:56
Make Firefox fast again
@izzqz
izzqz / nerd-font-in-chromeos-terminal.md
Last active July 31, 2025 11:08
How to setup JetBrains Mono Nerd Font with ligatures to use is inside crostini terminal

Setup Nerd Fonts in Chrome OS terminal

Press Ctr + Shift + j to open devtools console in crostini terminal.

Paste this to use Jetbrais Mono with ligatures:

term_.prefs_.set('font-family', 'JetBrains Mono Nerd Font, monospace');
term_.prefs_.set('user-css-text', '@font-face {font-family: "JetBrains Mono Nerd Font"; src: url("https://raw.githubusercontent.com/ryanoasis/nerd-fonts/master/patched-fonts/JetBrainsMono/Ligatures/Regular/JetBrainsMonoNerdFont-Regular.ttf"); font-weight: normal; font-style: normal;} x-row {text-rendering: optimizeLegibility;font-variant-ligatures: normal;}')
@WinLinux1028
WinLinux1028 / escape_chroot
Last active October 25, 2024 07:08
chroot脱獄ツール