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 581 Texnologiyalar & Aralashmalar31 123

1 792

Obunachilar

+124 soatlar

+107 kunlar

+4330 kunlar

930

Post ko'rishlar

~ 39624 soatlar

~ 46448 soatlar

51.93%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 790

A programming environment for cyberphysical programming https://github.com/digego/extempore

1 790

Understanding the Y Combinator https://8dcc.github.io/programming/understanding-y-combinator.html

1 790

Heartbeat Scheduling https://www.andrew.cmu.edu/user/mrainey/heartbeat/heartbeat.html

1 790

Modern multicore and manycore architectures: Modelling, optimisation and benchmarking a multiblock CFD code https://www.sciencedirect.com/science/article/pii/S0010465516300959

1 790

Computed goto for efficient dispatch tables https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables

1 790

Wedson Almeida Filho: Retiring from the Rust for Linux Project https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/

1 790

Notes on Distributed Systems for Young Bloods https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/

1 790

500 Python Interpreters https://izzys.casa/2024/08/463-python-interpreters/

1 790

Turing-Completeness Totally Free https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.pdf

1 790

Abstract Satisfaction https://dl.acm.org/doi/pdf/10.1145/2535838.2535868

1 790

Logic and Computation Intertwined : Prepares one for Agda or Coq by constructing a small proof assistant (Proust) in Racket https://cs.uwaterloo.ca/~plragde/flaneries/LACI/

1 790

granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning https://github.com/granule-project/granule

1 790

Ad Astra is a configurable scripting language platform designed for embedding in Rust applications https://github.com/Eliah-Lakhin/ad-astra

1 790

An Introduction to Categorical Proof Theory https://arxiv.org/pdf/2408.09488

1 790

Do Low-level Optimizations Matter? http://cantrip.org/sortfast.html

1 790

Turnstyle is a graphical esoteric programming language based on lambda calculus https://jaspervdj.be/turnstyle/

1 790

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

1 790

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

1 790

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

1 790

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