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 790

Obunachilar

-124 soatlar

+77 kunlar

+4230 kunlar

938

Post ko'rishlar

~ 34824 soatlar

~ 46448 soatlar

52.40%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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 790

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

1 790

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 790

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

1 790

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

1 790

Transformational Semantics (TS): Gradually Transforming Syntax to Semantics https://okmij.org/ftp/gengo/transformational-semantics/index.html

1 790

sched_ext is a Linux kernel feature which enables implementing kernel thread schedulers in BPF and dynamically loading them. This repository contains various scheduler implementations and support utilities. https://github.com/sched-ext/scx

1 790

On the Impact of Programming Languages on Code Quality https://arxiv.org/pdf/1901.10220.pdf

1 790

My ranking of every Shakespeare play https://nullprogram.com/blog/2023/06/22/

1 790

A Programmer-Friendly I/O Abstraction Over io_uring and kqueue https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue