Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

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 681 Texnologiyalar & Aralashmalar32 949

Buy Ad

1 869

Obunachilar

+124 soatlar

+77 kun

+3730 kun

1 383

Post ko'rishlar

~ 41124 soatlar

~ 48448 soatlar

74.04%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 869

How OCaml type checker works -- or what polymorphism and garbage collection have in common https://okmij.org/ftp/ML/generalization.html

1 869

Better Firmware with LLVM/Clang https://interrupt.memfault.com/blog/arm-cortexm-with-llvm-clang

1 869

A comparison of arena libraries in Rust https://donsz.nl/blog/arenas/

1 869

Delimited continuations in operating systems https://okmij.org/ftp/continuations/ZFS/context-OS.pdf

1 869

Isometric Projection in Game Development https://pikuma.com/blog/isometric-projection-in-games

1 869

An experimental proof assistant based on a type theory for synthetic ∞-categories. https://github.com/rzk-lang/rzk

1 869

https://github.com/rzk-lang/rzk

1 869

Hashing Modulo Alpha-Equivalence https://arxiv.org/pdf/2105.02856

1 869

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter https://www.cs.tufts.edu/~nr/pubs/maniaws.pdf

1 869

Parallel programming facilities in OCaml https://ocaml.org/manual/5.2/parallelism.html

1 869

Type-Safe Modular Hash-Consing https://usr.lmf.cnrs.fr/~jcf/ftp/publis/hash-consing2.pdf

1 869

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 869

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 869

Ray Tracing in One Weekend Book Series https://github.com/RayTracing/raytracing.github.io

1 869

The Best Refactoring You've Never Heard Of https://www.youtube.com/watch?v=vNwukfhsOME

1 869

GitHub Roaster https://github-roast.pages.dev/

1 869

The Linux Kernel Module Programming Guide https://sysprog21.github.io/lkmpg/

1 869

Guix Tips and Common Mistakes https://lambdanil.github.io/Guix_Mistakes/

1 869

Crafting Interpreters https://craftinginterpreters.com/contents.html

1 869

The Functional Machine Calculus https://arxiv.org/abs/2212.08177