はてなブックマーク

Loom is a tool for testing concurrent programs. Background Testing concurrent programs is challenging. The Rust memory model is relaxed and permits a large number of possible behaviors. Loom provides a way to deterministically explore the various possible execution permutations. Consider a simple example: use std::sync::Arc; use std::sync::atomic::AtomicUsize; use std::sync::atomic::Ordering::SeqC

macro_rules! _01__await_a_minute { ({ date: "August 8, 2019", author: "David Tolnay", }) => { ... }; } Await a minute, why bother? by David Tolnay , 2019.08.08 Recently I have been retooling some core Rust libraries at $work to play nicely with native async/await syntax. This note covers my thoughts on why this feature is so important to our async codebase if it's "just" syntax sugar for a job tha

Actix web is a small, pragmatic, and extremely fast web framework for Rust. use actix_web::{web, App, Responder, HttpServer}; fn index(info: web::Path<(String, u32)>) -> impl Responder { format!("Hello {}! id:{}", info.0, info.1) } fn main() -> std::io::Result<()> { HttpServer::new(|| App::new().service( web::resource("/{name}/{id}/index.html").to(index)) ) .bind("127.0.0.1:8080")? .run() } Docume

Immutable Data Structures for Rust This library implements several of the more commonly useful immutable data structures for Rust. They rely on structural sharing to keep most operations fast without needing to mutate the underlying data store, leading to more predictable code without necessarily sacrificing performance. Because Rust is not a garbage collected language, and immutable data structur

SeaHash: A blazingly fast, portable hash function with proven statistical guarantees. SeaHash is a hash function with performance better than (around 3-20% improvement) xxHash and MetroHash. Furthermore, SeaHash has mathematically provable statistical guarantees. SeaHash is a portable hash function, meaning that the output is not dependent on the hosting architecture, and makes no assumptions on e

Core types and functionalities for Phoenix, a privacy-preserving ZKP-based transaction model Nerve is a tool that allows creating stateful agents with any LLM of your choice - without writing a single line of code. The tool provides to the model a framework of functionalities for planning, saving or recalling memories, etc by dynamically adapting the prompt and making it stateful over multiple inf