fa
Feedback
Programming Deadlock

Programming Deadlock

رفتن به کانال در Telegram

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

نمایش بیشتر
1 791
مشترکین
+124 ساعت
+107 روز
+4230 روز
آرشیو پست ها
Better Pay Attention Whilst Fuzzing

Distributed Systems Programming Has Stalled https://www.shadaj.me/writing/distributed-programming-stalled

HYTRADBOI: a fun online conference about databases, programming languages, and everything in between https://www.hytradboi.com/

Optimization-Aware Compiler-Level Event Profiling

AST vs. Bytecode: Interpreters in the Age of Meta-Compilation

0+0 > 0: C++ thread-local storage performance https://yosefk.com/blog/cxx-thread-local-storage-performance.html

Principles of a reversible programming language https://dl.acm.org/doi/abs/10.1145/1366230.1366239

The Dafny Programming and Verification Language https://dafny.org/

How Does Ada's Memory Safety Compare Against Rust? https://ajxs.me/blog/How_Does_Adas_Memory_Safety_Compare_Against_Rust.html

Safe C++ by Sean Baxter https://safecpp.org/draft.html

Tiny Pointers

Fun with C++26 reflection - Keyword Arguments https://pydong.org/posts/KwArgs/

LinuxPDF: Linux running inside a PDF file via a RISC-V emulator https://github.com/ading2210/linuxpdf

Mini-R1: Reproduce Deepseek R1 "aha moment" a RL tutorial https://www.philschmid.de/mini-deepseek-r1