CBOR Security
Types for more than memory safety in OxCaml β Stephen Dolan β VeTSS 2026 [video]
Β πType Safety Β Content type: VideoLess-relevant results
Making the OWASP top ten in the vibe code eraβββββο»Ώβο»Ώββββββο»Ώο»Ώβο»Ώβββββββββο»Ώββββββο»Ώββββββο»Ώβββββββο»Ώβο»Ώββββββο»Ώββββββο»Ώβββο»Ώββββο»Ώβββββββο»Ώο»Ώββββββο»Ώββββββββββο»Ώβββββββββββββββο»Ώβββββββββββο»Ώβββο»Ώβββο»Ώβββο»Ώβο»Ώβο»Ώββββο»Ώο»Ώββο»Ώο»Ώβββο»Ώββο»Ώββ...
Β πSupply Chain Β Content type: BlogIntroducing Soteria: A New Generation of Static Analysis for Rust
Β πType Safety Β Content type: BlogRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Β πType Safety Β Content type: Blog Β Content type: DiscussionIntroducing SupXML, the modern memory-safe XML parser alternative to libxml2
Β π·XML Β Content type: BlogShow HN: GitHub Copilot port of Anthropic's AI vulnerability discovery harness
Β π§ͺBinary Fuzzing Β Content type: CodeSET: Stream-Event-Triggered Scheduling for Efficient CUDA Graph Pipelines
Β β‘Parallel Computing Β Content type: AcademicNo more posts from matmat's subscribed feeds.