☆
Reflections on Trusting Trust

Comments:

How software verification paradigm deals with Thompson hack?
Sergey Kirgizov at 2019-04-13 20:37:28
Russ Cox actually run it! [Running the “Reflections on Trusting Trust” Compiler](https://research.swtch.com/nih)
Sergey Kirgizov at 2024-03-31 23:59:03
Read the paper, add your comments…
☆
Can a good philosophical contribution be made just by asking a question?

Comments:

[Their comment](https://onlinelibrary.wiley.com/doi/10.1111/meta.12600)
Sergey Kirgizov at 2022-12-07 20:31:05
Read the paper, add your comments…
☆
Combinatorics Of RNA Structures With Pseudoknots

Comments:

Read the paper, add your comments…
☆
Q-bonacci words and numbers

Comments:

Read the paper, add your comments…
☆
Compressing Large Boolean Matrices Using Reordering Techniques

Comments:

I have read this paper some time ago: - They want to permute the rows (or columns) or a matrix the ones in a column (or row respectively) follow a rather consecutive pattern i.e., they want to minimize the number of 1-blocks -They produce a TSP-inspired heuristic
IoannisPan at 2021-06-27 10:17:52
Read the paper, add your comments…
Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42