Programming Deadlock

رفتن به کانال در Telegram

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

نمایش بیشتر

الولايات المتحدة الأمريكية10 584 فناوری و برنامه‌ها31 239

1 789

مشترکین

+424 ساعت

+117 روز

+4330 روز

1 001

نمایش های پست

~ 40424 ساعت

~ 47348 ساعت

55.95%

نرخ مشارکت

اطلاعاتی وجود ندارد

پست های در روز

Ads index

beta

آرشیو پست ها

1 790

A Higgs-bugson in the Linux Kernel https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/

1 790

The Green Tea Garbage Collector https://go.dev/blog/greenteagc

1 790

Atomic Commit In SQLite https://sqlite.org/atomiccommit.html

1 790

Barebones RISC-V OS written in Zig https://timmy.moe/blog/barebones-os-zig/

1 790

ISO C++ Core Guidelines https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines

1 790

Why C variable argument functions are an abomination (and what to do about it) https://h4x0r.org/vargs/

1 790

SSA (Static Single Assignment) Compilers https://mcyoung.xyz/2025/10/21/ssa-1/

1 790

Bjarne Stroustrup's FAQ https://www.stroustrup.com/bs_faq.html

1 790

Functional C++: Abusing the type system like never before https://functionalcpp.wordpress.com/

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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 790

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

1 790

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 790

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

1 790

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

1 790

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