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 683 Texnologiyalar & Aralashmalar32 907

Buy Ad

1 870

Obunachilar

+124 soatlar

+77 kun

+3830 kun

1 412

Post ko'rishlar

~ 41124 soatlar

~ 46848 soatlar

75.55%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 870

itertools::Itertools::coalesce

https://docs.rs/itertools/latest/itertools/trait.Itertools.html#method.coalesce

1 870

Write You A Scheme (Version 2) https://wespiser.com/writings/wyas/home.html

1 870

Write Yourself a Scheme in 48 Hours https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

1 870

My Favorite Math Jokes https://arxiv.org/abs/2403.01010v1

1 870

Self Types for Dependently Typed Lambda Encodings https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf

1 870

The Error Model https://joeduffyblog.com/2016/02/07/the-error-model/

1 870

Generalized Autoref-Based Specialization http://lukaskalbertodt.github.io/2019/12/05/generalized-autoref-based-specialization.html

1 870

The syntax of C in Backus-Naur Form https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm

1 870

The Principle of Categorical Harmony https://ebrary.net/17831/philosophy/principle_categorical_harmony

1 870

Lexer hack https://en.wikipedia.org/wiki/Lexer_hack

1 870

Language Oriented Programming https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=825a90a7eaebd7082d883b198e1a218295e0ed3b

1 870

The Flower Calculus https://arxiv.org/pdf/2402.15174.pdf

1 870

An implementation of Terry A. Davis's HolyC https://github.com/Jamesbarford/holyc-lang

1 870

Functional Ownership through Fractional Uniqueness https://arxiv.org/abs/2310.18166

1 870

Scheduling Internals https://tontinton.com/posts /scheduling-internals/

1 870

How do we tell truths that might hurt? Edsger W.Dijkstra, 18 June 1975 https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html

1 870

The Pure Programming Language https://agraef.github.io/pure-lang/

1 870

No-Brainer CPS Conversion (Functional Pearl) https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf

1 870

The Rust I Wanted Had No Future Graydon Hoare https://graydon2.dreamwidth.org/307291.html

1 870

Hypergraph-based Supercompilation https://github.com/sergei-grechanik/supercompilation-hypergraph