Programming Deadlock

Open in Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

USA11 778 Technologies & Applications34 093

1 686

Subscribers

No data24 hours

+67 days

+3330 days

1 133

Post views

~ 32424 hours

~ 38648 hours

67.24%

Engagement rate

No data

Posts per day

Ads index

beta

Posts Archive

1 686

Arena allocator tips and tricks https://nullprogram.com/blog/2023/09/27/

1 686

Writing a Debugger From Scratch (Rust) https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/

1 686

Faster Integer Parsing https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html

1 686

Lightweight Memory Tracing

1 686

Address Sanitizer Internals https://blog.gistre.epita.fr/posts/benjamin.peter-2022-10-28-address_sanitizer_internals/

1 686

When Zig is safer and faster than Rust https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

1 686

GCC Preparing To Introduce "-fhardened" Security Hardening Option https://www.phoronix.com/news/GCC-fhardened-Hardening-Option

1 686

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

1 686

When Zig Outshines Rust: Memory Efficient Enum Arrays https://alic.dev/blog/dense-enums

1 686

Brief Introduction to Queueing Theory https://github.com/joelparkerhenderson/queueing-theory

1 686

How FoundationDB works and why it works https://blog.the-pans.com/notes-on-the-foundationdb-paper

1 686

N-Queens Problem in Prolog https://youtu.be/l_tbL9RjFdo?si=7-au55mZ9pvvs5B0

1 686

The Power of Prolog https://www.metalevel.at/prolog/facets

1 686

A not-so-quick introduction to the C++ allocator model https://quuxplusone.github.io/blog/2023/06/02/not-so-quick-pmr/

1 686

Advanced x86: Virtualization with Intel VT-x https://opensecuritytraining.info/AdvancedX86-VTX.html

1 686

Rethinking Supercompilation https://ndmitchell.com/downloads/paper-rethinking_supercompilation-29_sep_2010.pdf

1 686

Philosophy of coroutines https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-philosophy/

1 686

Writing custom C++20 coroutine systems https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-c++20/

1 686

Souper: a superoptimizer for LLVM IR. It uses an SMT solver to help identify missing peephole optimizations in LLVM's midend optimizers. https://github.com/google/souper

1 686

The Expression Problem, Trivially! https://i.cs.hku.hk/~bruno/papers/Modularity2016.pdf