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 днів

+4330 день

930

Перегляди допису

~ 39624 години

~ 46448 годин

51.93%

Коефіцієнт залучення

Немає даних

Дописів на день

Ads index

beta

Архів дописів

1 792

Recursive Programming - Dijkstra (1960)

1 792

Compiling C to Safe Rust, Formalized https://arxiv.org/pdf/2412.15042

1 792

Parsing millions of URLs per second (C++) https://onlinelibrary.wiley.com/doi/10.1002/spe.3296

1 792

C++ Is An Absolute Blast https://learncodethehardway.com/blog/31-c-plus-plus-is-an-absolute-blast/

1 792

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) https://dl.acm.org/doi/pdf/10.1145/3409006

1 792

Interactive Programs in Dependent Type Theory https://csetzer.github.io/articles/ioconf.pdf

1 792

Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performance https://www.nicbarker.com/clay

1 792

Microsoft Research Detours Package https://github.com/microsoft/Detours

1 792

Linux: How programs get run https://lwn.net/Articles/630727

1 792

Make your QEMU 10 times faster https://linus.schreibt.jetzt/posts/qemu-9p-performance.html

1 792

A static semantics for Haskell https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf

1 792

Compositional Programming https://dl.acm.org/doi/pdf/10.1145/3460228

1 792

A Deforestation of Reducts: Refocusing https://arxiv.org/pdf/2302.10455v1

1 792

There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea https://m.youtube.com/watch?v=m3UmABVf55g

1 792

Killing Windows Kernel Mitigations https://wetw0rk.github.io/posts/0x01-killing-windows-kernel-mitigations/

1 792

Efficiently Compiling Efficient Query Plans for Modern Hardware

1 792

Common Misconceptions about Compilers https://sbaziotis.com/compilers/common-misconceptions-about-compilers.html

1 792

What every systems programmer should know about concurrency

1 792

Memory Model Series https://research.swtch.com/mm

1 792

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it