Skip to content

Instantly share code, notes, and snippets.

View 0918nobita's full-sized avatar
🐫
I love functional programming.

Kodai Matsumoto 0918nobita

🐫
I love functional programming.
View GitHub Profile
@kentcdodds
kentcdodds / README.md
Created October 11, 2025 04:13
Unofficial, AI-generated @remix-run/dom and @remix-run/events docs

@remix-run/events and @remix-run/dom Documentation

NOTE: this was generated by Cursor from within the Remix demo using the following prompt:

Please use the example code in @public/ and the types definitions to write documentation for @remix-run/events and @remix-run/dom and stick it in a markdown file in the root of this repo.

This documentation covers two core Remix 3 packages: @remix-run/events for declarative event handling and @remix-run/dom for creating reactive UI components.

Table of Contents

@0918nobita
0918nobita / 1_main.md
Last active July 27, 2018 04:19
関数型プログラミング勉強会について

関数型プログラミング勉強会

想定している参加者

  • 関数型プログラミングに触れたことがない人
  • Processing しかプログラミング経験がない人

どんなことを学ぶか

どんな形式で学ぶか

SATySFi構文メモ (2018/02/23)

SATySFiの字句解析器には主要なモードが4つある:

  • プログラムモード
  • 垂直モード
  • 水平モード
  • 数式モード

またサブモードとして

@y-taka-23
y-taka-23 / Sample.hs
Created December 24, 2016 10:27
Samples of Verification by LiquidHaskell
module Sample where
import Language.Haskell.Liquid.Prelude ( liquidError )
{-@ safeHead :: { xs:[a] | len xs > 0 } -> a @-}
safeHead [] = liquidError "empty list"
safeHead (x : _) = x
-- badUsage = safeHead [] -- => Liquid Type Mismatch
[branchname]
# ==== Emojis ====
# ✏️ :pencil2: Writing docs
# 🐛 :bug: Fix bugs
# 👍 :+1: Feature improvements
# ✨ :sparkles: Additional partial feature
# 🎉 :tada: Grand major features added to celebrate
# ♻️ :recycle :Refactoring
# 🚿 :shower: Removal of obsolete functions or features.
@mono0926
mono0926 / commit_message_example.md
Last active February 8, 2026 10:21
[転載] gitにおけるコミットログ/メッセージ例文集100
@gakuzzzz
gakuzzzz / 1_.md
Last active March 7, 2025 06:35
Scala の省略ルール早覚え

Scala の省略ルール早覚え

このルールさえ押さえておけば、読んでいるコードが省略記法を使っていてもほぼ読めるようになります。

メソッド定義

def concatAsString(a: Int, b: Int): String = {
  val a_ = a.toString();
  val b_ = b.toString();
@irazasyed
irazasyed / homebrew-permissions-issue.md
Last active February 3, 2026 00:43
Homebrew: Permissions Denied Issue Fix (OS X / macOS)

Homebrew Permissions Denied Issues Solution

sudo chown -R $(whoami) $(brew --prefix)/*

-- implements an option type as a tagged union
local option = {}
local mt = { __index = option }
local function isoption(t)
return getmetatable(t) == mt
end
function option.some(a)
@tsupo
tsupo / Twitter_API_1.1_rate_limit.txt
Created May 17, 2013 05:12
Twitter API 1.1 / 実行回数制限
Twitter API 1.1 の現行APIの制限
(REST API v1.1 Limits per window by resource)
https://dev.twitter.com/docs/rate-limiting/1.1/limits
・15分辺り最大何回実行できるか
Timelines
GET statuses/mentions_timeline 15回
GET statuses/user_timeline 180回/user, 300回/application