Fedora Asahi Remix - Updates and Developments
Explore Fedora Asahi Remix: updates on Apple Silicon support, installation process, and community contributions. Learn about hardware compatibility, drivers, and innovative features.
Tracing the Linux Networking Stack with Retis
Explore Linux network tracing with Retis, a comprehensive tool for complex infrastructures. Learn its features, future plans, and potential through a live demo.
A Type System for Safe Intermittent Computing
Explore a novel type system approach for safe intermittent computing in energy-harvesting devices, addressing idempotence requirements and improving programmability for batteryless systems.
Wait-Free Weak Reference Counting - ISMM 2023
Explore a wait-free algorithm for weak reference counting, improving performance in high-contention scenarios. Learn about implementation, correctness proofs, and performance benchmarks for memory management optimization.
Specifying Smart Contracts with Hax and ConCert
Explore high-assurance smart contracts using Hax toolchain and ConCert for embedding, specifying security properties, and verification in Rust.
A Tale of Two Asyncs - Open Source Language Design in Rust and Node.js
Explore asynchronous programming in Rust and Node.js, comparing language design approaches, technical constraints, and governance models to understand open source language evolution.
Proof Theory Impressionism - Blurring the Curry-Howard Line
Exploring approaches to bridge the gap between proof assistants and production languages, focusing on Rust and its potential for incorporating provable system capabilities.
Type-Driven API Design in Rust
Explore Rust's unique approach to API design using traits and type systems. Learn to create composable interfaces that catch errors at compile-time, enhancing code safety and efficiency.
Safe and Secure Drivers in High-Level Languages
Explore writing PCIe drivers in modern languages like Rust and Go, focusing on safety, security, and performance. Learn techniques for user-space implementation and hardware isolation.
Treiber in High-Level Programmiersprachen
Netzwerktreiber-Implementierung in verschiedenen Hochsprachen: Vergleich von Sicherheitsfeatures, Performance und Komplexität für Intel 10 Gbit/s Karten in Rust, Go, OCaml, Haskell, C#, Python und Swift.
Level Up Your Concurrency Skills With Rust
Explore Rust's approach to safe concurrent programming, learning how it catches errors at compile time and enhances your skills across languages. Gain insights into race conditions and memory safety.
Rust for C++ Developers - What You Need to Know to Get Rolling With Crates
Explore Rust's advantages over C++ for safe, concurrent programming. Learn about ownership, enums, traits, and using external packages to write elegant code.
Whoops! I Rewrote it in Rust
Explore rewriting a C caching framework in Rust, discussing performance challenges, benefits of Rust tooling, and new features like efficient TTL sorting and PMEM support.
Web Assembly - The Future of JS and a Multi-Language Web
Explore WebAssembly's potential to revolutionize web development by enabling multiple languages to run in browsers, enhancing performance and expanding possibilities beyond JavaScript.
From Napkin to the Cloud - A WebAssembly Journey
Explore WebAssembly's impact on software development, from concept to cloud deployment. Learn to build cloud-native apps with polyglot actors using wasmCloud, enhancing scalability and performance without complex re-architecture.
Parsec - A New Platform Abstraction for Security
Explore Parsec, an open-source platform for standardized security interfaces. Learn about its API, architecture, and integration with hardware-backed security features across platforms.
Rust in the Cloud
Experts discuss Rust's future in cloud computing, exploring community dynamics, technical advancements like async/await, and requirements for success in the cloud space.
Allocating Less - Really Thin Rust Cloud Apps
Optimize Rust cloud apps for minimal memory usage through profiling, improved APIs, efficient data structures, and smart allocation choices. Boost performance with practical tips and benchmarking strategies.
Cloud-native Security in Rust with Keylime
Explore Keylime's scalable remote boot attestation and runtime integrity measurement solution, focusing on the recent port of a key component from Python to Rust for enhanced cloud-native security.
WebAssembly as a Cloud-Native Runtime for Serverless Functions
Explore WebAssembly as a lightweight alternative to VMs and containers for serverless functions, enabling deployment on edge devices and legacy systems with improved performance and resource efficiency.
Machine Learning with Wasm - WASI-NN
Explore machine learning with WebAssembly using WASI-NN for near-native performance on various devices. Learn interface design, implementation, and build an image classification app.