Programming Deadlock

Ir al canal en Telegram

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

EEUU10 581 Tecnologías y Aplicaciones31 123

1 792

Suscriptores

+124 horas

+107 días

+4330 días

930

Visitas de la publicación

~ 39624 horas

~ 46448 horas

51.93%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 792

Lessons learned from a successful Rust rewrite https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html

1 792

Nobody needs equations https://arxiv.org/pdf/2410.19976

1 792

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

1 792

SELinux bypasses https://klecko.github.io/posts/selinux-bypasses/

1 792

A deep dive into Linux’s new mseal syscall https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/

1 792

Category Theory Illustrated https://abuseofnotation.github.io/category-theory-illustrated/05_logic/

1 792

Checking Polynomial Time Complexity with Types https://link.springer.com/chapter/10.1007/978-0-387-35608-2_31

1 792

Computability and Complexity: From a Programming Perspective http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pdf

1 792

What Not to Do When Writing an Interpreter for Specialisation https://www.researchgate.net/publication/2648244_What_Not_to_Do_When_Writing_an_Interpreter_for_Specialisation

1 792

ROP Chaining: Return Oriented Programming https://www.ired.team/offensive-security/code-injection-process-injection/binary-exploitation/rop-chaining-return-oriented-programming

1 792

Using Circular Programs for Higher-Order Syntax https://emilaxelsson.github.io/documents/axelsson2013using.pdf

1 792

Adding row polymorphism to Damas-Hindley-Milner https://bernsteinbear.com/blog/row-poly/

1 792

A formal kernel memory-ordering model https://lwn.net/Articles/718628/

1 792

Practical Design Patterns: Opaque Pointers and Objects in C https://interrupt.memfault.com/blog/opaque-pointers

1 792

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures https://dl.acm.org/doi/pdf/10.1145/3674634

1 792

Major Version Numbers are Not Sacred https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred

1 792

Modern C: C23 Edition

1 792

How I Experience Web Today https://how-i-experience-web-today.com/

1 792

Conway's Gradient of Life https://hardmath123.github.io/conways-gradient.html

1 792

Emergent Systems based on Glenn Puchtel's Biocybernetic Theory https://thingspool.net/morsels/page-6.html