pixivとかで見かける「少女前线」の表記を「少女前戯」と読んだ経験は誰しもありますよね超音MAD晒しイベントの未来編に参加した動画です 未来編一覧mylist/68116027BiliBili:https://www.bilibili.com/video/BV1GK411j7Bn
I don't build systems. I imagine them, then write them. I spent 24 days digging into the code of {Shan, Shui}* Chinese painting generator and lived to tell the story. This article is written for my Substack, you can subscribe to it by email now! While a lot of fellow developers spent this year’s advent on solving this year’s Advent of Code puzzles, I decided to have my own little “advent.” A few w
Writing a minimal Lua implementation with a virtual machine from scratch in Rust By the end of this guide we'll have a minimal, working implementation of a small part of Lua from scratch. It will be able to run the following program (among others): function fib(n) if n < 2 then return n; end local n1 = fib(n-1); local n2 = fib(n-2); return n1 + n2; end print(fib(30)); This is my second project in
Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied than expected, particularly, in critical domains where they are strongly recommended and where they have the greatest potential. Our hypothesis is that formal methods still seem not to be applicable enough or ready for t
初めに サイボウズ・ラボの光成です。 いきなりですがクイズです。次のうち正しい説明はどれでしょう。 SSHやFIDO2などの公開鍵認証はチャレンジを秘密鍵で暗号化し、公開鍵で復号して認証する。 ビットコインでは相手の公開鍵を用いてハッシュ値を暗号化して相手に送る。 TLS1.3ではサーバ公開鍵を用いてAESの秘密鍵を暗号化する。 答えはどれも間違いです。 公開鍵認証は、(デジタル)署名を使って相手先の正しさを検証するものであり、暗号化は行われません。 同様にビットコインもデータや相手の正当性を確認するために署名が用いられ、暗号化は行われません。 TLS 1.3ではRSA暗号の公開鍵を用いて暗号化する方式(static RSA)は廃止され、ECDH鍵共有された値を元に秘密鍵を生成し、AES-GCMなどの認証つき暗号で暗号化します。 公開鍵暗号とは いわゆる公開鍵暗号には大きく2種類の意味があ
Rust 初心者のsonesuke( https://twitter.com/sonesuke )です。 これは、Rust Advent Calendar 2021 の 16日目です。遡って書いています。 仕事でPostgreSQL拡張機能を作るシチュエーションが出てきたのですが、「C言語で拡張つくるのもつまらないな」と思っていたら、Rustでも作れるみたいだったので、作ってみました。 TL;DR PostgreSQLに日本語形態素解析をする拡張を作ってみた cargo-pgxを使ってRustで簡単にPostgreSQLを作ることができる 成果物は以下 要件定義 真面目に、要件定義してみます。 日本語の形態素解析がしたい 解析対象はPostgreSQLのTEXTカラム インストールが簡単 → PostgreSQLにコピーしたら使える (ビルドし直さない) パフォーマンスがよいこと 筆者の知
eBPF(extended Berkley Packet Filter)という用語を著者が初めてみかけたのは、2015年ごろだった。最初は、eBPFをその字面のとおり、パケットキャプチャやパケットフィルタリングを担うだけの、Linuxの新しいサブシステムであろうと認識していた。しかし、実際にはそうではなかった。 システム性能の分析のための方法論をまとめた書籍Systems Performance 1 の著者で有名なBrendan Greggが、Linuxのネットワークサブシステムとは特に関係ない文脈で、古典的なシステム性能計測ツールでは計測できないことを計測するツールを作っていた。その計測ツールがeBPFという技術によって実装されていることを知ったときに、eBPFに興味をもったのだった。また、eBPFは、システム性能を調べる用途以外にXDP(eXpress Data Path)と呼ばれるプ
Creating a tool to allow regular gamers to make their own game is not a new idea. It has been done several times, from ancient titles like Eamon (1980) and Pinball Construction Set (1982) to things like ZZT (1991), Forgotten Realms: Unlimited Adventures (1993), Neverwinter Nights (2002) and Roblox (2006). Marvel & DC heroes fight Galactus in a fan game for Forgotten Realms: Unlimited Adventures (1
IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する本連載。第18回は、カーネルやドライバをRustで記述することで、RTOSのレイテンシや安全性の問題をドラスチックにクリアした「Tock」を紹介する。 リアルタイムOS列伝、今回のお題は「Tock」である。開発したのは現在プリンストン大学の助教授で博士のAmit Levy氏である。このLevy氏、助教授業(?)の傍らで2011年にMemCachierという会社を創業しており、現在もここのCEOを務めている。この会社が扱っているのはキャッシュサーバのmemcachedを改良した製品だが、こちらとTockは関係がない。 ⇒連載記事「リアルタイムOS列伝」バックナンバー ms以内のレイテンシと安全性をRTOSで両立するにはどうすればいいのか To
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く