Programming Deadlock
Kanalga Telegram’da o‘tish
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Ko'proq ko'rsatish1 876
Obunachilar
+624 soatlar
+127 kun
+4030 kun
Postlar arxiv
1 876
Memory Safety in a Modern Systems Programming (D)
https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a-modern-system-programming-language-pt-1/
1 876
Can You Trust a Compiler to Optimize Your Code? (Rust)
https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html
1 876
How to Use Monadic Operations for
std::optional in C++23
https://www.cppstories.com/2023/monadic-optional-ops-cpp23/1 876
Making a fast curry: push/enter vs. eval/apply for higher-order languages
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf
1 876
Complete Bidirectional Typing for the Calculus of Inductive Constructions
https://arxiv.org/pdf/2102.06513.pdf
1 876
macOS Containers: Containerize macOS apps and run them natively with Docker (Alpha)
https://macoscontainers.org/1 876
Writing a Debugger From Scratch (Rust)
https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/
1 876
Faster Integer Parsing
https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html
1 876
Address Sanitizer Internals
https://blog.gistre.epita.fr/posts/benjamin.peter-2022-10-28-address_sanitizer_internals/
1 876
GCC Preparing To Introduce "-fhardened" Security Hardening Option
https://www.phoronix.com/news/GCC-fhardened-Hardening-Option
1 876
How Hard is it to Adapt a Memory Allocator to CHERI?
https://tratt.net/laurie/blog/2023/how_hard_is_it_to_adapt_a_memory_allocator_to_cheri.html
