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

AQSH10 605 Texnologiyalar & Aralashmalar31 117

1 791

Obunachilar

-124 soatlar

+77 kunlar

+4230 kunlar

938

Post ko'rishlar

~ 34824 soatlar

~ 46448 soatlar

52.40%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 791

Integer overflow checking cost https://danluu.com/integer-overflow/

1 791

Zenbleed: Vulnerability found in AVX2 instruction set https://lock.cmpxchg8b.com/zenbleed.html

1 791

Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems https://queue.acm.org/detail.cfm?id=3325132

1 791

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

1 791

Extensible records with scoped labels https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf

1 791

How to make ad-hoc polymorphism less ad hoc https://users.csc.calpoly.edu/~akeen/courses/csc530/references/wadler.pdf

1 791

Guide to Network Programming https://beej.us/guide/bgnet/html/

1 791

MIR: A lightweight JIT compiler project https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project

1 791

MIR-based JIT prototype for Ruby https://developers.redhat.com/articles/2023/10/09/mir-based-jit-prototype-ruby

1 791

Lensm: A Tool for Viewing Disassembly (Go) https://www.storj.io/blog/lensm

1 791

Laziness in Haskell https://www.youtube.com/playlist?list=PLyzwHTVJlRc8620PjqbM0x435-6-Gi1Gu

1 791

An Algebraic Approach to Typechecking and Elaboration https://bentnib.org/docs/algebraic-typechecking-20150218.pdf

1 791

Lightweight higher-kinded polymorphism https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf

1 791

How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html

1 791

A simple, arena-backed, generic dynamic array for C https://nullprogram.com/blog/2023/10/05/

1 791

Memory Safety in a Modern Systems Programming (D) https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a-modern-system-programming-language-pt-1/

1 791

Can You Trust a Compiler to Optimize Your Code? (Rust) https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html

1 791

How to Use Monadic Operations for std::optional in C++23 https://www.cppstories.com/2023/monadic-optional-ops-cpp23/

1 791

Making a fast curry: push/enter vs. eval/apply for higher-order languages https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf

1 791

Complete Bidirectional Typing for the Calculus of Inductive Constructions https://arxiv.org/pdf/2102.06513.pdf