Researchers formally verified a multi-generation garbage collector in Rocq+VST, written in C and compatible with OCaml data types. The verification uses a modular API specification independent of implementation details, demonstrating adequacy through verified client programs and supporting components like forwarding functions.
A security researcher exploited a public Linux kernel bug in Google's kernelCTF challenge by manipulating CPU TLB shootdown behavior to maintain a stale memory mapping, then convinced the kernel to recycle the underlying physical page as a page table, ultimately gaining control to retrieve the flag. The exploit leveraged existing public vulnerability details rather than discovering a new bug.
A developer who ported a TypeScript system to GDScript shares a detailed analysis of the language's strengths, weaknesses, and design choices. GDScript was purpose-built for game development in Godot, offering native game-dev types, no garbage collector, first-class signals, and tight engine integration, though it has trade-offs in performance and feature completeness compared to general-purpose languages.
Operating system developer debugged a critical type size discrepancy where unsigned long was 32 bits on their custom OS but 64 bits on Linux, causing timing functions to fail. After switching to explicit u32 and u64 typedefs and enhancing utility functions like itoa, memset overloads, and a newline-aware print function, the issue was resolved.
Oilpan is a garbage collector for C++ that manages memory in Chromium's Blink rendering engine by treating tangled C++/JavaScript object graphs as a single heap. The Mark-Sweep collector uses precise pointer tracking via the visitor pattern and conservative stack scanning, and is being moved from Blink to V8 as a library for broader C++ developer use.
A Golang developer with 10 years of experience argues that Odin, a new programming language combining features from Go, Rust, and array programming, addresses Go's limitations including slow compilation, garbage collection issues, and poor error handling. Despite lacking macros and a package manager, Odin offers simpler semantics, better generics, manual memory management, and is production-ready for backend and game development.
A C++ pointer cannot distinguish host from device memory, creating a type system vulnerability where GPU data accessed from the host compiles but crashes at runtime. Vx fixes this by encoding memory space directly in the type signature, making unsafe memory accesses a compile-time error instead.
A technical article arguing that East Asian mathematical and mechanical systems from the 11th–14th centuries provide frameworks for understanding modern concurrent programming, specifically using classical Chinese logic to model thread-safe memory deallocation and prevent double-free errors in systems like C.
When modifying a window class's GCL_CBWNDEXTRA value, the change applies only to newly created windows, not existing ones. Windows retain their original extra byte allocation from creation time, and attempting to access bytes beyond what was originally allocated results in an error, potentially creating confusing situations where GetClassLong and GetWindowLong report different effective ranges.