Programming Deadlock

Открыть в Telegram

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

Больше

США10 605 Технологии и приложения31 117

1 791

Подписчики

-124 часа

+77 дней

+4230 день

938

Просмотры поста

~ 34824 часа

~ 46448 часов

52.40%

Коэффициент вовлеченности

Нет данных

Постов в день

Ads index

beta

Архив постов

1 791

Type Systems Luca Cardelli http://lucacardelli.name/Papers/TypeSystems.pdf

1 791

Dictionary of Algorithms and Data Structures (G-old) https://xlinux.nist.gov/dads/

1 791

Applied Category Theory Course https://math.ucr.edu/home/baez/act_course/

1 791

macOS Containers: Containerize macOS apps and run them natively with Docker (Alpha) https://macoscontainers.org/

1 791

27 Unhelpful Facts About Category Theory https://youtu.be/H0Ek86IH-3Y?si=GKN_nmBpVfMCEnC1

1 791

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

1 791

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

1 791

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

1 791

Lightweight Memory Tracing

1 791

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

1 791

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

1 791

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

1 791

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 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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

1 791

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