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 795 Texnologiyalar & Aralashmalar34 159

1 685

Obunachilar

+324 soatlar

+87 kunlar

+3630 kunlar

1 117

Post ko'rishlar

~ 33724 soatlar

~ 39048 soatlar

66.29%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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 685

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 685

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

1 685

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 685

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

1 685

Type Systems Luca Cardelli http://lucacardelli.name/Papers/TypeSystems.pdf

1 685

Dictionary of Algorithms and Data Structures (G-old) https://xlinux.nist.gov/dads/

1 685

Applied Category Theory Course https://math.ucr.edu/home/baez/act_course/

1 685

macOS Containers: Containerize macOS apps and run them natively with Docker (Alpha) https://macoscontainers.org/

1 685

27 Unhelpful Facts About Category Theory https://youtu.be/H0Ek86IH-3Y?si=GKN_nmBpVfMCEnC1