Formally Verified Cryptographic Web Applications in WebAssembly
Explore formal verification of cryptographic web apps in WebAssembly, focusing on compiling Low* to WebAssembly for compact, auditable code. Includes case studies on WHACL* and LibSignal*.
Create Istio Filters with Any Programming Language
Learn to create custom Istio filters using WebAssembly and ProxyWasm, enabling development in various programming languages, including interpreted ones, for extended service mesh functionality.
Love, Death and Robots - Running Wasm and Kubernetes on Boston Dynamics Spot
Explore containerization and Kubernetes on Boston Dynamics Spot robot, including Wasm integration, migration steps, and lessons learned for reliable, secure, and autonomous industrial robotics.
Containerd Project Update and Deep Dive
Explore containerd's latest updates, including Sandbox API and Transfer Service. Learn about upcoming 2.0 release, ecosystem expansion, and Rust integration in this comprehensive project overview.
Calling OPA from eBPF Through WASM in the Kernel - Exploring Unconventional Technology Integration
Explore the integration of eBPF, WASM, and OPA in kernel space, showcasing innovative approaches to cloud-native technologies and their potential impact on system performance and security.
Supercharge Your Kubernetes AI Deployments with WebAssembly
Optimize AI deployments on Kubernetes using WebAssembly for improved performance, security, and portability. Learn to leverage WASI and Krustlet for efficient machine learning model deployment.
Extending Kubernetes Core with WebAssembly Modules - Admission Controllers
Explore extending Kubernetes core components with WebAssembly modules, focusing on Admission Controllers for improved flexibility, predictability, and resource efficiency in edge deployments.
Exotic Runtime Targets: Ruby and Wasm on Kubernetes and GitOps Delivery Pipelines
Explore Ruby and WebAssembly deployment on Kubernetes, examining GitOps pipelines and the evolving landscape of runtime environments for developers seeking innovative solutions beyond traditional JavaScript.
Leveraging WebAssembly to Write Kubernetes Admission Policies
Learn to create efficient Kubernetes admission policies using WebAssembly, exploring advantages, security aspects, and practical implementation techniques.
Machine Learning in Fastly's Compute@Edge
Explore WebAssembly modules for efficient ML model execution in Fastly's Compute@Edge, covering wasi-nn extensions, host API revisions, and KServe protocol integration for enhanced performance.
Unlocking Advanced Docker Desktop Features with Containerd Image Store
Explore containerd's image store to enhance Docker Desktop with lazy-pulling, multi-platform support, and WebAssembly integration for improved containerized application development and operations.
Teaching ChatGPT a New Programming Language - Creating a Custom GPT for Keel
Learn to create a custom GPT-4 agent for Keel schema language, explore AI programming, and dive into web development with WebAssembly, TypeScript, and React. Gain insights on AI's potential in software engineering.
Extending Sidecarless Applications with Wasm in Istio Ambient Mesh
Explore Istio Ambient's sidecarless approach to extend cloud-native apps using Wasm. Learn to configure and deploy Wasm plugins dynamically, enhancing application functionality without restarts or sidecars.
The Falco Playground - WebAssembly and Runtime Security
Explore Falco Playground: a WebAssembly-powered web app for writing and testing Falco rules, enabling runtime security for Linux systems and cloud logs anywhere, with enhanced portability and accessibility.
eBPF and WebAssembly for Lightweight Observability in Kubernetes
Explore how eBPF and WebAssembly combine to enhance lightweight observability in Kubernetes clusters, offering efficient network traffic management and streamlined deployment of eBPF programs.
SIG Scheduling Updates - Recent Improvements and Ongoing Discussions
Explore recent improvements in Kubernetes scheduling, including kube-scheduler enhancements, kueue project advancements, and new WASM-based scheduling plugins initiatives.
IPVM - Bringing Wasm-Based Edge Compute to IPFS
Explore IPVM and UCAN Invocations: revolutionizing open services with verifiable data and computation, enabling seamless interoperability and superlinear scaling for the next generation of networked systems.
Snapcrafting on a Tablet - A Development Adventure
Exploring Snapcraft development on tablets, comparing Ubuntu Touch and iPad capabilities, and demonstrating the potential of mobile Linux app creation with WebAssembly integration.
Extending and Customizing Istio with WebAssembly
使用WebAssembly扩展Istio,实现动态路由、调试和策略执行。通过实例演示WASM插件在多集群环境中的开发和部署,展示其灵活性和可维护性。
Everywhere Computer Overview - Introduction to IPVM and Wasm Functions
Overview of Everywhere Computer: background, IPVM, Homestar Rust implementation, and Wasm functions. Learn about local installation, beta signup, and community discussions.
Strategies for Efficient LLM Deployments in Any Cluster
Explore strategies to optimize LLM deployments in Kubernetes clusters, focusing on reducing model size, improving resource utilization, and balancing performance with efficiency for cloud-to-edge scenarios.