اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 685
مشترکین
-424 ساعت
+77 روز
+3530 روز
آرشیو پست ها
1 685
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
1 685
Lesser known tricks, quirks and features of C
https://jorenar.com/blog/less-known-c
1 685
Chad Strings - The Chad way to handle strings in C.
https://github.com/skullchap/chadstr
1 685
Symbol Versions in NetBSD Libraries
https://wiki.netbsd.org/symbol_versions/
1 685
Prismatic Category Theory
https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html
1 685
Proof of the geometric Langlands conjecture
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
1 685
On Deciding Typing in Bidirectional Martin-Löf Type Theory
https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf
1 685
Lessons learned from a successful Rust rewrite
https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
1 685
A deep dive into Linux’s new mseal syscall
https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/
1 685
Category Theory Illustrated
https://abuseofnotation.github.io/category-theory-illustrated/05_logic/
1 685
Checking Polynomial Time Complexity with Types
https://link.springer.com/chapter/10.1007/978-0-387-35608-2_31
1 685
Computability and Complexity: From a Programming Perspective
http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pdf
