サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
猛暑に注意を
gist.github.com/voluntas
index.md これは Zig ドキュメント 0.10.1 を DeepL Pro と ChatGPT を利用して翻訳したものです。 一部 master なモノもあります、ごちゃ混ぜです 自分用に翻訳しています zig_doc_0.10.1.md Zig 言語リファレンス はじめに Zig は、堅牢で最適かつ再利用可能なソフトウェアを維持するための汎用プログラミング言語およびツールチェインです。 ロバスト メモリ不足などのエッジケースでも正しく動作する。 最適化 プログラムが最適に動作・実行されるように記述する。 再利用可能 同じコードが、制約の異なる多くの環境で動作します。 保守性 コンパイラや他のプログラマに意図を正確に伝えることができる。コードを読むためのオーバーヘッドが少なく、要件や環境の変化に強い言語です。 新しいことを学ぶのに一番効率的な方法は例を見ることであることが多いので
gist.github.com/kom-bu
curryhoward2020.md この記事はTSG Advent Calendar 2020の14日目の記事です。昨日の記事はJP3BGYさんのPXE BootとIntel DCIを用いたLinux Debug環境でした。 はじめに カリー＝ハワード同型対応ってかっこいいけど、何のことだかよくわからない。わたくし昆布の現時点での（偏った）理解を、疑似コードを交えて説明していきます。ほぼ備忘録です。 概要 直観主義論理（自然演繹）の命題とTypeScriptの型との間のカリー＝ハワード同型対応を考えます。 前提 Wikipediaでは次のように書いてあります。 カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry-Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。
gist.github.com/dc7290
fan-of-astro.md Astroのいいところ islands architecture によって初期で読み込まれるJSサイズが少ない ほぼ0にすることも可能 https://docs.astro.build/en/concepts/islands/ 元々、Webサイト（静的サイト）に特化したフレームワークなので、他のフレームワークと違い使い勝手がいい 言葉では伝えづらいのですが、「これだよこれ！」感がとても強いのです。 https://docs.astro.build/en/concepts/why-astro/ Astroは、コンテンツに特化した 高速な Webサイトを構築するためのオールインワン Webフレームワークです。 Integrationという統合機能によってプラグインを利用するように開発できる 公式統合も豊富で、中でも @astro/image という画像統合は最高
gist.github.com/harubaru
wd1-3-release.md Waifu Diffusion 1.3 Release Notes HuggingFace Page for model download: https://huggingface.co/hakurei/waifu-diffusion-v1-3 Table of Contents Model Overview Training Process Prompting License Sample Generations Team Members and Acknowledgements Model Overview The Waifu Diffusion 1.3 model is a Stable Diffusion model that has been finetuned from Stable Diffusion v1.4. I would like t
gist.github.com/serras
building-software.md Some thoughts on building software Lately I have been busy reading some new books on Domain Driven Design (DDD) and software architecture -- including a short yet eye-opening one in Python and a great one in F#. At the same time, it seems that more people in the Functional Programming world are looking at more formal approaches to modelling -- some examples here. This has brou
gist.github.com/JoeyBurzynski
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
gist.github.com/ymmt2005
howto-tech-docs.md 技術文書の書き方 このメモは、私（@ymmt2005）が長年にわたってソフトウェアプロダクト開発に関わってきて 2022年現在こうしたほうが良いと考えているベストプラクティスです。 科学的な分析等に基づくわけではない経験則であるため、今後も随時見直すことがありますし、 ここに書いてあることが常に正しいわけでもあらゆるソフトウェア開発に適するわけでもありません。 しかしながら、実務経験が豊富で、モダンな技術スタックに明るいエンジニアの経験則は一定の 役に立つのではないかと考えて記します。 技術文書とは ここでは、ソフトウェア開発で技術者が書くべき文書ということにします。 ソフトウェアエンジニアにも役割がいろいろあり、アーキテクトと independent contributor では書く文書が違うということはあるでしょうけれど、ここではごっちゃにします。
gist.github.com/Umichang
.gitignore ���ª� �zKª� .Ulysses-Settings.plist Will_the_creators_launch_a_Luddite_movement.md クリエイターによるラッダイト運動は起こるのか？ Version 1.10 by Kai Kuchiki この作品はクリエイティブ・コモンズ 表示 - 継承 4.0 国際ライセンスの下に提供されています。 改訂履歴とお断り 本記事の初版は2022年8月30日（火）のお昼すぎの状況をもとに執筆されています。その後急速に情勢の変化がありました（たとえばmimicのβ版サービスが停止されたなど）が、それらについては本記事の趣旨から大きく逸脱するものではないので、そのままとなっています。その点ご承知おきください。 Ver.1.10では、弊社内でのフィードバックにより、論点をよりハッキリとさせるための改訂を行いました
gist.github.com/daisuke-nogami
design_for_upgrading_to_env2.md title weight type ENv2バージョンアップに関する技術的な検討内容 10 docs いったん、最初のバージョンのママで https://cocoa-mhlw.github.io/cocoa/docs/appendix/design_for_upgrading_to_env2/ に掲載されました。今後の更新はこちらに対して行われます。 掲載時点での要改善ポイントの認識は cocoa-mhlw/cocoa#1051 のコメントを確認してください ドキュメントを読んで分かりにくい点がありましたら、COCOAのgithub issue / pull-request にて投稿ください Exposure Notification API v2へのバージョンアップに関する技術的な検討内容について COCOA v2.0.0か
gist.github.com/azu
gist.github.com/dmail
url.js ���Ϫ� �`jϪ� /* href ┌────────────────────────────────────────┴──────────────────────────────────────────────┐ origin │ ┌────────────┴──────────────┐ │ │ authority │ │ ┌───────────────┴───────────────────────────┐ │ │ │ host resource │ │ ┌──────────┴─────────────────┐ ┌────────────┴───────────┬───────┐ │ │ hostname │ pathname │ │ │ │ ┌──────────────┴────────────┐ │ ┌──────┴───────┐ │ │ proto
gist.github.com/s-show
QMKとJISキーキャップおよびレイアウトの関係.md 前置き QMK Firmware は US 配列を前提にしたファームウェアのため、JIS キーキャップを使う場合や OS のキーボード配列を JIS に設定した状態で使う場合、何らかの処理が必要になる。 その方法として qmk_firmware/keymap_japanese.h at master · qmk/qmk_firmware を使う方法と koktoh/jtu_custom_keycodes: Keycodes to use jis keycode in us keymap を使う方法の2つがあるので、２つの方法の違いを整理した。 tl,dl OS のキーボード配列を JIS に設定している状態で、 JIS キーキャップの印字どおりに入力したい場合 qmk_firmware/keymap_japanese.h at mas
gist.github.com/qnighy
README.md マイグレーションしないRDBMSが欲しい! 課題 PostgreSQLなどの既存のRDBMSはスキーマを持つ。スキーマがあることは良いことだが、このスキーマのライフサイクルはアプリケーションコードのライフサイクルと乖離しがちで、結果として以下のような問題が発生する。 特に自動化をしない場合はマイグレーションをデプロイとは別に行う必要が発生する。これにより、 シンプルに作業が面倒。 承認フローが追加で必要になる。または、デプロイはレビューの管理下に置かれているのにマイグレーション側が適切に管理されないなどのミスマッチが起きる。 マイグレーション忘れ、マイグレーションのリバート忘れのリスクがある。 異なるバージョンのアプリケーションは同時に存在できるがスキーマは同時に存在できない。これにより、 ある種のスキーマ変更はローリングデプロイ環境下では実質的に実行できない。 (テー
gist.github.com/tkrotoff
FrontendFrameworksPopularity.md Charts are from different sources and thus colors are inconsistent, please carefully read the chart's legends. Like this? Check React Native vs Flutter: https://gist.github.com/tkrotoff/93f5278a4e8df7e5f6928eff98684979 Stack Overflow trends https://insights.stackoverflow.com/trends?tags=reactjs%2Cvue.js%2Cangular%2Csvelte%2Cangularjs%2Cvuejs3 Stack Overflow survey h
gist.github.com/p4bl0-
00_readme.md This project is a tiny compiler for a very simple language consisting of boolean expression. The language has two constants: 1 for true and 0 for false, and 4 logic gates: ! (not), & (and), | (or), and ^ (xor). It can also use parentheses to manage priorities. Here is its grammar in BNF format: expr ::= "0" | "1" | "!" expr | expr "&" expr | expr "|" expr | expr "^" expr | "(" expr ")
zig_quic.md 2022 年の夏休みに Zig で QUIC を実装してオープンソースとして公開するお手伝い こちらの応募は終了しました、冬も募集予定です。 提供: 株式会社時雨堂 バージョン: 2022.6.0 著者: @voluntas 成果 @so298 6 週間 QUIC クライアント shiguredo/quic-client-zig @magurotuna 6 週間 QUIC サーバー shiguredo/quic-server-zig @naoki9911 6 週間 TLS 1.3 クライアント/サーバー shiguredo/tls13-zig 目的 夏休み学生向けの OSS スポンサーくらいに考えてもらえれば Zig がとても良い言語だと感じているが、学ぶ余裕はないので代わりに学んで教えて欲しい QUIC は今後インターネットにおいてとても重要な技術となるため学生の
gist.github.com/aconbere
gist.github.com/Code-Hex
gist.github.com/greymd
全裸ネクタイ効果.md ぜんらねくたいこうか【全裸ネクタイ効果】 「全裸ネクタイのバイアス」とも。 漫画・アニメ・小説などの創作物において、極めて目立つツッコミ所が既にあるにもかかわらず、細々としたマイナーな指摘が先行する現象を指す。 作中で現実世界と比べておかしい点を指摘する際に用いられる表現。 また、指摘の内容が、作品が想定しているリアリティライン（現実レベルの度合い）を考慮していない状況でよく使われる。 指摘内容が特定の人がよく知る領域や、専門知識が必要な場合に発生しやすい。 知識をひけらかしたいといった欲求や、身近に感じているために期待するリアリティラインが作品の想定より高くなってしまう、内情をよく知るために自身の経験が想起されて創作として捉えられなくなってしまう、といった動機が存在すると考えられる。 [例文] 「あなたは物理をよくご存知なので、宇宙空間で煙があがる表現に目くじらを
gist.github.com/daijinload
gist.github.com/gushernobindsme
モノリスからマイクロサービスへ_読書メモ.md 必要十分なマイクロサービス マイクロサービスとは マイクロサービス とは、ビジネスドメインにもとづいてモデル化された、独立してデプロイ可能なサービス。 サービス同士はネットワークを介して相互に通信してシステムを形成する。 マイクロサービスは何らかの技術に依存しない。 マイクロサービスはデータの保存や検索をカプセル化し、適切に定義されたインタフェースを介してデータを公開する。 データベースはサービス境界の内側に隠されることになる。 独立デプロイ可能性 独立デプロイ可能性 とは、あるマイクロサービスに対する変更を、他のサービスに影響を与えることなく本番環境へデプロイできる、という考え方のこと。 独立デプロイ可能性を保証するには、サービス同士が疎結合である必要がある。 つまり、他の変更することなく、あるサービスを変更できなくてはならない。 そのため
gist.github.com/johnspurlock-skymethod
r2-notes.md Unofficial R2 notes Cost https://developers.cloudflare.com/r2/platform/pricing/ up to 10,000,000 read operations + $0.36 per 1,000,000 operations $3.60 free up to 1,000,000 write operations + $4.50 per 1,000,000 operations $4.50 free up to 10 GB-month storage + $0.015 per 1 GB-month of storage $0.15 free $15.36 per 1 TB-month currently "sampled at 10 min but might tune that down to som
gist.github.com/mizchi
gist.github.com/flibitijibibo
Casey asked this on Twitter... Having looked at UE5's promotional content, I'm honestly just wondering: what is the point of Unity, now? Either you don't want to deal with a big unwieldy engine, in which case you roll/mod your own, or you do, and you would just use UE5, right? What am I missing? It seems like it is so far ahead of Unity at this point on all fronts, including asset provision (megas
gist.github.com/ksss
rbsg.md [PoC] Proposal of RBS generation method using Rack architecture RBS generation problem RBS is an easy language to generate code for because of its simple syntax and lack of dependencies between files. In addition, there are currently a large number of required type definitions, so code generation for RBS is considered to be highly important. Various attempts have been made to generate RBS
gist.github.com/xixixao
gist.github.com/mugi-uno
remote-work-style-check.md リモートワークスタイルチェック 昨今の社会情勢の影響もありリモートワークを導入する企業・チームが増えてきましたが、 一口に「リモートワーク」といってもさまざまなスタイルがあります。 企業側と働く側のミスマッチを防ぐため、リモートワークにおける観点を列挙してみました。 リモートワーク比重度 どの程度リモートワークに比重を置いて導入しているかのチェックリストです。 数値を合計し、高いほどにオフラインよりオンラインに比重を置いている傾向があります。 あくまでも "比重" であり、優劣をつけるものではありません。オフライン・オンラインどちらを重要視するかは企業・チーム・個人の価値観によって異なります。 リモートワークの導入期間 どの程度リモートワークを導入しているか (≒ 組織としてのリモートワークへの慣れ) （累積→途中で廃止・停止などが挟ま
次のページ
このページを最初にブックマークしてみませんか？
『Discover gists』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
