lmh's comments | WingNews

lmh | 3 years ago | on: How safe is Zig?

Thanks, that's interesting.

lmh | 3 years ago | on: How safe is Zig?

Thanks, that's informative. This was meant to clarify the bounds of Zig's design rather than as a research proposal. Otherwise, one might read it as an open invitation to just the sort of demonic meta-thinking that its users abhor.

lmh | 3 years ago | on: How safe is Zig?

Question for Zig experts:

Is it possible, in principle, to use comptime to obtain Rust-like safety? If this was a library, could it be extended to provide even stronger guarantees at compile time, as in a dependent type system used for formal verification?

Of course, this does not preclude a similar approach in Rust or C++ or other languages; but comptime's simplicity and generality seem like they might be beneficial here.

lmh | 5 years ago | on: A new, undocumented INT1 tensor core instruction in Nvidia Ampere

For the hardware and architecture nerds, CUTLASS now appears to include support for an INT1 (binary) AND-popcount matrix multiplication, in addition to the XOR-popcount present in Turing.

lmh | 9 years ago | on: A Peek at GNU Radio’s Buffer Architecture

You may find this SDR LTE eNodeB interesting: http://bellard.org/lte/

There's also this open-source LTE library: https://github.com/srsLTE/srsLTE