اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 683
مشترکین
-424 ساعت
+77 روز
+3530 روز
آرشیو پست ها
1 685
Make your QEMU 10 times faster
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
1 685
A static semantics for Haskell
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
1 685
There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea
https://m.youtube.com/watch?v=m3UmABVf55g
1 685
Killing Windows Kernel Mitigations
https://wetw0rk.github.io/posts/0x01-killing-windows-kernel-mitigations/
1 685
Common Misconceptions about Compilers
https://sbaziotis.com/compilers/common-misconceptions-about-compilers.html
1 685
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
1 685
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
1 685
Curiously Cumbersome Rust: Type-level Programming
https://geo-ant.github.io/blog/2023/rust-type-level-programming/1 685
Tail recursion for macros in C
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
1 685
Making memcpy(NULL, NULL, 0) well-defined
https://developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined#compiler_builtins
1 685
A Verified Implementation of Dijkstra's Algorithm
https://github.com/fetburner/coq-dijkstra
