3 ms·
interesting. Are there such papers - that one can check the proofs and references and etc - on IT/computing related stuff? Most papers i have stumbled upon, bac
by svilen_dobrev 3y ago
interesting. Are there such papers - that one can check the proofs and references and etc - on IT/computing related stuff? Most papers i have stumbled upon, back in time, have been some mumbo-jumbo showing-off this or that approach or achievement, but rarely coherent or consistent (one example talks X, another talks Y, with no link inbetween).
Hence i stopped reading any such papers, years ago..
- cratermoon 3y agoI recommend visiting "the morning paper: a random walk through Computer Science research, by Adrian Colyer". It ran from 2014 to February of 2021, covering a paper per week or so. You can read Colyer's analysis first to determine if reading the paper sounds worth your time. There are also various lists of key programming/CS papers. For example, "What Every Computer Scientist Should Know About Floating-Point Arithmetic", David Goldberg's 1990 paper, includes various theorem proofs essential to understanding how IEEE floating point is defined.
- cratermoon 3y agoForgot the link: https://blog.acolyer.org/archives/ https://blog.acolyer.org/archives/