最近验证的频道：

ch

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 600 技术与应用31 185

1 791

订阅者

+124 小时

+107 天

+4230 天

912

帖子浏览量

~ 39624 小时

~ 47148 小时

50.95%

参与率

无数据

每日帖子数

帖子存档

1 792

Harnessing the Universal Geometry of Embeddings https://arxiv.org/abs/2505.12540

1 792

Linkers and Loaders https://www.iecc.com/linker/

1 792

Function pointers in C https://frama-c.com/2013/08/24/Function-pointers-in-C.html

1 792

Programming in Martin-Löf ’s Type Theory https://www.cse.chalmers.se/research/group/logic/book/book.pdf

1 792

Understanding Effective Type Aliasing in C https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf

1 792

Dynamic Instrumentation of Production Systems (DTrace) https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf

1 792

Heron: Modern Hardware Graph Reduction https://dl.acm.org/doi/pdf/10.1145/3652561.3652564

1 792

Introduction to Micro-Optimization https://specbranch.com/posts/intro-to-micro-optimization/

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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

1 792

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 792

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

1 792

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

1 792

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

1 792

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

1 792

2404.04552v3.pdf