Programming Deadlock

الذهاب إلى القناة على Telegram

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

1 682

المشتركون

-124 ساعات

+127 أيام

+4330 أيام

1 231

عرض المشاهدات

~ 33724 ساعات

~ 40048 ساعات

73.01%

معدل المشاركة

لا توجد بيانات

المشاركات في اليوم

Ads index

beta

أرشيف المشاركات

1 683

Propositions as Types https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf

1 683

Type Theory as a Language Workbench https://arxiv.org/pdf/2301.12852

1 683

Selecting and covering colored points https://www.sciencedirect.com/science/article/pii/S0166218X18302695

1 683

Monotone 3-Sat-(2,2) is NP-complete https://arxiv.org/pdf/1912.08032

1 683

Implicit computation complexity in higher-order programming languages https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf

1 683

Computation by Interaction for Space-Bounded Functional Programming https://www.ulrichschoepp.de/Docs/intml_long.pdf

1 683

Structure and Interpretation of Computer Programs (SICP) https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html

1 683

Resource Polymorphism https://arxiv.org/abs/1803.02796

1 683

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

1 683

Programming in D: Tutorial and Reference https://ddili.org/ders/d.en/

1 683

Optimizations in C++ Compilers https://queue.acm.org/detail.cfm?id=3372264

1 683

2404.04552v3.pdf

1 683

explicit-level-imports.pdf

1 683

The quest for the fastest linked list https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/

1 683

BMI2, an x86-64 expansion of bit-manipulation instructions by Intel. https://www.chessprogramming.org/BMI2

1 683

Functional Monadic Library for Ocaml https://github.com/hbr/fmlib

1 683

Designing a SIMD Algorithm from Scratch (Rust) https://mcyoung.xyz/2023/11/27/simd-base64/

1 683

Go Arenas https://mcyoung.xyz/2025/04/21/go-arenas/

1 683

Detecting if an expression is constant in C https://nrk.neocities.org/articles/c-constexpr-macro

1 683

How to derive the Y combinator https://tcpc.me/2021/12/30/y-combinator.html