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

AQSH11 792 Texnologiyalar & Aralashmalar34 222

1 684

Obunachilar

-124 soatlar

+127 kunlar

+4330 kunlar

1 231

Post ko'rishlar

~ 33724 soatlar

~ 40048 soatlar

73.01%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 683

Capabilities: Linux Privilege Escalation https://juggernaut-sec.com/capabilities/

1 683

Kinds Are Calling Conventions https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf

1 683

The Future of Boost (C++) https://cppalliance.org/boost/2023/05/08/Future-of-Boost.html

1 683

Synquid synthesizes programs from refinement types. https://github.com/nadia-polikarpova/synquid/tree/master

1 683

Prime Numbers Show Unexpected Patterns of Fractal Chaos https://www.scientificamerican.com/article/mathematicians-discover-prime-number-pattern-in-fractal-chaos/

1 683

Triangulation in Rewriting https://drops.dagstuhl.de/storage/00lipics/lipics-vol015-rta2012/v20120508-organizer-final/LIPIcs.RTA.2012.240/LIPIcs.RTA.2012.240.pdf

1 683

Enhancing Locality for Recursive Traversals of Recursive Structures https://dl.acm.org/doi/pdf/10.1145/2048066.2048104

1 683

CompCert C verified compiler: a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors https://github.com/AbsInt/CompCert

1 683

How we found a bug in Go's arm64 compiler https://blog.cloudflare.com/how-we-found-a-bug-in-gos-arm64-compiler/

1 683

Choose Boring Technology https://mcfunley.com/choose-boring-technology

1 683

Programming in Assembly without an Operating System https://youtu.be/ZFHnbozz7b4?si=_9eqsvsyIqW3FVad

1 683

C++26: std::optional<T&> https://www.sandordargo.com/blog/2025/10/01/cpp26-optional-of-reference

1 683

Mic-E-Mouse: Covert Eavesdropping through Computer Mice https://sites.google.com/view/mic-e-mouse

1 683

More speculations on arenas in C++ https://nullprogram.com/blog/2025/09/30/

1 683

86-020.pdf

1 683

How I Block All 26 Million Of Your Curl Requests (eBPF) https://foxmoss.com/blog/packet-filtering/

1 683

PPMP-Iceberg: Preprocessor metaprogramming knowledge obscurity chart https://jadlevesque.github.io/PPMP-Iceberg/explanations

1 683

A 'for each' loop macro, with unlimited number of iterations https://github.com/HolyBlackCat/macro_sequence_for

1 683

Zig Builds Are Getting Faster https://mitchellh.com/writing/zig-builds-getting-faster

1 683

Defer: Resource cleanup in C with GCCs magic https://oshub.org/projects/retros-32/posts/defer-resource-cleanup-in-c-with-gccs-magic