¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Programming Deadlock

Ir al canal en Telegram

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

EEUU10 690 Tecnologías y Aplicaciones32 985

Buy Ad

1 867

Suscriptores

+224 horas

+47 días

+3430 días

1 515

Visitas de la publicación

~ 42224 horas

~ 46848 horas

81.15%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 867

A Simplification of Girard's Paradox https://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/kw/scans/hurkens95tlca.pdf

1 867

A Minimalistic Verified Bootstrapped Compiler https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-

1 867

RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types https://plv.mpi-sws.org/refinedc/

1 867

plai-v325.pdf

1 867

Synthesis of Heap-Manipulating Programs from Separation Logic https://gopiandcode.uk/logs/log-certified-synthesis.html

1 867

Resizable structs in Zig https://tristanpemble.com/resizable-structs-in-zig/

1 867

Checking Polynomial Time Complexity With Types https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf

1 867

Engineering for Slow Internet https://brr.fyi/posts/engineering-for-slow-internet

1 867

A Simpler Lambda Calculus

1 867

Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025 https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4

1 867

A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html

1 867

Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C) https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html

1 867

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

1 867

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

1 867

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

1 867

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

1 867

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 867

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

1 867

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

1 867

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