The Internals of Veilid - A New Decentralized Application Framework
Explore the architecture and capabilities of Veilid, an open-source P2P framework enabling secure messaging and decentralized applications through private routing, strong encryption, and cross-platform compatibility.
Is Wasm Becoming Garbage? - WebAssembly and Garbage Collection
Explore WebAssembly's new garbage collection feature, its design rationale, and implications for compilers targeting object-oriented and functional languages.
Generating Conforming Programs with Xsmith
Explore Xsmith, a Racket library for efficient fuzz testing of programming languages. Learn to create conforming programs for differential testing with minimal code, finding bugs in various language implementations.
Keeping the asm in Wasm - Running High-Level Languages on a Low-Level VM
Explore WebAssembly's design for running high-level languages on a low-level VM, addressing challenges and performance optimizations for dynamic languages.
Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24
Explore scaling deductive verification for smart contracts using abstract interpretation. Learn about pointer analysis algorithms, program simplifications, and challenges in low-level code analysis.
What is a WebAssembly Component and Why - WAW'24
Explore the WebAssembly Component Model proposal, its motivations, technical design, and upcoming releases for cross-language, portable module development.
Generating Executable Specification from Formal Semantics of WebAssembly
Explore automatic generation of algorithmic artifacts from WebAssembly's formal semantics using a domain-specific language, streamlining the standardization process for new features.
WALI: A Thin Linux Kernel Interface for WebAssembly
Explore WALI, a thin layer enabling WebAssembly to interact seamlessly with Linux systems, enhancing application portability and security while leveraging existing compiler backends.
Type-Safe Web Development with C++ Using WebAssembly and Typescripten
Explore type-safe C++ web development using WebAssembly, emscripten, and typescripten. Learn to create wrappers for JavaScript APIs and overcome challenges in translating prototype-based semantics to C++.
Your Lambdas in Rust - Building Efficient Serverless Functions
Explore Rust-based Lambda functions for cloud-native development, enhancing performance and reliability in serverless architectures.
Turning Smart Contracts into Indexers with Cross-Compilation in Rust
Explore cross-compilation techniques to transform smart contracts into indexers using Rust. Learn key concepts, blockchain basics, and practical applications with Aurora Engine.
Build a Serverless WebAssembly App in Python Using Spin
Explore WebAssembly's potential in cloud computing. Learn to build serverless apps with Python and Spin, understanding WASM's benefits and its impact on cloud architecture.
The Future of Cloud Computing with WebAssembly
Explore WebAssembly's potential to revolutionize cloud computing, from its bytecode format to its impact on multitenancy and Kubernetes integration.
Go-ing Serverless with WebAssembly - Conf42 Golang 2024
Explore serverless WebAssembly with Go, covering Spin framework, TinyGo, and deployment to Fermyon Cloud and SpinKube. Learn to build and run efficient serverless applications.
Hyper-Efficient Serverless Workloads on Kubernetes with Spinkube
Explore WebAssembly and Spinkube for efficient serverless workloads on Kubernetes. Learn to build, deploy, and operate WASM modules for enhanced application portability and compute performance.
How to Make Your First Contribution to a CNCF Project
Learn to contribute to CNCF open source projects. Explore the ecosystem, from containers to AI, and discover various programs designed to support new contributors in making their first open source contribution.
Deep Dive Into Traefik 3.0
Explore Traefik 3.0's new features for simplified service management, including Open Telemetry support, GatewayAPI integration, and WASM plugins for custom middleware.
Build and Manage WebAssembly Applications Using Container Tools
Explore building and managing WebAssembly applications with familiar container tools. Learn to create, publish, and deploy Wasm apps alongside Linux containers for flexible cloud-native architectures.
WebAssembly and Ubuntu Containers: The Power Couple
Explore WebAssembly's potential in cloud environments and learn to install, develop, and deploy Wasm applications in Ubuntu-based systems using WasmEdge runtime and Kubernetes integration.
Jamming with CRI-O and crun: Facilitating the Convergence of AI, WASM, and Kubernetes - DevConf.US 2024
Explore WASM integration in Kubernetes for AI model deployment, optimizing workloads with CRI-O and crun. Gain insights into cutting-edge developments at the intersection of WASM, Kubernetes, and AI.
A Guide to Debugging C++ Code - Practical and Interactive Examples
Master debugging techniques for C++ code through real-world examples. Learn to reproduce, locate, understand, and fix complex bugs using effective tools and strategies for robust software development.