Google Slide: https://docs.google.com/presentation/d/19h31cgpGXj4-DCGpfQjBwUgB5WwLtgc4crtsqtXLSnw/edit?usp=sharing
5分で完全理解するGoのiota
Google Slide: https://docs.google.com/presentation/d/19h31cgpGXj4-DCGpfQjBwUgB5WwLtgc4crtsqtXLSnw/edit?usp=sharing
Welcome to Startups Weekly — Haje‘s weekly recap of everything you can’t miss from the world of startups. Sign up here to get it in your inbox every Friday. Well,…
Stream: Internet Engineering Task Force (IETF) STD: 7 RFC: 9293 Obsoletes: 793, 879, 2873, 6093, 6429, 6528, 6691 Updates: 1011, 1122, 5961 Category: Standards Track Published: August 2022 ISSN: 2070-1721 Author: RFC 9293 Transmission Control Protocol (TCP) Abstract This document specifies the Transmission Control Protocol (TCP). TCP is an important transport-layer protocol in the Internet protoco
このページはECMAScript® 2020 Language SpecificationをJavaScriptの学習目的で私的に日本語訳したものであり、直訳と意訳および推測が混在しています。そのため内容については正確でない可能性があります。正確な情報を知りたい場合は、原文をご覧ください。また一部訳者によるコメントが含まれていることがあります。※このサイトの内容で損害や不利益を受けたとしても当方は一切の責任を負いません。
HTTPでファイルをアップロードする時、ネットワークの寸断などによりアップロードが中途半端に終わってしまうことがあります。アップロードが途中まで成功したとしても、一度切断するとそこから再開する方法は標準化されていません。 (PUTリクエスト + Rangeヘッダによる再開をサポートしているシステムもありますが標準化されてはいません。 参考URL) そこで、再開可能なアップロードの仕組みを定義した「Resumable Uploads Protocol」という仕様がIETFに提出されています。この仕様は、Transloadit Ltd, Apple Inc, Cloudflare などの方々の共著になっています。 Resumable Uploads Protocol の概要 「Resumable Uploads Protocol」は、一度中断しても再開可能なアップロード方式を定義しています。
MDNにはたまにアットマークを2つ並べた @@ という記法が登場します。 Array.prototype[@@iterator]() The @@iterator method is part of The iterable protocol, that defines how to synchronously iterate over a sequence of values. しかし、この記法をそのままJavaScriptやTypeScriptの処理系に入力しても構文エラーになります。 console.log(Array.prototype[@@iterator]()); // => Uncaught SyntaxError: Invalid or unexpected token ではこの @@ はどこから来て、何を意味する記法なのでしょうか。 結論 これはドキュメント用のwell-
![Array.prototype[@@iterator] ←この @@ って何？](https://cdn-ak-scissors.b.st-hatena.com/image/square/9fd7836534de568251088b204463177b84cac126/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--A7D4VeZL--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3AArray.prototype%25255B%252540%252540iterator%25255D%252520%2525E2%252586%252590%2525E3%252581%252593%2525E3%252581%2525AE%252520%252540%252540%252520%2525E3%252581%2525A3%2525E3%252581%2525A6%2525E4%2525BD%252595%2525EF%2525BC%25259F%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3AMasaki%252520Hara%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2l3aEI4dTM5cFZyM09sWVFLcUU5Z1ozV2d3MHlsMS03cUZad0huYWc9czI1MC1j%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)
GoのLanguage Specificationの特定の仕様に関わる処理系の実装を探す #golang - My External Storage
Goの仕様はこのHTML1ページにまとまっている。 The Go Programming Language Specification https://golang.org/ref/spec 仕様に書いてある処理はどうやって実装されているのか調べたかった。 Goの仕様の1文からその仕様に関係する処理系のコードを探す方法をメモしておく。 TL;DR GoのLanguage Specificationに書いてある仕様の処理系の実装を探す https://golang.org/ref/spec GoのLanguage SpecificationのHTMLはGoリポジトリのdocディレクトリに入っている https://go.googlesource.com/go Language Specificationのコミットログから仕様の追加日を知る git log -L 2569,2579:./doc
GitHub - tc39/faq
This document contains typical responses to questions that are commonly raised about JavaScript language development, both within the community and to the committee via our various discussion platforms. Anyone may suggest new topics by opening an issue. Delegates may add new topics by creating a Pull Request. If a delegate disagrees with one of these topics, it should be removed. It can be re-adde
Workgroup: intarea Internet-Draft: draft-dkg-intarea-dangerous-labels-01 Published: 21 May 2022 Intended Status: Informational Expires: 22 November 2022 Author: Dangerous Labels in DNS and E-mail Abstract This document establishes registries that list known security-sensitive labels in the DNS and in e-mail contexts.¶ It provides references and brief explanations about the risks associated with ea
アップルは興味なさそうだけど…グーグルが｢メッセージ規格を統一しようよ〜｣と呼びかけ2021.10.12 21:0043,441 Florence Ion - Gizmodo US ［原文］ （ mayumine ） グーグルはまとめたいけど、アップルは興味なし…。 グーグルが普及に注力している｢RCS（Rich Communication Services）｣。これはSMSやMMSにとって代わる、携帯電話でメッセージを送受信する際の標準規格で、｢リッチコミュニケーションサービス｣の文字通り、メッセージのやりとりに関する機能がよりリッチになるというものです。 グーグルはこのRCSを、全てのモバイルプラットフォームの標準的なメッセージングプロトコルにしようと注力しています。AT&TやVerizonなどアメリカのすべての通信事業者と連携し、公式メッセージアプリの｢メッセージ｣でRCSをサポート
The JavaScript Specification has a New License – Mozilla Hacks - the Web developer blog
Ecma International recently approved the 2022 standard of ECMAScript. There is something new in this edition that hasn’t been part of prior editions, but this isn’t a new programming feature. In March of this year, Ecma International accepted a proposal led by Mozilla for a new alternative license. On June 22nd, the first requests to adopt this license were granted to TC39 and applied to the follo
RFC 9116: A File Format to Aid in Security Vulnerability Disclosure
Stream: Internet Engineering Task Force (IETF) RFC: 9116 Category: Informational Published: April 2022 ISSN: 2070-1721 Authors: RFC 9116 A File Format to Aid in Security Vulnerability Disclosure Abstract When security vulnerabilities are discovered by researchers, proper reporting channels are often lacking. As a result, vulnerabilities may be left unreported. This document defines a machine-parsa
RFC: First class support for promises and async/await by acdlite · Pull Request #229 · reactjs/rfcs
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
マイナンバーカードの技術仕様と利活用方式 https://www.fujitsu.com/jp/documents/about/resources/publications/magazine/backnumber/vol68-4/paper10.pdf
FUJITSU. 68, 4, p. 59-65 07, 2017 59 あ ら ま し 2016 1 IC 4 IC PKI Public Key Infrastructure IC Abstract In January 2016, the Social Security and Tax Number System (My Number System) was inaugurated and issuance of Individual Number Cards to applicants started as well. An Individual Number Card is an IC card equipped with both contact and contactless external interfaces and information including the
Translation of the Rust's core and alloc crates | Formal Land
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrap_or_default or all other primitive functions. For each of these functions, we had to make a Coq definition to represent its behavior.
RFC 9000: QUIC: A UDP-Based Multiplexed and Secure Transport
Stream: Internet Engineering Task Force (IETF) RFC: 9000 Category: Standards Track Published: May 2021 ISSN: 2070-1721 Authors: RFC 9000 QUIC: A UDP-Based Multiplexed and Secure Transport Abstract This document defines the core of the QUIC transport protocol. QUIC provides applications with flow-controlled streams for structured communication, low-latency connection establishment, and network path
GraphQL Prerelease Working Draft Thu, Apr 4, 2024 Latest Release October 2021 Tue, Oct 26, 2021 Release Notes June 2018 Sun, Jun 10, 2018 Release Notes October 2016 Mon, Oct 31, 2016 Release Notes April 2016 Thu, Apr 7, 2016 Release Notes October 2015 Thu, Oct 1, 2015 Release Notes July 2015 Thu, Jul 2, 2015 Release Notes
PRINCIPIA
PRINCIPIAの詳細ページです。
GitHub - flatt-security/blog-specification-vlunerabilities-check-sheet: 「仕様の脆弱性」まとめブログ用のチェックシート
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
形式手法の分類 - 応用事例DB
形式手法の導入を検討する上で参考となる実システムに対する実践的な応用事例について、費用対効果や導入時の課題・工夫点等を中心にまとめています。 現在は、「フォーマルメソッド導入ガイダンス」第４部付録 12.応用事例情報 と同じ内容ですが、今後事例の数を増やしていく予定です。 キーワードで検索する
GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
This document consists of two chapters. Every Pantagruel chapter has a head and a body, separated by a horizontal line. In the first chapter head we introduce some vocabulary. Vocabulary is of two basic kinds: domains, which represents sets or types of things; and procedures, which represent behaviours with, or relationships between, things of a certain type. In the first chapter body we make some
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TechCrunch | Startup and Technology News
RFC 9293: Transmission Control Protocol (TCP)
ECMAScript2020言語仕様 私的日本語訳
HTTPで再開可能なアップロードを可能にする提案仕様 - ASnoKaze blog
Array.prototype[@@iterator] ←この @@ って何？
Dangerous Labels in DNS and E-mail
アップルは興味なさそうだけど…グーグルが｢メッセージ規格を統一しようよ〜｣と呼びかけ
GraphQL Specification Versions
https://affordd.jp/conference2016/affordd_conference2016_ws_PFD.pdf
togetter.com
www.k-tounyu.jp
dot.asahi.com
www.yomiuri.co.jp
www.jiji.com
31work89.hatenablog.com