About the content 2016年9月のtry! Swift NYCの講演です。映像はRealmによって撮影・録音され、主催者の許可を得て公開しています。 リッチテキストを扱うのはそんなに簡単なことではありません。フォントや文字、グリフ、絵文字、画像、リガチャなど、考慮しなければいけないことがたくさんあります。 この try! Swift の講演では、AppleのOSにおけるテキストレイアウトの基本や、複雑なテキストのレイアウトの扱い方をご紹介します。 イントロダクション (0:00) こんにちは岸川です。日本から来て、Realmで働いています。今回は、 TextKit についてお話します。 スライド3にお見せしているようなこと、みなさんも経験ありませんか？テキストがありますが、正しくセンタリングされていません。また、スライド6のように、行間がおかしくなることがあります。 この

はじめに 「Goの正規表現は遅い」 そんなふうによく言われていました。（最近はあまり聞かなくなりましたが） たとえば、↓の記事ではPythonの正規表現と比較して1.5倍くらい遅いという結果になっています： この話には「Goの正規表現は最悪時間が短くなるように安定したアルゴリズムを採用しているから」という回答があります： ↑の記事の比較では、GoがPerlに対して約10倍以上高速という結果が出ているので、「Goの正規表現は遅くない！はい、論破ー！」というわけですね。 なんでこうなるのかも↑の記事で説明されているとおりですが、Perl（などのバックトラック型エンジン）が入力長に対して指数関数的に実行時間が伸びていくのに対し、Goの正規表現エンジンは入力長に対して線形時間で実行時間が伸びていくアルゴリズムを採用しているため、入力が長くなると急激にGoのほうが有利になるからです： 一方で、入力が

本記事は、形式検証 / 形式手法 Advent Calendar 2021 の 19 日目の記事です。 Amazon S3が形式手法を採用した論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" を読みました。 論文全体については、yohei-aさんがブログ記事で主要な部分を訳してくれています。本記事では自分なりのまとめに加えて、自分の形式手法導入の経験から思うところについても書いてみます。 論文は、Amazon S3の新しいKey ValueストレージのShardStoreの正当性を軽量形式手法で検証した話です。論文の主張をまとめると、 実装に使用した言語（Rust）と同じ言語で仕様となるリファレンスモデルを記述した。 検証したい性質によってツールを使い分けた。機能的

北米からのポテトの輸入遅延に伴う 「マックフライポテト®」MおよびLサイズの一時販売制限について ～ 全国の店舗でSサイズのみ販売します ～ 2021.12.21 日本マクドナルド株式会社(本社：東京都新宿区、代表取締役社長兼CEO：日色 保)では、当社が北米から輸入しているポテトについて、船便の経由地であるカナダ・バンクーバー港近郊での大規模な水害、およびコロナ禍が与える世界的な物流網への影響により、輸入遅延が発生しております。 原材料の安定的な調達が難しい中、輸入業者やサプライヤーと協力のうえ、航空便手配などの代替対応を積極的に行い、「マックフライポテト」を継続してご提供してまいりましたが、今後も多くのお客様に途切れることなく召し上がっていただくため、2021年12月24日(金)から12月30日(木)＜予定＞まで、セットメニューを含め「マックフライポテト」の販売をSサイズのみとさせてい

Products & ServicesSecurity OperationsThreat ResearchAI ResearchNaked SecuritySophos Life The critical vulnerability in Apache’s  Log4j Java-based logging utility (CVE-2021-44228) has been called the “most critical vulnerability of the last decade.”  Also known as Log4Shell, the flaw  has forced the developers of many software products to push out updates or mitigations to customers. And Log4j’s m

これは KOBA789 日記 Advent Calendar 2021 - Adventar 21日目の記事です。 GitHub Projects (beta) みなさん GitHub Projects (beta) は使っていますか？　私はめっちゃ使っています。 しかし beta ということもあってまだまだ使いづらかったり機能が足らなかったりすることがありますよね？ マウスでポチポチしながら、SQL で操作できたらラクなのになぁと妄想したりもします。というわけで作りました。 ghsql GitHub Projects (beta) のデータを SQL でクエリ・更新できるツールを作りました。SELECT はもちろん、UPDATE や DELETE もできます（INSERT は未実装）。 github.com インストール まだ crates.io とかには公開してないので、git clo