A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors Katsuhiro Ueno, Atsushi Ohori (preprint) A Glimpse of Hopjs Manuel Serrano, Vincent Prunet (preprint from HAL) A Lambda-Calculus Foundation for Universal Probabilistic Programming Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak (preprint from arXiv) A New Verified Compiler Backend for CakeML Yo
Apple File System is a new, modern file system for iOS, macOS, tvOS, and watchOS. It is optimized for Flash/SSD storage and features strong encryption, copy-on-write metadata, space sharing, cloning for files and directories, snapshots, fast directory sizing, atomic safe-save primitives, and improved file system fundamentals. APFS replaces HFS+ as the default file system for iOS 10.3 and later, an
Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. In this post, I will introduce reagents, a composable, lock-free concurrency library for expressing fine-grained parallel programs on Multicore OCaml. Reagents offer a high-level DSL for experts to specify efficient concurrency libraries, but also allows the consumers of
Japanese Translation In this article we’re going to write a simple 2D platform game. You can also consider this as a tutorial for game development with SDL2 in Nim. We will read in user input, display graphics and a tile map, and simulate simple 2D physics with collision detection and handling. Afterwards we will implement simple camera movement and game logic. To display some information we will
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く