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 803 Texnologiyalar & Aralashmalar34 211

1 683

Obunachilar

-424 soatlar

+77 kunlar

+3530 kunlar

1 163

Post ko'rishlar

~ 33724 soatlar

~ 39048 soatlar

69.14%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 683

0+0 > 0: C++ thread-local storage performance https://yosefk.com/blog/cxx-thread-local-storage-performance.html

1 683

Principles of a reversible programming language https://dl.acm.org/doi/abs/10.1145/1366230.1366239

1 683

The Dafny Programming and Verification Language https://dafny.org/

1 683

How Does Ada's Memory Safety Compare Against Rust? https://ajxs.me/blog/How_Does_Adas_Memory_Safety_Compare_Against_Rust.html

1 683

Type Inference in Rust and C++ https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/

1 683

Safe C++ by Sean Baxter https://safecpp.org/draft.html

1 683

Tiny Pointers

1 683

Fun with C++26 reflection - Keyword Arguments https://pydong.org/posts/KwArgs/

1 683

LinuxPDF: Linux running inside a PDF file via a RISC-V emulator https://github.com/ading2210/linuxpdf

1 683

Logical harmony https://en.wikipedia.org/wiki/Logical_harmony

1 683

Mini-R1: Reproduce Deepseek R1 "aha moment" a RL tutorial https://www.philschmid.de/mini-deepseek-r1

1 683

Categorical Uniﬁcation http://umu.diva-portal.org/smash/get/diva2:142802/FULLTEXT01

1 683

Anti-unification and Generalization: A Survey https://arxiv.org/pdf/2302.00277

1 683

HyperLogLog is an algorithm for the count-distinct problem, approximating the number of distinct elements in a multiset. https://en.wikipedia.org/wiki/HyperLogLog

1 683

Cloud virtualization: Red Hat, AWS Firecracker, and Ubicloud internals https://www.ubicloud.com/blog/cloud-virtualization-red-hat-aws-firecracker-and-ubicloud-internals

1 683

A WebAssembly compiler that fits in a tweet https://wasmgroundup.com/blog/wasm-compiler-in-a-tweet/

1 683

Examples of quick hash tables and dynamic arrays in C https://nullprogram.com/blog/2025/01/19/

1 683

Reverse Engineering Call Of Duty Anti-Cheat https://ssno.cc/posts/reversing-tac-1-4-2025/

1 683

Type Inference in Rust and C++ https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/

1 683

A garden of small programming language implementations 🪴 https://github.com/brendanzab/language-garden