Programming Deadlock

Ir al canal en Telegram

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

EEUU11 778 Tecnologías y Aplicaciones34 093

1 686

Suscriptores

Sin datos24 horas

+67 días

+3330 días

1 133

Visitas de la publicación

~ 32424 horas

~ 38648 horas

67.24%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 686

PLDI'23 Main Track - Analysis and Optimizations https://www.youtube.com/live/F3z39M0gdJU?feature=share

1 686

Why We Replaced Firecracker with QEMU https://hocus.dev/blog/qemu-vs-firecracker/

1 686

Theorems for free! https://www2.cs.sfu.ca/CourseCentral/831/burton/Notes/July14/free.pdf

1 686

Energy Efficiency across Programming Languages http://greenlab.di.uminho.pt/wp-content/uploads/2017/10/sleFinal.pdf

1 686

A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c

1 686

System Design Course https://github.com/karanpratapsingh/system-design

1 686

meta-typing: Functions and algorithms implemented purely with TypeScript's type system https://github.com/ronami/meta-typing

1 686

MIR: A lightweight JIT compiler project https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project

1 686

Problems of C, and how Zig addresses them https://avestura.dev/blog/problems-of-c-and-how-zig-addresses-them

1 686

A Monadic Framework for Delimited Continuations https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf

1 686

Few lesser known tricks, quirks and features of C https://jorengarenar.github.io/blog/less-known-c

1 686

Structures in C: From Basics to Memory Alignment https://abstractexpr.com/2023/06/29/structures-in-c-from-basics-to-memory-alignment/

1 686

Case Study: Algorithmic Trading With Go https://polygon.io/blog/case-study-algorithmict-trading-with-go/

1 686

LLM Powered Autonomous Agents https://lilianweng.github.io/posts/2023-06-23-agent/

1 686

Vector ALU Patterns (RISC-V) https://moonbaseotago.github.io/2023/06/19/vector-patterns.html

1 686

Unified Syntax with Iso-Types https://i.cs.hku.hk/~bruno/papers/aplas2016.pdf

1 686

Typed Closure Conversion for the Calculus of Constructions https://arxiv.org/pdf/1808.04006.pdf

1 686

Stateless cluster local OCI registry mirror (Kubernetes) https://github.com/XenitAB/spegel

1 686

Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection https://verdagon.dev/blog/vale-memory-safe-cpp

1 686

An argument against call/cc https://okmij.org/ftp/continuations/against-callcc.html