Programming Deadlock

Ir al canal en Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

EEUU11 792 Tecnologías y Aplicaciones34 222

1 682

Suscriptores

-124 horas

+127 días

+4330 días

1 231

Visitas de la publicación

~ 33724 horas

~ 40048 horas

73.01%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 682

Hacking Coroutines into C https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html

1 682

Parse, Don’t Validate: Some C Safety Tips https://www.lelanthran.com/chap13/content.html

1 682

Zig's New Async I/O https://kristoff.it/blog/zig-new-async-io/

1 682

The keys to a successful Webassembly deployment https://queue.acm.org/detail.cfm?id=3746171

1 682

Writing a very simple JIT Compiler in about 1000 lines of C https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html

1 682

Maximal Sharing in the Lambda Calculus with letrec https://dl.acm.org/doi/pdf/10.1145/2692915.2628148

1 682

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. https://github.com/veyselusta/programming-language-research

1 682

Evolutionary Computation Bestiary: A bestiary of evolutionary, swarm and other metaphor-based algorithms https://fcampelo.github.io/EC-Bestiary/

1 682

Strategies for very fast Lexers (C) https://xnacly.me/posts/2025/fast-lexer-strategies

1 682

Functional abstract interpretation https://simon.peytonjones.org/abs-den/

1 682

"Modern" C++ Lamentations https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/

1 682

What is the Strict Aliasing Rule and Why do we care? (C/C++) https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8

1 682

Visual Programming with Interaction Nets https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf

1 682

Upward confluence in the interaction calculus https://arxiv.org/pdf/1806.07275

1 682

Our small team vs millions of bots https://www.fsf.org/blogs/sysadmin/our-small-team-vs-millions-of-bots

1 682

mimalloc: a general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the runtime systems of the Koka and Lean languages. https://github.com/microsoft/mimalloc/

1 682

Type Safe Generic Data Structures in C https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/

1 682

Programs as Singularities https://arxiv.org/pdf/2504.08075

1 682

Maximize Cache Performance with this One Weird Trick: An Introduction to Cache-Oblivious Data Structures https://rcoh.me/posts/cache-oblivious-datastructures/

1 682

Linear-algebraic λ-calculus https://arxiv.org/pdf/quant-ph/0501150