Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 581 技术与应用31 123

1 792

订阅者

+124 小时

+107 天

+4330 天

930

帖子浏览量

~ 39624 小时

~ 46448 小时

51.93%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 792

The Computational View of Time https://writings.stephenwolfram.com/2024/10/on-the-nature-of-time/

1 792

Building a Secure Software Supply Chain with GNU Guix https://arxiv.org/abs/2206.14606

1 792

Handling Bidirectional Control Flow https://dl.acm.org/doi/pdf/10.1145/3428207

1 792

What P vs NP is actually about https://vasekrozhon.wordpress.com/2024/08/18/what-p-vs-np-is-actually-about/

1 792

Quantum circuits compiler with staging and continuations https://github.com/Kraks/quantum-compiler

1 792

x86/PVM: Introduce a new hypervisor on top of KVM https://lore.kernel.org/lkml/CABgObfaSGOt4AKRF5WEJt2fGMj_hLXd7J2x2etce2ymvT4HkpA@mail.gmail.com/T/#m5380166ee3c0ce945348e361d39bf5ca577a1fbe

1 792

Value-Dependent Session Design in a Dependently Typed Language

1 792

Cosmopolitan libc: The Fastest Mutexes https://justine.lol/mutex/

1 792

Automatically Proving Equivalence by Type-Safe Reflection

1 792

Reflection in C++26 https://youtu.be/vRda0mGYg_A?si=-TVsz3GNJYtgUw1x

1 792

A Brief History of Microprogramming https://people.computing.clemson.edu/~mark/uprog.html

1 792

LLVM MLIR: Multi-Level IR Compiler Framework https://mlir.llvm.org/

1 792

Safety Goggles for Alchemists https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/

1 792

Code Generation in Rust vs C++26 https://brevzin.github.io/c++/2024/09/30/annotations/

1 792

Advanced C: The UB and optimizations that trick good programmers https://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc

1 792

Cello: A Fat Pointer Library https://libcello.org/learn/a-fat-pointer-library

1 792

Total Denotational Semantics https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html

1 792

What Vale Taught Me About Linear Types, Borrowing, and Memory Safety https://verdagon.dev/blog/linear-types-borrowing

1 792

Minix3 https://en.m.wikipedia.org/wiki/Minix_3

1 792

Dependent Types in ATS https://bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html