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 685

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 684

Formal Objects in Type Theory Using Very Dependent Types http://www.cs.cornell.edu/jyh/papers/fool3/paper.pdf

1 684

C Coding Style Guide https://github.com/mcinglis/c-style

1 684

CspChan: A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects https://github.com/rochus-keller/CspChan

1 684

Defunctionalized Interpreters for Programming Languages http://jfla.inria.fr/2014/danvy-ICFP08.pdf

1 684

Notes on Rust mutable aliasing and formal verification https://graydon2.dreamwidth.org/312681.html

1 684

Translation of the Rust's core and alloc crates to Coq for formal verification https://formal.land/blog/2024/04/26/translation-core-alloc-crates

1 684

High-performance Cubical Evaluation https://github.com/AndrasKovacs/cctt

1 684

Garbage collection with zero cost at non-GC time https://gist.github.com/AndrasKovacs/fc9e20b0976b7e236b5899fde8f5c95d

1 684

Exploring GNU extensions in the Linux kernel https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel

1 684

Optimizing Clickhouse: The Tactics That Worked for Us https://www.highlight.io/blog/lw5-clickhouse-performance-optimization

1 684

Abstract Interpretation as a Programming Language https://arxiv.org/pdf/1309.5133v1

1 684

Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second) http://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf

1 684

A multi-level tensor algebra superoptimizer https://github.com/mirage-project/mirage

1 684

Homoiconic Python https://aljamal.substack.com/p/homoiconic-python

1 684

Interactive C/C++ preprocessor macro debugger https://github.com/notfoundry/ppstep

1 684

Taming Code Explosion in Supercompilation https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf

1 684

Introduction to Homotopy Type Theory https://arxiv.org/abs/2212.11082

1 684

Implementing term rewriting by jungle evaluation https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf

1 684

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine https://dl.acm.org/doi/pdf/10.1145/3549822

1 684

Bun's New Crash Reporter (Zig/C++) https://bun.sh/blog/bun-report-is-buns-new-crash-reporter