freenode/#sicl - IRC Chatlog
Search
6:30:38
heisig
I am also making excellent progress with my PhD code. If things continue like this, I will soon have time for more SICL/Cleavir work.
6:34:02
beach
Yeah. My (admittedly small) family says that I work to hard and that I need more rest.
6:35:20
beach
On November 19, we go to Paris. We stay two nights in a room at Novotel, half a block from EPITA where Jim Newton's defense is going to be.
10:56:41
beach
So apparently, I have an AMD graphics card. And there are rumors that the free drivers are better than the proprietary ones. How do I determine whether I have the free drivers or the proprietary ones?
10:59:21
no-defun-allowed
Ideally, `lsmod | grep amdgpu` should show some modules, and `lsmod | grep radeon` should not.
11:00:00
no-defun-allowed
I can't remember if radeon is free or not, but it's not the preferred driver.
11:06:26
heisig
But if the GPU is giving you trouble, I would just rip that thing out and either just use integrated graphics, or buy another GPU for 20€. Or do you have any application that requires a fast GPU?
11:18:13
Shinmera
intel integrated graphics are pretty solid these days and should work fine for everything except maybe intensive games
11:18:36
Shinmera
so taking out the graphics card or deactivating it in the BIOS might be worth a try
11:20:21
beach
renderer string: Radeon RX 580 Series (POLARIS10 / DRM 3.23.0 / 4.15.0-36-generic, LLVM 6.0.0)
11:21:24
beach
The reason for this graphics card is that I want 1 4K monitor and my 2 HP 1600x1200 simultaneously.
11:22:10
no-defun-allowed
(Unfortunately that means the driver problems might not go away when I get a new card ):
11:24:36
beach
heisig: The problem is that i am not sure that the GPU is the problem, nor the drivers for it, for that matter.
11:26:10
Shinmera
no-defun-allowed: Would you rather they also didn't work and linux was just stuck with shitty drivers all around?
11:27:19
no-defun-allowed
Hmm, that's a tough one. I would like as much code to be free as possible, but it means nothing if I can't use it.
11:29:08
|3b|
if it is graphics card, ssh has reasonable chance of still working, and allowing diagnosis, if that didn't work only other think i can think of is trying to set up a serial console, but that's probably harder than enabling an ssh server
11:30:47
|3b|
though i guess if it was running well enough to do ssh, it probably would be saving something useful to logs, so maybe not
11:31:55
no-defun-allowed
In my case with my specific processor, the inbuilt connectors don't work because there is no graphics processor in my CPU also. This isn't usually the case but is also possible.
11:36:10
|3b|
might print the list from that wikipedia page, there are a few that would be useful to try
11:38:19
|3b|
if you can ping when it is up normally, lack of ping after crash would indicate fairly bad crash
11:38:39
no-defun-allowed
ping is separate from TCP and UDP, and requires a machine to respond actively.
11:38:41
no-defun-allowed
(this is why /bin/ping is often setuid as root, or has special privileges to write raw data to a network card.)
11:38:49
|3b|
but firewalls might not allow ping normally, and might still respond after moderately bad crash that prevents normal operation
11:39:33
no-defun-allowed
Home routers don't usually block pings. My school network doesn't block pings either.
11:43:28
|3b|
https://help.ubuntu.com/lts/serverguide/kernel-crash-dump.html looks like it might be useful too
12:27:26
beach
Now, the entire generic-function invocation mechanism seems to work for bridge generic functions as well.
12:28:27
beach
And this is without satiation, so the production code is computing and installing new discriminating functions incrementally.
12:28:54
beach
I can tell, because the first call to FOO with a new signature takes a lot of time. :)
12:49:30
beach
This *is* major progress, because now the entire machinery for the next phase can be loaded from files containing DEFCLASS, DEFGENERIC, DEFMETHOD, and DEFUN forms.
12:51:56
beach
frodef: I don't quite remember what you said when you described your objectives, but I do remember that they were very different from mine. Now, if you are flexible when it comes to those objectives, perhaps you find some interesting aspects in that specification.
15:41:12
frodef
I agree with many of the weaknesses of the unix-like systems of the 70's that you point out, and I think the consequences of this heritage have been rather disasterous in many ways.
15:50:26
beach
But the worst thing is probably that there are now many generations who think Unix is the best there is, and the best that there could be.
16:03:41
scymtym
i watched this last december: https://mirror.eu.oneandone.net/projects/media.ccc.de/congress/2017/h264-hd/34c3-9225-eng-How_risky_is_the_software_you_use_hd.mp4 . in a nutshell, they do automatic security assessment of binaries. the table at 15:38 shows their criteria and it is only about mitigation
16:05:23
scymtym
it is interesting, especially the (ambitious) analysis framework they propose at the end
16:06:08
scymtym
but that part struck me as strange. why would you assess the security based on the amount mitigation and damage control strategies?
16:10:51
scymtym
yeah. that is probably also the best safeguard against me misrepresenting their work (since i watched the video almost a year ago)
16:28:49
scymtym
the criteria for rating a software's security are "does it use ASLR?", "does it use stack canaries?", etc. those only mitigate the effects of the underlying actual problems
17:54:48
frodef
My historical understanding of unix (multics) processes was perhaps more that it was a way to share computers between users, i.e. each process simulating basically an isolated, separate computer.
17:56:00
frodef
(The more recent VM emphasis being basically the same pattern repeated with yet another level of indirection.)