並行プログラミング入門
複数のプログラムを同時に実行する「並行プログラミング」は、処理速度を飛躍的に向上させる手法で、タスク管理、プロセス管理、スレッド管理をはじめ、複雑な仕組みについての幅広い知識とテクニックが必要となります。本書はRustとアセンブリ、そして一部Cを用い、CPUのアトミック命令、グリーンスレッド、アクターモデル、π計算、ソフトウェア・トランザクショナルメモリ、async/awaitなど、並行プログラミングに関する理論的な背景から実装までをカバー。さらに、アセンブリ実装の理解を深めるため、AArch64とx86-64アーキテクチャの説明も付録として収録。一歩一歩、着実に理解できるように、その仕組みから順を追って詳しく説明します。GitHub上で公開されているソースコードを実際に動かしながら、並行プログラミングの知識と理解を深めることができます。 関連ファイル サンプルコード 正誤表 ここで紹介す
西浦博教授が描く「私が最も恐れ、怯えているシナリオ」の“中身”（西浦 博） @gendai_biz
ここまでの疫学的状況は？ 8月2日(月)、首都圏の神奈川県、埼玉県、千葉県と大阪府を対象に緊急事態宣言が発令された。これまでの東京都と沖縄県に加えて、感染者数が過去最多を記録しながら増加を続けていることを受けての判断である。 緊急事態宣言の一方で、流行に対する危機感が薄れていることを強く感じるのは私だけだろうか。若者のみならず中年を含めて成人の感染者数が増加を続けている。医療が逼迫しているのに、オリンピックが開催されている影響か、21時の公共放送のニュースも15分間だけであった。 これまでの高齢者中心の感染と異なり、50歳代を中心とした入院が目立っている。高齢者は予防接種の直接的効果や医療従事者接種の間接的効果などによって感染者数が著減しており、他方で全体の感染者数が増えたことが影響して、相対的に重症化したり入院を要したりしやすい50歳代の入院者が増えたのである。次いで40歳代が多い。 現
RustではじめるWebAssembly入門～JavaScriptを超える高速なWebアプリ開発を実践しよう
本連載では、Webブラウザー上でJavaScriptとともに動作できるバイナリ形式のプログラムファイル「WebAssembly」を、Rustプログラミング言語で実装する方法について、順を追って説明していきます。初回となる今回は、WebAssemblyの概要を説明するとともに、Rustを利用した簡単なサンプルで、実装方法のイメージを紹介します。 はじめに 現在、Webフロントエンド開発においては、ページ構造を表すHTML、スタイルを表すCSSとともに、挙動を実装するためにJavaScriptが利用されます。JavaScriptの登場当初はWebページに動きをつける程度の扱いでしたが、その後の言語仕様の拡張や、WebブラウザーでのJavaScript実行速度の向上、Node.jsなどWebブラウザー以外でJavaScriptを動作させる環境の登場などにより、本格的なプログラミング言語としてその
カルマンフィルターが自動運転の自己位置推定で使われるまで - TIER IV Tech Blog
はじめまして、ティアフォー技術本部 Planning / Controlチームで開発を行っている堀部と申します。 今回は状態推定の王道技術「カルマンフィルター」が実際に自動運転で用いられるまでの道のりやノウハウなどを書いていこうと思います。 みなさんはカルマンフィルターという言葉を聞いたことがありますでしょうか。 カルマンフィルターとは「状態推定」と呼ばれる技術の一種であり、自動運転においては現在の走行状態、例えば車速や自分の位置を知るために用いられます。 非常に有名な手法で、簡単に使えて性能も高く、状態推定と言えばまずカルマンフィルターと言われるほど不動の地位を確立しており、幅広いアプリケーションで利用されています。 使い勝手に定評のあるカルマンフィルターですが、実際に自動運転のシステムとして実用レベルで動かすためには多くの地道な作業が必要になります。 この記事では、カルマンフィルターが
Rust で Web バックエンド開発をはじめる | CyberAgent Developers Blog
こんにちは。サイバーエージェント AI 事業本部 Dynalyst にて、ソフトウェアエンジニアをしている豊田（@helloyuki_）です。また、Rust 領域における Next Experts も務めています。 先日、CA BASE NEXT という CyberAgent が開催する20代が中心のカンファレンス[^1]に、私も一応20代ということで登壇させていただきました。 内容は Web アプリケーション開発を Rust で行った体験談を語るというものでした。実際に2018年〜2020年頃に Rust をとあるチームのアプリケーションに導入し、引き継ぎのために何をしたかという内容をお話させていただきました。 セッション自体は25分しかなく、またコード例をスライドからかなり削るなど、CG スタジオ仕様への対応が必要でした。というわけで、十分に伝えたいことを盛り込めたわけではありませんで
「学術的に理解する」ってどういうこと? ：統計的因果推論のフレームワークから見た 「量的×質的」に関する眺望の (いささかとっちらかった)スケッチを共有する
統計的因果推論のフレームワークとはいかなるものかを理解することで、統計的因果推論がいかに質的な知見を（しばしば暗黙に）その基盤としているか、統計的因果推論のスコープがしばしば いかに”狭い&薄い”のかを議論しました。前半はDAG-潜在結果モデル-構造的因果モデルの統一的な解説です。後半はSUTVAと質的研究の話、固有性-法則性と斎藤清二先生のナラエビの話、筒井淳也(2019)と"キャンセルアウト"の是非の話、です。
The 5-hour CDN
The 5-hour CDN Author Name Kurt Mackey @mrkurt @mrkurt The term “CDN” (“content delivery network”) conjures Google-scale companies managing huge racks of hardware, wrangling hundreds of gigabits per second. But CDNs are just web applications. That’s not how we tend to think of them, but that’s all they are. You can build a functional CDN on an 8-year-old laptop while you’re sitting at a coffee sho
GitHub - riicchhaarrd/ocean: Programming language that compiles into a x86 ELF executable.
Add new or borrow from other language(s) features/ideas ontop of C, deviate away from just C defer operator overloading constexpr/consteval from c++ or some #run directive (https://github.com/BSVino/JaiPrimer/blob/master/JaiPrimer.md) learn from other similar projects (e.g https://news.ycombinator.com/item?id=27890888) array of struct to struct of arrays conversion and vice versa https://en.wikipe
The push for GATs stabilization | Rust Blog
Where to start, where to start... Let's begin by saying: this is a very exciting post. Some people reading this will be overwhelmingly thrilled; some will have no idea what GATs (generic associated types) are; others might be in disbelief. The RFC for this feature did get opened in April of 2016 (and merged about a year and a half later). In fact, this RFC even predates const generics (which an MV
Virgo: a Graph-based Configuration Language
Over the last few years, I've worked on open-source distributed systems in Go at Google. As a result, I've thought a lot about dependency management, systems configuration, programming languages, and compilers. Again and again, I saw the same fundamental data structure underpinning these technologies: the directed acyclic graph. The most frustrating part was modeling graph-based configuration in l
Leap seconds: Causing Bugs Even When They Don't Happen - Bert Hubert's writings
In 2015, four out of four BeiDou receivers messed up the day number (dn) difference between BeiDou and GPS/Galileo. We are now seeing the first bugs trickle in on “the great leap second absence of 2021”. First we heard was that certain U-Blox receivers accidentally report that a leap second is imminent. Recently we heard of a complicated bug in the very widely used gpsd package with the ominous ti
GitHub - vvaltchev/tilck: A Tiny Linux-Compatible Kernel
Tilck is an educational monolithic x86 kernel designed to be Linux-compatible at binary level. Project's small-scale and simple design makes it the perfect playground for playing in kernel mode while retaining the ability to compare how the very same usermode bits run on the Linux kernel as well. That's a rare feature in the realm of educational kernels. Because of that, building a program for Til
Renato Athaydes
How to write really slow Rust code How I tried to port Lisp code to Rust and managed to get a much slower program... and how to fix that! Photo by Sam Moqadam on Unsplash I have recently published a blog post that, as I had expected (actually, hoped for, as that would attract people to contribute to the “study”), generated quite some polemic on the Internet! The post was about an old study by Lutz
Announcing Axum | Tokio - An asynchronous Rust runtime
Today we are happy to announce axum: An easy to use, yet powerful, web framework designed to take full advantage of the Tokio ecosystem. High level features Route requests to handlers with a macro free API. Declaratively parse requests using extractors. Simple and predictable error handling model. Generate responses with minimal boilerplate. Take full advantage of the tower and tower-http ecosyste
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Slitter: a slab allocator that trusts, but verifies (in Rust, for C)
640 Pages in 15 Months – journal.stuffwithstuff.com
How does n-key rollover work?
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
your database connection deserves a name - Andy Grunwald
A Functional Programming Language with Versions
Egglog 2: Automatically Proving the Pullback of a Monic is Monic
Why are there no PUT and DELETE methods on HTML forms?
