uz
Feedback
Programming Deadlock

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'rsatish
1 684
Obunachilar
-124 soatlar
+127 kunlar
+4330 kunlar
Postlar arxiv
NL.pdf

Hyperfunctions: Communicating Continuations https://doisinkidney.com/pdfs/hyperfunctions.pdf

MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language https://esumii.github.io/min-caml/paper.pdf

Memory is slow, Disk is fast (C) https://www.bitflux.ai/blog/memory-is-slow-part2/

Exploring x86 ASM: Building my own malloc and free https://sayujya-apte.github.io/posts/exploring_x86asm_part1/

C++ Standard Evolution Viewer: interactive way to explore changes in the C++ standard by viewing side-by-side diffs of individual sections https://cppevo.dev/

hotos-ffi.pdf

Patterns for Defensive Programming in Rust https://corrode.dev/blog/defensive-programming/

C++20 concepts are structural: What, why, and how to change it? https://www.foonathan.net/2021/07/concepts-structural-nominal/

Fil-C: achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s rules https://fil-c.org/how

Practical Security in Production: Hardening the C++ Standard Library at massive scale https://queue.acm.org/detail.cfm?id=3773097

The BEAM Book: Understanding the Erlang Runtime System https://blog.stenmans.org/theBeamBook/