Don't get caught by a cheater! Telemetrio finds and tags such channels 👉 If you want to see the tag, subscribe

Programming Deadlock

Open in Telegram

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

USA10 683 Technologies & Applications32 907

Buy Ad

1 870

Subscribers

+124 hours

+77 days

+3830 days

1 412

Post views

~ 41124 hours

~ 46848 hours

75.55%

Engagement rate

No data

Posts per day

Ads index

beta

Posts Archive

1 870

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

1 870

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 870

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

1 870

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

1 870

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

1 870

Macro-header for compile-time C obfuscation (tcc, win x86/x64) https://github.com/DosX-dev/obfus.h

1 870

Essence of generalized partial computation Yoshihiko Futamura https://www.sciencedirect.com/science/article/pii/030439759190299H

1 870

Interaction Combinators Yves Lafont https://www.sciencedirect.com/science/article/pii/S0890540197926432

1 870

Wadler's Law https://wiki.haskell.org/Wadler's_Law

1 870

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode https://github.com/lifting-bits/mcsema

1 870

LLPE is a partial evaluator for LLVM bitcode. It is suitable for specialising programs written in C, C++, FORTRAN, or any other language that can be compiled to LLVM intermediate representation. http://www.llpe.org/