Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 792
订阅者
无数据24 小时
+57 天
+4230 天
帖子存档
1 792
Higher-order Virtual Machine: HVM is a pure functional runtime that is lazy, non-garbage-collected and massively parallel. It is also beta-optimal, meaning that, for higher-order computations, it can, in some cases, be up to exponentially faster than alternatives, including Haskell's GHC.
https://github.com/HigherOrderCO/HVM1 792
v86: x86 virtualization in your browser, recompiling x86 to wasm on the fly
https://github.com/copy/v861 792
Cling: Beyond Just Interpreting C++
https://blog.llvm.org/posts/2021-03-25-cling-beyond-just-interpreting-cpp/1 792
Miri: An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and detect certain classes of undefined behavior
https://github.com/rust-lang/miri1 792
Instant Neural Graphics Primitives with a Multiresolution Hash Encoding
https://nvlabs.github.io/instant-ngp/
1 792
Bounded Flexible Arrays in C: How to modernize C arrays for greater memory safety (a case-study in refactoring the Linux kernel and a look to the future)
https://people.kernel.org/kees/bounded-flexible-arrays-in-c1 792
Wasm Language Runtimes: provides popular language runtimes (Ruby, Python, …) precompiled to WebAssembly that are tested for compatibility and kept up to date when new versions of upstream languages are released
https://github.com/vmware-labs/webassembly-language-runtimes/1 792
Erlang is not about lightweight processes and message passing...
https://github.com/stevana/armstrong-distributed-systems/blob/8be27d510dba4e5133a39593feee1605f2ffb644/docs/erlang-is-not-about.md
1 792
All about UndefinedBehaviorSanitizer
https://maskray.me/blog/2023-01-29-all-about-undefined-behavior-sanitizer
1 792
Import Adress Table (IAT) Hooking (C++ & Windows)
https://www.ired.team/offensive-security/code-injection-process-injection/import-adress-table-iat-hooking
1 792
Making sense of TypeScript using set theory
https://blog.thoughtspile.tech/2023/01/23/typescript-sets/
1 792
Ruby 3.2’s YJIT is Production-Ready (C / Rust)
https://shopify.engineering/ruby-yjit-is-production-ready
1 792
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
https://verdagon.dev/blog/when-to-use-memory-safe-part-2
