Programming Deadlock
Відкрити в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Показати більше1 686
Підписники
Немає даних24 години
+67 днів
+3330 день
Архів дописів
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
meta-typing: Functions and algorithms implemented purely with TypeScript's type system
https://github.com/ronami/meta-typing1 686
MIR: A lightweight JIT compiler project
https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project1 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
Вже доступно! Дослідження Telegram за 2025 — головні інсайти року 
