lmh

4 ms·

1.
The mathematical red herring principle(ncatlab.org)
2 points by lmh 2y ago|1 comments
2.
Some Thoughts about Schizoid Dynamics [pdf](researchgate.net)
2 points by lmh 4y ago|0 comments
3.
by lmh 4y ago
Thanks, that's interesting.
4.
by lmh 4y ago
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 abh
5.
by lmh 4y ago
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 for
6.
Intruder at the top of the 20 meter amateur band?(ka7oei.blogspot.com)
252 points by lmh 6y ago|183 comments
7.
A new, undocumented INT1 tensor core instruction in Nvidia Ampere(github.com)
1 points by lmh 6y ago|1 comments
8.
by lmh 6y ago
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.
9.
My Tungsten Cube(thume.ca)
4 points by lmh 7y ago|0 comments
10.
by lmh 10y ago
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
11.
Mathematics of the discrete Fourier transform(ccrma.stanford.edu)
3 points by lmh 11y ago|0 comments
12.
Tracing JITs and Modern CPUs: Part 2(github.com)
69 points by lmh 11y ago|20 comments
13.
plotpg: plots in psql(no0p.github.io)
1 points by lmh 12y ago|0 comments