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

Optimizing Clickhouse: The Tactics That Worked for Us https://www.highlight.io/blog/lw5-clickhouse-performance-optimization

1 869

Abstract Interpretation as a Programming Language https://arxiv.org/pdf/1309.5133v1

1 869

Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second) http://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf

1 869

A multi-level tensor algebra superoptimizer https://github.com/mirage-project/mirage

1 869

Homoiconic Python https://aljamal.substack.com/p/homoiconic-python

1 869

Interactive C/C++ preprocessor macro debugger https://github.com/notfoundry/ppstep

1 869

Taming Code Explosion in Supercompilation https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf

1 869

Introduction to Homotopy Type Theory https://arxiv.org/abs/2212.11082

1 869

Implementing term rewriting by jungle evaluation https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf

1 869

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine https://dl.acm.org/doi/pdf/10.1145/3549822

1 869

Bun's New Crash Reporter (Zig/C++) https://bun.sh/blog/bun-report-is-buns-new-crash-reporter

1 869

Results of the Grand C++ Error Explosion Competition https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion

1 869

A 100x speedup with unsafe Python https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html

1 869

The Next 700 Program Transformers https://arxiv.org/pdf/2108.11347

1 869

Distillation: extracting the essence of programs https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d

1 869

Staged Compilation with Two-Level Type Theory https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf

1 869

Homeomorphic embedding for online termination of symbolic methods https://dl.acm.org/doi/10.5555/860256.860274

1 869

Randar: an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the world https://github.com/spawnmason/randar-explanation

1 869

Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html

1 869

Doom in htop https://github.com/0x0mer/doom-htop