🌀
🔬
非エルミート繰り込み群の核心を東大助教チームより数日先行してLean4で証明
🔥
熱力学第二法則をLeanで数学の定理として証明する
🌑
Leanと離散次元解析によるZF公理からの質量ギャップの導出
💥
ビッグバンから晴れ上がりまでの宇宙史をZF公理から決定論的に導出する
📊
コードを書けないSIerのための簡易で高精度な開発工数見積もり法
🪢
Leanが示す「超弦理論は完成不可能」な数学的根拠
⏱️
Leanから翻訳する「時間とは、何か」
🌌
Leanでミレニアム懸賞金問題の物理系2問を解決したから見て欲しい
😸
AIは黄金比を夢見るか？――新理論『Qualion』が拓く、次世代AIの幾何学
🌌
KUUGA: 宇宙規模の時間と距離に耐える超知性のための論文保存プロトコル
⚔️
ZodとNext.jsのRoute Handlersから型安全なAPIクライアントを生成する最強ライブラリ「FrourioNext」
⚔️
Zodと設定0行でNext.jsのRoute Handlersに完全な型を付与する最強ライブラリ「FrourioNext」
😽
最先端に疲れたTSerのための時代に逆行するRESTっぽいテンプレートCATAPULT
🔒
自作の公開鍵と秘密鍵を使ってCI環境だけCognito依存なしでJWTの作成と検証を行う
🚄
TypeScriptの関数だけでRESTサーバーを作れるfrourioを始めよう
📦
ファイルベースルーティングで関数型なTypeScriptフルスタックフレームワークfrourio
🛡️
設定0行でNext.js 13のLayoutページURLを型安全に取得できる最強ライブラリ「pathpida」
🐧
WSL2で開発中のWebアプリを同じLANのスマホで動作確認する方法
🌞
api-types に気象庁の天気予報 API の型定義を登録したのでアメダスを追加するプルリク募集！
🛡️
月間2万DL突破！REST APIを型安全にする最強のTypeScript製HTTPクライアントaspidaを始めよう
🛡️