GitHub

GitHub - bradtraversy/design-resources-for-developers: Curated list of design and UI resources from stock photos, web templates, CSS frameworks, UI libraries, tools and much more

Curated list of design and UI resources from stock photos, web templates, CSS frameworks, UI libraries, tools and much more - bradtraversy/design-r...

GitHub - bradtraversy/design-resources-for-developers 開発者向けのUIデザインリソースのまとめ。 ストックフォトやWebテンプレートなどが紹介されています。 UIライブラリやツールも掲載。

はてな匿名ダイアリー

2025年増田ファーストブクマカランキング

はてなブックマーク日毎の人気エントリーに自分がファーストブクマしたエントリーを数多く送り込んだ人が...

2025年増田ファーストブクマカランキング 2025年の増田におけるファーストブクマカランキングの記事です。 どのような人が初期にブックマークされるのか分析されています。 面白いランキングとして楽しめる内容です。

GitHub

GitHub - dockur/macos: MacOS inside a Docker container.

MacOS inside a Docker container. Contribute to dockur/macos development by creating an account on GitHub.

GitHub - dockur/macos: MacOS inside a Docker container. Dockerコンテナ内でmacOSを実行するためのプロジェクトです。 開発やテスト環境の構築に役立ちます。 詳細な情報や利用方法はGitHubリポジトリを参照してください。

はてな匿名ダイアリー

ADHDにとってのAIの恩恵は強い

昨今システム業界でAIへの怨嗟の声は大きいが私のような下級土方システムエンジニアにとって恩恵はかなり�...

ADHDにとってのAIの恩恵は強い ADHDを持つ人にとって、AIは大きな助けになる可能性があるという記事です。 タスク管理や集中力維持をサポートするAIツールが紹介されています。 個別のニーズに合わせたカスタマイズも可能であることが述べられています。

Togetter [トゥギャッター]

焼肉屋で若い男の子が「タイミーです」とやって来た→その後店長が何でも出来ちゃうその子をベタ褒めしていた「タイミーは時々超シゴデキの人が来る」

一人焼肉店で若い男性が「タイミーです」と現れ、店長が「あれもこれもできるの？ホールも？頼りになる、...

焼肉屋で若い男の子が「タイミーです」とやって来た→その後店長が何でも出来ちゃうその子をベタ褒めしていた「タイミーは時々超シゴデキの人が来る」 - Togetter 焼肉屋にタイミーの若者が来た所、店長が彼の能力を絶賛したという話題。 タイミーには非常に仕事ができる人が来ることがあるらしい。 店長の褒め上手な対応も話題になっている。

AV Watch

“日本最後の秘境”に密着したNHKスペシャル、1月18日夜

NHKは、“日本最後の秘境”と呼ばれる宮崎県椎葉村を長期密着取材した『NHKスペシャル「椎葉 山物語 “のさ�...

“日本最後の秘境”に密着したNHKスペシャル、1月18日夜 - AV Watch NHKが宮崎県椎葉村を長期密着取材したNHKスペシャルを放送します。 壇ノ浦の戦いで敗れた平家の生き残りが逃げ込んだという伝説が残る場所です。 焼畑や犬を使ったイノシシ猟など、村の暮らしの記録から日本の原風景を描き出します。

Zenn

GitHub Actions のシークレットは簡単に見れる

GitHub Actions のシークレットは簡単に見れる GitHub Actionsのシークレットに関するセキュリティリスクについて解説されています。 シークレットは完全一致しないとマスクされない仕様のため、注意が必要です。 サードパーティ製アクションの利用など、悪用されるリスクについても言及されています。

Speaker Deck

形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026

BuriKaigi 2026 で使用したスライドです。 本セッションでは、定理証明支援系 Lean を用いたコンパイラの実装�...

形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026 - Speaker Deck BuriKaigi 2026での発表資料で、Leanを用いたコンパイラの実装技法を解説。 テストではバグの存在は示せても、不在は示せないという問題を、定理証明で解決。 コンパイラの性質を「ソース言語の意味論」と「ターゲット言語の意味論」の間をつなぐものとして定式化し解説。

Speaker Deck

React 19でつくる「気持ちいいUI」- 楽観的UIのすすめ

BuriKaigi 2026

React 19でつくる「気持ちいいUI」- 楽観的UIのすすめ - Speaker Deck React 19を用いたUI開発に関するプレゼンテーション資料です。 特に、楽観的UIの考え方とその実装について解説されています。 ユーザー体験を向上させるためのUI戦略を学ぶことができます。

Zenn

Claude Codeとの会話を自動でObsidianに記録する仕組みを作った

Claude Codeとの会話を自動でObsidianに記録する仕組みを作った Claude Codeの会話をObsidianに自動記録する仕組みを紹介しています。 会話はMarkdownファイルとして保存され、ナレッジベースに統合されます。 システムメッセージを除去し、リアルタイムで同期される点が特徴です。