freenode
4m agoRFC proposes common attestation subsystem and CTLV UAPI for TDX plus other providers; 150-message review covers validation, nesting, events and config. 7m agoESA team presents ATLAS, a Julia GNC simulator for Argonaut lunar lander, and discusses performance trade-offs vs MATLAB. 11m agoStable-bound /proc fixes close UAF, hangs, and readdir races 12m agov8 patch series adds TSM-backed vIOMMU and vDEVICE support in iommufd for confidential guest PCI assignment. 13m agoSwift core team pitches extending @backDeployed to fixed-layout types, enabling Span/Ref/etc. on older runtimes via metadata uniquing. 16m agoPatch series documents UBWC layout and fixes msm_framebuffer_init validation that accepted undersized buffers allowing DPU out-of-bounds reads. 21m agoKernel build series cuts allmodconfig times by up to 36% 21m agoSwift Evolution review of Cell/ConstCell/Volatile draws 43 messages on aliasing, Sendable, and C/C++ interop. 21m agoNadim Kobeissi posts preprint arguing ProVerif/Tamarin soundness arguments contain gaps and bugs, proposing they be called symbolic protocol analyzers instead of provers. 24m agoAuthors solicit feedback on draft embedding DNS answers in HTTP responses to cut resolution latency; early cross-WG technical discussion on formats and trust. 89m agoPractical attack breaks RLCE 128-bit PQC parameters 3h agoSCHED_DEADLINE fixes stop crashes and bandwidth leaks